Package 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 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 xj * xi = xi xj + 1. Iterated form: R{x1,y1,...,xn,yn; yi*xi = xi yi + 1}.
  • Field Details

    • ring

      private final GenSolvablePolynomialRing<C extends RingElem<C>> ring
      The factory for the solvable polynomial ring.
    • logger

      private static final org.apache.logging.log4j.Logger logger
  • Constructor Details

    • 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 Details

    • 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.