-- -*- M2-comint -*- hash: 6468815772763992701

i1 : F = toField(ZZ/7[x]/{x^2+1})

o1 = F

o1 : PolynomialRing

i2 : L = lieAlgebra({a,b,c},Field=>F)/{a b,b c}

o2 = L

o2 : LieAlgebra

i3 : E = extAlgebra(3,L)

o3 = E

o3 : ExtAlgebra

i4 : (3*x+1) (ext_1 ext_2)+(2*x+3) (ext_2 ext_1)

o4 = (-x+2)ext_3

o4 : E

i5 : 
