u=x y
SPACE is used as infix notation for the Ext-algebra multiplication, which is graded commutative.
i1 : L = lieAlgebra{a,b,c}/{a b,b c} o1 = L o1 : LieAlgebra
i2 : E = extAlgebra(3,L) o2 = E o2 : ExtAlgebra
i3 : (ext_1+2 ext_0) ext_2 o3 = - ext_3 o3 : E