Package edu.jas.poly
Class Local<C extends RingElem<C>>
java.lang.Object
edu.jas.poly.Local<C>
- All Implemented Interfaces:
AbelianGroupElem<Local<C>>,Element<Local<C>>,MonoidElem<Local<C>>,QuotPair<C>,RingElem<Local<C>>,Serializable,Comparable<Local<C>>
Local element based on RingElem pairs. Objects of this class are (nearly)
immutable.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final booleanprotected final CDenominator part of the element data structure.protected intFlag to remember if this local element is a unit.private static final org.apache.logging.log4j.Loggerprotected final CNumerator part of the element data structure.Local class factory data structure. -
Constructor Summary
ConstructorsModifierConstructorDescriptionThe constructor creates a Local object from a ring factory.The constructor creates a Local object from a ring factory and a numerator element.The constructor creates a Local object from a ring factory and a numerator and denominator element.protectedThe constructor creates a Local object from a ring factory and a numerator and denominator element. -
Method Summary
Modifier and TypeMethodDescriptionabs()Local absolute value.intLocal comparison.copy()Clone this.Denominator.Local division.Extended greatest common divisor.booleanComparison with any other object.factory()Get the corresponding element factory.Greatest common divisor.inthashCode()Hash code for this local.inverse()Local inverse.booleanIs Local a constant.booleanisONE()Is Local one.booleanisUnit()Is Local unit.booleanisZERO()Is Local zero.Local multiplication.negate()Local negate.Numerator.quotientRemainder(Local<C> S) Quotient and remainder by division of this by S.Local remainder.intsignum()Local signum.Local subtraction.Local summation.toScript()Get a scripting compatible string representation.Get a scripting compatible string representation of the factory.toString()Get the String representation as RingElem.Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface edu.jas.structure.MonoidElem
leftDivide, leftRemainder, power, rightDivide, rightRemainder, twosidedDivide, twosidedRemainder
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
ring
Local class factory data structure. -
num
Numerator part of the element data structure. -
den
Denominator part of the element data structure. -
isunit
protected int isunitFlag to remember if this local element is a unit. -1 is unknown, 1 is unit, 0 not a unit.
-
-
Constructor Details
-
Local
The constructor creates a Local object from a ring factory.- Parameters:
r- ring factory.
-
Local
The constructor creates a Local object from a ring factory and a numerator element. The denominator is assumed to be 1.- Parameters:
r- ring factory.n- numerator.
-
Local
The constructor creates a Local object from a ring factory and a numerator and denominator element.- Parameters:
r- ring factory.n- numerator.d- denominator.
-
Local
The constructor creates a Local object from a ring factory and a numerator and denominator element.- Parameters:
r- ring factory.n- numerator.d- denominator.isred- true if gcd(n,d) == 1, else false.
-
-
Method Details
-
factory
Get the corresponding element factory. -
numerator
Numerator. -
denominator
Denominator.- Specified by:
denominatorin interfaceQuotPair<C extends RingElem<C>>- See Also:
-
isConstant
public boolean isConstant()Is Local a constant. Not implemented.- Specified by:
isConstantin interfaceQuotPair<C extends RingElem<C>>
-
copy
Clone this. -
isZERO
public boolean isZERO()Is Local zero.- Specified by:
isZEROin interfaceAbelianGroupElem<C extends RingElem<C>>- Returns:
- If this is 0 then true is returned, else false.
- See Also:
-
isONE
public boolean isONE()Is Local one.- Specified by:
isONEin interfaceMonoidElem<C extends RingElem<C>>- Returns:
- If this is 1 then true is returned, else false.
- See Also:
-
isUnit
public boolean isUnit()Is Local unit.- Specified by:
isUnitin interfaceMonoidElem<C extends RingElem<C>>- Returns:
- If this is a unit then true is returned, else false.
- See Also:
-
toString
Get the String representation as RingElem. -
toScript
Get a scripting compatible string representation. -
toScriptFactory
Get a scripting compatible string representation of the factory.- Specified by:
toScriptFactoryin interfaceElement<C extends RingElem<C>>- Returns:
- script compatible representation for this ElemFactory.
- See Also:
-
compareTo
Local comparison. -
equals
Comparison with any other object. -
hashCode
public int hashCode()Hash code for this local. -
abs
Local absolute value.- Specified by:
absin interfaceAbelianGroupElem<C extends RingElem<C>>- Returns:
- the absolute value of this.
- See Also:
-
sum
Local summation.- Specified by:
sumin interfaceAbelianGroupElem<C extends RingElem<C>>- Parameters:
S- Local.- Returns:
- this+S.
-
negate
Local negate.- Specified by:
negatein interfaceAbelianGroupElem<C extends RingElem<C>>- Returns:
- -this.
- See Also:
-
signum
public int signum()Local signum.- Specified by:
signumin interfaceAbelianGroupElem<C extends RingElem<C>>- Returns:
- signum(this).
- See Also:
-
subtract
Local subtraction.- Specified by:
subtractin interfaceAbelianGroupElem<C extends RingElem<C>>- Parameters:
S- Local.- Returns:
- this-S.
-
divide
Local division.- Specified by:
dividein interfaceMonoidElem<C extends RingElem<C>>- Parameters:
S- Local.- Returns:
- this/S.
-
inverse
Local inverse.- Specified by:
inversein interfaceMonoidElem<C extends RingElem<C>>- Returns:
- S with S = 1/this if defined.
- See Also:
-
remainder
Local remainder.- Specified by:
remainderin interfaceMonoidElem<C extends RingElem<C>>- Parameters:
S- Local.- Returns:
- this - (this/S)*S.
-
quotientRemainder
Quotient and remainder by division of this by S.- Specified by:
quotientRemainderin interfaceMonoidElem<C extends RingElem<C>>- Parameters:
S- a Local- Returns:
- [this/S, this - (this/S)*S].
-
multiply
Local multiplication.- Specified by:
multiplyin interfaceMonoidElem<C extends RingElem<C>>- Parameters:
S- Local.- Returns:
- this*S.
-
gcd
Greatest common divisor. Note: Not implemented, throws UnsupportedOperationException. -
egcd
Extended greatest common divisor. Note: Not implemented, throws UnsupportedOperationException.
-