i1 : F1 = lieAlgebra({a,b},Signs=>{0,1},Weights=>{{2,0},{2,1}},
LastWeightHomological=>true)
o1 = F1
o1 : LieAlgebra
|
i3 : F2 = lieAlgebra({a,b,c},Weights=>{{1,0},{2,1},{3,2}},
Signs=>{1,1,1},LastWeightHomological=>true)
o3 = F2
o3 : LieAlgebra
|
i6 : describe(M)
o6 = generators => {pr , pr , pr , pr , pr }
0 1 2 3 4
Weights => {{2, 0}, {2, 1}, {1, 0}, {2, 1}, {3, 2}}
Signs => {0, 1, 1, 1, 1}
ideal => { - (pr_2 pr_2 pr_2), (pr_3 pr_3) + 4 (pr_2 pr_4), (pr_2 pr_2 pr_3) + (pr_2 pr_2 pr_3) - (pr_3 pr_2 pr_2) - 4 (pr_2 pr_2 pr_3)}
ambient => LieAlgebra{...10...}
diff => {0, pr_0, 0, (pr_2 pr_2), (pr_2 pr_3)}
Field => QQ
computedDegree => 0
|