polycore

A shared polynomial trait foundation for fields, word-sized prime fields, Chinese remaindering, sparse multivariate and dense univariate polynomials, and a sparse incremental echelon form.

• Field: blanket trait over the field operators.
• Fp, Gf<P>: prime fields below 2^64.
• Poly<F>, Monomial, Order: sparse multivariate polynomials.
• Uni<F>: dense univariate polynomials.
• RatFunc<F>: univariate rational functions.
• Echelon<F>, dense: sparse and dense linear algebra.
• crt: Chinese remaindering and rational reconstruction.
• interp: Newton, Thiele, Berlekamp-Massey.
• Ring: parsing and printing.

Field is operator-based rather than method-based (add, multiply, ...) so that BigRational, Fp, and extensions can be fields without wrappers or impls, generic code reads as the mathematics does, and nothing new is needed from num-traits. The cost is some clone() calls on big coefficients but whatever.

Fp::zero() and Fp::one() carry no modulus and adopt the one they meet, so nullary constructors still work at a runtime modulus.

This library is for scientific computing uses not cryptography or anything timing attack sensitive.

License

Released under the MIT License. See LICENSE for details.