Class WeylRelations<C extends RingElem<C>>

java.lang.Object

edu.jas.poly.WeylRelations<C>

All Implemented Interfaces:

RelationGenerator<C>

public class WeylRelations<C extends RingElem<C>>
extends Object
implements RelationGenerator<C>

Generate Relation Table for Weyl Algebras Adds the respective relations to the relation table of the given solvable ring factory. Relations are of the form x_j * x_i = x_i x_j + 1. Block form: R{x1,...,xn,y1,...,yn; yi*xi = xi yi + 1}.

Author:

Heinz Kredel

Constructor Summary

Constructors

Constructor	Description
WeylRelations()	The no argument constructor.
WeylRelations(GenSolvablePolynomialRing<C> r)	The constructor requires a ring factory.

Method Summary

Modifier and Type	Method	Description
void	generate()	Generates the relation table of this ring.
void	generate(GenSolvablePolynomialRing<C> ring)	Generates the relation table of this ring.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

WeylRelations

public WeylRelations()

The no argument constructor. The relation table of this ring is setup to a Weyl Algebra.

WeylRelations

public WeylRelations(GenSolvablePolynomialRing<C> r)

The constructor requires a ring factory. The relation table of this ring is setup to a Weyl Algebra.

Parameters:

r - solvable polynomial ring factory, r must have even number of variables.

Method Details

generate

public void generate()

Generates the relation table of this ring. Block form: R{x1,...,xn,y1,...,yn; yi*xi = xi yi + 1}.

generate

public void generate(GenSolvablePolynomialRing<C> ring)

Generates the relation table of this ring. Block form: R{x1,...,xn,y1,...,yn; yi*xi = xi yi + 1}.

Specified by:

generate in interface RelationGenerator<C extends RingElem<C>>

Parameters:

ring - solvable polynomial ring factory, ring must have even number of variables.

See Also:

• RelationGenerator.generate(edu.jas.poly.GenSolvablePolynomialRing)