ASKSAGE: Sage Q&A Forum - Latest question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 16 Feb 2019 14:54:16 -0600Quotient of non-commutative ringhttps://ask.sagemath.org/question/45480/quotient-of-non-commutative-ring/ I'm trying to make a non-commutative ring, where X^2 = -1 ; XY = -YX and Y^2 = 0, something like this ;
R[X,Y] / (X^2 + 1 , XY + YX , Y^2)
To get the non-commutative part, I did :
A.<x,y> = FreeAlgebra(QQ,2)
P.<x,y> = A.g_algebra(relations={y*x:-x*y})
What is the next command to have the quotient by (X^2+1 , Y^2) ? Or maybe an other way to build the entire ring, if there exists a simpler method :) thanks !
franslagSat, 16 Feb 2019 14:54:16 -0600https://ask.sagemath.org/question/45480/