Overview  Package  Class  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Serialized Form

Package edu.jas.application

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

Serialized Fields

debug

boolean debug

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

debug

boolean debug

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

debug

boolean debug

factorAlgebraic

FactorAbstract<C extends GcdRingElem<C>> factorAlgebraic
Factorization engine for base coefficients.

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

Serialized Fields

debug

boolean debug

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.Local extends java.lang.Object implements Serializable

Serialized Fields

debug

boolean debug

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.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 GcdRingElem<C>> primitiveElem
The primitive element.

A

AlgebraicNumber<C extends GcdRingElem<C>> A
The representation of the first algebraic element in the new ring.

B

AlgebraicNumber<C extends GcdRingElem<C>> B
The representation of the second algebraic element in the new ring.

Aring

AlgebraicNumberRing<C extends GcdRingElem<C>> Aring
The first algebraic ring.

Bring

AlgebraicNumberRing<C extends GcdRingElem<C>> Bring
The second algebraic ring.

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

Serialized Fields

numberRes

Residue<C extends GcdRingElem<C>> numberRes

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

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

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

debug

boolean debug

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.

debug

boolean debug

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.

certainty

int certainty
Certainty if module is probable prime.

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.

certainty

int certainty
Certainty if module is probable prime.

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

debug

boolean debug

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

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

java.util.Comparator<T> ec

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

Serialized Fields

debug

boolean debug

red

DReduction<C extends RingElem<C>> red
Reduction engine.

Class edu.jas.gb.DReductionSeq extends ReductionAbstract<C extends RingElem<C>> implements Serializable

Serialized Fields

debug

boolean debug

Class edu.jas.gb.EGroebnerBaseSeq extends DGroebnerBaseSeq<C extends RingElem<C>> implements Serializable

Serialized Fields

debug

boolean debug

red

EReduction<C extends RingElem<C>> red
Reduction engine.

Class edu.jas.gb.EReductionSeq extends DReductionSeq<C extends RingElem<C>> implements Serializable

Class edu.jas.gb.GBProxy extends GroebnerBaseAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

debug

boolean debug

e1

GroebnerBaseAbstract<C extends RingElem<C>> e1
GB engines.

e2

GroebnerBaseAbstract<C extends RingElem<C>> e2

pool

java.util.concurrent.ExecutorService pool
Thread pool.

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

Serialized Fields

debug

boolean debug

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.GroebnerBaseDistributed extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable

Serialized Fields

threads

int threads
Number of threads to use.

pool

ThreadPool pool
Pool of threads to use. Note: No ComputerThreads for one node tests

port

int port
Server port to use.

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

Serialized Fields

debug

boolean debug

threads

int threads
Number of threads to use.

threadsPerNode

int threadsPerNode
Number of threads per node to use.

pool

ThreadPool pool
Pool of threads to use.

port

int port
Server port to use.

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

Serialized Fields

threads

int threads
Number of threads to use.

pool

ThreadPool pool
Pool of threads to use.

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

Serialized Fields

debug

boolean debug

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

Serialized Fields

threads

int threads
Number of threads to use.

pool

ThreadPool pool
Pool of threads to use.

port

int port
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.

pool

ThreadPool pool
Pool of threads to use.

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

Serialized Fields

debug

boolean debug

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

Serialized Fields

debug

boolean debug

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

Package edu.jas.gbufd

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

Serialized Fields

debug

boolean debug

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.GroebnerBasePseudoRecSeq extends GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> implements Serializable

Serialized Fields

debug

boolean debug

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.

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

debug

boolean debug

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.MultiplicativeSet extends java.lang.Object implements Serializable

Serialized Fields

debug

boolean debug

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

debug

boolean debug

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

debug

boolean debug

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

debug

boolean debug

engine

SquarefreeAbstract<C extends GcdRingElem<C>> engine
Squarefree decomposition engine.

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

debug

boolean debug

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

debug

boolean debug

red

RReduction<C extends RegularRingElem<C>> red
Reduction engine.

Class edu.jas.gbufd.RPseudoReductionSeq extends RReductionSeq<C extends RegularRingElem<C>> implements Serializable

Serialized Fields

debug

boolean debug

Class edu.jas.gbufd.RReductionSeq extends ReductionAbstract<C extends RegularRingElem<C>> implements Serializable

Serialized Fields

debug

boolean debug
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 GcdRingElem<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

Serialized Fields

hash

int hash
Stored hash code.

Class edu.jas.poly.ExpVectorByte extends ExpVector implements Serializable

Serialized Fields

val

byte[] val
The data structure is an array of longs.

Class edu.jas.poly.ExpVectorInteger extends ExpVector implements Serializable

Serialized Fields

val

int[] val
The data structure is an array of longs.

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

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

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.

debug

boolean debug

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.

debug

boolean debug

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.

debug

boolean debug

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

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

Serialized Fields

debug

boolean debug

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.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.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.Quotient extends java.lang.Object implements Serializable

Serialized Fields

debug

boolean debug

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

debug

boolean debug

ring

RingFactory<C extends RingElem<C>> ring
Ring factory of this factory.

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.

debug

boolean debug

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

Serialized Fields

debug

boolean debug

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

debug

boolean debug

weight

long[][] weight
Defined array of weight vectors.

horder

java.util.Comparator<T> horder
Defined descending order comparator. Sorts the highest terms first.

lorder

java.util.Comparator<T> lorder
Defined ascending order comparator. Sorts the lowest terms first.

sugar

java.util.Comparator<T> sugar
Defined sugar order comparator. Sorts the graded lowest terms first.

Package edu.jas.ps

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.ComplexAlgebraicNumber extends java.lang.Object implements Serializable

Serialized Fields

number

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

root

Rectangle<C extends RingElem<C> & Rational> root
Isolating rectangle for a complex root. Note: interval may shrink eventually.

eps

GcdRingElem<C extends GcdRingElem<C>> eps
Epsilon of the isolating rectangle for a complex root.

PRECISION

int PRECISION
Precision of the isolating rectangle for a complex root.

engine

ComplexRootsSturm<C extends RingElem<C> & Rational> engine
Complex root computation engine.

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>> 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>> algebraic
Representing AlgebraicNumberRing.

root

Interval<C extends RingElem<C> & Rational> root
Isolating interval for a real root. Note: interval may shrink eventually.

eps

GcdRingElem<C extends GcdRingElem<C>> eps
Precision of the isolating interval for a real root.

engine

RealRootsSturm<C extends RingElem<C> & Rational> engine
Real root computation engine.

Package edu.jas.structure

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

Serialized Fields

debug

boolean debug

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

Serialized Fields

debug

boolean debug

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

debug

boolean debug

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

debug

boolean debug

factorAlgeb

FactorAbstract<C extends GcdRingElem<C>> factorAlgeb
Factorization engine for algebraic coefficients.

afac

AlgebraicNumberRing<C extends GcdRingElem<C>> afac
Complex algebraic factory.

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

Serialized Fields

debug

boolean debug

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

Serialized Fields

debug

boolean debug

Class edu.jas.ufd.FactorQuotient extends FactorAbstract<Quotient<C extends GcdRingElem<C>>> implements Serializable

Serialized Fields

debug

boolean debug

nengine

FactorAbstract<C extends GcdRingElem<C>> nengine
Factorization engine for normal coefficients.

Class edu.jas.ufd.FactorRational extends FactorAbsolute<BigRational> implements Serializable

Serialized Fields

debug

boolean debug

iengine

FactorAbstract<C extends GcdRingElem<C>> iengine
Factorization engine for integer base coefficients.

Class edu.jas.ufd.FactorRealAlgebraic extends FactorAbstract<RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>> implements Serializable

Serialized Fields

debug

boolean debug

factorAlgebraic

FactorAbstract<C extends GcdRingElem<C>> factorAlgebraic
Factorization engine for 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 GcdRingElem<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

debug

boolean debug

e1

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> e1
GCD engines.

e2

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> e2

pool

java.util.concurrent.ExecutorService pool
Thread pool.

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

Serialized Fields

debug

boolean debug

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

Serialized Fields

debug

boolean debug

quadratic

boolean quadratic
Flag for linear or quadratic Hensel lift.

iufd

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> iufd
Fall back gcd algorithm.

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

Serialized Fields

debug

boolean debug

mufd

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> mufd
Modular gcd algorithm to use.

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

Serialized Fields

debug

boolean debug

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

Serialized Fields

debug

boolean debug

Class edu.jas.ufd.GreatestCommonDivisorSimple extends GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> implements Serializable

Serialized Fields

debug

boolean debug

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

debug

boolean debug

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.

Package edu.jas.util

Class edu.jas.util.DHTTransport extends java.lang.Object implements Serializable

Package edu.jas.vector

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

Overview  Package  Class  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES