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