I would use a function/relation/equations on the TERMS=Record(k:FMB,c:R) of XDistributedPolynomial(B,R). This way one gets a (pseudo) quotient algebra (see my example ;).
On Tue, 17 Dec 2024 at 16:57, Sid Andal <[email protected]> wrote: > I'm trying to construct polynomials in non-commuting variables in x, y, > and z > over the integers: Z<x, y, z>, or over some other commutative ring. > > The XPolynomial domain constructor allows to define such polynomials. > > However, additionally, I'd like to be able to construction the quotient, > (Z<x, y, z>/I), where I is the ideal generated, say, by the following three > commutators: > > [x, y] = x + 2y - z + 1 > [x, z] = 3x - y + 5z - 7 > [y, z] = - 4x + 8 y - 2 z + 9 > > Are there any suitable constructors to help with this? > > Thanks, > > SWA > > > -- > 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 view this discussion visit > https://groups.google.com/d/msgid/fricas-devel/db1f277a-6b05-4e33-ad39-7a0e939d2082n%40googlegroups.com > <https://groups.google.com/d/msgid/fricas-devel/db1f277a-6b05-4e33-ad39-7a0e939d2082n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 view this discussion visit https://groups.google.com/d/msgid/fricas-devel/CA%2BTGnoY8TVNfDO5%3D1EjP2R%3D-4Z17xY3T6TvdAphtwPVrxp%3D-4Q%40mail.gmail.com.
quoalg.spad
Description: Binary data
quoalg.input
Description: Binary data
