| Overview |
| Objects |
| Functionality |
| Examples |
| Applications |
- G-algebras (or algebras of solvable type):
K<x1,...,xn | xj xi = Cij xi xj + Dij for all 1<i<j<n >,
where Cij are nonzero constants and Dij are polynomials in x1,...,xn.- A well-ordering applied should satisfy lm( Dij)<xixj.
- The algebra is set with the help of the
SINGULAR
data type
ringand the matrices C and D.
- factor algebras by a two-sided ideal
- tensor products of one of the above
| Ground Fields |