Package edu.jas.poly

Class GenSolvablePolynomialRing<C extends RingElem<C>>

java.lang.Object
edu.jas.poly.GenPolynomialRing<C>
edu.jas.poly.GenSolvablePolynomialRing<C>
Type Parameters:
C - coefficient type.
All Implemented Interfaces:
AbelianGroupFactory<GenPolynomial<C>>, ElemFactory<GenPolynomial<C>>, MonoidFactory<GenPolynomial<C>>, RingFactory<GenPolynomial<C>>, Serializable, Iterable<GenPolynomial<C>>
Direct Known Subclasses:
LocalSolvablePolynomialRing, QLRSolvablePolynomialRing, QuotSolvablePolynomialRing, RecSolvablePolynomialRing, RecSolvableWordPolynomialRing, ResidueSolvablePolynomialRing, ResidueSolvableWordPolynomialRing

public class GenSolvablePolynomialRing<C extends RingElem<C>> extends GenPolynomialRing<C>
GenSolvablePolynomialRing generic solvable polynomial factory implementing RingFactory and extending GenPolynomialRing factory. Factory for n-variate ordered solvable polynomials over C. The non-commutative multiplication relations are maintained in a relation table. Almost immutable object, except variable names and relation table contents.
See Also:
  • Field Details

  • Constructor Details

    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, int n)
      The constructor creates a solvable polynomial factory object with the default term order and commutative relations.
      Parameters:
      cf - factory for coefficients of type C.
      n - number of variables.
    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, int n, RelationTable<C> rt)
      The constructor creates a solvable polynomial factory object with the default term order.
      Parameters:
      cf - factory for coefficients of type C.
      n - number of variables.
      rt - solvable multiplication relations.
    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t)
      The constructor creates a solvable polynomial factory object with the given term order and commutative relations.
      Parameters:
      cf - factory for coefficients of type C.
      n - number of variables.
      t - a term order.
    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, RelationTable<C> rt)
      The constructor creates a solvable polynomial factory object with the given term order.
      Parameters:
      cf - factory for coefficients of type C.
      n - number of variables.
      t - a term order.
      rt - solvable multiplication relations.
    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, String[] v)
      The constructor creates a solvable polynomial factory object with the given term order and commutative relations.
      Parameters:
      cf - factory for coefficients of type C.
      n - number of variables.
      t - a term order.
      v - names for the variables.
    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, TermOrder t, String[] v)
      The constructor creates a solvable polynomial factory object with the given term order and commutative relations.
      Parameters:
      cf - factory for coefficients of type C.
      t - a term order.
      v - names for the variables.
    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, String[] v)
      The constructor creates a solvable polynomial factory object with the default term order.
      Parameters:
      cf - factory for coefficients of type C.
      v - names for the variables.
    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, int n, TermOrder t, String[] v, RelationTable<C> rt)
      The constructor creates a solvable polynomial factory object with the given term order.
      Parameters:
      cf - factory for coefficients of type C.
      n - number of variables.
      t - a term order.
      v - names for the variables.
      rt - solvable multiplication relations.
    • GenSolvablePolynomialRing

      public GenSolvablePolynomialRing(RingFactory<C> cf, GenPolynomialRing o)
      The constructor creates a solvable polynomial factory object with the the same term order, number of variables and variable names as the given polynomial factory, only the coefficient factories differ and the solvable multiplication relations are empty.
      Parameters:
      cf - factory for coefficients of type C.
      o - other (solvable) polynomial ring.
  • Method Details