Package edu.jas.application
Class LocalSolvablePolynomial<C extends GcdRingElem<C>>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
AbelianGroupElem<GenPolynomial<SolvableLocal<C>>>
,Element<GenPolynomial<SolvableLocal<C>>>
,MonoidElem<GenPolynomial<SolvableLocal<C>>>
,RingElem<GenPolynomial<SolvableLocal<C>>>
,Serializable
,Comparable<GenPolynomial<SolvableLocal<C>>>
,Iterable<Monomial<SolvableLocal<C>>>
public class LocalSolvablePolynomial<C extends GcdRingElem<C>>
extends GenSolvablePolynomial<SolvableLocal<C>>
LocalSolvablePolynomial generic recursive solvable polynomials implementing
RingElem. n-variate ordered solvable polynomials over solvable polynomial
coefficients. Objects of this class are intended to be immutable. The
implementation is based on TreeMap respectively SortedMap from exponents to
coefficients by extension of GenPolynomial.
Will be deprecated use QLRSolvablePolynomial.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final org.apache.logging.log4j.Logger
final LocalSolvablePolynomialRing
<C> The factory for the recursive solvable polynomial ring.Fields inherited from class edu.jas.poly.GenPolynomial
blen, hash, val
-
Constructor Summary
ConstructorsModifierConstructorDescriptionConstructor for zero LocalSolvablePolynomial.Constructor for LocalSolvablePolynomial.Constructor for LocalSolvablePolynomial.LocalSolvablePolynomial
(LocalSolvablePolynomialRing<C> r, GenSolvablePolynomial<SolvableLocal<C>> S) Constructor for LocalSolvablePolynomial.protected
Constructor for LocalSolvablePolynomial. -
Method Summary
Modifier and TypeMethodDescriptioncopy()
Clone this LocalSolvablePolynomial.boolean
Comparison with any other object.factory()
Get the corresponding element factory.int
hashCode()
Hash code for this polynomial.LocalSolvablePolynomial multiplication.LocalSolvablePolynomial left and right multiplication.multiply
(SolvableLocal<C> b) LocalSolvablePolynomial multiplication.multiply
(SolvableLocal<C> b, SolvableLocal<C> c) LocalSolvablePolynomial left and right multiplication.multiply
(SolvableLocal<C> b, ExpVector e) LocalSolvablePolynomial multiplication.multiply
(SolvableLocal<C> b, ExpVector e, SolvableLocal<C> c, ExpVector f) LocalSolvablePolynomial left and right multiplication.LocalSolvablePolynomial multiplication.LocalSolvablePolynomial left and right multiplication.LocalSolvablePolynomial multiplication.LocalSolvablePolynomial multiplication.multiplyLeft
(SolvableLocal<C> b, ExpVector e) LocalSolvablePolynomial multiplication.LocalSolvablePolynomial multiplication.LocalSolvablePolynomial multiplication.protected LocalSolvablePolynomial
<C> LocalSolvablePolynomial multiplication.Methods inherited from class edu.jas.poly.GenSolvablePolynomial
divide, evalAsRightRecursivePolynomial, isRightRecursivePolynomial, leftMonic, monic, multiply, multiply, quotientRemainder, remainder, rightDivide, rightMonic, rightQuotientRemainder, rightRecursivePolynomial, rightRemainder, scaleSubtractMultiple, scaleSubtractMultiple, scaleSubtractMultiple, subtractMultiple, subtractMultiple
Methods inherited from class edu.jas.poly.GenPolynomial
abs, bitLength, coefficient, coefficientIterator, coeffPrimitivePart, compareTo, contract, contractCoeff, degree, degree, degreeMin, degreeVector, deHomogenize, deltaExpVectors, deltaExpVectors, divide, divide, doAddTo, doAddTo, doAddTo, doPutToMap, doPutToMap, doRemoveFromMap, egcd, exponentIterator, extend, extendLower, extendUnivariate, gcd, getMap, hegcd, homogenize, inflate, inverse, isConstant, isHomogeneous, isONE, isUnit, isWeightHomogeneous, isZERO, iterator, leadingBaseCoefficient, leadingExpVector, leadingFacetPolynomial, leadingMonomial, leadingWeightPolynomial, leftDivideCoeff, length, map, mapOnStream, mapOnStream, maxNorm, modInverse, monicRight, multiply, negate, negateAlt, numberOfVariables, quotientRemainder, reductum, remainder, reverse, rightDivideCoeff, rightGcd, scaleSubtractMultiple, scaleSubtractMultiple, scaleSubtractMultiple, signum, spliterator, squareNorm, subtract, subtract, subtract, subtract, subtractMultiple, subtractMultiple, sum, sum, sum, sum, sumNorm, toScript, toScriptFactory, toString, toString, totalDegree, trailingBaseCoefficient, trailingExpVector, weightDegree
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface edu.jas.structure.MonoidElem
leftDivide, leftRemainder, power, rightDivide, rightRemainder, twosidedDivide, twosidedRemainder
-
Field Details
-
ring
The factory for the recursive solvable polynomial ring. Hides super.ring. -
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug
-
-
Constructor Details
-
LocalSolvablePolynomial
Constructor for zero LocalSolvablePolynomial.- Parameters:
r
- solvable polynomial ring factory.
-
LocalSolvablePolynomial
Constructor for LocalSolvablePolynomial.- Parameters:
r
- solvable polynomial ring factory.c
- coefficient polynomial.e
- exponent.
-
LocalSolvablePolynomial
Constructor for LocalSolvablePolynomial.- Parameters:
r
- solvable polynomial ring factory.c
- coefficient polynomial.
-
LocalSolvablePolynomial
public LocalSolvablePolynomial(LocalSolvablePolynomialRing<C> r, GenSolvablePolynomial<SolvableLocal<C>> S) Constructor for LocalSolvablePolynomial.- Parameters:
r
- solvable polynomial ring factory.S
- solvable polynomial.
-
LocalSolvablePolynomial
protected LocalSolvablePolynomial(LocalSolvablePolynomialRing<C> r, SortedMap<ExpVector, SolvableLocal<C>> v) Constructor for LocalSolvablePolynomial.- Parameters:
r
- solvable polynomial ring factory.v
- the SortedMap of some other (solvable) polynomial.
-
-
Method Details
-
factory
Get the corresponding element factory.- Specified by:
factory
in interfaceElement<C extends GcdRingElem<C>>
- Overrides:
factory
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Returns:
- factory for this Element.
- See Also:
-
copy
Clone this LocalSolvablePolynomial.- Specified by:
copy
in interfaceElement<C extends GcdRingElem<C>>
- Overrides:
copy
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Returns:
- copy of this.
- See Also:
-
equals
Comparison with any other object.- Specified by:
equals
in interfaceElement<C extends GcdRingElem<C>>
- Overrides:
equals
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
B
-- Returns:
- true if this is equal to b, else false.
- See Also:
-
hashCode
public int hashCode()Hash code for this polynomial.- Specified by:
hashCode
in interfaceElement<C extends GcdRingElem<C>>
- Overrides:
hashCode
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Returns:
- the hashCode.
- See Also:
-
multiply
LocalSolvablePolynomial multiplication.- Parameters:
Bp
- LocalSolvablePolynomial.- Returns:
- this*Bp, where * denotes solvable multiplication.
-
multiply
public LocalSolvablePolynomial<C> multiply(LocalSolvablePolynomial<C> S, LocalSolvablePolynomial<C> T) LocalSolvablePolynomial left and right multiplication. Product with two polynomials.- Parameters:
S
- LocalSolvablePolynomial.T
- LocalSolvablePolynomial.- Returns:
- S*this*T.
-
multiply
LocalSolvablePolynomial multiplication. Product with coefficient ring element.- Overrides:
multiply
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
b
- solvable coefficient.- Returns:
- this*b, where * is coefficient multiplication.
-
multiply
LocalSolvablePolynomial left and right multiplication. Product with coefficient ring element.- Overrides:
multiply
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
b
- coefficient polynomial.c
- coefficient polynomial.- Returns:
- b*this*c, where * is coefficient multiplication.
-
multiply
LocalSolvablePolynomial multiplication. Product with exponent vector.- Overrides:
multiply
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
e
- exponent.- Returns:
- this * xe, where * denotes solvable multiplication.
-
multiply
LocalSolvablePolynomial left and right multiplication. Product with exponent vector.- Overrides:
multiply
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
e
- exponent.f
- exponent.- Returns:
- xe * this * xf, where * denotes solvable multiplication.
-
multiply
LocalSolvablePolynomial multiplication. Product with ring element and exponent vector.- Overrides:
multiply
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
b
- coefficient polynomial.e
- exponent.- Returns:
- this * b xe, where * denotes solvable multiplication.
-
multiply
public LocalSolvablePolynomial<C> multiply(SolvableLocal<C> b, ExpVector e, SolvableLocal<C> c, ExpVector f) LocalSolvablePolynomial left and right multiplication. Product with ring element and exponent vector.- Overrides:
multiply
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
b
- coefficient polynomial.e
- exponent.c
- coefficient polynomial.f
- exponent.- Returns:
- b xe * this * c xf, where * denotes solvable multiplication.
-
multiplyLeft
LocalSolvablePolynomial multiplication. Left product with ring element and exponent vector.- Overrides:
multiplyLeft
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
b
- coefficient polynomial.e
- exponent.- Returns:
- b xe * this, where * denotes solvable multiplication.
-
multiplyLeft
LocalSolvablePolynomial multiplication. Left product with exponent vector.- Overrides:
multiplyLeft
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
e
- exponent.- Returns:
- xe * this, where * denotes solvable multiplication.
-
multiplyLeft
LocalSolvablePolynomial multiplication. Left product with coefficient ring element.- Overrides:
multiplyLeft
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
b
- coefficient polynomial.- Returns:
- b*this, where * is coefficient multiplication.
-
multiplyLeft
LocalSolvablePolynomial multiplication. Left product with 'monomial'.- Overrides:
multiplyLeft
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
m
- 'monomial'.- Returns:
- m * this, where * denotes solvable multiplication.
-
multiply
LocalSolvablePolynomial multiplication. Product with 'monomial'.- Overrides:
multiply
in classGenSolvablePolynomial<SolvableLocal<C extends GcdRingElem<C>>>
- Parameters:
m
- 'monomial'.- Returns:
- this * m, where * denotes solvable multiplication.
-
shift
LocalSolvablePolynomial multiplication. Left product with coefficient ring element.- Parameters:
f
- exponent vector.- Returns:
- B*f, where * is commutative multiplication.
-