Overview
Objects
Functionality
Examples
Extended Baserings
  • 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

Sao Carlos, 08/02 http://www.singular.uni-kl.de