People,
I search in Axiom for an equivalent for the domain constructor
ResidueE
-- residue ring of an Euclidean ring R by an ideal generated by a
generator g : R.
I see ResidueRing, but it is said to be for a polynomial ring R.
But Integer, GaussianInteger, some of quadratic integer rings --
are all Euclidean, and are not presented as a polynomial ring,
and their residues can be treated uniformly by ResidueE.
I expect that Axiom has something for this, may be, under a different
name.
Can you point at it?
Thanks,
------
Sergei
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
