2.10. Cross-references🔗

• HexBasic supplies the vector operations that TSeries is built on, chosen so that the kernel can evaluate them, which is what makes proofs by decide +kernel such as the one above possible.

• HexPolyFast divides polynomials by Newton's method: it reverses the divisor, inverts it as a truncated series using its fast multiplication, with a proof that the result is invOfUnit, and multiplies. It also computes Padé approximants of truncated series.