Ordered sparse distributed multivariate polynomials generic over coefficient rings for `symcas`.
Provides multivariate polynomials with term orderings (`Lex`, `DegRevLex`), arithmetic, exact division, polynomial remainder sequences (PRS), GCD, and square-free factorization.
Licensed under either of Apache-2.0 or MIT at your option.