public final class ExpVectorInteger extends ExpVector
ExpVector
,
Serialized FormExpVector.StorUnit
Modifier and Type | Field and Description |
---|---|
static long |
maxInt
Largest integer.
|
static long |
minInt
Smallest integer.
|
Modifier | Constructor and 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.
|
Modifier and Type | Method and 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.
|
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(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 |
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.
|
boolean |
multipleOf(ExpVector V)
ExpVector multiple test.
|
ExpVectorInteger |
negate()
ExpVector negate.
|
ExpVectorInteger |
reverse()
Reverse variables.
|
ExpVectorInteger |
reverse(int j)
Reverse 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.
|
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.
|
long |
weightDeg(long[][] w)
ExpVector weighted degree.
|
create, create, create, create, create, degree, divides, EVABS, evaluate, EVDIF, EVDOV, EVGCD, EVIGLC, EVIGLC, EVILCP, EVILCP, EVIWLC, EVIWLC, EVLCM, EVMDEG, EVMT, EVNEG, EVRAND, EVRAND, EVRIGLC, EVRIGLC, EVRILCP, EVRILCP, EVSIGN, EVSU, EVSUM, EVTDEG, EVWDEG, factory, indexVar, indexVarName, isFinite, isZERO, random, random, stdVars, STDVARS, stdVars, STDVARS, toScript, toScript, toScriptFactory, toString, varIndex, varsToString
public static final long maxInt
public static final long minInt
public ExpVectorInteger(int n)
n
- length of exponent vector.public ExpVectorInteger(int n, int i, int e)
n
- length of exponent vector.i
- index of exponent to be set.e
- exponent to be set.public ExpVectorInteger(int n, int i, long e)
n
- length of exponent vector.i
- index of exponent to be set.e
- exponent to be set.protected ExpVectorInteger(int[] v)
v
- internal representation array.public ExpVectorInteger(long[] v)
v
- long representation array.public ExpVectorInteger(java.lang.String s) throws java.lang.NumberFormatException
s
- String representation.java.lang.NumberFormatException
public ExpVectorInteger copy()
public long getVal(int i)
protected long setVal(int i, long e)
protected int setVal(int i, int e)
i
- e
- public int length()
public ExpVectorInteger extend(int i, int j, long e)
public ExpVectorInteger extendLower(int i, int j, long e)
extendLower
in class ExpVector
i
- number of elements to extend.j
- index of element to be set.e
- new exponent for val[j].public ExpVectorInteger contract(int i, int len)
public ExpVectorInteger reverse()
public ExpVectorInteger reverse(int j)
public ExpVectorInteger combine(ExpVector V)
public java.lang.String toString()
public boolean equals(java.lang.Object B)
public int hashCode()
public ExpVectorInteger abs()
abs
in interface AbelianGroupElem<ExpVector>
abs
in class ExpVector
public ExpVectorInteger negate()
negate
in interface AbelianGroupElem<ExpVector>
negate
in class ExpVector
public ExpVectorInteger sum(ExpVector V)
sum
in interface AbelianGroupElem<ExpVector>
sum
in class ExpVector
V
- public ExpVectorInteger subtract(ExpVector V)
subtract
in interface AbelianGroupElem<ExpVector>
subtract
in class ExpVector
V
- public ExpVectorInteger subst(int i, long d)
public ExpVectorInteger subst(int i, int d)
i
- position.d
- new exponent.public int signum()
signum
in interface AbelianGroupElem<ExpVector>
signum
in class ExpVector
public long totalDeg()
public long maxDeg()
public long weightDeg(long[][] w)
public ExpVectorInteger lcm(ExpVector V)
public ExpVectorInteger gcd(ExpVector V)
public int[] dependencyOnVariables()
dependencyOnVariables
in class ExpVector
public boolean multipleOf(ExpVector V)
multipleOf
in class ExpVector
V
- public int invLexCompareTo(ExpVector V)
invLexCompareTo
in class ExpVector
V
- public int invLexCompareTo(ExpVector V, int begin, int end)
invLexCompareTo
in class ExpVector
V
- begin
- end
- public int invGradCompareTo(ExpVector V)
invGradCompareTo
in class ExpVector
V
- public int invGradCompareTo(ExpVector V, int begin, int end)
invGradCompareTo
in class ExpVector
V
- begin
- end
- public int revInvLexCompareTo(ExpVector V)
revInvLexCompareTo
in class ExpVector
V
- public int revInvLexCompareTo(ExpVector V, int begin, int end)
revInvLexCompareTo
in class ExpVector
V
- begin
- end
- public int revInvGradCompareTo(ExpVector V)
revInvGradCompareTo
in class ExpVector
V
- public int revInvGradCompareTo(ExpVector V, int begin, int end)
revInvGradCompareTo
in class ExpVector
V
- begin
- end
- public int invWeightCompareTo(long[][] w, ExpVector V)
invWeightCompareTo
in class ExpVector
w
- weight array.V
- public int invWeightCompareTo(long[][] w, ExpVector V, int begin, int end)
invWeightCompareTo
in class ExpVector
w
- weight array.V
- begin
- end
-