14.9. Cross-references🔗

• HexPolyZ provides the dense integer polynomial operations used to normalize atoms and check polynomial identities.

• HexRealRoots provides the exact real-root isolator that HexRCF uses during the search. HexRCF then re-derives each root count inside the certificate with a Sturm sequence the kernel can check; it does not isolate roots a second time.

• HexNumberField gives exact values for the roots a sentence talks about, when the values themselves are wanted.