edu.jas.poly

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 java.lang.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 and Description
WeylRelations() The no argument constructor.
WeylRelations(GenSolvablePolynomialRing<C> r) The constructor requires a ring factory.

Method Summary

Modifier and Type	Method and 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 java.lang.Object

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

Constructor Detail

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 Detail

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)