public final class ExpVectorLong
extends java.lang.Object
Constructor and Description |
---|
ExpVectorLong(int n)
Constructor for ExpVectorLong.
|
ExpVectorLong(int n,
int i,
long e)
Constructor for ExpVectorLong.
|
ExpVectorLong(long[] v)
Constructor for ExpVectorLong.
|
ExpVectorLong(java.lang.String s)
Constructor for ExpVectorLong.
|
Modifier and Type | Method and Description |
---|---|
ExpVectorLong |
abs()
ExpVectorLong absolute value.
|
ExpVectorLong |
combine(ExpVectorLong V)
Combine with ExpVectorLong.
|
int |
compareTo(ExpVectorLong V)
ExpVectorLong compareTo.
|
ExpVectorLong |
contract(int i,
int len)
Contract variables.
|
ExpVectorLong |
copy()
Clone this.
|
static ExpVectorLong |
create(java.util.Collection<java.lang.Long> v)
Factory constructor for ExpVector.
|
int[] |
dependencyOnVariables()
ExpVectorLong dependency on variables.
|
boolean |
equals(java.lang.Object B)
Comparison with any other object.
|
static int |
EVIGLC(ExpVectorLong U,
ExpVectorLong V)
Inverse graded lexicographical compare.
|
static int |
EVIGLC(ExpVectorLong U,
ExpVectorLong V,
int begin,
int end)
Inverse graded lexicographical compare part.
|
static int |
EVILCP(ExpVectorLong U,
ExpVectorLong V)
Inverse lexicographical compare.
|
static int |
EVILCP(ExpVectorLong U,
ExpVectorLong V,
int begin,
int end)
Inverse lexicographical compare part.
|
static int |
EVITDEGLC(ExpVectorLong U,
ExpVectorLong V)
Inverse total degree lexicographical compare.
|
static int |
EVIWLC(long[][] w,
ExpVectorLong U,
ExpVectorLong V)
Inverse weighted lexicographical compare.
|
static int |
EVIWLC(long[][] w,
ExpVectorLong U,
ExpVectorLong V,
int begin,
int end)
Inverse weighted lexicographical compare part.
|
static int |
EVRIGLC(ExpVectorLong U,
ExpVectorLong V)
Reverse inverse graded lexicographical compare.
|
static int |
EVRIGLC(ExpVectorLong U,
ExpVectorLong V,
int begin,
int end)
Reverse inverse graded lexicographical compare part.
|
static int |
EVRILCP(ExpVectorLong U,
ExpVectorLong V)
Reverse inverse lexicographical compare.
|
static int |
EVRILCP(ExpVectorLong U,
ExpVectorLong V,
int begin,
int end)
Reverse inverse lexicographical compare part.
|
static int |
EVRLITDEGC(ExpVectorLong U,
ExpVectorLong V)
Reverse lexicographical inverse total degree compare.
|
ExpVectorLong |
extend(int i,
int j,
long e)
Extend variables.
|
ExpVectorLong |
extendLower(int i,
int j,
long e)
Extend lower variables.
|
ExpVectorLong |
gcd(ExpVectorLong V)
ExpVectorLong greatest common divisor.
|
long[] |
getVal()
Get the exponent vector.
|
long |
getVal(int i)
Get the exponent at position i.
|
int |
hashCode()
hashCode.
|
static int |
indexVar(IExpr x,
IAST vars)
Get the index of a variable.
|
int |
invGradCompareTo(ExpVectorLong V)
ExpVectorLong inverse graded lexicographical compareTo.
|
int |
invGradCompareTo(ExpVectorLong V,
int begin,
int end)
ExpVectorLong inverse graded lexicographical compareTo.
|
int |
invLexCompareTo(ExpVectorLong V)
ExpVectorLong inverse lexicographical compareTo.
|
int |
invLexCompareTo(ExpVectorLong V,
int begin,
int end)
ExpVectorLong inverse lexicographical compareTo.
|
int |
invTdegCompareTo(ExpVectorLong V)
ExpVector inverse total degree lexicographical compareTo.
|
int |
invWeightCompareTo(long[][] w,
ExpVectorLong V)
ExpVectorLong inverse weighted lexicographical compareTo.
|
int |
invWeightCompareTo(long[][] w,
ExpVectorLong V,
int begin,
int end)
ExpVectorLong inverse weighted lexicographical compareTo.
|
boolean |
isFinite()
Is this structure finite or infinite.
|
boolean |
isZero()
Is ExpVector zero.
|
ExpVectorLong |
lcm(ExpVectorLong V)
ExpVectorLong least common multiple.
|
int |
length()
Get the length of this exponent vector.
|
long |
maxDeg()
ExpVectorLong maximal degree.
|
boolean |
multipleOf(ExpVectorLong V)
ExpVectorLong multiple test.
|
ExpVectorLong |
negate()
ExpVectorLong negate.
|
ExpVectorLong |
permutation(java.util.List<java.lang.Integer> P)
Permutation of exponent vector.
|
ExpVectorLong |
reverse()
Reverse variables.
|
ExpVectorLong |
reverse(int j)
Reverse lower j variables.
|
ExpVectorLong |
reverseUpper(int j)
Reverse upper j variables.
|
int |
revInvGradCompareTo(ExpVectorLong V)
ExpVectorLong reverse inverse graded compareTo.
|
int |
revInvGradCompareTo(ExpVectorLong V,
int begin,
int end)
ExpVectorLong reverse inverse graded compareTo.
|
int |
revInvLexCompareTo(ExpVectorLong V)
ExpVectorLong reverse inverse lexicographical compareTo.
|
int |
revInvLexCompareTo(ExpVectorLong V,
int begin,
int end)
ExpVectorLong reverse inverse lexicographical compareTo.
|
int |
revLexInvTdegCompareTo(ExpVectorLong V)
ExpVector reverse lexicographical inverse total degree compareTo.
|
protected long |
setVal(int i,
long e)
Set the exponent at position i to e.
|
int |
signum()
ExpVectorLong signum.
|
IAST |
stdVars()
Standard variable names.
|
static IAST |
STDVARS(int n)
Standard variable names.
|
IAST |
stdVars(java.lang.String prefix)
Generate variable names.
|
static IAST |
STDVARS(java.lang.String prefix,
int n)
Generate variable names.
|
ExpVectorLong |
subst(int i,
long d)
ExpVectorLong substitution.
|
ExpVectorLong |
subtract(ExpVectorLong V)
ExpVectorLong subtract.
|
ExpVectorLong |
sum(ExpVectorLong V)
ExpVectorLong summation.
|
java.lang.String |
toScript()
Get a scripting compatible string representation.
|
java.lang.String |
toScript(IAST vars)
Get a scripting compatible string representation.
|
java.lang.String |
toString()
Get the string representation.
|
java.lang.String |
toString(IAST vars)
Get the string representation with variable names.
|
long |
totalDeg()
ExpVectorLong total degree.
|
static ExpVectorLong |
valueOf(int n)
Creates an empty ExpVectorLong.
|
int |
varIndex(int idx)
Get the array index of a variable at index.
|
static java.lang.String |
varsToString(IAST vars)
Get the string representation of the variables.
|
long |
weightDeg(long[][] w)
ExpVectorLong weighted degree.
|
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()
Object.clone()
public static ExpVectorLong create(java.util.Collection<java.lang.Long> v)
v
- collection of exponents.public long[] getVal()
public long getVal(int i)
i
- position.protected long setVal(int i, long e)
i
- e
- public boolean isZero()
public boolean isFinite()
Note: returns true
because of finite set of values in each index.
public IAST stdVars()
public IAST stdVars(java.lang.String prefix)
prefix
- name prefix.public static IAST STDVARS(int n)
n
- size of names arraypublic static IAST STDVARS(java.lang.String prefix, int n)
n
- size of names array.prefix
- name prefix.public int length()
public ExpVectorLong extend(int i, int j, long e)
i
- number of elements to extend.j
- index of element to be set.e
- new exponent for val[j].public ExpVectorLong extendLower(int i, int j, long e)
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)
i
- position of first element to be copied.len
- new length.public ExpVectorLong reverse()
public ExpVectorLong reverse(int j)
j
- index of first variable reversed.public ExpVectorLong reverseUpper(int j)
j
- index of first variable not reversed.public ExpVectorLong combine(ExpVectorLong V)
V
- the other exponent vector.public ExpVectorLong permutation(java.util.List<java.lang.Integer> P)
P
- permutation.public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public java.lang.String toString(IAST vars)
vars
- names of variables.Object.toString()
public static java.lang.String varsToString(IAST vars)
vars
- names of variables.Object.toString()
public java.lang.String toScript()
Element.toScript()
public java.lang.String toScript(IAST vars)
Element.toScript()
public boolean equals(java.lang.Object B)
equals
in class java.lang.Object
Object.equals(java.lang.Object)
public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public ExpVectorLong abs()
public ExpVectorLong negate()
public ExpVectorLong sum(ExpVectorLong V)
V
- public ExpVectorLong subtract(ExpVectorLong V)
V
- public ExpVectorLong subst(int i, long d)
i
- position.d
- new exponent.public int signum()
public long totalDeg()
public long maxDeg()
public long weightDeg(long[][] w)
w
- weights.public ExpVectorLong lcm(ExpVectorLong V)
V
- public ExpVectorLong gcd(ExpVectorLong V)
V
- public int[] dependencyOnVariables()
public boolean multipleOf(ExpVectorLong V)
V
- public int compareTo(ExpVectorLong V)
V
- public static int EVILCP(ExpVectorLong U, ExpVectorLong V)
U
- V
- public static int EVILCP(ExpVectorLong U, ExpVectorLong V, int begin, int end)
U
- V
- begin
- end
- public static int EVIGLC(ExpVectorLong U, ExpVectorLong V)
U
- V
- public static int EVIGLC(ExpVectorLong U, ExpVectorLong V, int begin, int end)
U
- V
- begin
- end
- public static int EVRILCP(ExpVectorLong U, ExpVectorLong V)
U
- V
- public static int EVRILCP(ExpVectorLong U, ExpVectorLong V, int begin, int end)
U
- V
- begin
- end
- public static int EVRIGLC(ExpVectorLong U, ExpVectorLong V)
U
- V
- public static int EVRIGLC(ExpVectorLong U, ExpVectorLong V, int begin, int end)
U
- V
- begin
- end
- public static int EVITDEGLC(ExpVectorLong U, ExpVectorLong V)
U
- V
- public static int EVRLITDEGC(ExpVectorLong U, ExpVectorLong V)
U
- V
- public static int EVIWLC(long[][] w, ExpVectorLong U, ExpVectorLong V)
w
- weight array.U
- V
- public static int EVIWLC(long[][] w, ExpVectorLong U, ExpVectorLong V, int begin, int end)
w
- weight array.U
- V
- begin
- end
- public int invLexCompareTo(ExpVectorLong V)
V
- public int invLexCompareTo(ExpVectorLong V, int begin, int end)
V
- begin
- end
- public int invGradCompareTo(ExpVectorLong V)
V
- public int invGradCompareTo(ExpVectorLong V, int begin, int end)
V
- begin
- end
- public int revInvLexCompareTo(ExpVectorLong V)
V
- public int revInvLexCompareTo(ExpVectorLong V, int begin, int end)
V
- begin
- end
- public int revInvGradCompareTo(ExpVectorLong V)
V
- public int revInvGradCompareTo(ExpVectorLong V, int begin, int end)
V
- begin
- end
- public int invTdegCompareTo(ExpVectorLong V)
V
- public int revLexInvTdegCompareTo(ExpVectorLong V)
V
- public int invWeightCompareTo(long[][] w, ExpVectorLong V)
w
- weight array.V
- public int invWeightCompareTo(long[][] w, ExpVectorLong V, int begin, int end)
w
- weight array.V
- begin
- end
- public static ExpVectorLong valueOf(int n)
n
- length of exponent vector.public int varIndex(int idx)
idx
- index of the variable