Pensieve header: Computations in diagonalizable ϵ-solvable PBW algebras.

Structures:
  Algebra[potgens_List, nilgens_List, pbwrules_List]
    potgens: The potent generators.
    nilgens: The nilpotent generators.
      The PBW ordering is always potgens~Join~nilgens.
    pbwrules: A list of rules of the form w[g1,g2]->(sum of w’s).

Algebra[(Subscript[gl, n_,ϵ])]:={
Table[(Subscript[x, i,i]),{i,n}],
Flatten@{
Table[(Subscript[y, i,j]),{j,2,n},{i,1,j-1}],
Table[(Subscript[x, i,j]),{j,2,n},{i,1,j-1}]
}
}

Algebra[(Subscript[gl, 3,ϵ])]