Serialized Form

Package edu.jas.application
- Class edu.jas.application.AlgebraicRootsPrimElem extends AlgebraicRoots<C extends GcdRingElem<C> & Rational> implements Serializable
  - Serialized Fields
    - pelem
```
PrimitiveElement<C extends GcdRingElem<C>> pelem
```
      Primitive Element algebraic roots.
    - runit
```
java.util.List<E> runit
```
      Roots of unity of primitive element origin representations.
- Class edu.jas.application.ColorPolynomial extends java.lang.Object implements Serializable
  - Serialized Fields
    - green
```
GenPolynomial<C extends RingElem<C>> green
```
      The part with green (= zero) terms and coefficients.
    - red
```
GenPolynomial<C extends RingElem<C>> red
```
      The part with red (= non zero) terms and coefficients.
    - white
```
GenPolynomial<C extends RingElem<C>> white
```
      The part with white (= unknown color) terms and coefficients.
- Class edu.jas.application.Condition extends java.lang.Object implements Serializable
  - Serialized Fields
    - zero
```
Ideal<C extends GcdRingElem<C>> zero
```
      Data structure for condition zero.
    - nonZero
```
MultiplicativeSet<C extends GcdRingElem<C>> nonZero
```
      Data structure for condition non-zero.
- Class edu.jas.application.CPair extends java.lang.Object implements Serializable
  - Serialized Fields
    - pi
```
ColorPolynomial<C extends RingElem<C>> pi
```
    - pj
```
ColorPolynomial<C extends RingElem<C>> pj
```
    - i
```
int i
```
    - j
```
int j
```
    - n
```
int n
```
    - toZero
```
boolean toZero
```
    - useCriterion4
```
boolean useCriterion4
```
    - useCriterion3
```
boolean useCriterion3
```
- Class edu.jas.application.CReductionSeq extends java.lang.Object implements Serializable
  - Serialized Fields
    - info
```
boolean info
```
    - engine
```
GreatestCommonDivisor<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine.
    - cofac
```
RingFactory<C extends RingElem<C>> cofac
```
      Polynomial coefficient ring factory.
    - top
```
boolean top
```
      Flag if top-reduction only should be used.
- Class edu.jas.application.Dimension extends java.lang.Object implements Serializable
  - Serialized Fields
    - d
```
int d
```
      Ideal dimension.
    - S
```
java.util.Set<E> S
```
      Indices of a maximal independent set (of variables).
    - M
```
java.util.Set<E> M
```
      Set of indices of all maximal independent sets (of variables).
    - v
```
java.lang.String[] v
```
      Names of all variables.
- Class edu.jas.application.ExtensionFieldBuilder extends java.lang.Object implements Serializable
  - Serialized Fields
    - factory
```
RingFactory<C extends RingElem<C>> factory
```
      The current factory.
- Class edu.jas.application.FactorAlgebraicPrim extends FactorAbsolute<AlgebraicNumber<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - factorCoeff
```
FactorAbstract<C extends GcdRingElem<C>> factorCoeff
```
      Factorization engine for base coefficients.
- Class edu.jas.application.FactorRealReal extends FactorAbstract<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> implements Serializable
  - Serialized Fields
    - factorAlgebraic
```
FactorAbstract<C extends GcdRingElem<C>> factorAlgebraic
```
      Factorization engine for base coefficients.
- Class edu.jas.application.GBAlgorithmBuilder extends java.lang.Object implements Serializable
  - Serialized Fields
    - algo
```
GroebnerBaseAbstract<C extends RingElem<C>> algo
```
      The current GB algorithm implementation.
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      The current polynomial ring.
    - strategy
```
PairList<C extends RingElem<C>> strategy
```
      Requested pairlist strategy.
- Class edu.jas.application.Ideal extends java.lang.Object implements Serializable
  - Serialized Fields
    - list
```
PolynomialList<C extends RingElem<C>> list
```
      The data structure is a PolynomialList.
    - isGB
```
boolean isGB
```
      Indicator if list is a Groebner Base.
    - testGB
```
boolean testGB
```
      Indicator if test has been performed if this is a Groebner Base.
    - isTopt
```
boolean isTopt
```
      Indicator if list has optimized term order.
    - bb
```
GroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Groebner base engine.
    - red
```
Reduction<C extends RingElem<C>> red
```
      Reduction engine.
    - engine
```
SquarefreeAbstract<C extends GcdRingElem<C>> engine
```
      Squarefree decomposition engine.
- Class edu.jas.application.IdealWithComplexAlgebraicRoots extends IdealWithUniv<D extends GcdRingElem<D> & Rational> implements Serializable
  - Serialized Fields
    - can
```
java.util.List<E> can
```
      The list of complex algebraic roots.
    - droots
```
java.util.List<E> droots
```
      The list of decimal approximations of the complex algebraic roots.
- Class edu.jas.application.IdealWithRealAlgebraicRoots extends IdealWithUniv<D extends GcdRingElem<D> & Rational> implements Serializable
  - Serialized Fields
    - ran
```
java.util.List<E> ran
```
      The list of real algebraic roots.
    - droots
```
java.util.List<E> droots
```
      The list of decimal approximations of the real algebraic roots.
- Class edu.jas.application.IdealWithRealRoots extends IdealWithUniv<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - rroots
```
java.util.List<E> rroots
```
      The list of real roots.
- Class edu.jas.application.IdealWithUniv extends java.lang.Object implements Serializable
  - Serialized Fields
    - ideal
```
Ideal<C extends GcdRingElem<C>> ideal
```
      The ideal.
    - upolys
```
java.util.List<E> upolys
```
      The list of univariate polynomials. Contains polynomials from serveral rings, depending on the stage of the decomposition. 1) polynomials in a ring of one variable, 2) polynomials depending on only one variable but in a ring with multiple variables, 3) after contraction to a non-zero dimensional ring multivariate polynomials depending on one significant variable and multiple variables from the quotient coefficients.
    - others
```
java.util.List<E> others
```
      A list of other useful polynomials. 1) field extension polynomials, 2) generators for infinite quotients.
- Class edu.jas.application.IntegerProgram extends java.lang.Object implements Serializable
  - Serialized Fields
    - negVars
```
boolean negVars
```
    - success
```
boolean success
```
    - n
```
int n
```
    - m
```
int m
```
    - C
```
long[] C
```
    - B
```
long[] B
```
    - A
```
long[][] A
```
    - D
```
long[] D
```
    - Aa
```
long[][] Aa
```
    - I
```
Ideal<C extends GcdRingElem<C>> I
```
    - GB
```
Ideal<C extends GcdRingElem<C>> GB
```
    - to
```
TermOrder to
```
    - F
```
PolynomialList<C extends RingElem<C>> F
```
    - S
```
GenPolynomial<C extends RingElem<C>> S
```
- Class edu.jas.application.Local extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
LocalRing<C extends GcdRingElem<C>> ring
```
      Local class factory data structure.
    - num
```
GenPolynomial<C extends RingElem<C>> num
```
      Numerator part of the element data structure.
    - den
```
GenPolynomial<C extends RingElem<C>> den
```
      Denominator part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this local element is a unit. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.application.LocalRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisor<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - ideal
```
Ideal<C extends GcdRingElem<C>> ideal
```
      Polynomial ideal for localization.
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      Polynomial ring of the factory.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.application.LocalSolvablePolynomial extends GenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - ring
```
LocalSolvablePolynomialRing<C extends GcdRingElem<C>> ring
```
      The factory for the recursive solvable polynomial ring. Hides super.ring.
- Class edu.jas.application.LocalSolvablePolynomialRing extends GenSolvablePolynomialRing<SolvableLocal<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - polCoeff
```
RecSolvablePolynomialRing<C extends RingElem<C>> polCoeff
```
      Recursive solvable polynomial ring with polynomial coefficients.
    - ZERO
```
LocalSolvablePolynomial<C extends GcdRingElem<C>> ZERO
```
      The constant polynomial 0 for this ring. Hides super ZERO.
    - ONE
```
LocalSolvablePolynomial<C extends GcdRingElem<C>> ONE
```
      The constant polynomial 1 for this ring. Hides super ONE.
- Class edu.jas.application.OrderedCPairlist extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
    - P
```
java.util.List<E> P
```
    - pairlist
```
java.util.SortedMap<K,V> pairlist
```
    - red
```
java.util.List<E> red
```
    - reduction
```
CReductionSeq<C extends GcdRingElem<C>> reduction
```
    - oneInGB
```
boolean oneInGB
```
    - useCriterion4
```
boolean useCriterion4
```
    - putCount
```
int putCount
```
    - remCount
```
int remCount
```
    - moduleVars
```
int moduleVars
```
- Class edu.jas.application.PrimaryComponent extends java.lang.Object implements Serializable
  - Serialized Fields
    - primary
```
Ideal<C extends GcdRingElem<C>> primary
```
      The primary ideal.
    - prime
```
IdealWithUniv<C extends GcdRingElem<C>> prime
```
      The associated prime ideal.
    - exponent
```
int exponent
```
      The exponent of prime for primary.
- Class edu.jas.application.PrimitiveElement extends java.lang.Object implements Serializable
  - Serialized Fields
    - primitiveElem
```
AlgebraicNumberRing<C extends RingElem<C>> primitiveElem
```
      The primitive element.
    - A
```
AlgebraicNumber<C extends RingElem<C>> A
```
      The representation of the first algebraic element in the new ring.
    - B
```
AlgebraicNumber<C extends RingElem<C>> B
```
      The representation of the second algebraic element in the new ring.
    - Aring
```
AlgebraicNumberRing<C extends RingElem<C>> Aring
```
      The first original algebraic ring.
    - Bring
```
AlgebraicNumberRing<C extends RingElem<C>> Bring
```
      The second original algebraic ring.
- Class edu.jas.application.RealAlgebraicNumber extends java.lang.Object implements Serializable
  - Serialized Fields
    - number
```
RealAlgebraicNumber<C extends GcdRingElem<C> & Rational> number
```
      Representing recursive RealAlgebraicNumber.
    - ring
```
RealAlgebraicRing<C extends GcdRingElem<C> & Rational> ring
```
      Ring part of the data structure.
- Class edu.jas.application.RealAlgebraicRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - univs
```
IdealWithUniv<C extends GcdRingElem<C>> univs
```
      Representing ideal with univariate polynomials IdealWithUniv.
    - algebraic
```
ResidueRing<C extends GcdRingElem<C>> algebraic
```
      Representing ResidueRing.
    - root
```
RealRootTuple<C extends GcdRingElem<C> & Rational> root
```
      Isolating intervals for the real algebraic roots of the real and imaginary part. Note: intervals may shrink eventually.
    - realRing
```
RealAlgebraicRing<C extends GcdRingElem<C> & Rational> realRing
```
      Recursive real root ring.
    - eps
```
BigRational eps
```
      Epsilon of the isolating rectangle for a complex root.
    - PRECISION
```
int PRECISION
```
      Precision of the isolating rectangle for a complex root.
- Class edu.jas.application.Residue extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
ResidueRing<C extends GcdRingElem<C>> ring
```
      Residue class factory data structure.
    - val
```
GenPolynomial<C extends RingElem<C>> val
```
      Value part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this residue element is a unit. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.application.ResidueRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisor<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - ideal
```
Ideal<C extends GcdRingElem<C>> ideal
```
      Polynomial ideal for the reduction.
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      Polynomial ring of the factory. Shortcut to ideal.list.ring.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.application.ResidueSolvablePolynomial extends GenSolvablePolynomial<SolvableResidue<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - ring
```
ResidueSolvablePolynomialRing<C extends GcdRingElem<C>> ring
```
      The factory for the recursive solvable polynomial ring. Hides super.ring.
- Class edu.jas.application.ResidueSolvablePolynomialRing extends GenSolvablePolynomialRing<SolvableResidue<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - polCoeff
```
RecSolvablePolynomialRing<C extends RingElem<C>> polCoeff
```
      Recursive solvable polynomial ring with polynomial coefficients.
    - ZERO
```
ResidueSolvablePolynomial<C extends GcdRingElem<C>> ZERO
```
      The constant polynomial 0 for this ring. Hides super ZERO.
    - ONE
```
ResidueSolvablePolynomial<C extends GcdRingElem<C>> ONE
```
      The constant polynomial 1 for this ring. Hides super ONE.
- Class edu.jas.application.ResidueSolvableWordPolynomial extends GenSolvablePolynomial<WordResidue<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - ring
```
ResidueSolvableWordPolynomialRing<C extends GcdRingElem<C>> ring
```
      The factory for the recursive solvable polynomial ring. Hides super.ring.
- Class edu.jas.application.ResidueSolvableWordPolynomialRing extends GenSolvablePolynomialRing<WordResidue<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - polCoeff
```
RecSolvableWordPolynomialRing<C extends RingElem<C>> polCoeff
```
      Recursive solvable polynomial ring with polynomial coefficients.
    - ZERO
```
ResidueSolvableWordPolynomial<C extends GcdRingElem<C>> ZERO
```
      The constant polynomial 0 for this ring. Hides super ZERO.
    - ONE
```
ResidueSolvableWordPolynomial<C extends GcdRingElem<C>> ONE
```
      The constant polynomial 1 for this ring. Hides super ONE.
- Class edu.jas.application.SolvableIdeal extends java.lang.Object implements Serializable
  - Serialized Fields
    - list
```
PolynomialList<C extends RingElem<C>> list
```
      The data structure is a PolynomialList.
    - isGB
```
boolean isGB
```
      Indicator if list is a Groebner Base.
    - sided
```
SolvableIdeal.Side sided
```
      Indicator of side of Groebner Base.
    - testGB
```
boolean testGB
```
      Indicator if test has been performed if this is a Groebner Base.
    - isTopt
```
boolean isTopt
```
      Indicator if list has optimized term order.
    - bb
```
SolvableGroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Groebner base engine.
    - red
```
SolvableReduction<C extends RingElem<C>> red
```
      Reduction engine.
- Class edu.jas.application.SolvableLocal extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
SolvableLocalRing<C extends GcdRingElem<C>> ring
```
      SolvableLocal class factory data structure.
    - num
```
GenSolvablePolynomial<C extends RingElem<C>> num
```
      Numerator part of the element data structure.
    - den
```
GenSolvablePolynomial<C extends RingElem<C>> den
```
      Denominator part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this local element is a unit. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.application.SolvableLocalResidue extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
SolvableLocalResidueRing<C extends GcdRingElem<C>> ring
```
      SolvableLocalResidue class factory data structure.
    - num
```
GenSolvablePolynomial<C extends RingElem<C>> num
```
      Numerator part of the element data structure.
    - den
```
GenSolvablePolynomial<C extends RingElem<C>> den
```
      Denominator part of the element data structure.
- Class edu.jas.application.SolvableLocalResidueRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenSolvablePolynomialRing<C extends RingElem<C>> ring
```
      Solvable polynomial ring of the factory.
    - ideal
```
SolvableIdeal<C extends GcdRingElem<C>> ideal
```
      Solvable polynomial ideal for the reduction.
    - engine
```
SolvableSyzygyAbstract<C extends GcdRingElem<C>> engine
```
      Syzygy engine of the factory.
    - bb
```
SolvableGroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Groebner base engine.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.application.SolvableLocalRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - ideal
```
SolvableIdeal<C extends GcdRingElem<C>> ideal
```
      Solvable polynomial ideal for localization.
    - ring
```
GenSolvablePolynomialRing<C extends RingElem<C>> ring
```
      Solvable polynomial ring of the factory.
    - engine
```
SolvableSyzygyAbstract<C extends GcdRingElem<C>> engine
```
      Syzygy engine of the factory.
    - bb
```
SolvableGroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Groebner base engine.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.application.SolvableResidue extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
SolvableResidueRing<C extends GcdRingElem<C>> ring
```
      SolvableResidue class factory data structure.
    - val
```
GenSolvablePolynomial<C extends RingElem<C>> val
```
      Value part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this residue element is a unit. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.application.SolvableResidueRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - bb
```
SolvableGroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Groebner base engine.
    - ideal
```
SolvableIdeal<C extends GcdRingElem<C>> ideal
```
      Solvable polynomial ideal for the reduction.
    - ring
```
GenSolvablePolynomialRing<C extends RingElem<C>> ring
```
      Polynomial ring of the factory. Shortcut to ideal.list.ring.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.application.WordIdeal extends java.lang.Object implements Serializable
  - Serialized Fields
    - list
```
java.util.List<E> list
```
      The data structure is a list of word polynomials.
    - ring
```
GenWordPolynomialRing<C extends RingElem<C>> ring
```
      Reference to the word polynomial ring.
    - isGB
```
boolean isGB
```
      Indicator if list is a Groebner Base.
    - testGB
```
boolean testGB
```
      Indicator if test has been performed if this is a Groebner Base.
    - bb
```
WordGroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Groebner base engine.
    - red
```
WordReduction<C extends RingElem<C>> red
```
      Reduction engine.
- Class edu.jas.application.WordResidue extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
WordResidueRing<C extends GcdRingElem<C>> ring
```
      WordResidue class factory data structure.
    - val
```
GenWordPolynomial<C extends RingElem<C>> val
```
      Value part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this residue element is a unit. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.application.WordResidueRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - bb
```
WordGroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Groebner base engine.
    - ideal
```
WordIdeal<C extends GcdRingElem<C>> ideal
```
      Word polynomial ideal for the reduction.
    - ring
```
GenWordPolynomialRing<C extends RingElem<C>> ring
```
      Polynomial ring of the factory. Shortcut to ideal.list.ring.
    - isField
```
int isField
```
      Indicator if this ring is a field.
Package edu.jas.arith
- Class edu.jas.arith.BigComplex extends java.lang.Object implements Serializable
  - Serialized Fields
    - re
```
BigRational re
```
      Real part of the data structure.
    - im
```
BigRational im
```
      Imaginary part of the data structure.
- Class edu.jas.arith.BigDecimal extends java.lang.Object implements Serializable
  - Serialized Fields
    - val
```
java.math.BigDecimal val
```
      The data structure.
    - context
```
java.math.MathContext context
```
- Class edu.jas.arith.BigDecimalComplex extends java.lang.Object implements Serializable
  - Serialized Fields
    - re
```
BigDecimal re
```
      Real part of the data structure.
    - im
```
BigDecimal im
```
      Imaginary part of the data structure.
- Class edu.jas.arith.BigInteger extends java.lang.Object implements Serializable
  - Serialized Fields
    - val
```
java.math.BigInteger val
```
      The data structure.
    - nonNegative
```
boolean nonNegative
```
- Class edu.jas.arith.BigOctonion extends java.lang.Object implements Serializable
  - Serialized Fields
    - or
```
BigQuaternion or
```
      First part of the data structure.
    - oi
```
BigQuaternion oi
```
      Second part of the data structure.
    - ZERO
```
BigOctonion ZERO
```
      The constant 0.
    - ONE
```
BigOctonion ONE
```
      The constant 1.
    - I
```
BigOctonion I
```
      The constant i.
- Class edu.jas.arith.BigQuaternion extends java.lang.Object implements Serializable
  - Serialized Fields
    - re
```
BigRational re
```
      Real part of the data structure.
    - im
```
BigRational im
```
      Imaginary part i of the data structure.
    - jm
```
BigRational jm
```
      Imaginary part j of the data structure.
    - km
```
BigRational km
```
      Imaginary part k of the data structure.
    - ring
```
BigQuaternionRing ring
```
      Corresponding BigQuaternion ring.
- Class edu.jas.arith.BigQuaternionInteger extends BigQuaternion implements Serializable
- Class edu.jas.arith.BigQuaternionRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - integral
```
boolean integral
```
      Flag to signal if this ring is integral.
    - ZERO
```
BigQuaternion ZERO
```
      The constant 0.
    - ONE
```
BigQuaternion ONE
```
      The constant 1.
    - I
```
BigQuaternion I
```
      The constant i.
    - J
```
BigQuaternion J
```
      The constant j.
    - K
```
BigQuaternion K
```
      The constant k.
- Class edu.jas.arith.BigRational extends java.lang.Object implements Serializable
  - Serialized Fields
    - num
```
java.math.BigInteger num
```
      Numerator part of the data structure.
    - den
```
java.math.BigInteger den
```
      Denominator part of the data structure.
    - nonNegative
```
boolean nonNegative
```
    - duplicates
```
boolean duplicates
```
- Class edu.jas.arith.ModInteger extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
ModIntegerRing ring
```
      ModIntegerRing reference.
    - val
```
java.math.BigInteger val
```
      Value part of the element data structure.
- Class edu.jas.arith.ModIntegerRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - modul
```
java.math.BigInteger modul
```
      Module part of the factory data structure.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.arith.ModLong extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
ModLongRing ring
```
      ModLongRing reference.
    - val
```
long val
```
      Value part of the element data structure.
- Class edu.jas.arith.ModLongRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - modul
```
long modul
```
      Module part of the factory data structure.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.arith.ModularNotInvertibleException extends NotInvertibleException implements Serializable
  - Serialized Fields
    - f
```
GcdRingElem<C extends GcdRingElem<C>> f
```
    - f1
```
GcdRingElem<C extends GcdRingElem<C>> f1
```
    - f2
```
GcdRingElem<C extends GcdRingElem<C>> f2
```
- Class edu.jas.arith.Product extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
ProductRing<C extends RingElem<C>> ring
```
      Product class factory data structure.
    - val
```
java.util.SortedMap<K,V> val
```
      Value part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this product element is a unit in each cmponent. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.arith.ProductRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - nCopies
```
int nCopies
```
      Ring factory is n copies.
    - ring
```
RingFactory<C extends RingElem<C>> ring
```
      One Ring factory.
    - ringList
```
java.util.List<E> ringList
```
      Ring factory list.
Package edu.jas.fd
- Class edu.jas.fd.GCDcoFactors extends java.lang.Object implements Serializable
  - Serialized Fields
    - fd
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> fd
```
      GCD algorithm to use for verification.
    - polyA
```
GenSolvablePolynomial<C extends RingElem<C>> polyA
```
      Original polynomial A of the GCD computation.
    - polyB
```
GenSolvablePolynomial<C extends RingElem<C>> polyB
```
      Original polynomial B of the GCD computation.
    - coA
```
GenSolvablePolynomial<C extends RingElem<C>> coA
```
      Co-factor of A.
    - coB
```
GenSolvablePolynomial<C extends RingElem<C>> coB
```
      Co-factor of B.
    - left
```
GenSolvablePolynomial<C extends RingElem<C>> left
```
      Left GCD of A and B.
    - right
```
GenSolvablePolynomial<C extends RingElem<C>> right
```
      Right GCD of A and B.
- Class edu.jas.fd.GreatestCommonDivisorAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - syz
```
SolvableSyzygyAbstract<C extends GcdRingElem<C>> syz
```
      Engine for syzygy computation.
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
      Coefficient ring.
- Class edu.jas.fd.GreatestCommonDivisorFake extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.fd.GreatestCommonDivisorLR extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.fd.GreatestCommonDivisorPrimitive extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.fd.GreatestCommonDivisorSimple extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.fd.GreatestCommonDivisorSyzygy extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.fd.QuotSolvablePolynomial extends GenSolvablePolynomial<SolvableQuotient<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - ring
```
QuotSolvablePolynomialRing<C extends GcdRingElem<C>> ring
```
      The factory for the recursive solvable polynomial ring. Hides super.ring.
- Class edu.jas.fd.QuotSolvablePolynomialRing extends GenSolvablePolynomialRing<SolvableQuotient<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - polCoeff
```
RecSolvablePolynomialRing<C extends RingElem<C>> polCoeff
```
      Recursive solvable polynomial ring with polynomial coefficients.
    - ZERO
```
QuotSolvablePolynomial<C extends GcdRingElem<C>> ZERO
```
      The constant polynomial 0 for this ring. Hides super ZERO.
    - ONE
```
QuotSolvablePolynomial<C extends GcdRingElem<C>> ONE
```
      The constant polynomial 1 for this ring. Hides super ONE.
- Class edu.jas.fd.SGCDParallelProxy extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - e0
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> e0
```
      GCD engines.
    - e1
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> e1
```
    - e2
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> e2
```
- Class edu.jas.fd.SolvableQuotient extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
SolvableQuotientRing<C extends GcdRingElem<C>> ring
```
      SolvableQuotient class factory data structure.
    - num
```
GenSolvablePolynomial<C extends RingElem<C>> num
```
      Numerator part of the element data structure.
    - den
```
GenSolvablePolynomial<C extends RingElem<C>> den
```
      Denominator part of the element data structure.
- Class edu.jas.fd.SolvableQuotientRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenSolvablePolynomialRing<C extends RingElem<C>> ring
```
      Solvable polynomial ring of the factory.
    - engine
```
SolvableSyzygyAbstract<C extends GcdRingElem<C>> engine
```
      Syzygy engine of the factory.
Package edu.jas.gb
- Class edu.jas.gb.AbstractPair extends java.lang.Object implements Serializable
  - Serialized Fields
    - e
```
ExpVector e
```
    - pi
```
GenPolynomial<C extends RingElem<C>> pi
```
    - pj
```
GenPolynomial<C extends RingElem<C>> pj
```
    - i
```
int i
```
    - j
```
int j
```
    - s
```
int s
```
- Class edu.jas.gb.CriticalPair extends AbstractPair<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - inReduction
```
boolean inReduction
```
    - reductum
```
GenPolynomial<C extends RingElem<C>> reductum
```
- Class edu.jas.gb.CriticalPairComparator extends java.lang.Object implements Serializable
  - Serialized Fields
    - tord
```
TermOrder tord
```
    - ec
```
TermOrder.EVComparator ec
```
- Class edu.jas.gb.CriticalPairList extends OrderedPairlist<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - pairlist
```
java.util.SortedSet<E> pairlist
```
    - recordCount
```
int recordCount
```
- Class edu.jas.gb.DGroebnerBaseSeq extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - dred
```
DReduction<C extends RingElem<C>> dred
```
      Reduction engine.
- Class edu.jas.gb.DReductionSeq extends ReductionAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.EGroebnerBaseSeq extends DGroebnerBaseSeq<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - ered
```
EReduction<C extends RingElem<C>> ered
```
      Reduction engine.
- Class edu.jas.gb.EReductionSeq extends DReductionSeq<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.GBOptimized extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - e1
```
GroebnerBaseAbstract<C extends RingElem<C>> e1
```
      GB engine.
    - retPermuted
```
boolean retPermuted
```
      Indicator for return of permuted polynomials.
- Class edu.jas.gb.GBProxy extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - e1
```
GroebnerBaseAbstract<C extends RingElem<C>> e1
```
      GB engines.
    - e2
```
GroebnerBaseAbstract<C extends RingElem<C>> e2
```
- Class edu.jas.gb.GBTransportMess extends java.lang.Object implements Serializable
- Class edu.jas.gb.GroebnerBaseAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - red
```
Reduction<C extends RingElem<C>> red
```
      Reduction engine.
    - strategy
```
PairList<C extends RingElem<C>> strategy
```
      Strategy for pair selection.
    - blas
```
BasicLinAlg<C extends RingElem<C>> blas
```
      linear algebra engine.
- Class edu.jas.gb.GroebnerBaseArriSigSeqIter extends GroebnerBaseSigSeqIter<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.GroebnerBaseDistributedEC extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
    - DHT_PORT
```
int DHT_PORT
```
      Default distributed hash table server port.
    - port
```
int port
```
      Server port to use.
    - mfile
```
java.lang.String mfile
```
      machine file to use.
- Class edu.jas.gb.GroebnerBaseDistributedHybridEC extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
    - threadsPerNode
```
int threadsPerNode
```
      Number of threads per node to use.
    - DHT_PORT
```
int DHT_PORT
```
      Default distributed hash table server port.
    - mfile
```
java.lang.String mfile
```
      machine file to use.
    - port
```
int port
```
      Server port to use.
- Class edu.jas.gb.GroebnerBaseF5zSigSeqIter extends GroebnerBaseSigSeqIter<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.GroebnerBaseGGVSigSeqIter extends GroebnerBaseSigSeqIter<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.GroebnerBaseParallel extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
- Class edu.jas.gb.GroebnerBaseParIter extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
- Class edu.jas.gb.GroebnerBaseSeq extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.GroebnerBaseSeqIter extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.GroebnerBaseSeqPairDistributed extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Deprecated.
      
      Number of threads to use.
    - port
```
int port
```
      Deprecated.
      
      Server port to use.
- Class edu.jas.gb.GroebnerBaseSeqPairParallel extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
- Class edu.jas.gb.GroebnerBaseSeqPairSeq extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.GroebnerBaseSigSeqIter extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - sred
```
SigReductionSeq<C extends RingElem<C>> sred
```
- Class edu.jas.gb.OrderedDPairlist extends OrderedPairlist<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - dreduction
```
DReduction<C extends RingElem<C>> dreduction
```
- Class edu.jas.gb.OrderedMinPairlist extends OrderedPairlist<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.OrderedPairlist extends java.lang.Object implements Serializable
  - Serialized Fields
    - P
```
java.util.List<E> P
```
    - pairlist
```
java.util.SortedMap<K,V> pairlist
```
    - red
```
java.util.List<E> red
```
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
    - reduction
```
Reduction<C extends RingElem<C>> reduction
```
    - oneInGB
```
boolean oneInGB
```
    - useCriterion4
```
boolean useCriterion4
```
    - putCount
```
int putCount
```
    - remCount
```
int remCount
```
    - moduleVars
```
int moduleVars
```
- Class edu.jas.gb.OrderedSyzPairlist extends OrderedPairlist<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.Pair extends AbstractPair<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - n
```
int n
```
    - toZero
```
boolean toZero
```
    - useCriterion4
```
boolean useCriterion4
```
    - useCriterion3
```
boolean useCriterion3
```
- Class edu.jas.gb.ReductionAbstract extends java.lang.Object implements Serializable
- Class edu.jas.gb.ReductionPar extends ReductionAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.ReductionSeq extends ReductionAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.SGBProxy extends SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - e1
```
SolvableGroebnerBaseAbstract<C extends RingElem<C>> e1
```
      GB engines.
    - e2
```
SolvableGroebnerBaseAbstract<C extends RingElem<C>> e2
```
- Class edu.jas.gb.SigReductionSeq extends java.lang.Object implements Serializable
  - Serialized Fields
    - red
```
ReductionAbstract<C extends RingElem<C>> red
```
- Class edu.jas.gb.SolvableGroebnerBaseAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - sred
```
SolvableReduction<C extends RingElem<C>> sred
```
      Solvable reduction engine.
    - red
```
Reduction<C extends RingElem<C>> red
```
      Reduction engine.
    - strategy
```
PairList<C extends RingElem<C>> strategy
```
      Strategy for pair selection.
    - blas
```
BasicLinAlg<C extends RingElem<C>> blas
```
      Linear algebra engine.
    - cbb
```
GroebnerBaseAbstract<C extends RingElem<C>> cbb
```
      Commutative Groebner bases engine.
- Class edu.jas.gb.SolvableGroebnerBaseParallel extends SolvableGroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
- Class edu.jas.gb.SolvableGroebnerBaseSeq extends SolvableGroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.SolvableGroebnerBaseSeqPairParallel extends SolvableGroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
- Class edu.jas.gb.SolvableReductionAbstract extends java.lang.Object implements Serializable
- Class edu.jas.gb.SolvableReductionPar extends SolvableReductionAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.SolvableReductionSeq extends SolvableReductionAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.WordGroebnerBaseAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - red
```
WordReduction<C extends RingElem<C>> red
```
      Reduction engine.
    - strategy
```
WordPairList<C extends RingElem<C>> strategy
```
      Strategy for pair selection.
- Class edu.jas.gb.WordGroebnerBaseSeq extends WordGroebnerBaseAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gb.WordReductionAbstract extends java.lang.Object implements Serializable
- Class edu.jas.gb.WordReductionSeq extends WordReductionAbstract<C extends RingElem<C>> implements Serializable
Package edu.jas.gbmod
- Class edu.jas.gbmod.ModSolvableGroebnerBaseAbstract extends java.lang.Object implements Serializable
- Class edu.jas.gbmod.ModSolvableGroebnerBasePar extends ModSolvableGroebnerBaseSeq<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.gbmod.ModSolvableGroebnerBaseSeq extends ModSolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - sbb
```
SolvableGroebnerBaseAbstract<C extends RingElem<C>> sbb
```
      Deprecated.
      
      Used Solvable Groebner base algorithm.
Package edu.jas.gbufd
- Class edu.jas.gbufd.CharacteristicSetSimple extends java.lang.Object implements Serializable
- Class edu.jas.gbufd.CharacteristicSetWu extends java.lang.Object implements Serializable
- Class edu.jas.gbufd.GroebnerBaseFGLM extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - sgb
```
GroebnerBaseAbstract<C extends RingElem<C>> sgb
```
      The backing GB algorithm implementation.
- Class edu.jas.gbufd.GroebnerBasePartial extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - bb
```
GroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Backing Groebner base engine.
    - rbb
```
GroebnerBaseAbstract<C extends RingElem<C>> rbb
```
      Backing recursive Groebner base engine.
- Class edu.jas.gbufd.GroebnerBasePseudoParallel extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - red
```
PseudoReduction<C extends RingElem<C>> red
```
      Pseudo reduction engine.
    - cofac
```
RingFactory<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
- Class edu.jas.gbufd.GroebnerBasePseudoRecParallel extends GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - threads
```
int threads
```
      Number of threads to use.
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - redRec
```
PseudoReduction<C extends RingElem<C>> redRec
```
      Pseudo reduction engine.
    - red
```
PseudoReduction<C extends RingElem<C>> red
```
      Pseudo reduction engine.
    - cofac
```
RingFactory<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
    - baseCofac
```
RingFactory<C extends RingElem<C>> baseCofac
```
      Base coefficient ring factory.
- Class edu.jas.gbufd.GroebnerBasePseudoRecSeq extends GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - redRec
```
PseudoReduction<C extends RingElem<C>> redRec
```
      Pseudo reduction engine.
    - red
```
PseudoReduction<C extends RingElem<C>> red
```
      Pseudo reduction engine.
    - cofac
```
RingFactory<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
    - baseCofac
```
RingFactory<C extends RingElem<C>> baseCofac
```
      Base coefficient ring factory.
- Class edu.jas.gbufd.GroebnerBasePseudoSeq extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - red
```
PseudoReduction<C extends RingElem<C>> red
```
      Pseudo reduction engine.
    - cofac
```
RingFactory<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
- Class edu.jas.gbufd.GroebnerBaseQuotient extends GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - bba
```
GroebnerBaseAbstract<C extends RingElem<C>> bba
```
- Class edu.jas.gbufd.GroebnerBaseRational extends GroebnerBaseAbstract<BigRational> implements Serializable
  - Serialized Fields
    - bba
```
GroebnerBaseAbstract<C extends RingElem<C>> bba
```
- Class edu.jas.gbufd.GroebnerBaseWalk extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - sgb
```
GroebnerBaseAbstract<C extends RingElem<C>> sgb
```
      The backing GB algorithm implementation.
    - startTO
```
TermOrder startTO
```
      The start term order t1.
    - iterPrint
```
int iterPrint
```
      Print intermediate GB after this number of iterations.
- Class edu.jas.gbufd.MultiplicativeSet extends java.lang.Object implements Serializable
  - Serialized Fields
    - mset
```
java.util.List<E> mset
```
      Data structure.
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      Polynomial ring factory.
- Class edu.jas.gbufd.MultiplicativeSetCoPrime extends MultiplicativeSet<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Gcd computation engine.
- Class edu.jas.gbufd.MultiplicativeSetFactors extends MultiplicativeSet<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - engine
```
FactorAbstract<C extends GcdRingElem<C>> engine
```
      Factors decomposition engine.
- Class edu.jas.gbufd.MultiplicativeSetSquarefree extends MultiplicativeSet<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - engine
```
SquarefreeAbstract<C extends GcdRingElem<C>> engine
```
      Squarefree decomposition engine.
- Class edu.jas.gbufd.OrderedRPairlist extends OrderedPairlist<C extends RegularRingElem<C>> implements Serializable
  - Serialized Fields
    - rreduction
```
RReduction<C extends RegularRingElem<C>> rreduction
```
- Class edu.jas.gbufd.PseudoReductionPar extends ReductionAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gbufd.PseudoReductionSeq extends ReductionAbstract<C extends RingElem<C>> implements Serializable
- Class edu.jas.gbufd.RGroebnerBasePseudoSeq extends RGroebnerBaseSeq<C extends RegularRingElem<C>> implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - red
```
RPseudoReduction<C extends RegularRingElem<C>> red
```
      Pseudo reduction engine.
    - cofac
```
RingFactory<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
- Class edu.jas.gbufd.RGroebnerBaseSeq extends GroebnerBaseAbstract<C extends RegularRingElem<C>> implements Serializable
  - Serialized Fields
    - rred
```
RReduction<C extends RegularRingElem<C>> rred
```
      Reduction engine.
- Class edu.jas.gbufd.RPseudoReductionSeq extends RReductionSeq<C extends RegularRingElem<C>> implements Serializable
- Class edu.jas.gbufd.RReductionSeq extends ReductionAbstract<C extends RegularRingElem<C>> implements Serializable
- Class edu.jas.gbufd.SolvableGroebnerBasePseudoRecSeq extends SolvableGroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - sredRec
```
SolvablePseudoReduction<C extends RingElem<C>> sredRec
```
      Pseudo reduction engine.
    - sred
```
SolvablePseudoReduction<C extends RingElem<C>> sred
```
      Pseudo reduction engine.
    - cofac
```
GenPolynomialRing<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
- Class edu.jas.gbufd.SolvableGroebnerBasePseudoSeq extends SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - sred
```
SolvablePseudoReduction<C extends RingElem<C>> sred
```
      Pseudo reduction engine.
    - cofac
```
RingFactory<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
- Class edu.jas.gbufd.SolvablePseudoReductionSeq extends SolvableReductionAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.gbufd.SolvableSyzygyAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - sred
```
SolvableReduction<C extends RingElem<C>> sred
```
      Solvable reduction engine.
    - red
```
Reduction<C extends RingElem<C>> red
```
      Reduction engine.
    - blas
```
BasicLinAlg<C extends RingElem<C>> blas
```
      Linear algebra engine.
- Class edu.jas.gbufd.SolvableSyzygySeq extends SolvableSyzygyAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - sbb
```
SolvableGroebnerBase<C extends RingElem<C>> sbb
```
      Groebner basis engine.
- Class edu.jas.gbufd.SyzygyAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - red
```
Reduction<C extends RingElem<C>> red
```
      Reduction engine.
    - blas
```
BasicLinAlg<C extends RingElem<C>> blas
```
      Linear algebra engine.
- Class edu.jas.gbufd.SyzygySeq extends SyzygyAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - bb
```
GroebnerBaseAbstract<C extends RingElem<C>> bb
```
      Groebner base engine.
- Class edu.jas.gbufd.WordGroebnerBasePseudoRecSeq extends WordGroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Greatest common divisor engine for coefficient content and primitive parts.
    - redRec
```
WordPseudoReduction<C extends RingElem<C>> redRec
```
      Reduction engine.
    - red
```
WordPseudoReduction<C extends RingElem<C>> red
```
      Reduction engine.
    - cofac
```
GenPolynomialRing<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
- Class edu.jas.gbufd.WordGroebnerBasePseudoSeq extends WordGroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - cofac
```
RingFactory<C extends RingElem<C>> cofac
```
      Coefficient ring factory.
- Class edu.jas.gbufd.WordPseudoReductionSeq extends WordReductionAbstract<C extends RingElem<C>> implements Serializable
Package edu.jas.integrate
- Class edu.jas.integrate.Integral extends java.lang.Object implements Serializable
  - Serialized Fields
    - num
```
GenPolynomial<C extends RingElem<C>> num
```
      Original numerator polynomial with coefficients from C.
    - den
```
GenPolynomial<C extends RingElem<C>> den
```
      Original denominator polynomial with coefficients from C.
    - pol
```
GenPolynomial<C extends RingElem<C>> pol
```
      Integral of the polynomial part.
    - rational
```
java.util.List<E> rational
```
      Integral of the rational part.
    - logarithm
```
java.util.List<E> logarithm
```
      Integral of the logarithmic part.
- Class edu.jas.integrate.LogIntegral extends java.lang.Object implements Serializable
  - Serialized Fields
    - num
```
GenPolynomial<C extends RingElem<C>> num
```
      Original numerator polynomial with coefficients from C and deg(num) < deg(den).
    - den
```
GenPolynomial<C extends RingElem<C>> den
```
      Original (irreducible) denominator polynomial with coefficients from C.
    - cfactors
```
java.util.List<E> cfactors
```
      List of numbers from C.
    - cdenom
```
java.util.List<E> cdenom
```
      List of linear factors of the denominator with coefficients from C.
    - afactors
```
java.util.List<E> afactors
```
      List of algebraic numbers of an algebraic field extension over C.
    - adenom
```
java.util.List<E> adenom
```
      List of factors of the denominator with coefficients from an AlgebraicNumberRing<C>.
- Class edu.jas.integrate.QuotIntegral extends java.lang.Object implements Serializable
  - Serialized Fields
    - quot
```
Quotient<C extends GcdRingElem<C>> quot
```
      Original rational function with coefficients from C.
    - rational
```
java.util.List<E> rational
```
      Integral of the polynomial and rational part.
    - logarithm
```
java.util.List<E> logarithm
```
      Integral of the logarithmic part.
Package edu.jas.kern
- Class edu.jas.kern.PreemptingException extends java.lang.RuntimeException implements Serializable
- Class edu.jas.kern.TimeExceededException extends java.lang.RuntimeException implements Serializable
Package edu.jas.poly
- Class edu.jas.poly.AlgebraicNotInvertibleException extends NotInvertibleException implements Serializable
  - Serialized Fields
    - f
```
GenPolynomial<C extends RingElem<C>> f
```
    - f1
```
GenPolynomial<C extends RingElem<C>> f1
```
    - f2
```
GenPolynomial<C extends RingElem<C>> f2
```
- Class edu.jas.poly.AlgebraicNumber extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
AlgebraicNumberRing<C extends RingElem<C>> ring
```
      Ring part of the data structure.
    - val
```
GenPolynomial<C extends RingElem<C>> val
```
      Value part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this algebraic number is a unit. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.poly.AlgebraicNumberRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      Ring part of the factory data structure.
    - modul
```
GenPolynomial<C extends RingElem<C>> modul
```
      Module part of the factory data structure.
    - isField
```
int isField
```
      Indicator if this ring is a field
- Class edu.jas.poly.Complex extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
ComplexRing<C extends RingElem<C>> ring
```
      Complex class factory data structure.
    - re
```
RingElem<C extends RingElem<C>> re
```
      Real part of the data structure.
    - im
```
RingElem<C extends RingElem<C>> im
```
      Imaginary part of the data structure.
- Class edu.jas.poly.ComplexRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
RingFactory<C extends RingElem<C>> ring
```
      Complex class elements factory data structure.
- Class edu.jas.poly.ExpVector extends java.lang.Object implements Serializable
- Class edu.jas.poly.ExpVectorByte extends ExpVector implements Serializable
  - Serialized Fields
    - val
```
byte[] val
```
      The data structure is an array of byte.
- Class edu.jas.poly.ExpVectorInteger extends ExpVector implements Serializable
  - Serialized Fields
    - val
```
int[] val
```
      The data structure is an array of int.
- Class edu.jas.poly.ExpVectorLong extends ExpVector implements Serializable
  - Serialized Fields
    - val
```
long[] val
```
      The data structure is an array of longs.
- Class edu.jas.poly.ExpVectorPair extends java.lang.Object implements Serializable
  - Serialized Fields
    - e1
```
ExpVector e1
```
    - e2
```
ExpVector e2
```
- Class edu.jas.poly.ExpVectorShort extends ExpVector implements Serializable
  - Serialized Fields
    - val
```
short[] val
```
      The data structure is an array of short.
- Class edu.jas.poly.GenPolynomial extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
  - Serialized Fields
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      The factory for the polynomial ring.
    - val
```
java.util.SortedMap<K,V> val
```
      The data structure for polynomials.
- Class edu.jas.poly.GenPolynomialRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
      The factory for the coefficients.
    - nvar
```
int nvar
```
      The number of variables.
    - tord
```
TermOrder tord
```
      The term order.
    - partial
```
boolean partial
```
      True for partially reversed variables.
    - vars
```
java.lang.String[] vars
```
      The names of the variables. This value can be modified.
    - ZERO
```
GenPolynomial<C extends RingElem<C>> ZERO
```
      The constant polynomial 0 for this ring.
    - ONE
```
GenPolynomial<C extends RingElem<C>> ONE
```
      The constant polynomial 1 for this ring.
    - evzero
```
ExpVector evzero
```
      The constant exponent vector 0 for this ring.
    - isField
```
int isField
```
      Indicator if this ring is a field.
    - checkPreempt
```
boolean checkPreempt
```
      Flag to enable if preemptive interrrupt is checked.
- Class edu.jas.poly.GenSolvablePolynomial extends GenPolynomial<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - ring
```
GenSolvablePolynomialRing<C extends RingElem<C>> ring
```
      The factory for the solvable polynomial ring. Hides super.ring.
- Class edu.jas.poly.GenSolvablePolynomialRing extends GenPolynomialRing<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - table
```
RelationTable<C extends RingElem<C>> table
```
      The solvable multiplication relations.
    - ZERO
```
GenSolvablePolynomial<C extends RingElem<C>> ZERO
```
      The constant polynomial 0 for this ring. Hides super ZERO.
    - ONE
```
GenSolvablePolynomial<C extends RingElem<C>> ONE
```
      The constant polynomial 1 for this ring. Hides super ONE.
- Class edu.jas.poly.GenWordPolynomial extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenWordPolynomialRing<C extends RingElem<C>> ring
```
      The factory for the polynomial ring.
    - val
```
java.util.SortedMap<K,V> val
```
      The data structure for polynomials.
- Class edu.jas.poly.GenWordPolynomialRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
      The factory for the coefficients.
    - alphabet
```
WordFactory alphabet
```
      The factory for the alphabet.
    - ZERO
```
GenWordPolynomial<C extends RingElem<C>> ZERO
```
      The constant polynomial 0 for this ring.
    - ONE
```
GenWordPolynomial<C extends RingElem<C>> ONE
```
      The constant polynomial 1 for this ring.
    - wone
```
Word wone
```
      The constant empty word exponent for this ring.
    - isField
```
int isField
```
      Indicator if this ring is a field.
    - checkPreempt
```
boolean checkPreempt
```
      Flag to enable if preemptive interrrupt is checked.
- Class edu.jas.poly.InvalidExpressionException extends java.lang.RuntimeException implements Serializable
- Class edu.jas.poly.Local extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
LocalRing<C extends RingElem<C>> ring
```
      Local class factory data structure.
    - num
```
RingElem<C extends RingElem<C>> num
```
      Numerator part of the element data structure.
    - den
```
RingElem<C extends RingElem<C>> den
```
      Denominator part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this local element is a unit. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.poly.LocalRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - ideal
```
RingElem<C extends RingElem<C>> ideal
```
      Ideal generator for localization.
    - ring
```
RingFactory<C extends RingElem<C>> ring
```
      Ring factory.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.poly.ModuleList extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      The factory for the solvable polynomial ring.
    - list
```
java.util.List<E> list
```
      The data structure is a List of Lists of polynomials.
    - rows
```
int rows
```
      Number of rows in the data structure.
    - cols
```
int cols
```
      Number of columns in the data structure.
- Class edu.jas.poly.Monomial extends java.lang.Object implements Serializable
  - Serialized Fields
    - e
```
ExpVector e
```
      Exponent of monomial.
    - c
```
RingElem<C extends RingElem<C>> c
```
      Coefficient of monomial.
- Class edu.jas.poly.OptimizedModuleList extends ModuleList<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - perm
```
java.util.List<E> perm
```
      Permutation vector used to optimize term order.
- Class edu.jas.poly.OptimizedPolynomialList extends PolynomialList<C extends RingElem<C>> implements Serializable
  - Serialized Fields
    - perm
```
java.util.List<E> perm
```
      Permutation vector used to optimize term order.
- Class edu.jas.poly.OrderedModuleList extends ModuleList<C extends RingElem<C>> implements Serializable
- Class edu.jas.poly.OrderedPolynomialList extends PolynomialList<C extends RingElem<C>> implements Serializable
- Class edu.jas.poly.Overlap extends java.lang.Object implements Serializable
  - Serialized Fields
    - l1
```
Word l1
```
    - r1
```
Word r1
```
    - l2
```
Word l2
```
    - r2
```
Word r2
```
- Class edu.jas.poly.OverlapList extends java.lang.Object implements Serializable
  - Serialized Fields
    - ols
```
java.util.List<E> ols
```
- Class edu.jas.poly.PolynomialComparator extends java.lang.Object implements Serializable
  - Serialized Fields
    - tord
```
TermOrder tord
```
    - reverse
```
boolean reverse
```
- Class edu.jas.poly.PolynomialList extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      The factory for the solvable polynomial ring.
    - list
```
java.util.List<E> list
```
      The data structure is a List of polynomials.
- Class edu.jas.poly.QLRSolvablePolynomial extends GenSolvablePolynomial<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>> implements Serializable
  - Serialized Fields
    - ring
```
QLRSolvablePolynomialRing<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>,D extends GcdRingElem<D>> ring
```
      The factory for the recursive solvable polynomial ring. Hides super.ring.
- Class edu.jas.poly.QLRSolvablePolynomialRing extends GenSolvablePolynomialRing<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>> implements Serializable
  - Serialized Fields
    - polCoeff
```
RecSolvablePolynomialRing<C extends RingElem<C>> polCoeff
```
      Recursive solvable polynomial ring with polynomial coefficients.
    - ZERO
```
QLRSolvablePolynomial<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>,D extends GcdRingElem<D>> ZERO
```
      The constant polynomial 0 for this ring. Hides super ZERO.
    - ONE
```
QLRSolvablePolynomial<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>,D extends GcdRingElem<D>> ONE
```
      The constant polynomial 1 for this ring. Hides super ONE.
    - qpfac
```
QuotPairFactory<C extends RingElem<C>,D extends RingElem<D>> qpfac
```
      Factory to create coefficients.
- Class edu.jas.poly.Quotient extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
QuotientRing<C extends RingElem<C>> ring
```
      Quotient class factory data structure.
    - num
```
RingElem<C extends RingElem<C>> num
```
      Numerator part of the element data structure.
    - den
```
RingElem<C extends RingElem<C>> den
```
      Denominator part of the element data structure.
- Class edu.jas.poly.QuotientRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
RingFactory<C extends RingElem<C>> ring
```
      Ring factory of this factory.
- Class edu.jas.poly.RecSolvablePolynomial extends GenSolvablePolynomial<GenPolynomial<C extends RingElem<C>>> implements Serializable
  - Serialized Fields
    - ring
```
RecSolvablePolynomialRing<C extends RingElem<C>> ring
```
      The factory for the recursive solvable polynomial ring. Hides super.ring.
- Class edu.jas.poly.RecSolvablePolynomialRing extends GenSolvablePolynomialRing<GenPolynomial<C extends RingElem<C>>> implements Serializable
  - Serialized Fields
    - coeffTable
```
RelationTable<C extends RingElem<C>> coeffTable
```
      The solvable multiplication relations between variables and coefficients.
    - ZERO
```
RecSolvablePolynomial<C extends RingElem<C>> ZERO
```
      The constant polynomial 0 for this ring. Hides super ZERO.
    - ONE
```
RecSolvablePolynomial<C extends RingElem<C>> ONE
```
      The constant polynomial 1 for this ring. Hides super ONE.
- Class edu.jas.poly.RecSolvableWordPolynomial extends GenSolvablePolynomial<GenWordPolynomial<C extends RingElem<C>>> implements Serializable
  - Serialized Fields
    - ring
```
RecSolvableWordPolynomialRing<C extends RingElem<C>> ring
```
      The factory for the recursive solvable polynomial ring. Hides super.ring.
- Class edu.jas.poly.RecSolvableWordPolynomialRing extends GenSolvablePolynomialRing<GenWordPolynomial<C extends RingElem<C>>> implements Serializable
  - Serialized Fields
    - coeffTable
```
RelationTable<C extends RingElem<C>> coeffTable
```
      The solvable multiplication relations between variables and coefficients.
    - ZERO
```
RecSolvableWordPolynomial<C extends RingElem<C>> ZERO
```
      The constant polynomial 0 for this ring. Hides super ZERO.
    - ONE
```
RecSolvableWordPolynomial<C extends RingElem<C>> ONE
```
      The constant polynomial 1 for this ring. Hides super ONE.
- Class edu.jas.poly.RelationTable extends java.lang.Object implements Serializable
  - Serialized Fields
    - table
```
java.util.Map<K,V> table
```
      The data structure for the relations.
    - ring
```
GenSolvablePolynomialRing<C extends RingElem<C>> ring
```
      The factory for the solvable polynomial ring.
    - coeffTable
```
boolean coeffTable
```
      Usage indicator: table or coeffTable.
- Class edu.jas.poly.Residue extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
ResidueRing<C extends RingElem<C>> ring
```
      Residue class factory data structure.
    - val
```
RingElem<C extends RingElem<C>> val
```
      Value part of the element data structure.
    - isunit
```
int isunit
```
      Flag to remember if this residue element is a unit. -1 is unknown, 1 is unit, 0 not a unit.
- Class edu.jas.poly.ResidueRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - modul
```
RingElem<C extends RingElem<C>> modul
```
      Ring element for reduction.
    - ring
```
RingFactory<C extends RingElem<C>> ring
```
      Ring factory.
    - isField
```
int isField
```
      Indicator if this ring is a field.
- Class edu.jas.poly.TableRelation extends java.lang.Object implements Serializable
  - Serialized Fields
    - e
```
ExpVector e
```
      First ExpVector of the data structure.
    - f
```
ExpVector f
```
      Second ExpVector of the data structure.
    - p
```
GenSolvablePolynomial<C extends RingElem<C>> p
```
      GenSolvablePolynomial of the data structure.
- Class edu.jas.poly.TermOrder extends java.lang.Object implements Serializable
  - Serialized Fields
    - evord
```
int evord
```
    - evord2
```
int evord2
```
    - evbeg1
```
int evbeg1
```
    - evend1
```
int evend1
```
    - evbeg2
```
int evbeg2
```
    - evend2
```
int evend2
```
    - weight
```
long[][] weight
```
      Defined array of weight vectors.
    - horder
```
TermOrder.EVComparator horder
```
      Defined descending order comparator. Sorts the highest terms first.
    - lorder
```
TermOrder.EVComparator lorder
```
      Defined ascending order comparator. Sorts the lowest terms first.
    - sugar
```
TermOrder.EVComparator sugar
```
      Defined sugar order comparator. Sorts the graded lowest terms first.
    - TOP
```
boolean TOP
```
      Termorders for modules: TOP or POT. POT: position over term (default) TOP: term over position (new)
- Class edu.jas.poly.TermOrder.EVComparator extends java.lang.Object implements Serializable
- Class edu.jas.poly.Word extends java.lang.Object implements Serializable
  - Serialized Fields
    - mono
```
WordFactory mono
```
      Defining alphabet in WordFactory.
    - val
```
java.lang.String val
```
      The data structure is a String of characters.
    - hash
```
int hash
```
      Stored hash code.
- Class edu.jas.poly.WordFactory extends java.lang.Object implements Serializable
  - Serialized Fields
    - alphabet
```
java.lang.String alphabet
```
      The data structure is a String of characters which defines the alphabet.
    - ONE
```
Word ONE
```
      The empty word for this monoid.
    - translation
```
java.lang.String[] translation
```
      The translation array of Strings.
- Class edu.jas.poly.WordFactory.WordComparator extends java.lang.Object implements Serializable
Package edu.jas.ps
- Class edu.jas.ps.Coefficients extends java.lang.Object implements Serializable
  - Serialized Fields
    - coeffCache
```
java.util.HashMap<K,V> coeffCache
```
      Cache for already computed coefficients.
- Class edu.jas.ps.MultiVarCoefficients extends java.lang.Object implements Serializable
  - Serialized Fields
    - pfac
```
GenPolynomialRing<C extends RingElem<C>> pfac
```
      Ring factory for polynomials.
    - coeffCache
```
java.util.HashMap<K,V> coeffCache
```
      Cache for already computed coefficients.
    - homCheck
```
java.util.BitSet homCheck
```
      Indicator if all coefficients of a homogeneous degree have been constructed.
    - zeroCache
```
java.util.HashSet<E> zeroCache
```
      Cache for known zero coefficients. Required because zero coefficients are not stored in the polynomials.
- Class edu.jas.ps.MultiVarPowerSeries extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
MultiVarPowerSeriesRing<C extends RingElem<C>> ring
```
      Power series ring factory.
    - lazyCoeffs
```
MultiVarCoefficients<C extends RingElem<C>> lazyCoeffs
```
      Data structure / generating function for coeffcients. Cannot be final because of fixPoint, must be accessible in factory.
    - truncate
```
int truncate
```
      Truncation of computations.
    - order
```
int order
```
      Order of power series.
    - evorder
```
ExpVector evorder
```
      ExpVector of order of power series.
- Class edu.jas.ps.MultiVarPowerSeriesRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - truncate
```
int truncate
```
      Truncate.
    - EVZERO
```
ExpVector EVZERO
```
      Zero ExpVector.
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
      Coefficient ring factory.
    - nvar
```
int nvar
```
      The number of variables.
    - vars
```
java.lang.String[] vars
```
      The names of the variables. This value can be modified.
    - ONE
```
MultiVarPowerSeries<C extends RingElem<C>> ONE
```
      The constant power series 1 for this ring.
    - ZERO
```
MultiVarPowerSeries<C extends RingElem<C>> ZERO
```
      The constant power series 0 for this ring.
- Class edu.jas.ps.Pair extends java.lang.Object implements Serializable
  - Serialized Fields
    - pi
```
MultiVarPowerSeries<C extends RingElem<C>> pi
```
    - pj
```
MultiVarPowerSeries<C extends RingElem<C>> pj
```
    - i
```
int i
```
    - j
```
int j
```
    - n
```
int n
```
    - toZero
```
boolean toZero
```
    - useCriterion4
```
boolean useCriterion4
```
    - useCriterion3
```
boolean useCriterion3
```
- Class edu.jas.ps.UnivPowerSeries extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
UnivPowerSeriesRing<C extends RingElem<C>> ring
```
      Power series ring factory.
    - lazyCoeffs
```
Coefficients<C extends RingElem<C>> lazyCoeffs
```
      Data structure / generating function for coeffcients. Cannot be final because of fixPoint, must be accessible in factory.
    - truncate
```
int truncate
```
      Truncation of computations.
    - order
```
int order
```
      Order of power series.
- Class edu.jas.ps.UnivPowerSeriesRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - truncate
```
int truncate
```
      Truncate.
    - var
```
java.lang.String var
```
      Variable name.
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
      Coefficient ring factory.
    - ONE
```
UnivPowerSeries<C extends RingElem<C>> ONE
```
      The constant power series 1 for this ring.
    - ZERO
```
UnivPowerSeries<C extends RingElem<C>> ZERO
```
      The constant power series 0 for this ring.
Package edu.jas.root
- Class edu.jas.root.AlgebraicRoots extends java.lang.Object implements Serializable
  - Serialized Fields
    - p
```
GenPolynomial<C extends RingElem<C>> p
```
      Univariate polynomial.
    - real
```
java.util.List<E> real
```
      Real algebraic roots.
    - cp
```
GenPolynomial<C extends RingElem<C>> cp
```
      Univariate polynomial with complex coefficients equivalent to p.
    - complex
```
java.util.List<E> complex
```
      Complex algebraic roots.
- Class edu.jas.root.Boundary extends java.lang.Object implements Serializable
  - Serialized Fields
    - rect
```
Rectangle<C extends RingElem<C> & Rational> rect
```
      Rectangle.
    - A
```
GenPolynomial<C extends RingElem<C>> A
```
      Polynomial.
    - polys
```
GenPolynomial<C extends RingElem<C>>[] polys
```
      Boundary polynomials.
    - rfac
```
GenPolynomialRing<C extends RingElem<C>> rfac
```
      Factory for real polynomials.
- Class edu.jas.root.ComplexAlgebraicNumber extends java.lang.Object implements Serializable
  - Serialized Fields
    - number
```
AlgebraicNumber<C extends RingElem<C>> number
```
      Representing AlgebraicNumber.
    - ring
```
ComplexAlgebraicRing<C extends GcdRingElem<C> & Rational> ring
```
      Ring part of the data structure.
- Class edu.jas.root.ComplexAlgebraicRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - algebraic
```
AlgebraicNumberRing<C extends RingElem<C>> algebraic
```
      Representing AlgebraicNumberRing.
    - root
```
Rectangle<C extends RingElem<C> & Rational> root
```
      Isolating rectangle for a complex root. Note: interval may shrink eventually.
    - eps
```
BigRational eps
```
      Epsilon of the isolating rectangle for a complex root.
    - engine
```
ComplexRootsSturm<C extends RingElem<C> & Rational> engine
```
      Complex root computation engine.
- Class edu.jas.root.ComplexRootsAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - engine
```
Squarefree<C extends GcdRingElem<C>> engine
```
      Engine for square free decomposition.
- Class edu.jas.root.ComplexRootsSturm extends ComplexRootsAbstract<C extends RingElem<C> & Rational> implements Serializable
- Class edu.jas.root.DecimalRoots extends java.lang.Object implements Serializable
  - Serialized Fields
    - p
```
GenPolynomial<C extends RingElem<C>> p
```
      univariate polynomial.
    - real
```
java.util.List<E> real
```
      real decimal roots.
    - cp
```
GenPolynomial<C extends RingElem<C>> cp
```
      univariate polynomial with complex coefficients.
    - complex
```
java.util.List<E> complex
```
      complex decimal roots.
- Class edu.jas.root.Interval extends java.lang.Object implements Serializable
  - Serialized Fields
    - left
```
RingElem<C extends RingElem<C>> left
```
      left interval border.
    - right
```
RingElem<C extends RingElem<C>> right
```
      right interval border.
- Class edu.jas.root.InvalidBoundaryException extends java.lang.Exception implements Serializable
- Class edu.jas.root.NoConvergenceException extends java.lang.Exception implements Serializable
- Class edu.jas.root.RealAlgebraicNumber extends java.lang.Object implements Serializable
  - Serialized Fields
    - number
```
AlgebraicNumber<C extends RingElem<C>> number
```
      Representing AlgebraicNumber.
    - ring
```
RealAlgebraicRing<C extends GcdRingElem<C> & Rational> ring
```
      Ring part of the data structure.
- Class edu.jas.root.RealAlgebraicRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - algebraic
```
AlgebraicNumberRing<C extends RingElem<C>> algebraic
```
      Representing AlgebraicNumberRing.
    - root
```
Interval<C extends RingElem<C> & Rational> root
```
      Isolating interval for a real root. Note: interval may shrink eventually.
    - eps
```
BigRational eps
```
      Precision of the isolating interval for a real root.
    - engine
```
RealRootsSturm<C extends RingElem<C> & Rational> engine
```
      Real root computation engine.
- Class edu.jas.root.RealRootsAbstract extends java.lang.Object implements Serializable
- Class edu.jas.root.RealRootsSturm extends RealRootsAbstract<C extends RingElem<C> & Rational> implements Serializable
- Class edu.jas.root.RealRootTuple extends java.lang.Object implements Serializable
  - Serialized Fields
    - tuple
```
java.util.List<E> tuple
```
      Tuple of RealAlgebraicNumbers.
- Class edu.jas.root.Rectangle extends java.lang.Object implements Serializable
  - Serialized Fields
    - corners
```
Complex<C extends RingElem<C>>[] corners
```
      rectangle corners.
Package edu.jas.structure
- Class edu.jas.structure.NotDivisibleException extends java.lang.RuntimeException implements Serializable
- Class edu.jas.structure.NotInvertibleException extends java.lang.RuntimeException implements Serializable
Package edu.jas.ufd
- Class edu.jas.ufd.FactorAbsolute extends FactorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.ufd.FactorAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      Gcd engine for base coefficients.
    - sengine
```
SquarefreeAbstract<C extends GcdRingElem<C>> sengine
```
      Squarefree decompositon engine for base coefficients.
- Class edu.jas.ufd.FactorAlgebraic extends FactorAbsolute<AlgebraicNumber<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - factorCoeff
```
FactorAbstract<C extends GcdRingElem<C>> factorCoeff
```
      Factorization engine for base coefficients.
- Class edu.jas.ufd.FactorComplex extends FactorAbsolute<Complex<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - factorAlgeb
```
FactorAbstract<C extends GcdRingElem<C>> factorAlgeb
```
      Factorization engine for algebraic coefficients.
    - afac
```
AlgebraicNumberRing<C extends RingElem<C>> afac
```
      Complex algebraic factory.
- Class edu.jas.ufd.FactorInteger extends FactorAbstract<BigInteger> implements Serializable
  - Serialized Fields
    - mfactor
```
FactorAbstract<C extends GcdRingElem<C>> mfactor
```
      Factorization engine for modular base coefficients.
    - mengine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> mengine
```
      Gcd engine for modular base coefficients.
- Class edu.jas.ufd.FactorModular extends FactorAbsolute<MOD extends GcdRingElem<MOD> & Modular> implements Serializable
- Class edu.jas.ufd.FactorQuotient extends FactorAbstract<Quotient<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - nengine
```
FactorAbstract<C extends GcdRingElem<C>> nengine
```
      Factorization engine for normal coefficients.
- Class edu.jas.ufd.FactorRational extends FactorAbsolute<BigRational> implements Serializable
  - Serialized Fields
    - iengine
```
FactorAbstract<C extends GcdRingElem<C>> iengine
```
      Factorization engine for integer base coefficients.
- Class edu.jas.ufd.Factors extends java.lang.Object implements Serializable
  - Serialized Fields
    - poly
```
GenPolynomial<C extends RingElem<C>> poly
```
      Original (irreducible) polynomial to be factored with coefficients from C.
    - afac
```
AlgebraicNumberRing<C extends RingElem<C>> afac
```
      Algebraic field extension over C. Should be null, if p is absolutely irreducible.
    - apoly
```
GenPolynomial<C extends RingElem<C>> apoly
```
      Original polynomial to be factored with coefficients from AlgebraicNumberRing<C>. Should be null, if p is absolutely irreducible.
    - afactors
```
java.util.List<E> afactors
```
      List of factors with coefficients from AlgebraicNumberRing<C>. Should be null, if p is absolutely irreducible.
    - arfactors
```
java.util.List<E> arfactors
```
      List of factors with coefficients from AlgebraicNumberRing<AlgebraicNumber<C>>. Should be null, if p is absolutely irreducible.
- Class edu.jas.ufd.FactorsList extends java.lang.Object implements Serializable
  - Serialized Fields
    - poly
```
GenPolynomial<C extends RingElem<C>> poly
```
      Original polynomial to be factored with coefficients from C.
    - factors
```
java.util.List<E> factors
```
      List of factors with coefficients from C.
    - afactors
```
java.util.List<E> afactors
```
      List of factors with coefficients from AlgebraicNumberRings.
- Class edu.jas.ufd.FactorsMap extends java.lang.Object implements Serializable
  - Serialized Fields
    - poly
```
GenPolynomial<C extends RingElem<C>> poly
```
      Original polynomial to be factored with coefficients from C.
    - factors
```
java.util.SortedMap<K,V> factors
```
      List of factors with coefficients from C.
    - afactors
```
java.util.SortedMap<K,V> afactors
```
      List of factors with coefficients from AlgebraicNumberRings.
- Class edu.jas.ufd.GCDProxy extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - e1
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> e1
```
      GCD and resultant engines.
    - e2
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> e2
```
- Class edu.jas.ufd.GreatestCommonDivisorAbstract extends java.lang.Object implements Serializable
- Class edu.jas.ufd.GreatestCommonDivisorFake extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.ufd.GreatestCommonDivisorHensel extends GreatestCommonDivisorAbstract<BigInteger> implements Serializable
  - Serialized Fields
    - quadratic
```
boolean quadratic
```
      Flag for linear or quadratic Hensel lift.
    - iufd
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> iufd
```
      Fall back gcd algorithm.
    - ufd
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> ufd
```
- Class edu.jas.ufd.GreatestCommonDivisorModEval extends GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular> implements Serializable
  - Serialized Fields
    - mufd
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> mufd
```
      Modular gcd algorithm to use.
- Class edu.jas.ufd.GreatestCommonDivisorModular extends GreatestCommonDivisorAbstract<BigInteger> implements Serializable
  - Serialized Fields
    - mufd
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> mufd
```
    - iufd
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> iufd
```
- Class edu.jas.ufd.GreatestCommonDivisorPrimitive extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.ufd.GreatestCommonDivisorSimple extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.ufd.GreatestCommonDivisorSubres extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.ufd.HenselApprox extends java.lang.Object implements Serializable
  - Serialized Fields
    - A
```
GenPolynomial<C extends RingElem<C>> A
```
      Approximated polynomial with integer coefficients.
    - B
```
GenPolynomial<C extends RingElem<C>> B
```
      Approximated polynomial with integer coefficients.
    - Am
```
GenPolynomial<C extends RingElem<C>> Am
```
      Modular approximated polynomial with modular coefficients.
    - Bm
```
GenPolynomial<C extends RingElem<C>> Bm
```
      Modular approximated polynomial with modular coefficients.
- Class edu.jas.ufd.NoLiftingException extends java.lang.Exception implements Serializable
- Class edu.jas.ufd.PartialFraction extends java.lang.Object implements Serializable
  - Serialized Fields
    - num
```
GenPolynomial<C extends RingElem<C>> num
```
      Original numerator polynomial coefficients from C and deg(num) < deg(den).
    - den
```
GenPolynomial<C extends RingElem<C>> den
```
      Original (irreducible) denominator polynomial coefficients from C.
    - cfactors
```
java.util.List<E> cfactors
```
      List of numbers from C.
    - cdenom
```
java.util.List<E> cdenom
```
      List of linear factors of the denominator with coefficients from C.
    - afactors
```
java.util.List<E> afactors
```
      List of algebraic numbers of an algebraic field extension over C.
    - adenom
```
java.util.List<E> adenom
```
      List of factors of the denominator with coefficients from an AlgebraicNumberRing<C>.
- Class edu.jas.ufd.Quotient extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
QuotientRing<C extends GcdRingElem<C>> ring
```
      Quotient class factory data structure.
    - num
```
GenPolynomial<C extends RingElem<C>> num
```
      Numerator part of the element data structure.
    - den
```
GenPolynomial<C extends RingElem<C>> den
```
      Denominator part of the element data structure.
- Class edu.jas.ufd.QuotientRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenPolynomialRing<C extends RingElem<C>> ring
```
      Polynomial ring of the factory.
    - engine
```
GreatestCommonDivisor<C extends GcdRingElem<C>> engine
```
      GCD engine of the factory.
    - ufdGCD
```
boolean ufdGCD
```
      Use GCD of package edu.jas.ufd.
- Class edu.jas.ufd.SquarefreeAbstract extends java.lang.Object implements Serializable
  - Serialized Fields
    - engine
```
GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
```
      GCD engine for respective base coefficients.
- Class edu.jas.ufd.SquarefreeFieldChar0 extends SquarefreeAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
      Factory for field of characteristic 0 coefficients.
- Class edu.jas.ufd.SquarefreeFieldCharP extends SquarefreeAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
      Factory for finite field of characteristic p coefficients.
    - aCoFac
```
AlgebraicNumberRing<C extends RingElem<C>> aCoFac
```
      Factory for a algebraic extension of a finite field of characteristic p coefficients. If coFac is an algebraic extension, then aCoFac is equal to coFac, else aCoFac is null.
    - qCoFac
```
QuotientRing<C extends GcdRingElem<C>> qCoFac
```
      Factory for a transcendental extension of a finite field of characteristic p coefficients. If coFac is an transcendental extension, then qCoFac is equal to coFac, else qCoFac is null.
- Class edu.jas.ufd.SquarefreeFiniteFieldCharP extends SquarefreeFieldCharP<C extends GcdRingElem<C>> implements Serializable
- Class edu.jas.ufd.SquarefreeInfiniteAlgebraicFieldCharP extends SquarefreeFieldCharP<AlgebraicNumber<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - aengine
```
SquarefreeAbstract<C extends GcdRingElem<C>> aengine
```
      Squarefree engine for infinite ring of characteristic p base coefficients.
- Class edu.jas.ufd.SquarefreeInfiniteFieldCharP extends SquarefreeFieldCharP<Quotient<C extends GcdRingElem<C>>> implements Serializable
  - Serialized Fields
    - qengine
```
SquarefreeAbstract<C extends GcdRingElem<C>> qengine
```
      Squarefree engine for infinite ring of characteristic p base coefficients.
- Class edu.jas.ufd.SquarefreeRingChar0 extends SquarefreeAbstract<C extends GcdRingElem<C>> implements Serializable
  - Serialized Fields
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
      Factory for ring of characteristic 0 coefficients.
Package edu.jas.ufdroot
- Class edu.jas.ufdroot.FactorRealAlgebraic extends FactorAbstract<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> implements Serializable
  - Serialized Fields
    - factorAlgebraic
```
FactorAbstract<C extends GcdRingElem<C>> factorAlgebraic
```
      Factorization engine for base coefficients.
Package edu.jas.util
- Class edu.jas.util.DHTTransport extends java.lang.Object implements Serializable
Package edu.jas.vector
- Class edu.jas.vector.BasicLinAlg extends java.lang.Object implements Serializable
- Class edu.jas.vector.GenMatrix extends java.lang.Object implements Serializable
  - Serialized Fields
    - ring
```
GenMatrixRing<C extends RingElem<C>> ring
```
    - matrix
```
java.util.ArrayList<E> matrix
```
    - hashValue
```
int hashValue
```
- Class edu.jas.vector.GenMatrixRing extends java.lang.Object implements Serializable
  - Serialized Fields
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
    - rows
```
int rows
```
    - cols
```
int cols
```
    - blocksize
```
int blocksize
```
    - ZERO
```
GenMatrix<C extends RingElem<C>> ZERO
```
    - ONE
```
GenMatrix<C extends RingElem<C>> ONE
```
    - density
```
float density
```
- Class edu.jas.vector.GenVector extends java.lang.Object implements Serializable
  - Serialized Fields
    - modul
```
GenVectorModul<C extends RingElem<C>> modul
```
    - val
```
java.util.List<E> val
```
- Class edu.jas.vector.GenVectorModul extends java.lang.Object implements Serializable
  - Serialized Fields
    - coFac
```
RingFactory<C extends RingElem<C>> coFac
```
    - cols
```
int cols
```
    - ZERO
```
GenVector<C extends RingElem<C>> ZERO
```
    - BASIS
```
java.util.List<E> BASIS
```
    - density
```
float density
```

Serialized Form

Package edu.jas.application

Class edu.jas.application.AlgebraicRootsPrimElem extends AlgebraicRoots<C extends GcdRingElem<C> & Rational> implements Serializable

Serialized Fields

pelem

runit

Class edu.jas.application.ColorPolynomial extends java.lang.Object implements Serializable

Serialized Fields

green

red

white

Class edu.jas.application.Condition extends java.lang.Object implements Serializable

Serialized Fields

zero

nonZero

Class edu.jas.application.CPair extends java.lang.Object implements Serializable

Serialized Fields

pi

pj

i

j

n

toZero

useCriterion4

useCriterion3

Class edu.jas.application.CReductionSeq extends java.lang.Object implements Serializable

Serialized Fields

info

engine

cofac

top

Class edu.jas.application.Dimension extends java.lang.Object implements Serializable

Serialized Fields

d

S

M

v

Class edu.jas.application.ExtensionFieldBuilder extends java.lang.Object implements Serializable

Serialized Fields

factory

Class edu.jas.application.FactorAlgebraicPrim extends FactorAbsolute<AlgebraicNumber<C extends GcdRingElem<C>>> implements Serializable

Serialized Fields

factorCoeff

Class edu.jas.application.FactorRealReal extends FactorAbstract<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> implements Serializable

Serialized Fields

factorAlgebraic

Class edu.jas.application.GBAlgorithmBuilder extends java.lang.Object implements Serializable

Serialized Fields

algo

ring

strategy

Class edu.jas.application.Ideal extends java.lang.Object implements Serializable

Serialized Fields

list

isGB

testGB

isTopt

bb

red

engine

Class edu.jas.application.IdealWithComplexAlgebraicRoots extends IdealWithUniv<D extends GcdRingElem<D> & Rational> implements Serializable

Serialized Fields

can

droots

Class edu.jas.application.IdealWithRealAlgebraicRoots extends IdealWithUniv<D extends GcdRingElem<D> & Rational> implements Serializable

Serialized Fields

ran

droots

Class edu.jas.application.IdealWithRealRoots extends IdealWithUniv<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

rroots

Class edu.jas.application.IdealWithUniv extends java.lang.Object implements Serializable

Serialized Fields

ideal

upolys

others

Class edu.jas.application.IntegerProgram extends java.lang.Object implements Serializable

Serialized Fields

negVars

success