| Overview |
| Objects |
| Functionality |
| Examples |
- G-algebras (or algebras of solvable type):
K < x1,...,xn | xj xi = Cij xi xj + Dij >
where the Cij are nonzero constants and Dij are polynomials in x1,...,xn;
--> the applied well-ordering has to satisfy LM( Dij) < xixj . - factor algebras by a two-sided ideal
- tensor products of one of the above
| Ground Fields |