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.
