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> & Rational> pelem

Primitive Element algebraic roots.

runit

java.util.List<AlgebraicNumber<C extends GcdRingElem<C> & Rational>> runit

Roots of unity of primitive element origin representations.

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

Serialized Fields

green

GenPolynomial<GenPolynomial<C extends RingElem<C>>> green

The part with green (= zero) terms and coefficients.

red

GenPolynomial<GenPolynomial<C extends RingElem<C>>> red

The part with red (= non zero) terms and coefficients.

white

GenPolynomial<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

nonZero

MultiplicativeSet<C extends GcdRingElem<C>> nonZero

Data structure for condition non-zero.

zero

Ideal<C extends GcdRingElem<C>> zero

Data structure for condition zero.

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

Serialized Fields

i

int i

j

int j

n

int n

pi

ColorPolynomial<C extends RingElem<C>> pi

pj

ColorPolynomial<C extends RingElem<C>> pj

toZero

boolean toZero

useCriterion3

boolean useCriterion3

useCriterion4

boolean useCriterion4

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

Serialized Fields

cofac

RingFactory<C extends GcdRingElem<C>> cofac

Polynomial coefficient ring factory.

engine

GreatestCommonDivisor<C extends GcdRingElem<C>> engine

Greatest common divisor engine.

info

boolean info

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.

M

java.util.Set<java.util.Set<java.lang.Integer>> M

Set of indices of all maximal independent sets (of variables).

S

java.util.Set<java.lang.Integer> S

Indices of a maximal independent set (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 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<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> factorAlgebraic

Factorization engine for base coefficients.

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

Serialized Fields

algo

GroebnerBaseAbstract<C extends GcdRingElem<C>> algo

The current GB algorithm implementation.

ring

GenPolynomialRing<C extends GcdRingElem<C>> ring

The current polynomial ring.

strategy

PairList<C extends GcdRingElem<C>> strategy

Requested pairlist strategy.

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

Serialized Fields

bb

GroebnerBaseAbstract<C extends GcdRingElem<C>> bb

Groebner base engine.

engine

SquarefreeAbstract<C extends GcdRingElem<C>> engine

Squarefree decomposition engine.

isGB

boolean isGB

Indicator if list is a Groebner Base.

isTopt

boolean isTopt

Indicator if list has optimized term order.

list

PolynomialList<C extends GcdRingElem<C>> list

The data structure is a PolynomialList.

red

Reduction<C extends GcdRingElem<C>> red

Reduction engine.

testGB

boolean testGB

Indicator if test has been performed if this is a Groebner Base.

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

Serialized Fields

can

java.util.List<java.util.List<Complex<RealAlgebraicNumber<D extends GcdRingElem<D> & Rational>>>> can

The list of complex algebraic roots.

droots

java.util.List<java.util.List<Complex<BigDecimal>>> 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

droots

java.util.List<java.util.List<BigDecimal>> droots

The list of decimal approximations of the real algebraic roots.

ran

java.util.List<java.util.List<RealAlgebraicNumber<D extends GcdRingElem<D> & Rational>>> ran

The list of real algebraic roots.

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

Serialized Fields

rroots

java.util.List<java.util.List<BigDecimal>> 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.

others

java.util.List<GenPolynomial<C extends GcdRingElem<C>>> others

A list of other useful polynomials. 1) field extension polynomials, 2) generators for infinite quotients.

upolys

java.util.List<GenPolynomial<C extends GcdRingElem<C>>> upolys

The list of univariate polynomials. Contains polynomials from several 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.

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

Serialized Fields

A

long[][] A

Aa

long[][] Aa

B

long[] B

C

long[] C

D

long[] D

F

PolynomialList<BigInteger> F

GB

Ideal<BigInteger> GB

I

Ideal<BigInteger> I

m

int m

n

int n

negVars

boolean negVars

S

GenPolynomial<BigInteger> S

success

boolean success

to

TermOrder to

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

Serialized Fields

den

GenPolynomial<C extends GcdRingElem<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.

num

GenPolynomial<C extends GcdRingElem<C>> num

Numerator part of the element data structure.

ring

LocalRing<C extends GcdRingElem<C>> ring

Local class factory data structure.

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.

isField

int isField

Indicator if this ring is a field.

ring

GenPolynomialRing<C extends GcdRingElem<C>> ring

Polynomial ring of the factory.

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

ONE

LocalSolvablePolynomial<C extends GcdRingElem<C>> ONE

The constant polynomial 1 for this ring. Hides super ONE.

polCoeff

RecSolvablePolynomialRing<C extends GcdRingElem<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.

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

Serialized Fields

moduleVars

int moduleVars

oneInGB

boolean oneInGB

P

java.util.List<ColorPolynomial<C extends GcdRingElem<C>>> P

pairlist

java.util.SortedMap<ExpVector,java.util.LinkedList<CPair<C extends GcdRingElem<C>>>> pairlist

putCount

int putCount

red

java.util.List<java.util.BitSet> red

reduction

CReductionSeq<C extends GcdRingElem<C>> reduction

remCount

int remCount

ring

GenPolynomialRing<GenPolynomial<C extends GcdRingElem<C>>> ring

useCriterion4

boolean useCriterion4

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

Serialized Fields

exponent

int exponent

The exponent of prime for primary.

primary

Ideal<C extends GcdRingElem<C>> primary

The primary ideal.

prime

IdealWithUniv<C extends GcdRingElem<C>> prime

The associated prime ideal.

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

Serialized Fields

A

AlgebraicNumber<C extends GcdRingElem<C>> A

The representation of the first algebraic element in the new ring.

Aring

AlgebraicNumberRing<C extends GcdRingElem<C>> Aring

The first original algebraic ring.

B

AlgebraicNumber<C extends GcdRingElem<C>> B

The representation of the second algebraic element in the new ring.

Bring

AlgebraicNumberRing<C extends GcdRingElem<C>> Bring

The second original algebraic ring.

primitiveElem

AlgebraicNumberRing<C extends GcdRingElem<C>> primitiveElem

The primitive element.

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

Serialized Fields

number

RealAlgebraicNumber<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

algebraic

ResidueRing<C extends GcdRingElem<C> & Rational> algebraic

Representing ResidueRing.

eps

BigRational eps

Epsilon of the isolating rectangle for a complex root.

PRECISION

int PRECISION

Precision of the isolating rectangle for a complex root.

realRing

RealAlgebraicRing<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> realRing

Recursive real root ring.

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.

univs

IdealWithUniv<C extends GcdRingElem<C> & Rational> univs

Representing ideal with univariate polynomials IdealWithUniv.

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

Serialized Fields

isunit

int isunit

Flag to remember if this residue element is a unit. -1 is unknown, 1 is unit, 0 not a unit.

ring

ResidueRing<C extends GcdRingElem<C>> ring

Residue class factory data structure.

val

GenPolynomial<C extends GcdRingElem<C>> val

Value part of the element data structure.

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.

isField

int isField

Indicator if this ring is a field.

ring

GenPolynomialRing<C extends GcdRingElem<C>> ring

Polynomial ring of the factory. Shortcut to ideal.list.ring.

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

ONE

ResidueSolvablePolynomial<C extends GcdRingElem<C>> ONE

The constant polynomial 1 for this ring. Hides super ONE.

polCoeff

RecSolvablePolynomialRing<C extends GcdRingElem<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.

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

ONE

ResidueSolvableWordPolynomial<C extends GcdRingElem<C>> ONE

The constant polynomial 1 for this ring. Hides super ONE.

polCoeff

RecSolvableWordPolynomialRing<C extends GcdRingElem<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.

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

Serialized Fields

bb

SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> bb

Groebner base engine.

isGB

boolean isGB

Indicator if list is a Groebner Base.

isTopt

boolean isTopt

Indicator if list has optimized term order.

list

PolynomialList<C extends GcdRingElem<C>> list

The data structure is a PolynomialList.

red

SolvableReduction<C extends GcdRingElem<C>> red

Reduction engine.

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.

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

Serialized Fields

den

GenSolvablePolynomial<C extends GcdRingElem<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.

num

GenSolvablePolynomial<C extends GcdRingElem<C>> num

Numerator part of the element data structure.

ring

SolvableLocalRing<C extends GcdRingElem<C>> ring

SolvableLocal class factory data structure.

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

Serialized Fields

den

GenSolvablePolynomial<C extends GcdRingElem<C>> den

Denominator part of the element data structure.

num

GenSolvablePolynomial<C extends GcdRingElem<C>> num

Numerator part of the element data structure.

ring

SolvableLocalResidueRing<C extends GcdRingElem<C>> ring

SolvableLocalResidue class factory data structure.

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

Serialized Fields

bb

SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> bb

Groebner base engine.

engine

SolvableSyzygyAbstract<C extends GcdRingElem<C>> engine

Syzygy engine of the factory.

fdengine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> fdengine

FD engine of the factory.

ideal

SolvableIdeal<C extends GcdRingElem<C>> ideal

Solvable polynomial ideal for the reduction.

isField

int isField

Indicator if this ring is a field.

ring

GenSolvablePolynomialRing<C extends GcdRingElem<C>> ring

Solvable polynomial ring of the factory.

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

Serialized Fields

bb

SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> bb

Groebner base engine.

engine

SolvableSyzygyAbstract<C extends GcdRingElem<C>> engine

Syzygy engine of the factory.

fdengine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> fdengine

FD engine of the factory.

ideal

SolvableIdeal<C extends GcdRingElem<C>> ideal

Solvable polynomial ideal for localization.

isField

int isField

Indicator if this ring is a field.

ring

GenSolvablePolynomialRing<C extends GcdRingElem<C>> ring

Solvable polynomial ring of the factory.

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

Serialized Fields

isunit

int isunit

Flag to remember if this residue element is a unit. -1 is unknown, 1 is unit, 0 not a unit.

ring

SolvableResidueRing<C extends GcdRingElem<C>> ring

SolvableResidue class factory data structure.

val

GenSolvablePolynomial<C extends GcdRingElem<C>> val

Value part of the element data structure.

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

Serialized Fields

bb

SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> bb

Groebner base engine.

ideal

SolvableIdeal<C extends GcdRingElem<C>> ideal

Solvable polynomial ideal for the reduction.

isField

int isField

Indicator if this ring is a field.

ring

GenSolvablePolynomialRing<C extends GcdRingElem<C>> ring

Polynomial ring of the factory. Shortcut to ideal.list.ring.

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

Serialized Fields

bb

WordGroebnerBaseAbstract<C extends GcdRingElem<C>> bb

Groebner base engine.

isGB

boolean isGB

Indicator if list is a Groebner Base.

list

java.util.List<GenWordPolynomial<C extends GcdRingElem<C>>> list

The data structure is a list of word polynomials.

red

WordReduction<C extends GcdRingElem<C>> red

Reduction engine.

ring

GenWordPolynomialRing<C extends GcdRingElem<C>> ring

Reference to the word polynomial ring.

testGB

boolean testGB

Indicator if test has been performed if this is a Groebner Base.

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

Serialized Fields

isunit

int isunit

Flag to remember if this residue element is a unit. -1 is unknown, 1 is unit, 0 not a unit.

ring

WordResidueRing<C extends GcdRingElem<C>> ring

WordResidue class factory data structure.

val

GenWordPolynomial<C extends GcdRingElem<C>> val

Value part of the element data structure.

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

Serialized Fields

bb

WordGroebnerBaseAbstract<C extends GcdRingElem<C>> bb

Groebner base engine.

ideal

WordIdeal<C extends GcdRingElem<C>> ideal

Word polynomial ideal for the reduction.

isField

int isField

Indicator if this ring is a field.

ring

GenWordPolynomialRing<C extends GcdRingElem<C>> ring

Polynomial ring of the factory. Shortcut to ideal.list.ring.

Package edu.jas.arith

Class edu.jas.arith.BigComplex extends java.lang.Object implements Serializable

Serialized Fields

im

BigRational im

Imaginary part of the data structure.

re

BigRational re

Real part of the data structure.

Class edu.jas.arith.BigDecimal extends java.lang.Object implements Serializable

Serialized Fields

context

java.math.MathContext context

val

java.math.BigDecimal val

The data structure.

Class edu.jas.arith.BigDecimalComplex extends java.lang.Object implements Serializable

Serialized Fields

im

BigDecimal im

Imaginary part of the data structure.

re

BigDecimal re

Real part of the data structure.

Class edu.jas.arith.BigInteger extends java.lang.Object implements Serializable

Serialized Fields

nonNegative

boolean nonNegative

val

java.math.BigInteger val

The data structure.

Class edu.jas.arith.BigOctonion extends java.lang.Object implements Serializable

Serialized Fields

I

BigOctonion I

The constant i.

oi

BigQuaternion oi

Second part of the data structure.

ONE

BigOctonion ONE

The constant 1.

or

BigQuaternion or

First part of the data structure.

ZERO

BigOctonion ZERO

The constant 0.

Class edu.jas.arith.BigQuaternion extends java.lang.Object implements Serializable

Serialized Fields

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.

re

BigRational re

Real part 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

I

BigQuaternion I

The constant i.

integral

boolean integral

Flag to signal if this ring is integral.

J

BigQuaternion J

The constant j.

K

BigQuaternion K

The constant k.

ONE

BigQuaternion ONE

The constant 1.

ZERO

BigQuaternion ZERO

The constant 0.

Class edu.jas.arith.BigRational extends java.lang.Object implements Serializable

Serialized Fields

den

java.math.BigInteger den

Denominator part of the data structure.

duplicates

boolean duplicates

nonNegative

boolean nonNegative

num

java.math.BigInteger num

Numerator part of the data structure.

Class edu.jas.arith.ModInt extends java.lang.Object implements Serializable

Serialized Fields

ring

ModIntRing ring

ModIntRing reference.

val

int val

Value part of the element data structure.

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

isField

int isField

Indicator if this ring is a field.

modul

java.math.BigInteger modul

Module part of the factory data structure.

Class edu.jas.arith.ModIntRing extends java.lang.Object implements Serializable

Serialized Fields

isField

int isField

Indicator if this ring is a field.

modul

int modul

Module part of the factory data structure.

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

isField

int isField

Indicator if this ring is a field.

modul

long modul

Module part of the factory data structure.

Class edu.jas.arith.ModularNotInvertibleException extends NotInvertibleException implements Serializable

Serialized Fields

f

GcdRingElem f

f1

GcdRingElem f1

f2

GcdRingElem f2

Class edu.jas.arith.Product extends java.lang.Object implements Serializable

Serialized Fields

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.

ring

ProductRing<C extends RingElem<C>> ring

Product class factory data structure.

val

java.util.SortedMap<java.lang.Integer,C extends RingElem<C>> val

Value part of the element data structure.

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<RingFactory<C extends RingElem<C>>> ringList

Ring factory list.

Package edu.jas.fd

Class edu.jas.fd.GreatestCommonDivisorAbstract extends java.lang.Object implements Serializable

Serialized Fields

coFac

RingFactory<C extends GcdRingElem<C>> coFac

Coefficient ring.

syz

SolvableSyzygyAbstract<C extends GcdRingElem<C>> syz

Engine for syzygy computation, mainly for Ore conditions.

Class edu.jas.fd.GreatestCommonDivisorFake 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

ONE

QuotSolvablePolynomial<C extends GcdRingElem<C>> ONE

The constant polynomial 1 for this ring. Hides super ONE.

polCoeff

RecSolvablePolynomialRing<C extends GcdRingElem<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.

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

den

GenSolvablePolynomial<C extends GcdRingElem<C>> den

Denominator part of the element data structure.

num

GenSolvablePolynomial<C extends GcdRingElem<C>> num

Numerator part of the element data structure.

ring

SolvableQuotientRing<C extends GcdRingElem<C>> ring

SolvableQuotient class factory data structure.

Class edu.jas.fd.SolvableQuotientRing extends java.lang.Object implements Serializable

Serialized Fields

engine

SolvableSyzygyAbstract<C extends GcdRingElem<C>> engine

Syzygy engine of the factory.

fdengine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> fdengine

FD engine of the factory.

ring

GenSolvablePolynomialRing<C extends GcdRingElem<C>> ring

Solvable polynomial ring of the factory.

Package edu.jas.gb

Class edu.jas.gb.AbstractPair extends java.lang.Object implements Serializable

Serialized Fields

e

ExpVector e

i

int i

j

int j

pi

GenPolynomial<C extends RingElem<C>> pi

pj

GenPolynomial<C extends RingElem<C>> pj

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

ec

TermOrder.EVComparator ec

tord

TermOrder tord

Class edu.jas.gb.CriticalPairList extends OrderedPairlist<C extends RingElem<C>> implements Serializable

Serialized Fields

pairlist

java.util.SortedSet<CriticalPair<C extends RingElem<C>>> 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 GcdRingElem<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 GcdRingElem<C>> e1

GB engines.

e2

GroebnerBaseAbstract<C extends GcdRingElem<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

blas

BasicLinAlg<GenPolynomial<C extends RingElem<C>>> blas

linear algebra engine.

red

Reduction<C extends RingElem<C>> red

Reduction engine.

strategy

PairList<C extends RingElem<C>> strategy

Strategy for pair selection.

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

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.

threads

int threads

Number of threads to use.

Class edu.jas.gb.GroebnerBaseDistributedHybridEC extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable

Serialized Fields

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.

threads

int threads

Number of threads to use.

threadsPerNode

int threadsPerNode

Number of threads per node 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

port

int port

Deprecated.

Server port to use.

threads

int threads

Deprecated.

Number of threads 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

moduleVars

int moduleVars

oneInGB

boolean oneInGB

P

java.util.List<GenPolynomial<C extends RingElem<C>>> P

pairlist

java.util.SortedMap<ExpVector,java.util.LinkedList<Pair<C extends RingElem<C>>>> pairlist

putCount

int putCount

red

java.util.List<java.util.BitSet> red

reduction

Reduction<C extends RingElem<C>> reduction

remCount

int remCount

ring

GenPolynomialRing<C extends RingElem<C>> ring

useCriterion4

boolean useCriterion4

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

useCriterion3

boolean useCriterion3

useCriterion4

boolean useCriterion4

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 GcdRingElem<C>> e1

GB engines.

e2

SolvableGroebnerBaseAbstract<C extends GcdRingElem<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

blas

BasicLinAlg<GenPolynomial<C extends RingElem<C>>> blas

Linear algebra engine.

cbb

GroebnerBaseAbstract<C extends RingElem<C>> cbb

Commutative Groebner bases engine.

red

Reduction<C extends RingElem<C>> red

Reduction engine.

sred

SolvableReduction<C extends RingElem<C>> sred

Solvable reduction engine.

strategy

PairList<C extends RingElem<C>> strategy

Strategy for pair selection.

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

Serialized Fields

timestatus

LocalTimeStatus timestatus

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 GcdRingElem<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 GcdRingElem<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 GcdRingElem<C>> bb

Backing Groebner base engine.

rbb

GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> rbb

Backing recursive Groebner base engine.

Class edu.jas.gbufd.GroebnerBasePseudoParallel extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

cofac

RingFactory<C extends GcdRingElem<C>> cofac

Coefficient ring factory.

engine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

red

PseudoReduction<C extends GcdRingElem<C>> red

Pseudo reduction engine.

threads

int threads

Number of threads to use.

Class edu.jas.gbufd.GroebnerBasePseudoRecParallel extends GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> implements Serializable

Serialized Fields

baseCofac

RingFactory<C extends GcdRingElem<C>> baseCofac

Base coefficient ring factory.

cofac

RingFactory<GenPolynomial<C extends GcdRingElem<C>>> cofac

Coefficient ring factory.

engine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

red

PseudoReduction<GenPolynomial<C extends GcdRingElem<C>>> red

Pseudo reduction engine.

redRec

PseudoReduction<C extends GcdRingElem<C>> redRec

Pseudo reduction engine.

threads

int threads

Number of threads to use.

Class edu.jas.gbufd.GroebnerBasePseudoRecSeq extends GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> implements Serializable

Serialized Fields

baseCofac

RingFactory<C extends GcdRingElem<C>> baseCofac

Base coefficient ring factory.

cofac

RingFactory<GenPolynomial<C extends GcdRingElem<C>>> cofac

Coefficient ring factory.

engine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

red

PseudoReduction<GenPolynomial<C extends GcdRingElem<C>>> red

Pseudo reduction engine.

redRec

PseudoReduction<C extends GcdRingElem<C>> redRec

Pseudo reduction engine.

Class edu.jas.gbufd.GroebnerBasePseudoSeq extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

cofac

RingFactory<C extends GcdRingElem<C>> cofac

Coefficient ring factory.

engine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

red

PseudoReduction<C extends GcdRingElem<C>> red

Pseudo reduction engine.

Class edu.jas.gbufd.GroebnerBaseQuotient extends GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>> implements Serializable

Serialized Fields

bba

GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> bba

Class edu.jas.gbufd.GroebnerBaseRational extends GroebnerBaseAbstract<BigRational> implements Serializable

Serialized Fields

bba

GroebnerBaseAbstract<BigInteger> bba

Class edu.jas.gbufd.GroebnerBaseWalk extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

iterPrint

int iterPrint

Print intermediate GB after this number of iterations.

sgb

GroebnerBaseAbstract<C extends GcdRingElem<C>> sgb

The backing GB algorithm implementation.

startTO

TermOrder startTO

The start term order t1.

Class edu.jas.gbufd.MultiplicativeSet extends java.lang.Object implements Serializable

Serialized Fields

mset

java.util.List<GenPolynomial<C extends GcdRingElem<C>>> mset

Data structure.

ring

GenPolynomialRing<C extends GcdRingElem<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

cofac

RingFactory<C extends RegularRingElem<C>> cofac

Coefficient ring factory.

engine

GreatestCommonDivisorAbstract<C extends RegularRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

red

RPseudoReduction<C extends RegularRingElem<C>> red

Pseudo reduction engine.

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

cofac

GenPolynomialRing<C extends GcdRingElem<C>> cofac

Coefficient ring factory.

engine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

sred

SolvablePseudoReduction<GenPolynomial<C extends GcdRingElem<C>>> sred

Pseudo reduction engine.

sredRec

SolvablePseudoReduction<C extends GcdRingElem<C>> sredRec

Pseudo reduction engine.

Class edu.jas.gbufd.SolvableGroebnerBasePseudoSeq extends SolvableGroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

cofac

RingFactory<C extends GcdRingElem<C>> cofac

Coefficient ring factory.

engine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

sred

SolvablePseudoReduction<C extends GcdRingElem<C>> sred

Pseudo reduction engine.

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

blas

BasicLinAlg<GenPolynomial<C extends GcdRingElem<C>>> blas

Linear algebra engine.

red

Reduction<C extends GcdRingElem<C>> red

Reduction engine.

sred

SolvableReduction<C extends GcdRingElem<C>> sred

Solvable reduction engine.

Class edu.jas.gbufd.SolvableSyzygySeq extends SolvableSyzygyAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

sbb

SolvableGroebnerBase<C extends GcdRingElem<C>> sbb

Groebner basis engine.

Class edu.jas.gbufd.SyzygyAbstract extends java.lang.Object implements Serializable

Serialized Fields

blas

BasicLinAlg<GenPolynomial<C extends GcdRingElem<C>>> blas

Linear algebra engine.

red

Reduction<C extends GcdRingElem<C>> red

Reduction engine.

Class edu.jas.gbufd.SyzygySeq extends SyzygyAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

bb

GroebnerBaseAbstract<C extends GcdRingElem<C>> bb

Groebner base engine.

Class edu.jas.gbufd.WordGroebnerBasePseudoRecSeq extends WordGroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> implements Serializable

Serialized Fields

cofac

GenPolynomialRing<C extends GcdRingElem<C>> cofac

Coefficient ring factory.

engine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

red

WordPseudoReduction<GenPolynomial<C extends GcdRingElem<C>>> red

Reduction engine.

redRec

WordPseudoReduction<C extends GcdRingElem<C>> redRec

Reduction engine.

Class edu.jas.gbufd.WordGroebnerBasePseudoSeq extends WordGroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

cofac

RingFactory<C extends GcdRingElem<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

den

GenPolynomial<C extends GcdRingElem<C>> den

Original denominator polynomial with coefficients from C.

logarithm

java.util.List<LogIntegral<C extends GcdRingElem<C>>> logarithm

Integral of the logarithmic part.

num

GenPolynomial<C extends GcdRingElem<C>> num

Original numerator polynomial with coefficients from C.

pol

GenPolynomial<C extends GcdRingElem<C>> pol

Integral of the polynomial part.

rational

java.util.List<GenPolynomial<C extends GcdRingElem<C>>> rational

Integral of the rational part.

Class edu.jas.integrate.LogIntegral extends java.lang.Object implements Serializable

Serialized Fields

adenom

java.util.List<GenPolynomial<AlgebraicNumber<C extends GcdRingElem<C>>>> adenom

List of factors of the denominator with coefficients from an AlgebraicNumberRing<C>.

afactors

java.util.List<AlgebraicNumber<C extends GcdRingElem<C>>> afactors

List of algebraic numbers of an algebraic field extension over C.

cdenom

java.util.List<GenPolynomial<C extends GcdRingElem<C>>> cdenom

List of linear factors of the denominator with coefficients from C.

cfactors

java.util.List<C extends GcdRingElem<C>> cfactors

List of numbers from C.

den

GenPolynomial<C extends GcdRingElem<C>> den

Original (irreducible) denominator polynomial with coefficients from C.

num

GenPolynomial<C extends GcdRingElem<C>> num

Original numerator polynomial with coefficients from C and deg(num) < deg(den).

Class edu.jas.integrate.QuotIntegral extends java.lang.Object implements Serializable

Serialized Fields

logarithm

java.util.List<LogIntegral<C extends GcdRingElem<C>>> logarithm

Integral of the logarithmic part.

quot

Quotient<C extends GcdRingElem<C>> quot

Original rational function with coefficients from C.

rational

java.util.List<Quotient<C extends GcdRingElem<C>>> rational

Integral of the polynomial and rational 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 f

f1

GenPolynomial f1

f2

GenPolynomial f2

Class edu.jas.poly.AlgebraicNumber extends java.lang.Object implements Serializable

Serialized Fields

isunit

int isunit

Flag to remember if this algebraic number is a unit. -1 is unknown, 1 is unit, 0 not a unit.

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.

Class edu.jas.poly.AlgebraicNumberRing extends java.lang.Object implements Serializable

Serialized Fields

isField

int isField

Indicator if this ring is a field

modul

GenPolynomial<C extends RingElem<C>> modul

Module part of the factory data structure.

ring

GenPolynomialRing<C extends RingElem<C>> ring

Ring part of the factory data structure.

Class edu.jas.poly.Complex extends java.lang.Object implements Serializable

Serialized Fields

im

C extends RingElem<C> im

Imaginary part of the data structure.

re

C extends RingElem<C> re

Real part of the data structure.

ring

ComplexRing<C extends RingElem<C>> ring

Complex class factory 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.GenExteriorPolynomial extends java.lang.Object implements Serializable

Serialized Fields

ring

GenExteriorPolynomialRing<C extends RingElem<C>> ring

The factory for the polynomial ring.

val

java.util.SortedMap<IndexList,C extends RingElem<C>> val

The data structure for polynomials.

Class edu.jas.poly.GenExteriorPolynomialRing extends java.lang.Object implements Serializable

Serialized Fields

checkPreempt

boolean checkPreempt

Flag to enable if preemptive interrupt is checked.

coFac

RingFactory<C extends RingElem<C>> coFac

The factory for the coefficients.

isField

int isField

Indicator if this ring is a field.

ixfac

IndexFactory ixfac

The factory for the IndexList.

ONE

GenExteriorPolynomial<C extends RingElem<C>> ONE

The constant polynomial 1 for this ring.

wone

IndexList wone

The constant empty index lists exponent for this ring.

ZERO

GenExteriorPolynomial<C extends RingElem<C>> ZERO

The constant polynomial 0 for this ring.

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<ExpVector,C extends RingElem<C>> val

The data structure for polynomials.

Class edu.jas.poly.GenPolynomialRing extends java.lang.Object implements Serializable

Serialized Fields

checkPreempt

boolean checkPreempt

Flag to enable if preemptive interrupt is checked.

coFac

RingFactory<C extends RingElem<C>> coFac

The factory for the coefficients.

evzero

ExpVector evzero

The constant exponent vector 0 for this ring.

isField

int isField

Indicator if this ring is a field.

nvar

int nvar

The number of variables.

ONE

GenPolynomial<C extends RingElem<C>> ONE

The constant polynomial 1 for this ring.

partial

boolean partial

True for partially reversed variables.

tord

TermOrder tord

The term order.

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.

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

ONE

GenSolvablePolynomial<C extends RingElem<C>> ONE

The constant polynomial 1 for this ring. Hides super ONE.

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.

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<Word,C extends RingElem<C>> val

The data structure for polynomials.

Class edu.jas.poly.GenWordPolynomialRing extends java.lang.Object implements Serializable

Serialized Fields

alphabet

WordFactory alphabet

The factory for the alphabet.

checkPreempt

boolean checkPreempt

Flag to enable if preemptive interrupt is checked.

coFac

RingFactory<C extends RingElem<C>> coFac

The factory for the coefficients.

isField

int isField

Indicator if this ring is a field.

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.

ZERO

GenWordPolynomial<C extends RingElem<C>> ZERO

The constant polynomial 0 for this ring.

Class edu.jas.poly.IndexFactory extends java.lang.Object implements Serializable

Serialized Fields

horder

IndexFactory.IndexListComparator horder

Defined descending order comparator. Sorts the highest terms first.

hweak

IndexFactory.IndexListComparator hweak

Defined descending weak order comparator. Sorts the highest terms first.

imax

IndexList imax

The maximal index list for this factory.

imaxlength

int imaxlength

The maximal length index list for this factory.

lorder

IndexFactory.IndexListComparator lorder

Defined ascending order comparator. Sorts the lowest terms first.

lweak

IndexFactory.IndexListComparator lweak

Defined ascending weak order comparator. Sorts the lowest terms first.

ONE

IndexList ONE

The one element index list.

vname

java.lang.String vname

The coordinate variable name.

weak

boolean weak

Defined index list comparison. Strong compare: false, weak compare: true.

Class edu.jas.poly.IndexFactory.IndexListComparator extends java.lang.Object implements Serializable

Class edu.jas.poly.IndexList extends java.lang.Object implements Serializable

Serialized Fields

mono

IndexFactory mono

Reference to IndexFactory.

sign

int sign

Sign of index list.

val

int[] val

Representation of index list as int arrays.

Class edu.jas.poly.InvalidExpressionException extends java.lang.RuntimeException implements Serializable

Class edu.jas.poly.Local extends java.lang.Object implements Serializable

Serialized Fields

den

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.

num

C extends RingElem<C> num

Numerator part of the element data structure.

ring

LocalRing<C extends RingElem<C>> ring

Local class factory data structure.

Class edu.jas.poly.LocalRing extends java.lang.Object implements Serializable

Serialized Fields

ideal

C extends RingElem<C> ideal

Ideal generator for localization.

isField

int isField

Indicator if this ring is a field.

ring

RingFactory<C extends RingElem<C>> ring

Ring factory.

Class edu.jas.poly.ModuleList extends java.lang.Object implements Serializable

Serialized Fields

cols

int cols

Number of columns in the data structure.

list

java.util.List<java.util.List<GenPolynomial<C extends RingElem<C>>>> list

The data structure is a List of Lists of polynomials.

ring

GenPolynomialRing<C extends RingElem<C>> ring

The factory for the solvable polynomial ring.

rows

int rows

Number of rows in the data structure.

Class edu.jas.poly.Monomial extends java.lang.Object implements Serializable

Serialized Fields

c

C extends RingElem<C> c

Coefficient of monomial.

e

ExpVector e

Exponent of monomial.

Class edu.jas.poly.OptimizedModuleList extends ModuleList<C extends RingElem<C>> implements Serializable

Serialized Fields

perm

java.util.List<java.lang.Integer> 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<java.lang.Integer> 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

l2

Word l2

r1

Word r1

r2

Word r2

Class edu.jas.poly.OverlapList extends java.lang.Object implements Serializable

Serialized Fields

ols

java.util.List<Overlap> ols

Class edu.jas.poly.PolynomialComparator extends java.lang.Object implements Serializable

Serialized Fields

reverse

boolean reverse

tord

TermOrder tord

Class edu.jas.poly.PolynomialList extends java.lang.Object implements Serializable

Serialized Fields

list

java.util.List<GenPolynomial<C extends RingElem<C>>> list

The data structure is a List of polynomials.

ring

GenPolynomialRing<C extends RingElem<C>> ring

The factory for the solvable polynomial ring.

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

ONE

QLRSolvablePolynomial<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>,D extends GcdRingElem<D>> ONE

The constant polynomial 1 for this ring. Hides super ONE.

polCoeff

RecSolvablePolynomialRing<D extends GcdRingElem<D>> polCoeff

Recursive solvable polynomial ring with polynomial coefficients.

qpfac

QuotPairFactory<GenPolynomial<D extends GcdRingElem<D>>,C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>> qpfac

Factory to create 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.

Class edu.jas.poly.Quotient extends java.lang.Object implements Serializable

Serialized Fields

den

C extends RingElem<C> den

Denominator part of the element data structure.

num

C extends RingElem<C> num

Numerator part of the element data structure.

ring

QuotientRing<C extends RingElem<C>> ring

Quotient class factory 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<GenPolynomial<C extends RingElem<C>>> coeffTable

The solvable multiplication relations between variables and coefficients.

ONE

RecSolvablePolynomial<C extends RingElem<C>> ONE

The constant polynomial 1 for this ring. Hides super ONE.

ZERO

RecSolvablePolynomial<C extends RingElem<C>> ZERO

The constant polynomial 0 for this ring. Hides super ZERO.

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<GenWordPolynomial<C extends RingElem<C>>> coeffTable

The solvable multiplication relations between variables and coefficients.

ONE

RecSolvableWordPolynomial<C extends RingElem<C>> ONE

The constant polynomial 1 for this ring. Hides super ONE.

ZERO

RecSolvableWordPolynomial<C extends RingElem<C>> ZERO

The constant polynomial 0 for this ring. Hides super ZERO.

Class edu.jas.poly.RelationTable extends java.lang.Object implements Serializable

Serialized Fields

coeffTable

boolean coeffTable

Usage indicator: table or coeffTable.

ring

GenSolvablePolynomialRing<C extends RingElem<C>> ring

The factory for the solvable polynomial ring.

table

java.util.Map<java.util.List<java.lang.Integer>,java.util.List> table

The data structure for the relations.

Class edu.jas.poly.Residue extends java.lang.Object implements Serializable

Serialized Fields

isunit

int isunit

Flag to remember if this residue element is a unit. -1 is unknown, 1 is unit, 0 not a unit.

ring

ResidueRing<C extends RingElem<C>> ring

Residue class factory data structure.

val

C extends RingElem<C> val

Value part of the element data structure.

Class edu.jas.poly.ResidueRing extends java.lang.Object implements Serializable

Serialized Fields

isField

int isField

Indicator if this ring is a field.

modul

C extends RingElem<C> modul

Ring element for reduction.

ring

RingFactory<C extends RingElem<C>> ring

Ring factory.

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

evbeg1

int evbeg1

evbeg2

int evbeg2

evend1

int evend1

evend2

int evend2

evord

int evord

evord2

int evord2

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)

weight

long[][] weight

Defined array of weight vectors.

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

hash

int hash

Stored hash code.

mono

WordFactory mono

Defining alphabet in WordFactory.

val

java.lang.String val

The data structure is a String of characters.

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<java.lang.Integer,C extends RingElem<C>> coeffCache

Cache for already computed coefficients.

Class edu.jas.ps.MultiVarCoefficients extends java.lang.Object implements Serializable

Serialized Fields

coeffCache

java.util.HashMap<java.lang.Long,GenPolynomial<C extends RingElem<C>>> coeffCache

Cache for already computed coefficients.

homCheck

java.util.BitSet homCheck

Indicator if all coefficients of a homogeneous degree have been constructed.

pfac

GenPolynomialRing<C extends RingElem<C>> pfac

Ring factory for polynomials.

zeroCache

java.util.HashSet<ExpVector> 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

evorder

ExpVector evorder

ExpVector of order of power series.

lazyCoeffs

MultiVarCoefficients<C extends RingElem<C>> lazyCoeffs

Data structure / generating function for coefficients. Cannot be final because of fixPoint, must be accessible in factory.

order

int order

Order of power series.

ring

MultiVarPowerSeriesRing<C extends RingElem<C>> ring

Power series ring factory.

truncate

int truncate

Truncation of computations.

Class edu.jas.ps.MultiVarPowerSeriesRing extends java.lang.Object implements Serializable

Serialized Fields

coFac

RingFactory<C extends RingElem<C>> coFac

Coefficient ring factory.

EVZERO

ExpVector EVZERO

Zero ExpVector.

nvar

int nvar

The number of variables.

ONE

MultiVarPowerSeries<C extends RingElem<C>> ONE

The constant power series 1 for this ring.

truncate

int truncate

Truncate.

vars

java.lang.String[] vars

The names of the variables. This value can be modified.

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

i

int i

j

int j

n

int n

pi

MultiVarPowerSeries<C extends RingElem<C>> pi

pj

MultiVarPowerSeries<C extends RingElem<C>> pj

toZero

boolean toZero

useCriterion3

boolean useCriterion3

useCriterion4

boolean useCriterion4

Class edu.jas.ps.UnivPowerSeries extends java.lang.Object implements Serializable

Serialized Fields

lazyCoeffs

Coefficients<C extends RingElem<C>> lazyCoeffs

Data structure / generating function for coefficients. Cannot be final because of fixPoint, must be accessible in factory.

order

int order

Order of power series.

ring

UnivPowerSeriesRing<C extends RingElem<C>> ring

Power series ring factory.

truncate

int truncate

Truncation of computations.

Class edu.jas.ps.UnivPowerSeriesRing extends java.lang.Object implements Serializable

Serialized Fields

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.

truncate

int truncate

Truncate.

var

java.lang.String var

Variable name.

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

complex

java.util.List<ComplexAlgebraicNumber<C extends GcdRingElem<C> & Rational>> complex

Complex algebraic roots.

cp

GenPolynomial<Complex<C extends GcdRingElem<C> & Rational>> cp

Univariate polynomial with complex coefficients equivalent to p.

p

GenPolynomial<C extends GcdRingElem<C> & Rational> p

Univariate polynomial.

real

java.util.List<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> real

Real algebraic roots.

Class edu.jas.root.Boundary extends java.lang.Object implements Serializable

Serialized Fields

A

GenPolynomial<Complex<C extends RingElem<C> & Rational>> A

Polynomial.

polys

GenPolynomial<Complex<C extends RingElem<C> & Rational>>[] polys

Boundary polynomials.

rect

Rectangle<C extends RingElem<C> & Rational> rect

Rectangle.

rfac

GenPolynomialRing<C extends RingElem<C> & Rational> rfac

Factory for real polynomials.

Class edu.jas.root.ComplexAlgebraicNumber extends java.lang.Object implements Serializable

Serialized Fields

number

AlgebraicNumber<Complex<C extends GcdRingElem<C> & Rational>> 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<Complex<C extends GcdRingElem<C> & Rational>> algebraic

Representing AlgebraicNumberRing.

engine

ComplexRootsSturm<C extends GcdRingElem<C> & Rational> engine

Complex root computation engine.

eps

BigRational eps

Epsilon of the isolating rectangle for a complex root.

root

Rectangle<C extends GcdRingElem<C> & Rational> root

Isolating rectangle for a complex root. Note: interval may shrink eventually.

Class edu.jas.root.ComplexRootsAbstract extends java.lang.Object implements Serializable

Serialized Fields

engine

Squarefree<Complex<C extends RingElem<C> & Rational>> 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

complex

java.util.List<Complex<BigDecimal>> complex

complex decimal roots.

cp

GenPolynomial<Complex<C extends GcdRingElem<C> & Rational>> cp

univariate polynomial with complex coefficients.

p

GenPolynomial<C extends GcdRingElem<C> & Rational> p

univariate polynomial.

real

java.util.List<BigDecimal> real

real decimal roots.

Class edu.jas.root.Interval extends java.lang.Object implements Serializable

Serialized Fields

left

C extends RingElem<C> & Rational left

left interval border.

right

C extends RingElem<C> & Rational 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 GcdRingElem<C> & Rational> 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 GcdRingElem<C> & Rational> algebraic

Representing AlgebraicNumberRing.

engine

RealRootsSturm<C extends GcdRingElem<C> & Rational> engine

Real root computation engine.

eps

BigRational eps

Precision of the isolating interval for a real root.

root

Interval<C extends GcdRingElem<C> & Rational> root

Isolating interval for a real root. Note: interval may shrink eventually.

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<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> tuple

Tuple of RealAlgebraicNumbers.

Class edu.jas.root.Rectangle extends java.lang.Object implements Serializable

Serialized Fields

corners

Complex<C extends RingElem<C> & Rational>[] 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.EvalPoints extends java.lang.Object implements Serializable

Serialized Fields

evalPoints

java.util.List<C extends RingElem<C>> evalPoints

Evaluation points.

poly

GenPolynomial<C extends RingElem<C>> poly

Original multivariate polynomial to be evaluated.

upoly

GenPolynomial<C extends RingElem<C>> upoly

Evaluated univariate polynomial as evaluated.

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

afac

AlgebraicNumberRing<C extends GcdRingElem<C>> afac

Complex algebraic factory.

factorAlgeb

FactorAbstract<AlgebraicNumber<C extends GcdRingElem<C>>> factorAlgeb

Factorization engine for algebraic coefficients.

Class edu.jas.ufd.FactorInteger extends FactorAbstract<BigInteger> implements Serializable

Serialized Fields

mengine

GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular> mengine

Gcd engine for modular base coefficients.

mfactor

FactorAbstract<MOD extends GcdRingElem<MOD> & Modular> mfactor

Factorization engine for modular base coefficients.

Class edu.jas.ufd.FactorModular extends FactorAbsolute<MOD extends GcdRingElem<MOD> & Modular> implements Serializable

Class edu.jas.ufd.FactorModularBerlekamp extends FactorAbsolute<MOD extends GcdRingElem<MOD>> 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<BigInteger> iengine

Factorization engine for integer base coefficients.

Class edu.jas.ufd.Factors extends java.lang.Object implements Serializable

Serialized Fields

afac

AlgebraicNumberRing<C extends GcdRingElem<C>> afac

Algebraic field extension over C. Should be null, if p is absolutely irreducible.

afactors

java.util.List<GenPolynomial<AlgebraicNumber<C extends GcdRingElem<C>>>> afactors

List of factors with coefficients from AlgebraicNumberRing<C>. Should be null, if p is absolutely irreducible.

apoly

GenPolynomial<AlgebraicNumber<C extends GcdRingElem<C>>> apoly

Original polynomial to be factored with coefficients from AlgebraicNumberRing<C>. Should be null, if p is absolutely irreducible.

arfactors

java.util.List<Factors<AlgebraicNumber<C extends GcdRingElem<C>>>> arfactors

List of factors with coefficients from AlgebraicNumberRing<AlgebraicNumber<C>>. Should be null, if p is absolutely irreducible.

poly

GenPolynomial<C extends GcdRingElem<C>> poly

Original (irreducible) polynomial to be factored with coefficients from C.

Class edu.jas.ufd.FactorsList extends java.lang.Object implements Serializable

Serialized Fields

afactors

java.util.List<Factors<C extends GcdRingElem<C>>> afactors

List of factors with coefficients from AlgebraicNumberRings.

factors

java.util.List<GenPolynomial<C extends GcdRingElem<C>>> factors

List of factors with coefficients from C.

poly

GenPolynomial<C extends GcdRingElem<C>> poly

Original polynomial to be factored with coefficients from C.

Class edu.jas.ufd.FactorsMap extends java.lang.Object implements Serializable

Serialized Fields

afactors

java.util.SortedMap<Factors<C extends GcdRingElem<C>>,java.lang.Long> afactors

List of factors with coefficients from AlgebraicNumberRings.

factors

java.util.SortedMap<GenPolynomial<C extends GcdRingElem<C>>,java.lang.Long> factors

List of factors with coefficients from C.

poly

GenPolynomial<C extends GcdRingElem<C>> poly

Original polynomial to be factored with coefficients from C.

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

iufd

GreatestCommonDivisorAbstract<BigInteger> iufd

Fall back gcd algorithm.

quadratic

boolean quadratic

Flag for linear or quadratic Hensel lift.

ufd

GreatestCommonDivisorAbstract<BigInteger> ufd

Class edu.jas.ufd.GreatestCommonDivisorModEval extends GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular> implements Serializable

Serialized Fields

mufd

GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular> mufd

Modular gcd algorithm to use.

Class edu.jas.ufd.GreatestCommonDivisorModular extends GreatestCommonDivisorAbstract<BigInteger> implements Serializable

Serialized Fields

iufd

GreatestCommonDivisorAbstract<BigInteger> iufd

mufd

GreatestCommonDivisorAbstract<MOD extends GcdRingElem<MOD> & Modular> mufd

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<BigInteger> A

Approximated polynomial with integer coefficients.

Am

GenPolynomial<MOD extends GcdRingElem<MOD> & Modular> Am

Modular approximated polynomial with modular coefficients.

B

GenPolynomial<BigInteger> B

Approximated polynomial with integer coefficients.

Bm

GenPolynomial<MOD extends GcdRingElem<MOD> & Modular> 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

adenom

java.util.List<GenPolynomial<AlgebraicNumber<C extends GcdRingElem<C>>>> adenom

List of factors of the denominator with coefficients from an AlgebraicNumberRing<C>.

afactors

java.util.List<AlgebraicNumber<C extends GcdRingElem<C>>> afactors

List of algebraic numbers of an algebraic field extension over C.

cdenom

java.util.List<GenPolynomial<C extends GcdRingElem<C>>> cdenom

List of linear factors of the denominator with coefficients from C.

cfactors

java.util.List<C extends GcdRingElem<C>> cfactors

List of numbers from C.

den

GenPolynomial<C extends GcdRingElem<C>> den

Original (irreducible) denominator polynomial coefficients from C.

num

GenPolynomial<C extends GcdRingElem<C>> num

Original numerator polynomial coefficients from C and deg(num) < deg(den).

Class edu.jas.ufd.Quotient extends java.lang.Object implements Serializable

Serialized Fields

den

GenPolynomial<C extends GcdRingElem<C>> den

Denominator part of the element data structure.

num

GenPolynomial<C extends GcdRingElem<C>> num

Numerator part of the element data structure.

ring

QuotientRing<C extends GcdRingElem<C>> ring

Quotient class factory data structure.

Class edu.jas.ufd.QuotientRing extends java.lang.Object implements Serializable

Serialized Fields

engine

GreatestCommonDivisor<C extends GcdRingElem<C>> engine

GCD engine of the factory.

ring

GenPolynomialRing<C extends GcdRingElem<C>> ring

Polynomial ring 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 GcdRingElem<C>> coFac

Factory for field of characteristic 0 coefficients.

Class edu.jas.ufd.SquarefreeFieldChar0Yun extends SquarefreeFieldChar0<C extends GcdRingElem<C>> implements Serializable

Class edu.jas.ufd.SquarefreeFieldCharP extends SquarefreeAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

aCoFac

AlgebraicNumberRing<C extends GcdRingElem<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.

coFac

RingFactory<C extends GcdRingElem<C>> coFac

Factory for finite field of characteristic p coefficients.

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 GcdRingElem<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<AlgebraicNumber<C extends GcdRingElem<C> & Rational>> 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

hashValue

int hashValue

matrix

java.util.ArrayList<java.util.ArrayList<C extends RingElem<C>>> matrix

ring

GenMatrixRing<C extends RingElem<C>> ring

Class edu.jas.vector.GenMatrixRing extends java.lang.Object implements Serializable

Serialized Fields

blocksize

int blocksize

coFac

RingFactory<C extends RingElem<C>> coFac

cols

int cols

density

float density

ONE

GenMatrix<C extends RingElem<C>> ONE

rows

int rows

ZERO

GenMatrix<C extends RingElem<C>> ZERO

Class edu.jas.vector.GenVector extends java.lang.Object implements Serializable

Serialized Fields

modul

GenVectorModul<C extends RingElem<C>> modul

val

java.util.List<C extends RingElem<C>> val

Class edu.jas.vector.GenVectorModul extends java.lang.Object implements Serializable

Serialized Fields

BASIS

java.util.List<GenVector<C extends RingElem<C>>> BASIS

coFac

RingFactory<C extends RingElem<C>> coFac

cols

int cols

density

float density

ZERO

GenVector<C extends RingElem<C>> ZERO

Class edu.jas.vector.LinAlg extends java.lang.Object implements Serializable