generators(ExtAlgebra) -- get the generators

Synopsis

• Function: generators

• Usage:

  g=generators(E)

• Inputs:
  • E, an instance of the type ExtAlgebra,
• Optional inputs:
  • CoefficientRing => ..., default value null,
• Outputs:
  • g, a list, a basis for $E$ as a vector space

Description

i1 : F=lieAlgebra{a,b,c}

o1 = F

o1 : LieAlgebra

i2 : I=lieIdeal{a a b,a a c}

o2 = I

o2 : FGLieIdeal

i3 : L=F/I

o3 = L

o3 : LieAlgebra

i4 : E=extAlgebra(3,L)

o4 = E

o4 : ExtAlgebra

i5 : gens E

o5 = {ext_0, ext_1, ext_2, ext_3, ext_4}

o5 : List

See also

• generators(LieAlgebra) -- get the generators
• generators(LieSubSpace) -- get the generators