I wonder what to do with ModMonic? AFAICS there are at least 26 exported but unimplemented operations. In particular, ModMonic export UnivariatePolynomialCategory. This is mathematically incorrect because generator of univariate polynomials is transcendental over base ring, while in ModMonic generator is algebraic.
ModMonic have limited use and we probably could give it a different type that exports less operations. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ZKtAV%2ByiJ1DiPOsK%40fricas.math.uni.wroc.pl.