Module ordered_field 

Polynomials over an ordered field with exact arithmetic, the coefficient rings of the hyperreals.

The hyperreals a program’s infinitesimal generates are rational functions of it over the real algebraic numbers; a second infinitesimal smaller than every power of the first generates rational functions of itself over those, and so on. Each level is one variable over the field below, so the arithmetic every level needs (sums, products, Euclid’s division and gcd, Yun’s square-free decomposition) is written once here, over any OrderedField.

Structs

PolyOver

A polynomial in one variable over K, little-endian, no trailing zero.

Traits

OrderedField

A field with exact arithmetic and a decided order, read from the sign of an element.