Package edu.jas.poly
Class ExpVectorInteger
- java.lang.Object
-
- edu.jas.poly.ExpVector
-
- edu.jas.poly.ExpVectorInteger
-
- All Implemented Interfaces:
AbelianGroupElem<ExpVector>
,Element<ExpVector>
,java.io.Serializable
,java.lang.Comparable<ExpVector>
public final class ExpVectorInteger extends ExpVector
ExpVectorInteger implements exponent vectors for polynomials using arrays of int as storage unit. This class is used by ExpVector internally, there is no need to use this class directly.- Author:
- Heinz Kredel
- See Also:
ExpVector
, Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class edu.jas.poly.ExpVector
ExpVector.StorUnit
-
-
Constructor Summary
Constructors Modifier Constructor Description ExpVectorInteger(int n)
Constructor for ExpVector.protected
ExpVectorInteger(int[] v)
Internal constructor for ExpVector.ExpVectorInteger(int n, int i, int e)
Constructor for ExpVector.ExpVectorInteger(int n, int i, long e)
Constructor for ExpVector.ExpVectorInteger(long[] v)
Constructor for ExpVector.ExpVectorInteger(java.lang.String s)
Constructor for ExpVector.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description ExpVectorInteger
abs()
ExpVector absolute value.ExpVectorInteger
combine(ExpVector V)
Combine with ExpVector.int
compareTo(ExpVector V)
ExpVector compareTo.ExpVectorInteger
contract(int i, int len)
Contract variables.ExpVectorInteger
copy()
Clone this.int[]
dependencyOnVariables()
ExpVector dependency on variables.int
dependentVariables()
ExpVector dependent variables.boolean
equals(java.lang.Object B)
Comparison with any other object.ExpVectorInteger
extend(int i, int j, long e)
Extend variables.ExpVectorInteger
extendLower(int i, int j, long e)
Extend lower variables.ExpVectorInteger
gcd(ExpVector V)
ExpVector greatest common divisor.long[]
getVal()
Get the exponent vector.long
getVal(int i)
Get the exponent at position i.int
hashCode()
hashCode for this exponent vector.int
invGradCompareTo(ExpVector V)
ExpVector inverse graded lexicographical compareTo.int
invGradCompareTo(ExpVector V, int begin, int end)
ExpVector inverse graded lexicographical compareTo.int
invLexCompareTo(ExpVector V)
ExpVector inverse lexicographical compareTo.int
invLexCompareTo(ExpVector V, int begin, int end)
ExpVector inverse lexicographical compareTo.int
invTdegCompareTo(ExpVector V)
ExpVector inverse total degree lexicographical compareTo.int
invWeightCompareTo(long[][] w, ExpVector V)
ExpVector inverse weighted lexicographical compareTo.int
invWeightCompareTo(long[][] w, ExpVector V, int begin, int end)
ExpVector inverse weighted lexicographical compareTo.ExpVectorInteger
lcm(ExpVector V)
ExpVector least common multiple.int
length()
Get the length of this exponent vector.long
maxDeg()
ExpVector maximal degree.long
minDeg()
ExpVector minimal degree.boolean
multipleOf(ExpVector V)
ExpVector multiple test.ExpVectorInteger
negate()
ExpVector negate.ExpVectorInteger
permutation(java.util.List<java.lang.Integer> P)
Permutation of exponent vector.ExpVectorInteger
reverse()
Reverse variables.ExpVectorInteger
reverse(int j)
Reverse lower j variables.int
revInvGradCompareTo(ExpVector V)
ExpVector reverse inverse graded compareTo.int
revInvGradCompareTo(ExpVector V, int begin, int end)
ExpVector reverse inverse graded compareTo.int
revInvLexCompareTo(ExpVector V)
ExpVector reverse inverse lexicographical compareTo.int
revInvLexCompareTo(ExpVector V, int begin, int end)
ExpVector reverse inverse lexicographical compareTo.int
revLexInvTdegCompareTo(ExpVector V)
ExpVector reverse lexicographical inverse total degree compareTo.ExpVectorInteger
scalarMultiply(long s)
ExpVector multiply by scalar.protected int
setVal(int i, int e)
Set the exponent at position i to e.protected long
setVal(int i, long e)
Set the exponent at position i to e.int
signum()
ExpVector signum.ExpVectorInteger
subst(int i, int d)
ExpVector substitution.ExpVectorInteger
subst(int i, long d)
ExpVector substitution.ExpVectorInteger
subtract(ExpVector V)
ExpVector subtract.ExpVectorInteger
sum(ExpVector V)
ExpVector summation.java.lang.String
toString()
Get the string representation.long
totalDeg()
ExpVector total degree.static ExpVector
valueOf(ExpVector e)
Value of other.long
weightDeg(long[] w)
ExpVector weighted degree.long
weightDeg(long[][] w)
ExpVector weighted degree.-
Methods inherited from class edu.jas.poly.ExpVector
bitLength, create, create, create, create, create, degree, divides, EVABS, evaluate, EVDIF, EVDOV, EVGCD, EVIGLC, EVIGLC, EVILCP, EVILCP, EVITDEGLC, EVIWLC, EVIWLC, EVLCM, EVMDEG, EVMINDEG, EVMT, EVNEG, EVRAND, EVRAND, EVRIGLC, EVRIGLC, EVRILCP, EVRILCP, EVRLITDEGC, EVSIGN, EVSU, EVSUM, EVTDEG, EVWDEG, factory, indexVar, indexVarName, isFinite, isZERO, random, random, stdVars, stdVars, STDVARS, STDVARS, toScript, toScript, toScriptFactory, toString, varIndex, varsToString
-
-
-
-
Field Detail
-
maxInt
public static final long maxInt
Largest integer.- See Also:
- Constant Field Values
-
minInt
public static final long minInt
Smallest integer.- See Also:
- Constant Field Values
-
-
Constructor Detail
-
ExpVectorInteger
public ExpVectorInteger(int n)
Constructor for ExpVector.- Parameters:
n
- length of exponent vector.
-
ExpVectorInteger
public ExpVectorInteger(int n, int i, int e)
Constructor for ExpVector. Sets exponent i to e.- Parameters:
n
- length of exponent vector.i
- index of exponent to be set.e
- exponent to be set.
-
ExpVectorInteger
public ExpVectorInteger(int n, int i, long e)
Constructor for ExpVector. Sets exponent i to e.- Parameters:
n
- length of exponent vector.i
- index of exponent to be set.e
- exponent to be set.
-
ExpVectorInteger
protected ExpVectorInteger(int[] v)
Internal constructor for ExpVector. Sets val.- Parameters:
v
- internal representation array.
-
ExpVectorInteger
public ExpVectorInteger(long[] v)
Constructor for ExpVector. Sets val, converts from long array.- Parameters:
v
- long representation array.
-
ExpVectorInteger
public ExpVectorInteger(java.lang.String s) throws java.lang.NumberFormatException
Constructor for ExpVector. Converts a String representation to an ExpVector. Accepted format = (1,2,3,4,5,6,7).- Parameters:
s
- String representation.- Throws:
java.lang.NumberFormatException
-
-
Method Detail
-
valueOf
public static ExpVector valueOf(ExpVector e)
Value of other.- Parameters:
e
- other ExpVector.- Returns:
- value in sub class of ExpVector.
-
copy
public ExpVectorInteger copy()
Clone this.
-
getVal
public long[] getVal()
Get the exponent vector.
-
getVal
public long getVal(int i)
Get the exponent at position i.
-
setVal
protected long setVal(int i, long e)
Set the exponent at position i to e.
-
setVal
protected int setVal(int i, int e)
Set the exponent at position i to e.- Parameters:
i
-e
-- Returns:
- old val[i].
-
length
public int length()
Get the length of this exponent vector.
-
extend
public ExpVectorInteger extend(int i, int j, long e)
Extend variables. Used e.g. in module embedding. Extend this by i elements and set val[j] to e.
-
extendLower
public ExpVectorInteger extendLower(int i, int j, long e)
Extend lower variables. Extend this by i lower elements and set val[j] to e.- Specified by:
extendLower
in classExpVector
- Parameters:
i
- number of elements to extend.j
- index of element to be set.e
- new exponent for val[j].- Returns:
- extended exponent vector.
-
contract
public ExpVectorInteger contract(int i, int len)
Contract variables. Used e.g. in module embedding. Contract this to len elements.
-
reverse
public ExpVectorInteger reverse()
Reverse variables. Used e.g. in opposite rings.
-
reverse
public ExpVectorInteger reverse(int j)
Reverse lower j variables. Used e.g. in opposite rings. Reverses the first j-1 variables, the rest is unchanged.
-
combine
public ExpVectorInteger combine(ExpVector V)
Combine with ExpVector. Combine this with the other ExpVector V.
-
permutation
public ExpVectorInteger permutation(java.util.List<java.lang.Integer> P)
Permutation of exponent vector.- Specified by:
permutation
in classExpVector
- Parameters:
P
- permutation.- Returns:
- P(e).
-
toString
public java.lang.String toString()
Get the string representation.
-
equals
public boolean equals(java.lang.Object B)
Comparison with any other object.
-
hashCode
public int hashCode()
hashCode for this exponent vector.
-
abs
public ExpVectorInteger abs()
ExpVector absolute value.- Specified by:
abs
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
abs
in classExpVector
- Returns:
- abs(this).
-
negate
public ExpVectorInteger negate()
ExpVector negate.- Specified by:
negate
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
negate
in classExpVector
- Returns:
- -this.
-
sum
public ExpVectorInteger sum(ExpVector V)
ExpVector summation.- Specified by:
sum
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
sum
in classExpVector
- Parameters:
V
-- Returns:
- this+V.
-
subtract
public ExpVectorInteger subtract(ExpVector V)
ExpVector subtract. Result may have negative entries.- Specified by:
subtract
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
subtract
in classExpVector
- Parameters:
V
-- Returns:
- this-V.
-
scalarMultiply
public ExpVectorInteger scalarMultiply(long s)
ExpVector multiply by scalar.- Specified by:
scalarMultiply
in classExpVector
- Parameters:
s
- scalar- Returns:
- s*this.
-
subst
public ExpVectorInteger subst(int i, long d)
ExpVector substitution. Clone and set exponent to d at position i.
-
subst
public ExpVectorInteger subst(int i, int d)
ExpVector substitution. Clone and set exponent to d at position i.- Parameters:
i
- position.d
- new exponent.- Returns:
- substituted ExpVector.
-
signum
public int signum()
ExpVector signum.- Specified by:
signum
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
signum
in classExpVector
- Returns:
- 0 if this is zero, -1 if some entry is negative, 1 if no entry is negative and at least one entry is positive.
-
totalDeg
public long totalDeg()
ExpVector total degree.
-
maxDeg
public long maxDeg()
ExpVector maximal degree.
-
minDeg
public long minDeg()
ExpVector minimal degree.
-
weightDeg
public long weightDeg(long[][] w)
ExpVector weighted degree.
-
weightDeg
public long weightDeg(long[] w)
ExpVector weighted degree.
-
lcm
public ExpVectorInteger lcm(ExpVector V)
ExpVector least common multiple.
-
gcd
public ExpVectorInteger gcd(ExpVector V)
ExpVector greatest common divisor.
-
dependentVariables
public int dependentVariables()
ExpVector dependent variables.- Specified by:
dependentVariables
in classExpVector
- Returns:
- number of indices where val has positive exponents.
-
dependencyOnVariables
public int[] dependencyOnVariables()
ExpVector dependency on variables.- Specified by:
dependencyOnVariables
in classExpVector
- Returns:
- array of indices where val has positive exponents.
-
multipleOf
public boolean multipleOf(ExpVector V)
ExpVector multiple test. Test if this is component wise greater or equal to V.- Specified by:
multipleOf
in classExpVector
- Parameters:
V
-- Returns:
- true if this is a multiple of V, else false.
-
invLexCompareTo
public int invLexCompareTo(ExpVector V)
ExpVector inverse lexicographical compareTo.- Specified by:
invLexCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invLexCompareTo
public int invLexCompareTo(ExpVector V, int begin, int end)
ExpVector inverse lexicographical compareTo.- Specified by:
invLexCompareTo
in classExpVector
- Parameters:
V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invGradCompareTo
public int invGradCompareTo(ExpVector V)
ExpVector inverse graded lexicographical compareTo.- Specified by:
invGradCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invGradCompareTo
public int invGradCompareTo(ExpVector V, int begin, int end)
ExpVector inverse graded lexicographical compareTo.- Specified by:
invGradCompareTo
in classExpVector
- Parameters:
V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revInvLexCompareTo
public int revInvLexCompareTo(ExpVector V)
ExpVector reverse inverse lexicographical compareTo.- Specified by:
revInvLexCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revInvLexCompareTo
public int revInvLexCompareTo(ExpVector V, int begin, int end)
ExpVector reverse inverse lexicographical compareTo.- Specified by:
revInvLexCompareTo
in classExpVector
- Parameters:
V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revInvGradCompareTo
public int revInvGradCompareTo(ExpVector V)
ExpVector reverse inverse graded compareTo.- Specified by:
revInvGradCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revInvGradCompareTo
public int revInvGradCompareTo(ExpVector V, int begin, int end)
ExpVector reverse inverse graded compareTo.- Specified by:
revInvGradCompareTo
in classExpVector
- Parameters:
V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invTdegCompareTo
public int invTdegCompareTo(ExpVector V)
ExpVector inverse total degree lexicographical compareTo.- Specified by:
invTdegCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revLexInvTdegCompareTo
public int revLexInvTdegCompareTo(ExpVector V)
ExpVector reverse lexicographical inverse total degree compareTo.- Specified by:
revLexInvTdegCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invWeightCompareTo
public int invWeightCompareTo(long[][] w, ExpVector V)
ExpVector inverse weighted lexicographical compareTo.- Specified by:
invWeightCompareTo
in classExpVector
- Parameters:
w
- weight array.V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invWeightCompareTo
public int invWeightCompareTo(long[][] w, ExpVector V, int begin, int end)
ExpVector inverse weighted lexicographical compareTo.- Specified by:
invWeightCompareTo
in classExpVector
- Parameters:
w
- weight array.V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
-