All Packages Class Hierarchy This Package Previous Next Index
Class math.alg.PowerSeries.NCseries
java.lang.Object
|
+----math.alg.PowerSeries.NCseries
- public class NCseries
- extends Object
This class represents infinite power series with integer
coefficients, in an arbitrary number of non-commuting variables,
and provides various methods to implement elmentary algebraic and
other manipulations.
- Version:
- $Id: NCseries.java,v 1.2 1999/02/12 20:40:26 djun Exp djun $
-
DefaultTruncDegree
-
-
numvars
- The number of variables involved in this series.
-
NCseries(Vector)
- Creates a new Non-commutative Power Series in the given
variables.
-
addTerm(Term)
- Adds a term to this NCseries.
-
collect()
- Collects like terms in this NCseries.
-
compare(NCseries, NCseries)
- Compares two NCseries: returns $-1$ if the first is $<$ the
second, 0 if they're equal, and 1 if the first is $>$ the second.
-
compare_to(NCseries)
- Compares this NCseries with the given NCseries: returns $-1$ if this
is < the given NCseries, 0 if they're equal, and 1 if this > the
given NCseries.
-
divided_by(NCseries)
- Returns the result of dividing this NCseries by the given
NCseries.
-
getLength()
- Gets the length (number of terms) of this NCseries.
-
getTruncDeg()
- Gets the truncation degree of this NCseries.
-
getVariableOrder()
- Returns the variable order of this NCseries, as a vector.
-
Identity(Vector)
- Returns an NCseries with the given variable order, representing
the identity series.
-
insertTerm(Term)
- Inserts the given Term into this NCseries in proper order.
-
invert(NCseries)
- Returns the result of inverting the given NCseries.
-
minus(NCseries)
- Returns the result of subtracting a given series from this NCseries.
-
plus(NCseries)
- Returns the result of adding ps to this NCseries.
-
setTruncDeg(int)
- Sets the truncation degree of this NCseries.
-
sort()
- Sorts the terms of this NCseries into ascending order, first by
total degree of the terms, then by lexicographic order, based
on the given order of variables.
-
times(NCseries)
- Returns the product of this NCseries times the given NCseries.
-
toMagnus(Vector, intArray)
- Returns the non-commutative power series (with variable order
given by vars) giving the Magnus representation of word in the
free group.
-
toString()
- Formats this NCseries as a string and returns the result.
-
trunc(int)
- Returns the result of truncating this NCseries after terms of
total degree deg.
DefaultTruncDegree
public static final int DefaultTruncDegree
numvars
public int numvars
- The number of variables involved in this series.
NCseries
public NCseries(Vector variables) throws VariableOrderException
- Creates a new Non-commutative Power Series in the given
variables. The variables should be in the form of a vector of
$N$ contiguous integers between one and $N$. The variables
will be ordered in ascending order according to the order in
which they are given. For example, the input 4/3/1/2 corresponds
to an ordering $X_4 < X_3 < X_1 < X_2$.
- Throws: VariableOrderException
- Thrown whenever the variables
given are not in the form of a vector of $N$ contiguous integers
between one and $N$.
getVariableOrder
public Vector getVariableOrder()
- Returns the variable order of this NCseries, as a vector.
addTerm
public void addTerm(Term term)
- Adds a term to this NCseries.
plus
public NCseries plus(NCseries ps)
- Returns the result of adding ps to this NCseries.
- Parameters:
- $ps$ - must have the same variables and order as this series
minus
public NCseries minus(NCseries ps)
- Returns the result of subtracting a given series from this NCseries.
- Parameters:
- $ps$ - must have the same variables and order as this NCseries.
divided_by
public NCseries divided_by(NCseries ps2)
- Returns the result of dividing this NCseries by the given
NCseries.
- Parameters:
- $ps2$ - must have the same variables and order as this series.
times
public NCseries times(NCseries ps2)
- Returns the product of this NCseries times the given NCseries.
- Parameters:
- $ps2$ - must have the same variables and order as this NCseries
getLength
public int getLength()
- Gets the length (number of terms) of this NCseries.
getTruncDeg
public int getTruncDeg()
- Gets the truncation degree of this NCseries.
setTruncDeg
public void setTruncDeg(int truncDeg)
- Sets the truncation degree of this NCseries.
trunc
public NCseries trunc(int deg)
- Returns the result of truncating this NCseries after terms of
total degree deg. Assumes this NCseries is sorted.
insertTerm
public void insertTerm(Term t)
- Inserts the given Term into this NCseries in proper order.
Assumes that this NCseries is sorted.
compare_to
public int compare_to(NCseries ps)
- Compares this NCseries with the given NCseries: returns $-1$ if this
is < the given NCseries, 0 if they're equal, and 1 if this > the
given NCseries.
sort
public void sort()
- Sorts the terms of this NCseries into ascending order, first by
total degree of the terms, then by lexicographic order, based
on the given order of variables.
collect
public void collect()
- Collects like terms in this NCseries.
toString
public String toString()
- Formats this NCseries as a string and returns the result.
- Overrides:
- toString in class Object
toMagnus
public static NCseries toMagnus(Vector vars,
intArray word)
- Returns the non-commutative power series (with variable order
given by vars) giving the Magnus representation of word in the
free group.
compare
public static int compare(NCseries ps1,
NCseries ps2)
- Compares two NCseries: returns $-1$ if the first is $<$ the
second, 0 if they're equal, and 1 if the first is $>$ the second.
invert
public static NCseries invert(NCseries ps)
- Returns the result of inverting the given NCseries.
Identity
public static NCseries Identity(Vector variables)
- Returns an NCseries with the given variable order, representing
the identity series.
All Packages Class Hierarchy This Package Previous Next Index