edu.jas.poly

Class WeylRelationsIterated<C extends RingElem<C>>

java.lang.Object

edu.jas.poly.WeylRelationsIterated<C>

All Implemented Interfaces:

RelationGenerator<C>

public class WeylRelationsIterated<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. Iterated form: R{x1,y1,...,xn,yn; yi*xi = xi yi + 1}.

Author:

Heinz Kredel.

Constructor Summary

Constructors

Constructor and Description
WeylRelationsIterated() The no argument constructor.
WeylRelationsIterated(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

WeylRelationsIterated

public WeylRelationsIterated()

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

WeylRelationsIterated

public WeylRelationsIterated(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. Iterated form: R{x1,y1,...,xn,yn; yi*xi = xi yi + 1}.

generate

public void generate(GenSolvablePolynomialRing<C> ring)

Generates the relation table of this ring. Iterated form: R{x1,y1,...,xn,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.