previous
next
|
Commands by Type
|
boolean
branching
cast
error
function
groebner
groebner-basic
groebner-interactive
groebner-start
help
hilbert
ideal
integer
io
list
loops
matrix
memory
misc
miscellaneous
module
online-help
packages
panels
points
polynomial
printing
programming
quotient
rat
ratfun
rational
record
ring
string
system
tags
toric
type
vector
zmod
|
boolean |
Top |
EqSet -- checks if the set of elements in two lists are equal
IsEven, IsOdd -- test whether an integer is even or odd
IsHomog -- test whether given polynomials are homogeneous
IsIn -- check if one object is contained in another
IsNumber -- checks if the argument is a number
IsPosTo, IsToPos -- checks the module term-ordering of a ring
IsZero -- test whether an object is zero
Not, And, Or -- boolean operators
SubSet, IsSubset -- checks if the elements of one list are a subset of another
|
branching |
Top |
Cond -- conditional expression
If -- conditional statement
|
cast |
Top |
Ideal -- convert an expression into an ideal
|
error |
Top |
Catch -- catch an error
Error -- return an error message
GetErrMesg -- returns the message associated with an error
|
function |
Top |
Call -- apply a function to given arguments
Define -- define a function
Function -- return a function
Functions -- list the functions of a package
NewId -- create a new identifier
Return -- exit from a structured command
Var -- function calls by reference, other complex referencing
|
groebner |
Top |
Colon, :, HColon -- ideal or module quotient
Dim -- the dimension of a ring or quotient object
Elim -- eliminate variables
EquiIsoDec -- equidimensional isoradical decomposition
GB.Complete -- Complete an interactive Groebner-type calculation
GB.GetBettiMatrix -- returns the Betti matrix computed so far
GB.GetNthSyz -- returns the part of the Nth syzygy module computed so far
GB.GetNthSyzShifts -- shifts of the Nth syzygy module computed so far
GB.GetRes -- returns the resolution computed so far
GB.GetResLen -- returns the length of the resolution computed so far
GB.ResReport -- status of an interactive resolution calculation
GB.Start_GBasis -- start interactive Groebner basis computation
GB.Start_MinGens -- start interactive minimal generator calculation
GB.Start_MinSyzMinGens -- start interactive calc., min. syzs. of min. gens.
GB.Start_Res -- start interactive resolution computation
GB.Start_Syz -- start interactive syzygy computation
GB.Start_SyzMinGens -- start interactive calc. of syzygies of min. gens.
GB.Stats -- status of an interactive Groebner-type calculation
GB.Step, GB.Steps -- take steps in an interactive Groebner-type calculation
GBasis -- calculate a Groebner basis
GBM, HGBM -- intersection of ideals for zero-dimensional schemes
GCD, LCM -- greatest common divisor, least common multiple
Hilbert -- the Hilbert function
HilbertPoly -- the Hilbert polynomial
HIntersection, HIntersectionList -- intersection of ideals
Homogenized -- homogenize with respect to an indeterminate
HVector -- the h-vector of a ring or quotient object
IdealAndSeparatorsOfPoints -- ideal & separators for affine points
IdealAndSeparatorsOfProjectivePoints -- ideal & separators for points
IdealOfPoints -- ideal of a set of affine points
IdealOfProjectivePoints -- ideal of a set of projective points
Intersection, IntersectionList -- intersect lists, ideals, or modules
MinGens -- list minimal generators
MinSyzMinGens -- minimal generators of syzygies of minimal generators
Multiplicity -- the multiplicity (degree) of a ring or quotient object
NF -- normal form
NFsAreZero -- test if normal forms are zero
Poincare, HilbertSeries -- the Poincare series
Radical -- radical of an ideal
RadicalOfUnmixed -- radical of an unmixed ideal
ReducedGBasis -- compute a reduced Groebner basis
Res -- free resolution
Saturation, HSaturation -- saturation of ideals
Syz -- syzygy modules
SyzMinGens -- syzygy module for a set of minimal generators
SyzOfGens -- syzygy module for a given set of generators
|
groebner-basic |
Top |
Colon, :, HColon -- ideal or module quotient
Dim -- the dimension of a ring or quotient object
Elim -- eliminate variables
GBasis -- calculate a Groebner basis
GCD, LCM -- greatest common divisor, least common multiple
Hilbert -- the Hilbert function
HilbertPoly -- the Hilbert polynomial
HIntersection, HIntersectionList -- intersection of ideals
Homogenized -- homogenize with respect to an indeterminate
HVector -- the h-vector of a ring or quotient object
Intersection, IntersectionList -- intersect lists, ideals, or modules
MinGens -- list minimal generators
MinSyzMinGens -- minimal generators of syzygies of minimal generators
Multiplicity -- the multiplicity (degree) of a ring or quotient object
NF -- normal form
NFsAreZero -- test if normal forms are zero
Poincare, HilbertSeries -- the Poincare series
Res -- free resolution
Saturation, HSaturation -- saturation of ideals
Syz -- syzygy modules
SyzMinGens -- syzygy module for a set of minimal generators
SyzOfGens -- syzygy module for a given set of generators
|
groebner-interactive |
Top |
GB.Complete -- Complete an interactive Groebner-type calculation
GB.GetBettiMatrix -- returns the Betti matrix computed so far
GB.GetNthSyz -- returns the part of the Nth syzygy module computed so far
GB.GetNthSyzShifts -- shifts of the Nth syzygy module computed so far
GB.GetRes -- returns the resolution computed so far
GB.GetResLen -- returns the length of the resolution computed so far
GB.ResReport -- status of an interactive resolution calculation
GB.Stats -- status of an interactive Groebner-type calculation
GB.Step, GB.Steps -- take steps in an interactive Groebner-type calculation
ReducedGBasis -- compute a reduced Groebner basis
|
groebner-start |
Top |
GB.Start_GBasis -- start interactive Groebner basis computation
GB.Start_MinGens -- start interactive minimal generator calculation
GB.Start_MinSyzMinGens -- start interactive calc., min. syzs. of min. gens.
GB.Start_Res -- start interactive resolution computation
GB.Start_Syz -- start interactive syzygy computation
GB.Start_SyzMinGens -- start interactive calc. of syzygies of min. gens.
|
help |
Top |
Describe -- information about an expression
Functions -- list the functions of a package
H.Browse -- browse the online help system
H.Commands -- list commands according to type
H.Man -- search online help system (see '?, Man')
H.OutCommands -- print command descriptions to a file
H.OutManual -- print the online manual to a file
H.SetMore, H.UnSetMore -- more-device for online help
H.Syntax -- display the syntax of a command
H.Toc -- display the Table Of Contents of the online manual
H.Tutorial -- run the CoCoA tutorial
Help -- extend online help for user-defined functions
?, Man -- search online help system
Starting -- list functions starting with a given string
|
hilbert |
Top |
Dim -- the dimension of a ring or quotient object
EvalHilbertFn -- evaluate the Hilbert function
Hilbert -- the Hilbert function
HilbertPoly -- the Hilbert polynomial
HVector -- the h-vector of a ring or quotient object
Multiplicity -- the multiplicity (degree) of a ring or quotient object
Poincare, HilbertSeries -- the Poincare series
|
ideal |
Top |
Colon, :, HColon -- ideal or module quotient
Elim -- eliminate variables
EquiIsoDec -- equidimensional isoradical decomposition
GB.GetBettiMatrix -- returns the Betti matrix computed so far
GB.GetNthSyz -- returns the part of the Nth syzygy module computed so far
GB.GetNthSyzShifts -- shifts of the Nth syzygy module computed so far
GB.GetRes -- returns the resolution computed so far
GB.GetResLen -- returns the length of the resolution computed so far
GB.ResReport -- status of an interactive resolution calculation
GBasis -- calculate a Groebner basis
GBM, HGBM -- intersection of ideals for zero-dimensional schemes
GenRepr -- representation in terms of generators
Gens -- list of generators of an ideal
Gin -- generic initial ideal
HIntersection, HIntersectionList -- intersection of ideals
Homogenized -- homogenize with respect to an indeterminate
Ideal -- convert an expression into an ideal
IdealAndSeparatorsOfPoints -- ideal & separators for affine points
IdealAndSeparatorsOfProjectivePoints -- ideal & separators for points
IdealOfPoints -- ideal of a set of affine points
IdealOfProjectivePoints -- ideal of a set of projective points
Interreduce, Interreduced -- interreduce a list of polynomials or vectors
Intersection, IntersectionList -- intersect lists, ideals, or modules
IsIn -- check if one object is contained in another
IsStable, IsStronglyStable, IsLexSegment -- checks if an ideal is stable (resp. strongly stable or a lex-segment)
IsZero -- test whether an object is zero
Len -- the length of an object
LT -- the leading term of an object
Max, Min -- a maximum or minimum element of a sequence or list
MinGens -- list minimal generators
Minimalize, Minimalized -- remove redundant generators
MinSyzMinGens -- minimal generators of syzygies of minimal generators
MonsInIdeal -- ideal generated by the monomials in an ideal
NF -- normal form
NFsAreZero -- test if normal forms are zero
PrimaryDecomposition -- primary decomposition of an ideal
Product, Sum -- the product or sum of the elements of a list
QuotientBasis -- vector space basis for zero-dimensional quotient rings
QZP, ZPQ -- change field for polynomials and ideals
Radical -- radical of an ideal
RadicalOfUnmixed -- radical of an unmixed ideal
ReducedGBasis -- compute a reduced Groebner basis
Res -- free resolution
Saturation, HSaturation -- saturation of ideals
Size -- the amount of memory used by an object
Syz -- syzygy modules
SyzMinGens -- syzygy module for a set of minimal generators
SyzOfGens -- syzygy module for a given set of generators
Toric -- saturate toric ideals
Toric.CheckInput -- check input to 'Toric'
|
integer |
Top |
Abs -- absolute value of a number
Bin -- binomial coefficient
BinExp, EvalBinExp -- binomial expansion
Div, Mod -- quotient and remainder for integers
EvalHilbertFn -- evaluate the Hilbert function
Fact -- factorial function
Fraction -- returns the quotient of its arguments
GCD, LCM -- greatest common divisor, least common multiple
GenericPoints -- random projective points
ILogBase -- integer part of the logarithm
Inverse -- multiplicative inverse
Iroot -- integer part of r-th root of an integer
IsEven, IsOdd -- test whether an integer is even or odd
IsNumber -- checks if the argument is a number
IsPrime -- prime integer test
Isqrt -- computes the (truncated) square root of an integer
IsZero -- test whether an object is zero
Len -- the length of an object
Max, Min -- a maximum or minimum element of a sequence or list
Mod2Rat -- reconstructing rationals from modular integers
NextPrime -- find the next largest prime number
Num, Den -- numerator, denominator
Partitions -- partitions of an integer
Product, Sum -- the product or sum of the elements of a list
Rand -- random integer
Seed -- seed for 'Rand'
Size -- the amount of memory used by an object
|
io |
Top |
Block -- group several commands into a single command
Close -- close a device
Format -- convert object to formatted string
Get -- read characters from a device
IO.SprintTrunc -- convert to a string and truncate
Latex -- LaTeX formatting
More -- print a string, N lines at a time
OpenIFile, OpenOFile -- open input or output file
OpenIString, OpenOString -- open input or output string
OpenLog, CloseLog -- open or close a log of a CoCoA session
Print On -- print to an output device
Print, PrintLn -- print the value of an expression
Source, << -- read commands from a file or device
Sprint -- convert to a string
Tag -- returns the tag string of an object
Tagged, Untagged, @ -- tag or untag an object for pretty printing
|
list |
Top |
.. -- range operator
>< -- Cartesian product
Append -- append an object to an existing list
BlockMatrix -- create a block matrix
BringIn -- bring in objects from another ring
Comp -- the N-th component of a list
Concat, ConcatLists -- concatenate lists or lists of lists, respectively
Count -- count the objects in a list
Diff -- returns the difference between two lists
Distrib -- the distribution of objects in a list
EqSet -- checks if the set of elements in two lists are equal
First -- the first N elements of a list
Flatten -- flatten a list
GBM, HGBM -- intersection of ideals for zero-dimensional schemes
GenericPoints -- random projective points
Head -- the first element of a list
HIntersection, HIntersectionList -- intersection of ideals
IdealAndSeparatorsOfPoints -- ideal & separators for affine points
IdealAndSeparatorsOfProjectivePoints -- ideal & separators for points
IdealOfPoints -- ideal of a set of affine points
IdealOfProjectivePoints -- ideal of a set of projective points
In -- create a list satisfying given conditions
Insert, Remove -- insert or remove an object in a list
Interpolate -- interpolating polynomial
Interreduce, Interreduced -- interreduce a list of polynomials or vectors
Intersection, IntersectionList -- intersect lists, ideals, or modules
IsIn -- check if one object is contained in another
Last -- the last N elements of a list
Len -- the length of an object
List -- convert an expression into a list
Mat -- convert an expression into a matrix
Max, Min -- a maximum or minimum element of a sequence or list
Monic -- divide polynomials by their leading coefficients
NewList -- create a new list
NonZero -- remove zeroes from a list
Product, Sum -- the product or sum of the elements of a list
Reverse, Reversed -- reverse a list
ScalarProduct -- scalar product
SeparatorsOfPoints -- separators for affine points
SeparatorsOfProjectivePoints -- separators for projective points
Set -- remove duplicates from a list
Size -- the amount of memory used by an object
Sort, Sorted -- sort a list
SortBy, SortedBy -- sort a list
Submat -- submatrix
SubSet, IsSubset -- checks if the elements of one list are a subset of another
Subsets -- returns all sublists of a list
Syz -- syzygy modules
Tail -- remove the first element of a list
Toric -- saturate toric ideals
Toric.CheckInput -- check input to 'Toric'
Tuples -- N-tuples
WithoutNth -- removes the N-th component from a list
|
loops |
Top |
Break -- break out of a loop
For -- loop command
Foreach -- loop command
Repeat -- loop command
Return -- exit from a structured command
While -- loop command
|
matrix |
Top |
Adjoint -- adjoint matrix
BlockMatrix -- create a block matrix
BringIn -- bring in objects from another ring
ColumnVectors -- the list of column vectors of a matrix
DegLexMat, DegRevLexMat, LexMat, XelMat -- matrices for std. term-orderings
Det -- the determinant of a matrix
HilbertBasis -- Hilbert basis for a monoid
Identity -- the identity matrix
Inverse -- multiplicative inverse
IsZero -- test whether an object is zero
Jacobian -- the Jacobian of a list of polynomials
Len -- the length of an object
LinKer -- find the kernel of a matrix
LinSol -- find a solution to a linear system
List -- convert an expression into a list
Mat -- convert an expression into a matrix
Minors -- list of minor determinants of a matrix
NewMat -- create a new matrix
Pfaffian -- the Pfaffian of a skew-symmetric matrix
Product, Sum -- the product or sum of the elements of a list
Size -- the amount of memory used by an object
Submat -- submatrix
TensorMat -- returns the tensor product of two matrices
Toric -- saturate toric ideals
Toric.CheckInput -- check input to 'Toric'
Transposed -- the transposition of a matrix
|
memory |
Top |
Clear -- clear the working memory or a ring-bound memory
Defined -- check if an expression has been defined
Delete -- delete variables from the working memory
Destroy -- delete rings
GlobalMemory -- contents of global memory
Memory -- contents of local memory or ring-bound memory
RingEnvs -- names of all defined rings
Size -- the amount of memory used by an object
|
misc |
Top |
Contrib -- list of contributors to CoCoA
|
miscellaneous |
Top |
Block -- group several commands into a single command
Dashes -- returns string of dashes
Date -- the date
Describe -- information about an expression
Equals -- returns a string of equal signs
Rand -- random integer
Seed -- seed for 'Rand'
Skip -- does nothing
Starting -- list functions starting with a given string
|
module |
Top |
Colon, :, HColon -- ideal or module quotient
E_ -- canonical vector
Elim -- eliminate variables
GB.GetBettiMatrix -- returns the Betti matrix computed so far
GB.GetNthSyz -- returns the part of the Nth syzygy module computed so far
GB.GetNthSyzShifts -- shifts of the Nth syzygy module computed so far
GB.GetRes -- returns the resolution computed so far
GB.GetResLen -- returns the length of the resolution computed so far
GB.ResReport -- status of an interactive resolution calculation
GBasis -- calculate a Groebner basis
GenRepr -- representation in terms of generators
Gens -- list of generators of an ideal
Interreduce, Interreduced -- interreduce a list of polynomials or vectors
Intersection, IntersectionList -- intersect lists, ideals, or modules
IsIn -- check if one object is contained in another
IsZero -- test whether an object is zero
Len -- the length of an object
LT -- the leading term of an object
Max, Min -- a maximum or minimum element of a sequence or list
MinGens -- list minimal generators
Minimalize, Minimalized -- remove redundant generators
MinSyzMinGens -- minimal generators of syzygies of minimal generators
Module -- convert an expression into a module
NF -- normal form
NFsAreZero -- test if normal forms are zero
Rank -- rank of a module
ReducedGBasis -- compute a reduced Groebner basis
Res -- free resolution
Size -- the amount of memory used by an object
Syz -- syzygy modules
SyzMinGens -- syzygy module for a set of minimal generators
SyzOfGens -- syzygy module for a given set of generators
|
online-help |
Top |
H.Browse -- browse the online help system
H.Commands -- list commands according to type
H.Man -- search online help system (see '?, Man')
H.OutCommands -- print command descriptions to a file
H.OutManual -- print the online manual to a file
H.SetMore, H.UnSetMore -- more-device for online help
H.Syntax -- display the syntax of a command
H.Tips -- quick tips for using online help
H.Toc -- display the Table Of Contents of the online manual
H.Tutorial -- run the CoCoA tutorial
?, Man -- search online help system
|
packages |
Top |
Alias -- define aliases for package names
Alias In -- temporarily override global aliases
Aliases -- list of global aliases
Functions -- list the functions of a package
Packages -- list of loaded packages
PkgName -- returns the name of a package
|
panels |
Top |
Option -- status of a panel option
Panel -- print status of a panel's options
Panels -- list of CoCoA panels
Reset -- reset panels and random number seed to defaults
ResetPanels -- reset panels to their default values
Set, Unset -- set and unset panel options
|
points |
Top |
GBM, HGBM -- intersection of ideals for zero-dimensional schemes
GenericPoints -- random projective points
IdealAndSeparatorsOfPoints -- ideal & separators for affine points
IdealAndSeparatorsOfProjectivePoints -- ideal & separators for points
IdealOfPoints -- ideal of a set of affine points
IdealOfProjectivePoints -- ideal of a set of projective points
Interpolate -- interpolating polynomial
SeparatorsOfPoints -- separators for affine points
SeparatorsOfProjectivePoints -- separators for projective points
|
polynomial |
Top |
Bin -- binomial coefficient
BringIn -- bring in objects from another ring
Coefficients -- list of coefficients of a polynomial or vector
CoeffOfTerm -- coefficient of a term of a polynomial or vector
Colon, :, HColon -- ideal or module quotient
Deg -- the degree of a polynomial or vector
DensePoly -- the sum of all power-products of a given degree
Der -- the derivative of a rational function
Discriminant -- the discriminant of a polynomial
DivAlg -- division algorithm
Eval -- substitute numbers or polynomials for indeterminates
Factor -- factor a polynomial
Fraction -- returns the quotient of its arguments
GCD, LCM -- greatest common divisor, least common multiple
GenRepr -- representation in terms of generators
Homogenized -- homogenize with respect to an indeterminate
Interpolate -- interpolating polynomial
Inverse -- multiplicative inverse
IsHomog -- test whether given polynomials are homogeneous
IsIn -- check if one object is contained in another
IsTerm -- checks if the argument is a term
IsZero -- test whether an object is zero
Jacobian -- the Jacobian of a list of polynomials
LC -- the leading coefficient of a polynomial or vector
Len -- the length of an object
LM -- the leading monomial of a polynomial or vector
Log -- the list of exponents of the leading term of a polynomial
LogToTerm -- returns a monomial (power-product) with given exponents
LPP -- the leading power-product of a polynomial or vector
LT -- the leading term of an object
MapDown -- convert a constant polynomial to a number
MDeg -- multi-degree of an polynomial
Monic -- divide polynomials by their leading coefficients
Monomials -- the list of monomials of a polynomial or vector
NF -- normal form
NFsAreZero -- test if normal forms are zero
NR -- normal reduction
Num, Den -- numerator, denominator
Poly -- convert an expression into a polynomial
Product, Sum -- the product or sum of the elements of a list
QZP, ZPQ -- change field for polynomials and ideals
Randomize, Randomized -- randomize the coefficients of a given polynomial
RealRootRefine -- refine a root of a univariate polynomial over Q
RealRoots -- computes a root of a univariate polynomial over Q
Resultant -- the resultant of two polynomials
RootBound -- bound on roots of a polynomial over Q
Size -- the amount of memory used by an object
StarPrint -- print polynomial with *'s for multiplications
Subst -- substitute values for indeterminates
Support -- the list of terms of a polynomial or vector
Sylvester -- the Sylvester matrix of two polynomials
WLog -- weighted list of exponents
|
printing |
Top |
Block -- group several commands into a single command
Close -- close a device
Format -- convert object to formatted string
Get -- read characters from a device
IO.SprintTrunc -- convert to a string and truncate
Latex -- LaTeX formatting
More -- print a string, N lines at a time
OpenIFile, OpenOFile -- open input or output file
OpenIString, OpenOString -- open input or output string
OpenLog, CloseLog -- open or close a log of a CoCoA session
Print On -- print to an output device
Print, PrintLn -- print the value of an expression
Source, << -- read commands from a file or device
Sprint -- convert to a string
Tag -- returns the tag string of an object
Tagged, Untagged, @ -- tag or untag an object for pretty printing
|
programming |
Top |
Cond -- conditional expression
Define -- define a function
For -- loop command
Foreach -- loop command
If -- conditional statement
Repeat -- loop command
Skip -- does nothing
While -- loop command
|
quotient |
Top |
Dim -- the dimension of a ring or quotient object
GBasis -- calculate a Groebner basis
Hilbert -- the Hilbert function
HilbertPoly -- the Hilbert polynomial
HVector -- the h-vector of a ring or quotient object
MinGens -- list minimal generators
MinSyzMinGens -- minimal generators of syzygies of minimal generators
Multiplicity -- the multiplicity (degree) of a ring or quotient object
Poincare, HilbertSeries -- the Poincare series
ReducedGBasis -- compute a reduced Groebner basis
Res -- free resolution
SyzMinGens -- syzygy module for a set of minimal generators
SyzOfGens -- syzygy module for a given set of generators
|
rat |
Top |
Abs -- absolute value of a number
CFApprox, CFApproximants, ContFrac -- continued fractions
DecimalStr -- convert rational number to decimal string
FloatApprox -- approx. of rational number of the form M*10^E
FloatStr, MantissaAndExponent -- convert rational number to a float string
Fraction -- returns the quotient of its arguments
ILogBase -- integer part of the logarithm
Inverse -- multiplicative inverse
IsNumber -- checks if the argument is a number
IsZero -- test whether an object is zero
Max, Min -- a maximum or minimum element of a sequence or list
Num, Den -- numerator, denominator
Product, Sum -- the product or sum of the elements of a list
|
ratfun |
Top |
BringIn -- bring in objects from another ring
Der -- the derivative of a rational function
Fraction -- returns the quotient of its arguments
Inverse -- multiplicative inverse
IsZero -- test whether an object is zero
Len -- the length of an object
Num, Den -- numerator, denominator
Product, Sum -- the product or sum of the elements of a list
Size -- the amount of memory used by an object
Subst -- substitute values for indeterminates
|
rational |
Top |
Mod2Rat -- reconstructing rationals from modular integers
|
record |
Top |
Comp -- the N-th component of a list
DivAlg -- division algorithm
Fields -- list the fields of a record
IdealAndSeparatorsOfPoints -- ideal & separators for affine points
IdealAndSeparatorsOfProjectivePoints -- ideal & separators for points
Record -- create a record
|
ring |
Top |
Characteristic -- the characteristic of a ring
Clear -- clear the working memory or a ring-bound memory
CurrentRing -- the current ring
Deg -- the degree of a polynomial or vector
Delete -- delete variables from the working memory
Destroy -- delete rings
Dim -- the dimension of a ring or quotient object
Hilbert -- the Hilbert function
HilbertPoly -- the Hilbert polynomial
HVector -- the h-vector of a ring or quotient object
Image -- ring homomorphism
Indet -- individual indeterminates
IndetInd -- the index of an indeterminate
IndetIndex -- index of an indeterminate
Indets -- list of current indeterminates
IndetName -- the name of an indeterminate
IsPosTo, IsToPos -- checks the module term-ordering of a ring
MDeg -- multi-degree of an polynomial
Multiplicity -- the multiplicity (degree) of a ring or quotient object
NumIndets -- number of indeterminates
Ord -- matrix defining a term-ordering
Poincare, HilbertSeries -- the Poincare series
QZP, ZPQ -- change field for polynomials and ideals
Ring -- returns the ring with a given name
RingEnv -- name of the current ring
RingEnvs -- names of all defined rings
TypeOfCoeffs -- type of the coefficients of the current ring
Use -- command for making a ring active
Using -- perform commands in non-active ring
WeightsList -- first row of the weights matrix
WeightsMatrix -- matrix of generalized weights for indeterminates
|
string |
Top |
Ascii -- convert between characters and ascii code
Comp -- the N-th component of a list
DecimalStr -- convert rational number to decimal string
FloatStr, MantissaAndExponent -- convert rational number to a float string
Format -- convert object to formatted string
IO.SprintTrunc -- convert to a string and truncate
IsIn -- check if one object is contained in another
Latex -- LaTeX formatting
Max, Min -- a maximum or minimum element of a sequence or list
More -- print a string, N lines at a time
NewId -- create a new identifier
OpenIString, OpenOString -- open input or output string
Spaces -- return a string of spaces
Sprint -- convert to a string
Var -- function calls by reference, other complex referencing
|
system |
Top |
Ciao -- quit CoCoA
CocoaPackagePath -- returns the path to the CoCoA packages
CocoaLimits -- limits on exponents and ring characteristics
Contrib -- list of contributors to CoCoA
GlobalMemory -- contents of global memory
More -- print a string, N lines at a time
Option -- status of a panel option
Panel -- print status of a panel's options
Panels -- list of CoCoA panels
Quit -- quit CoCoA
Reset -- reset panels and random number seed to defaults
ResetPanels -- reset panels to their default values
Set, Unset -- set and unset panel options
|
tags |
Top |
Tag -- returns the tag string of an object
Tagged, Untagged, @ -- tag or untag an object for pretty printing
|
toric |
Top |
Toric -- saturate toric ideals
Toric.CheckInput -- check input to 'Toric'
|
type |
Top |
Cast -- type conversion
Max, Min -- a maximum or minimum element of a sequence or list
Shape -- extended list of types involved in an expression
Type -- the data type of an expression
TypeOfCoeffs -- type of the coefficients of the current ring
Types -- lists all data types
|
vector |
Top |
BringIn -- bring in objects from another ring
CoeffOfTerm -- coefficient of a term of a polynomial or vector
Colon, :, HColon -- ideal or module quotient
ColumnVectors -- the list of column vectors of a matrix
Comp -- the N-th component of a list
Comps -- list of components of a vector
Deg -- the degree of a polynomial or vector
DivAlg -- division algorithm
E_ -- canonical vector
FirstNonZero, FirstNonZeroPos -- the first non-zero entry in a vector
GenRepr -- representation in terms of generators
IsIn -- check if one object is contained in another
IsTerm -- checks if the argument is a term
IsZero -- test whether an object is zero
LC -- the leading coefficient of a polynomial or vector
Len -- the length of an object
List -- convert an expression into a list
LM -- the leading monomial of a polynomial or vector
LPos -- the position of the leading power-product in a vector
LPP -- the leading power-product of a polynomial or vector
LT -- the leading term of an object
Mat -- convert an expression into a matrix
Monomials -- the list of monomials of a polynomial or vector
NewVector -- create a new vector
NF -- normal form
NFsAreZero -- test if normal forms are zero
NonZero -- remove zeroes from a list
NR -- normal reduction
NumComps -- the number of components of a vector
Product, Sum -- the product or sum of the elements of a list
ScalarProduct -- scalar product
Size -- the amount of memory used by an object
Support -- the list of terms of a polynomial or vector
Vector -- create a vector
|
zmod |
Top |
Fraction -- returns the quotient of its arguments
Inverse -- multiplicative inverse
IsNumber -- checks if the argument is a number
IsZero -- test whether an object is zero
Mod2Rat -- reconstructing rationals from modular integers
Product, Sum -- the product or sum of the elements of a list
|