Serialized Form

Package edu.jas.application

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.

bb

GroebnerBase<C extends RingElem<C>> bb

Groebner base engine.

red

Reduction<C extends RingElem<C>> red

Reduction engine.

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

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

ideal

Ideal<C extends RingElem<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.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.application.QuotientRing extends java.lang.Object implements Serializable

Serialized Fields

ring

GenPolynomialRing<C extends RingElem<C>> ring

Polynomial ring of the factory.

engine

GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine

GCD engine of the factory.

ufdGCD

boolean ufdGCD

Use GCD of package edu.jas.ufd.

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

Serialized Fields

ring

ResidueRing<C extends RingElem<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

ideal

Ideal<C extends RingElem<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.

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.

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.

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.

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.

Package edu.jas.kern

Class edu.jas.kern.PreemptingException extends java.lang.RuntimeException implements Serializable

Package edu.jas.poly

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.ExpVector extends java.lang.Object 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.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.

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.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.OrderedPolynomialList extends PolynomialList<C extends RingElem<C>> implements Serializable

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

Class edu.jas.ring.CriticalPair 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

inReduction

boolean inReduction

reductum

GenPolynomial<C extends RingElem<C>> reductum

Class edu.jas.ring.CriticalPairComparator extends java.lang.Object implements Serializable

Serialized Fields

tord

TermOrder tord

ec

java.util.Comparator<T> ec

Class edu.jas.ring.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.ring.DReductionSeq extends ReductionAbstract<C extends RingElem<C>> implements Serializable

Serialized Fields

debug

boolean debug

Class edu.jas.ring.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.ring.EReductionSeq extends DReductionSeq<C extends RingElem<C>> implements Serializable

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

Serialized Fields

debug

boolean debug

red

Reduction<C extends RingElem<C>> red

Reduction engine.

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

port

int port

Server port to use.

Class edu.jas.ring.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.ring.GroebnerBaseSeq extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable

Class edu.jas.ring.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.ring.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.ring.GroebnerBaseSeqPairSeq extends GroebnerBaseAbstract<C extends RingElem<C>> implements Serializable

Serialized Fields

debug

boolean debug

blas

BasicLinAlg<C extends RingElem<C>> blas

Class edu.jas.ring.Pair extends java.lang.Object implements Serializable

Serialized Fields

pi

GenPolynomial<C extends RingElem<C>> pi

pj

GenPolynomial<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.ring.ReductionAbstract extends java.lang.Object implements Serializable

Serialized Fields

debug

boolean debug

Class edu.jas.ring.ReductionPar extends ReductionAbstract<C extends RingElem<C>> implements Serializable

Class edu.jas.ring.ReductionSeq extends ReductionAbstract<C extends RingElem<C>> implements Serializable

Package edu.jas.structure

Class edu.jas.structure.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.structure.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.structure.NotInvertibleException extends java.lang.RuntimeException implements Serializable

Class edu.jas.structure.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.structure.QuotientRing extends java.lang.Object implements Serializable

Serialized Fields

ring

RingFactory<C extends RingElem<C>> ring

Ring factory of this factory.

Class edu.jas.structure.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.structure.ResidueRing extends java.lang.Object implements Serializable

Serialized Fields

modul

RingElem<C extends RingElem<C>> modul

Ring elemsnt for reduction.

ring

RingFactory<C extends RingElem<C>> ring

Ring factory.

isField

int isField

Indicator if this ring is a field.

Package edu.jas.util

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

Serialized Fields

key

java.lang.Object key

value

java.lang.Object value

Package edu.jas.vector

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

Serialized Fields

ring

GenMatrixRing<C extends RingElem<C>> ring

val

java.util.List<E> val

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

Class edu.jas.vector.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.vector.OrderedModuleList extends ModuleList<C extends RingElem<C>> implements Serializable