next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
GradedLieAlgebras :: annLie

annLie -- computes a basis for the annihilator in a given degree

Synopsis

Description

i1 : L = lieAlgebra{a,b,c}/{a a c+b a c,c c a}

o1 = L

o1 : LieAlgebra
i2 : basisLie 3

o2 = {(a b a), (b b a), (c b a), (b c a), (b c b), (c c b)}

o2 : List
i3 : annLie(3,2,{a c})

o3 = {(b c a) + (b c b) - (c b a), (c c b)}

o3 : List

See also

Ways to use annLie :