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.NumberFormatExceptionpublic 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.ObjectObject.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.ObjectObject.equals(java.lang.Object)public int hashCode()
hashCode in class java.lang.ObjectObject.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