b=basis(s,E)
The optional inputs given above are not relevant for Lie algebras.
i1 : L = lieAlgebra({a,b,c},Weights=>{{1,0},{2,1},{3,2}}, Signs=>{1,1,1},LastWeightHomological=>true) o1 = L o1 : LieAlgebra
i2 : D= differentialLieAlgebra({0_L,a a,a b}) o2 = D o2 : LieAlgebra
i3 : J=lieIdeal({b b + 4 a c}) o3 = J o3 : FGLieIdeal
i4 : Q=D/J o4 = Q o4 : LieAlgebra
i5 : E=extAlgebra(5,Q) o5 = E o5 : ExtAlgebra
i6 : basis({4,4},E) o6 = {ext_3} o6 : List