On Thu, Mar 22, 2012 at 04:13:33PM +0400, Serge D. Mechveliani wrote: > 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? >
May be, it is ModularRing(R, Mod, reduction, merge, exactQuo) ? My Spad program has R : EuclideanRing and g : R, and needs to build R/Ideal(g). Probably, it needs to 1) build Mod as an additive monoid generated by g, 2) define `reduction' as a map of taking a remainder by g, etc. Can ModularRing be used this way? Regards, ------ 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.
