-- -*- M2-comint -*- hash: 642708060425436770

i1 : B = threeDimSklyanin(QQ,{1,1,-1},{x,y,z})

o1 = B

o1 : FreeAlgebraQuotient

i2 : g = z^3 + y*z*x - z*y*x - y^3

        3                    3
o2 = - y  + y*z*x - z*y*x + z

o2 : B

i3 : isLeftRegular(g,6)
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

o3 = true

i4 : C = QQ<|x,y|>

o4 = C

o4 : FreeAlgebra

i5 : D = C/ideal{x^2+x*y,y^2}
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.

o5 = D

o5 : FreeAlgebraQuotient

i6 : isLeftRegular(x,1)

o6 = true

i7 : isRightRegular(x,1)

o7 = false

i8 : 
