hex

29.8. Cross-references🔗

  • HexPolyZ provides integer polynomials, the #p[…] literal, and squarefree parts.

  • HexRoots isolates complex roots and certifies the discs every algebraic number carries.

  • HexResultant computes the resultants behind lazy addition and multiplication.

  • Factor tactics describes the integer factorization behind exact.

  • HexRealRoots isolates real roots with a statement of how many there are; isReal here only tests one root.

  • HexNumberFieldTower works with several generators at once and flattens them to one.