This is an option to tell lieAlgebra to assign the given "signs" to the generators, which are either 0 (even) or 1 (odd). If the option is given the value 1, then all generators will be odd. The default value is that all generators are even. The signs affect the axioms of a Lie superalgebra, see LieAlgebra. Use sign to compute the sign of an arbitrary homogeneous Lie expression.
i1 : describe lieAlgebra{a,b} o1 = generators => {a, b} Weights => {{1, 0}, {1, 0}} Signs => {0, 0} ideal => {} ambient => LieAlgebra{...10...} diff => {} Field => QQ computedDegree => 0 |
i2 : describe lieAlgebra({a,b},Signs=>{1,0}) o2 = generators => {a, b} Weights => {{1, 0}, {1, 0}} Signs => {1, 0} ideal => {} ambient => LieAlgebra{...10...} diff => {} Field => QQ computedDegree => 0 |
i3 : describe lieAlgebra({a,b},Signs=>1) o3 = generators => {a, b} Weights => {{1, 0}, {1, 0}} Signs => {1, 1} ideal => {} ambient => LieAlgebra{...10...} diff => {} Field => QQ computedDegree => 0 |