Ralf Hemmecke wrote:
>
> similar to IntegerMod, I am looking for something in FriCAS that allows
> me to compute in K[X]/I (multivariate polynomial ring modulo an ideal),
> i.e. consider K[X]/I as a Ring/IntegralDomain/Field.
>
> It's certainly not too hard to implement with Groebner bases +
> normalForms, but maybe we already have that and I'm just not finding it.
You mean ResidueRing?
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
