I have now commited bunch of improvements to ModMonic.
However, ModMonic is a "mutable domain". It seems that
the whole concept of "mutable domain" is problematic.
Namely at least some places in FriCAS assume that they
can re-evaluate type expression and get equivalent
type. But this property is invalid for ModMonic.
One solution could pass modulus as parameter to
constructor (like in case of SimpleAlgebraicExtension).
Or like ModularRing set modulus when creating elements
and check that operations use consistent moduli.
OTOH after one or the other change ModMonic would be
just little variation of one of the above, so
essentially redundant.
--
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/ZK2%2B1p2OSm01IjXk%40fricas.math.uni.wroc.pl.
