public final class ExpVectorLong extends ExpVector
ExpVector
,
Serialized FormExpVector.StorUnit
Constructor and Description |
---|
ExpVectorLong(int n)
Constructor for ExpVector.
|
ExpVectorLong(int n,
int i,
long e)
Constructor for ExpVector.
|
ExpVectorLong(long[] v)
Constructor for ExpVector.
|
ExpVectorLong(java.lang.String s)
Constructor for ExpVector.
|
Modifier and Type | Method and Description |
---|---|
ExpVectorLong |
abs()
ExpVector absolute value.
|
ExpVectorLong |
combine(ExpVector V)
Combine with ExpVector.
|
int |
compareTo(ExpVector V)
ExpVector compareTo.
|
ExpVectorLong |
contract(int i,
int len)
Contract variables.
|
ExpVectorLong |
copy()
Clone this.
|
int[] |
dependencyOnVariables()
ExpVector dependency on variables.
|
boolean |
equals(java.lang.Object B)
Comparison with any other object.
|
ExpVectorLong |
extend(int i,
int j,
long e)
Extend variables.
|
ExpVectorLong |
extendLower(int i,
int j,
long e)
Extend lower variables.
|
ExpVectorLong |
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.
|
ExpVectorLong |
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.
|
ExpVectorLong |
negate()
ExpVector negate.
|
ExpVectorLong |
reverse()
Reverse variables.
|
ExpVectorLong |
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 long |
setVal(int i,
long e)
Set the exponent at position i to e.
|
int |
signum()
ExpVector signum.
|
ExpVectorLong |
subst(int i,
long d)
ExpVector substitution.
|
ExpVectorLong |
subtract(ExpVector V)
ExpVector subtract.
|
ExpVectorLong |
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 ExpVectorLong(int n)
n
- length of exponent vector.public ExpVectorLong(int n, int i, long e)
n
- length of exponent vector.i
- index of exponent to be set.e
- exponent to be set.public ExpVectorLong(long[] v)
v
- internal representation array.public ExpVectorLong(java.lang.String s) throws java.lang.NumberFormatException
s
- String representation.java.lang.NumberFormatException
public ExpVectorLong copy()
public long getVal(int i)
protected long setVal(int i, long e)
public int length()
public ExpVectorLong extend(int i, int j, long e)
public ExpVectorLong 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 ExpVectorLong contract(int i, int len)
public ExpVectorLong reverse()
public ExpVectorLong reverse(int j)
public ExpVectorLong combine(ExpVector V)
public java.lang.String toString()
public boolean equals(java.lang.Object B)
public int hashCode()
public ExpVectorLong abs()
abs
in interface AbelianGroupElem<ExpVector>
abs
in class ExpVector
public ExpVectorLong negate()
negate
in interface AbelianGroupElem<ExpVector>
negate
in class ExpVector
public ExpVectorLong sum(ExpVector V)
sum
in interface AbelianGroupElem<ExpVector>
sum
in class ExpVector
V
- public ExpVectorLong subtract(ExpVector V)
subtract
in interface AbelianGroupElem<ExpVector>
subtract
in class ExpVector
V
- public ExpVectorLong subst(int i, long d)
public int signum()
signum
in interface AbelianGroupElem<ExpVector>
signum
in class ExpVector
public long totalDeg()
public long maxDeg()
public long weightDeg(long[][] w)
public ExpVectorLong lcm(ExpVector V)
public ExpVectorLong 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
-