Function ltZero

src/compute-engine/rubi/rubi-utils.ts:2121–2124

(e: Expression)

    }
  }
  return null;
}

function combineTriSum(
  u: { kind: 'bin'; p: BinParts } | { kind: 'tri'; p: TriParts },
  v: { kind: 'bin'; p: BinParts } | { kind: 'tri'; p: TriParts }
): { kind: 'bin'; p: BinParts } | { kind: 'tri'; p: TriParts } | null {