cas-poly
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.
License
Licensed under either of Apache-2.0 or MIT at your option.