Package edu.jas.poly
Class ExpVectorByte
- java.lang.Object
-
- edu.jas.poly.ExpVector
-
- edu.jas.poly.ExpVectorByte
-
- All Implemented Interfaces:
AbelianGroupElem<ExpVector>
,Element<ExpVector>
,java.io.Serializable
,java.lang.Comparable<ExpVector>
public final class ExpVectorByte extends ExpVector
ExpVectorByte implements exponent vectors for polynomials using arrays of byte as storage unit. This class is used by ExpVector internally, there is no need to use this class directly.- Author:
- Heinz Kredel
- See Also:
ExpVector
, Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class edu.jas.poly.ExpVector
ExpVector.StorUnit
-
-
Constructor Summary
Constructors Modifier Constructor 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.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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.int
dependentVariables()
ExpVector dependent 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()
Get the exponent vector.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
invTdegCompareTo(ExpVector V)
ExpVector inverse total degree 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.long
minDeg()
ExpVector minimal degree.boolean
multipleOf(ExpVector V)
ExpVector multiple test.ExpVectorByte
negate()
ExpVector negate.ExpVectorByte
permutation(java.util.List<java.lang.Integer> P)
Permutation of exponent vector.ExpVectorByte
reverse()
Reverse variables.ExpVectorByte
reverse(int j)
Reverse lower 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.int
revLexInvTdegCompareTo(ExpVector V)
ExpVector reverse lexicographical inverse total degree compareTo.ExpVectorByte
scalarMultiply(long s)
ExpVector multiply by scalar.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.static ExpVector
valueOf(ExpVector e)
Value of other.long
weightDeg(long[] w)
ExpVector weighted degree.long
weightDeg(long[][] w)
ExpVector weighted degree.-
Methods inherited from class edu.jas.poly.ExpVector
bitLength, create, create, create, create, create, degree, divides, EVABS, evaluate, EVDIF, EVDOV, EVGCD, EVIGLC, EVIGLC, EVILCP, EVILCP, EVITDEGLC, EVIWLC, EVIWLC, EVLCM, EVMDEG, EVMINDEG, EVMT, EVNEG, EVRAND, EVRAND, EVRIGLC, EVRIGLC, EVRILCP, EVRILCP, EVRLITDEGC, EVSIGN, EVSU, EVSUM, EVTDEG, EVWDEG, factory, indexVar, indexVarName, isFinite, isZERO, random, random, stdVars, stdVars, STDVARS, STDVARS, toScript, toScript, toScriptFactory, toString, varIndex, varsToString
-
-
-
-
Field Detail
-
maxByte
public static final long maxByte
Largest byte.- See Also:
- Constant Field Values
-
minByte
public static final long minByte
Smallest byte.- See Also:
- Constant Field Values
-
-
Constructor Detail
-
ExpVectorByte
public ExpVectorByte(int n)
Constructor for ExpVector.- Parameters:
n
- length of exponent vector.
-
ExpVectorByte
public ExpVectorByte(int n, int i, byte e)
Constructor for ExpVector. Sets exponent i to e.- Parameters:
n
- length of exponent vector.i
- index of exponent to be set.e
- exponent to be set.
-
ExpVectorByte
public ExpVectorByte(int n, int i, long e)
Constructor for ExpVector. Sets exponent i to e.- Parameters:
n
- length of exponent vector.i
- index of exponent to be set.e
- exponent to be set.
-
ExpVectorByte
protected ExpVectorByte(byte[] v)
Internal constructor for ExpVector. Sets val.- Parameters:
v
- internal representation array.
-
ExpVectorByte
public ExpVectorByte(long[] v)
Constructor for ExpVector. Sets val, converts from long array.- Parameters:
v
- long representation array.
-
ExpVectorByte
public ExpVectorByte(java.lang.String s) throws java.lang.NumberFormatException
Constructor for ExpVector. Converts a String representation to an ExpVector. Accepted format = (1,2,3,4,5,6,7).- Parameters:
s
- String representation.- Throws:
java.lang.NumberFormatException
-
-
Method Detail
-
valueOf
public static ExpVector valueOf(ExpVector e)
Value of other.- Parameters:
e
- other ExpVector.- Returns:
- value in sub class of ExpVector.
-
copy
public ExpVectorByte copy()
Clone this.
-
getVal
public long[] getVal()
Get the exponent vector.
-
getVal
public long getVal(int i)
Get the exponent at position i.
-
setVal
protected long setVal(int i, long e)
Set the exponent at position i to e.
-
setVal
protected byte setVal(int i, byte e)
Set the exponent at position i to e.- Parameters:
i
-e
-- Returns:
- old val[i].
-
length
public int length()
Get the length of this exponent vector.
-
extend
public ExpVectorByte extend(int i, int j, long e)
Extend variables. Used e.g. in module embedding. Extend this by i elements and set val[j] to e.
-
extendLower
public ExpVectorByte extendLower(int i, int j, long e)
Extend lower variables. Extend this by i lower elements and set val[j] to e.- Specified by:
extendLower
in classExpVector
- Parameters:
i
- number of elements to extend.j
- index of element to be set.e
- new exponent for val[j].- Returns:
- extended exponent vector.
-
contract
public ExpVectorByte contract(int i, int len)
Contract variables. Used e.g. in module embedding. Contract this to len elements.
-
reverse
public ExpVectorByte reverse()
Reverse variables. Used e.g. in opposite rings.
-
reverse
public ExpVectorByte reverse(int j)
Reverse lower j variables. Used e.g. in opposite rings. Reverses the first j-1 variables, the rest is unchanged.
-
combine
public ExpVectorByte combine(ExpVector V)
Combine with ExpVector. Combine this with the other ExpVector V.
-
permutation
public ExpVectorByte permutation(java.util.List<java.lang.Integer> P)
Permutation of exponent vector.- Specified by:
permutation
in classExpVector
- Parameters:
P
- permutation.- Returns:
- P(e).
-
toString
public java.lang.String toString()
Get the string representation.
-
equals
public boolean equals(java.lang.Object B)
Comparison with any other object.
-
hashCode
public int hashCode()
hashCode for this exponent vector.
-
abs
public ExpVectorByte abs()
ExpVector absolute value.- Specified by:
abs
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
abs
in classExpVector
- Returns:
- abs(this).
-
negate
public ExpVectorByte negate()
ExpVector negate.- Specified by:
negate
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
negate
in classExpVector
- Returns:
- -this.
-
sum
public ExpVectorByte sum(ExpVector V)
ExpVector summation.- Specified by:
sum
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
sum
in classExpVector
- Parameters:
V
-- Returns:
- this+V.
-
subtract
public ExpVectorByte subtract(ExpVector V)
ExpVector subtract. Result may have negative entries.- Specified by:
subtract
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
subtract
in classExpVector
- Parameters:
V
-- Returns:
- this-V.
-
scalarMultiply
public ExpVectorByte scalarMultiply(long s)
ExpVector multiply by scalar.- Specified by:
scalarMultiply
in classExpVector
- Parameters:
s
- scalar- Returns:
- s*this.
-
subst
public ExpVectorByte subst(int i, byte d)
ExpVector substitution. Clone and set exponent to d at position i.- Parameters:
i
- position.d
- new exponent.- Returns:
- substituted ExpVector.
-
subst
public ExpVectorByte subst(int i, long d)
ExpVector substitution. Clone and set exponent to d at position i.
-
signum
public int signum()
ExpVector signum.- Specified by:
signum
in interfaceAbelianGroupElem<ExpVector>
- Specified by:
signum
in classExpVector
- Returns:
- 0 if this is zero, -1 if some entry is negative, 1 if no entry is negative and at least one entry is positive.
-
totalDeg
public long totalDeg()
ExpVector total degree.
-
maxDeg
public long maxDeg()
ExpVector maximal degree.
-
minDeg
public long minDeg()
ExpVector minimal degree.
-
weightDeg
public long weightDeg(long[][] w)
ExpVector weighted degree.
-
weightDeg
public long weightDeg(long[] w)
ExpVector weighted degree.
-
lcm
public ExpVectorByte lcm(ExpVector V)
ExpVector least common multiple.
-
gcd
public ExpVectorByte gcd(ExpVector V)
ExpVector greatest common divisor.
-
dependentVariables
public int dependentVariables()
ExpVector dependent variables.- Specified by:
dependentVariables
in classExpVector
- Returns:
- number of indices where val has positive exponents.
-
dependencyOnVariables
public int[] dependencyOnVariables()
ExpVector dependency on variables.- Specified by:
dependencyOnVariables
in classExpVector
- Returns:
- array of indices where val has positive exponents.
-
multipleOf
public boolean multipleOf(ExpVector V)
ExpVector multiple test. Test if this is component wise greater or equal to V.- Specified by:
multipleOf
in classExpVector
- Parameters:
V
-- Returns:
- true if this is a multiple of V, else false.
-
invLexCompareTo
public int invLexCompareTo(ExpVector V)
ExpVector inverse lexicographical compareTo.- Specified by:
invLexCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invLexCompareTo
public int invLexCompareTo(ExpVector V, int begin, int end)
ExpVector inverse lexicographical compareTo.- Specified by:
invLexCompareTo
in classExpVector
- Parameters:
V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invGradCompareTo
public int invGradCompareTo(ExpVector V)
ExpVector inverse graded lexicographical compareTo.- Specified by:
invGradCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invGradCompareTo
public int invGradCompareTo(ExpVector V, int begin, int end)
ExpVector inverse graded lexicographical compareTo.- Specified by:
invGradCompareTo
in classExpVector
- Parameters:
V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revInvLexCompareTo
public int revInvLexCompareTo(ExpVector V)
ExpVector reverse inverse lexicographical compareTo.- Specified by:
revInvLexCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revInvLexCompareTo
public int revInvLexCompareTo(ExpVector V, int begin, int end)
ExpVector reverse inverse lexicographical compareTo.- Specified by:
revInvLexCompareTo
in classExpVector
- Parameters:
V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revInvGradCompareTo
public int revInvGradCompareTo(ExpVector V)
ExpVector reverse inverse graded compareTo.- Specified by:
revInvGradCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revInvGradCompareTo
public int revInvGradCompareTo(ExpVector V, int begin, int end)
ExpVector reverse inverse graded compareTo.- Specified by:
revInvGradCompareTo
in classExpVector
- Parameters:
V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invTdegCompareTo
public int invTdegCompareTo(ExpVector V)
ExpVector inverse total degree lexicographical compareTo.- Specified by:
invTdegCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
revLexInvTdegCompareTo
public int revLexInvTdegCompareTo(ExpVector V)
ExpVector reverse lexicographical inverse total degree compareTo.- Specified by:
revLexInvTdegCompareTo
in classExpVector
- Parameters:
V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invWeightCompareTo
public int invWeightCompareTo(long[][] w, ExpVector V)
ExpVector inverse weighted lexicographical compareTo.- Specified by:
invWeightCompareTo
in classExpVector
- Parameters:
w
- weight array.V
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
invWeightCompareTo
public int invWeightCompareTo(long[][] w, ExpVector V, int begin, int end)
ExpVector inverse weighted lexicographical compareTo.- Specified by:
invWeightCompareTo
in classExpVector
- Parameters:
w
- weight array.V
-begin
-end
-- Returns:
- 0 if U == V, -1 if U < V, 1 if U > V.
-
-