u=x - y
The symbol - is used as infix notation for the Ext-algebra subtraction. The elements $x$ and $y$ must hade the same weight and sign.
i1 : L = lieAlgebra{a,b,c}/{a b,b c} o1 = L o1 : LieAlgebra
i2 : E = extAlgebra(3,L) o2 = E o2 : ExtAlgebra
i3 : basis(2,E) o3 = {ext_3, ext_4} o3 : List
i4 : ext_4-2 ext_3 o4 = - 2ext_3 + ext_4 o4 : E