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