Alphabetical list of commands
Commands and functions by type Tutorial |
Part 1: |
Part 1 - Chapter 1 - Preamble |
1.1.1. Version
1.1.2. Preface 1.1.3. System Distribution 1.1.4. System Requirements 1.1.5. Copyright and Trademarks 1.1.6. Acknowledgments |
Part 2: Introduction to CoCoA |
Part 2 - Chapter 1 - The CoCoA System |
2.1.1. An Overview of the System
2.1.2. System Structure 2.1.3. Contributions 2.1.4. CoCoA and Macaulay 2.1.5. Pointers to the Literature |
Part 2 - Chapter 2 - Tutorial |
2.2.1. A Tutorial Introduction to CoCoA
2.2.2. Setting Up CoCoA for the Tutorial 2.2.3. Entering Commands 2.2.4. Examples of Entering Commands 2.2.5. More on Entering Commands 2.2.6. After the Tutorial 2.2.7. Arithmetic 2.2.8. Variables 2.2.9. The Variable It 2.2.10. Making Lists 2.2.11. Setting Up a Ring 2.2.12. A Groebner Basis Example 2.2.13. Eliminating Variables 2.2.14. Using More Than One Ring 2.2.15. Substitutions 2.2.16. First Functions 2.2.17. More First Functions 2.2.18. Rings Inside User-Defined Functions 2.2.19. Rational Normal Curve 2.2.20. Generic Minors 2.2.21. Leading Term (Initial) Ideals, Generic Polynomials 2.2.22. Ring Mapping Example 2.2.23. Output to a File 2.2.24. Finite Point Sets: Buchberger-Moeller 2.2.25. Syzygies and Resolution Example 2.2.26. Factoring Polynomials |
Part 3: The CoCoA Programming Language |
Part 3 - Chapter 1 - Introduction to CoCoA Programming |
3.1.1. An Overview of CoCoA Programming
|
Part 3 - Chapter 2 - Language Elements |
3.2.1. Character Set and Special Symbols
3.2.2. Identifiers 3.2.3. Names of Indeterminates 3.2.4. Reserved Names 3.2.5. Comments 3.2.6. Data Types 3.2.7. Commands and Functions for Data Types |
Part 3 - Chapter 3 - Operators |
3.3.1. CoCoA Operators
3.3.2. Algebraic Operators 3.3.3. Relational Operators 3.3.4. Boolean Operators 3.3.5. Selection Operators 3.3.6. Range Operator |
Part 3 - Chapter 4 - Evaluation and Assignment |
3.4.1. Evaluation
3.4.2. Assignment |
Part 3 - Chapter 5 - User-Defined Functions |
3.5.1. Introduction to User-Defined Functions
3.5.2. Commands and Functions for User-Defined Functions |
Part 3 - Chapter 6 - Flow Control: Conditional Statements and Loops |
3.6.1. Commands and Functions for Branching
3.6.2. Commands and Functions for Loops |
Part 3 - Chapter 7 - Input/Output |
3.7.1. Introduction to IO
3.7.2. Standard IO 3.7.3. File IO 3.7.4. String IO 3.7.5. Commands and Functions for IO 3.7.6. Tagged Printing 3.7.7. Tagging an Object 3.7.8. Printing a Tagged Object 3.7.9. Describing a Tagged Object 3.7.10. Another Example Using Tags 3.7.11. Commands and Functions for Tags |
Part 3 - Chapter 8 - Memory Management |
3.8.1. Introduction to Memory
3.8.2. Working Memory 3.8.3. Global Memory 3.8.4. Ring-Bound Memory 3.8.5. Commands and Functions for Memory |
Part 3 - Chapter 9 - CoCoA Packages |
3.9.1. Introduction to Packages
3.9.2. First Example of a Package 3.9.3. Package Essentials 3.9.4. Package Sourcing and Autoloading 3.9.5. Global Aliases 3.9.6. Local Aliases 3.9.7. More Examples of Packages 3.9.8. Package Initialization 3.9.9. Sharing Your Package 3.9.10. Commands and Functions for Packages 3.9.11. Supported Packages 3.9.12. K-Algebra Homomorphisms 3.9.13. Galois Package 3.9.14. Integer Programming 3.9.15. Algebra of Invariants 3.9.16. Primary Ideals 3.9.17. Special Varieties 3.9.18. Statistics 3.9.19. Geometrical Theorem-Proving 3.9.20. Typevectors 3.9.21. Conductor 3.9.22. Matrix Normal Form 3.9.23. CantStop 3.9.24. Control |
Part 4: Doing Mathematics with CoCoA |
Part 4 - Chapter 1 - Booleans |
4.1.1. Introduction to Booleans
4.1.2. Commands and Functions for Booleans |
Part 4 - Chapter 2 - Numbers |
4.2.1. Introduction to Numbers
4.2.2. Rationals 4.2.3. Numerators and Denominators for Rational Numbers 4.2.4. Modular Integers 4.2.5. Commands and Functions for Numbers |
Part 4 - Chapter 3 - Strings |
4.3.1. Introduction to Strings
4.3.2. Concatenation 4.3.3. Substrings 4.3.4. Quotes Within Strings 4.3.5. Commands and Functions for Strings |
Part 4 - Chapter 4 - Lists |
4.4.1. Introduction to Lists
4.4.2. Commands and Functions for Lists |
Part 4 - Chapter 5 - Records |
4.5.1. Introduction to Records
4.5.2. Commands and Functions for Records |
Part 4 - Chapter 6 - Vectors |
4.6.1. Introduction to Vectors
4.6.2. Commands and Functions for Vectors |
Part 4 - Chapter 7 - Matrices |
4.7.1. Introduction to Matrices
4.7.2. Commands and Functions for Matrices |
Part 4 - Chapter 8 - Rings |
4.8.1. Introduction to Rings
4.8.2. New Rings 4.8.3. Coefficient Rings 4.8.4. Indeterminates 4.8.5. Weights Modifier 4.8.6. Orderings 4.8.7. Predefined Term-Orderings 4.8.8. Temporary Term-Orderings 4.8.9. Custom Term-Orderings 4.8.10. Module Orderings 4.8.11. Accessing Other Rings 4.8.12. Ring Mappings: the Image Function 4.8.13. Quotient Rings 4.8.14. Commands and Functions for Rings |
Part 4 - Chapter 9 - Polynomials |
4.9.1. Introduction to Polynomials
4.9.2. Evaluation of Polynomials 4.9.3. Commands and Functions for Polynomials |
Part 4 - Chapter 10 - Rational Functions |
4.10.1. Introduction to Rational Functions
4.10.2. Numerators and Denominators for Rational Functions 4.10.3. Commands and Functions for Rational Functions |
Part 4 - Chapter 11 - Ideals |
4.11.1. Introduction to Ideals
4.11.2. Commands and Functions for Ideals 4.11.3. Commands and Functions for Monomial Ideals |
Part 4 - Chapter 12 - Modules |
4.12.1. Introduction to Modules
4.12.2. Quotient Modules 4.12.3. Shifts 4.12.4. Commands and Functions for Modules |
Part 4 - Chapter 13 - Groebner Bases and Related Computations |
4.13.1. Introduction to Groebner Bases in CoCoA
4.13.2. Commands and Functions for Groebner-Type Computations 4.13.3. The Interactive Groebner Framework 4.13.4. Example: Interactive Groebner Basis Computation 4.13.5. Example: Verbose Mode 4.13.6. Example: Interactive Resolution Computation 4.13.7. Example: Truncations 4.13.8. Hilbert-Driven Computations |
Part 4 - Chapter 14 - CoCoAServer |
4.14.1. Introduction to CoCoAServer
4.14.2. Frobby 4.14.3. Functions using CoCoAServer |
Part 5: Working the System |
Part 5 - Chapter 1 - CoCoA Panels |
5.1.1. Introduction to Panels
5.1.2. Setting Options 5.1.3. Options in the GENERAL Panel 5.1.4. Echo 5.1.5. Timer 5.1.6. Trace 5.1.7. Indentation 5.1.8. TraceSources 5.1.9. SuppressWarnings 5.1.10. ComputationStack 5.1.11. Options in the GROEBNER Panel 5.1.12. Sugar 5.1.13. FullRed 5.1.14. SingleStepRed 5.1.15. Verbose 5.1.16. Commands and Functions for Panels |
Part 5 - Chapter 2 - CoCoA's Help System |
5.2.1. Online Help
5.2.2. Quick Tips for Using Online Help 5.2.3. Commands and Functions for Online Help 5.2.4. Other Help |
Part 5 - Chapter 3 - Fine Tuning At Start-up |
5.3.1. User Initialization
|
Part 5 - Chapter 4 - CoCoA Interfaces |
5.4.1. CoCoA on a Macintosh
5.4.2. CoCoA under Unix 5.4.3. CoCoA under Windows/DOS |
Alphabetical list of commands |
ABCDEFGHIJKLMNOPQRSTUVWXZ |
Shortcuts -- Special characters equivalent to commands
|
Abs -- absolute value of a number
Adjoint -- adjoint matrix AffHilbert -- the affine Hilbert function AffHilbertFn -- the affine Hilbert function AffHilbertSeries -- the affine Hilbert-Poincare series AffPoincare -- the affine Hilbert-Poincare series AlexanderDual_Frobby5 -- Alexander Dual of monomial ideals Alias -- define aliases for package names Alias In -- temporarily override global aliases Aliases -- list of global aliases AllIndetsCalled -- List of indeterminates of current ring with a given name AlmostQR -- QR decomposition of a matrix Append -- append an object to an existing list Ascii -- convert between characters and ascii code |
BBasis5 -- Border Basis of zero dimensional ideal
BettiDiagram -- the diagram of the graded Betti numbers BettiMatrix -- the matrix of the graded Betti numbers Bin -- binomial coefficient BinExp -- binomial expansion Block -- group several commands into a single command BlockMatrix -- create a block matrix Break -- break out of a loop BringIn -- bring in objects from another ring |
Call -- apply a function to given arguments
CartesianProduct, CartesianProductList -- Cartesian product of lists Cast -- type conversion Catch -- catch an error CFApprox -- continued fractions CFApproximants -- continued fractions Characteristic -- the characteristic of a ring CharPoly -- characteristic polynomial of a matrix Ciao -- quit CoCoA Clear -- clear the working memory or a ring-bound memory ClearDenom -- clear common denominator of a polynomial with rational coeffs Close -- close a device CloseLog -- close a log of a CoCoA session CocoaLimits -- limits on exponents and ring characteristics CocoaPackagePath -- returns the path to the CoCoA packages Coefficients -- list of coefficients of a polynomial or vector CoeffOfTerm -- coefficient of a term of a polynomial or vector ColMat -- single column matrix Colon -- 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 Concat -- concatenate lists ConcatLists -- concatenate a list of lists Cond -- conditional expression ContFrac -- continued fractions denominators ContFracToRat -- convert continued fraction to rational Count -- count the objects in a list CurrentRing -- the current ring |
Dashes -- returns string of dashes
Date -- the date DecimalStr -- convert rational number to decimal string Define -- define a function Deg -- the degree of a polynomial or vector DegLexMat -- matrices for std. term-orderings DegRevLexMat -- matrices for std. term-orderings Delete -- delete variables from the working memory Den -- denominator DensePoly -- the sum of all power-products of a given degree Depth -- Depth of a module Der -- the derivative of a rational function Describe -- information about an expression Destroy -- delete rings Det -- the determinant of a matrix DiagonalMat -- matrix with given diagonal Diff -- returns the difference between two lists Dim -- the dimension of a ring or quotient object Discriminant -- the discriminant of a polynomial Distrib -- the distribution of objects in a list Div -- quotient for integers DivAlg -- division algorithm |
E_ -- canonical vector
Eigenvectors -- eigenvalues and eigenvectors of a matrix Elim -- eliminate variables EqSet -- checks if the set of elements in two lists are equal Equals -- returns a string of equal signs EquiIsoDec -- equidimensional isoradical decomposition Error -- return an error message Eval -- substitute numbers or polynomials for indeterminates EvalBinExp -- binomial expansion functions EvalHilbertFn -- evaluate the Hilbert function Ext -- presentation Ext modules as quotients of free modules |
Fact -- factorial function
Factor -- factor a polynomial FactorMultiplicity -- multiplicity of a factor of an integer FGLM5 -- perform a FGLM Groebner Basis conversion Fields -- list the fields of a record First -- the first N elements of a list FirstNonZero -- the first non-zero entry in a vector FirstNonZeroPos -- the first non-zero entry in a vector Flatten -- flatten a list FloatApprox -- approx. of rational number of the form M*10^E FloatStr -- convert rational number to a float string For -- loop command Foreach -- loop command Format -- convert object to formatted string Fraction -- returns the quotient of its arguments Function -- return a function Functions -- list the functions of a package |
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 -- take one step in an interactive Groebner-type calculation GB.Steps -- take steps in an interactive Groebner-type calculation GBasis -- calculate a Groebner basis GBasis5, and more -- calculations using the CoCoAServer GBasisTimeout -- compute a Groebner basis with a timeout GBM -- intersection of ideals for zero-dimensional schemes GCD -- greatest common divisor GCDFreeBasis -- determine (minimal) GCD free basis of a set of integers GenericPoints -- random projective points GenRepr -- representation in terms of generators Gens -- list of generators of an ideal Get -- read characters from a device GetEnv -- access shell variables GetErrMesg -- returns the message associated with an error Gin, Gin5 -- generic initial ideal GlobalMemory -- contents of global memory |
H.Browse -- browse the online help system
H.Commands -- list commands according to type H.Man -- search online help system H.OutCommands -- print command descriptions to a file H.OutManual -- print the online manual to a file H.SetMore -- 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 H.UnSetMore -- more-device for online help HColon -- ideal or module quotient Head -- the first element of a list Help -- extend online help for user-defined functions HGBM -- intersection of ideals for zero-dimensional schemes Hilbert -- the Hilbert-Poincare' function HilbertBasis -- Hilbert basis for a monoid HilbertFn -- the Hilbert function HilbertPoly -- the Hilbert polynomial HilbertSeries -- the Hilbert-Poincare series HilbertSeriesMultiDeg -- the Hilbert-Poincare series wrt a multigrading HilbertSeriesShifts -- the Hilbert-Poincare series HIntersection -- intersection of ideals HIntersectionList -- intersection of ideals Homogenized -- homogenize with respect to an indeterminate HSaturation -- saturation of ideals HVector -- the h-vector of a module or quotient object |
Ideal -- convert an expression into an ideal
IdealAndSeparatorsOfPoints -- ideal and separators for affine points IdealAndSeparatorsOfProjectivePoints -- ideal and separators for points IdealOfPoints -- ideal of a set of affine points IdealOfProjectivePoints -- ideal of a set of projective points Identity -- the identity matrix If -- conditional statement ILogBase -- integer part of the logarithm Image -- apply ring homomorphism ImplicitPlot -- outputs the zero locus of a bivariate polynomial to a file ImplicitPlotOn -- outputs the zero locus of a bivariate polynomial to a file In -- create a list satisfying given conditions Indet -- individual indeterminates IndetInd -- the index of an indeterminate IndetIndex -- index of an indeterminate IndetName -- the name of an indeterminate Indets -- list of current indeterminates Insert -- insert an object in a list Interpolate -- interpolating polynomial Interreduce, Interreduced -- interreduce a list of polynomials or vectors Intersection -- intersect lists, ideals, or modules IntersectionList -- intersect lists, ideals, or modules Inverse -- multiplicative inverse IO.SprintTrunc -- convert to a string and truncate Iroot -- integer part of r-th root of an integer IrreducibleDecom_Frobby5 -- Irreducible decomposition of monomial ideals IsAntiSymmetric -- checks if a matrix is anti-symmetric IsDefined -- check if an expression has been defined IsDiagonal -- checks if a matrix is diagonal 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 IsLexSegment -- checks if an ideal is lex-segment IsNumber -- checks if the argument is a number IsPositiveGrading -- check if a matrix defines a positive grading IsPPrime -- checks if an integer is a probable prime IsPrime -- prime integer test Isqrt -- (truncated) square root of an integer IsServerReady -- checks if CoCoAServer is running IsStable -- checks if an ideal is stable IsStronglyStable -- checks if an ideal is strongly stable IsSubset -- checks if the elements of one list are a subset of another IsSymmetric -- checks if a matrix is symmetric IsTerm -- checks if the argument is a term IsTermOrdering -- check if a matrix defines a term-ordering IsTree5 -- checks if a facet complex is a tree IsZero -- test whether an object is zero |
Jacobian -- the Jacobian of a list of polynomials
|
Last -- the last N elements of a list
Latex -- LaTeX formatting LC -- the leading coefficient of a polynomial or vector LCM -- least common multiple Len -- the length of an object LexMat -- matrices for std. term-orderings LexSegmentIdeal -- lex-segment ideal containing L, or with the same Hilbert fn as I LinearSimplify -- find simplifying substitution for a univariate polynomial over Q LinKer, LinKerModP -- find the kernel of a matrix LinSol -- find a solution to a linear system List -- convert an expression into a list 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 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 |
MakeCheck -- run a series of tests
MakeMatByRows, MakeMatByCols -- convert a list into a matrix MakeSet -- remove duplicates from a list Man -- search online help system MantissaAndExponent -- convert rational number to a float MapDown -- convert a constant polynomial to a number Mat -- convert an expression into a matrix MatConcatAntiDiag -- create a simple block matrix MatConcatDiag -- create a simple block matrix MatConcatHor -- create a simple block matrix MatConcatVer -- create a simple block matrix Max, Min -- a maximum or minimum element of a sequence or list MaximalStandardMonomials_Frobby5 -- Maximal standard monomials of monomial ideals MayerVietorisTreeN1 -- N-1st Betti multidegrees of monomial ideals using Mayer-Vietoris trees MDeg -- multi-degree of an polynomial Memory -- contents of local memory or ring-bound memory MinGens -- list minimal generators Minimalize -- remove redundant generators Minimalized -- remove redundant generators MinimalPresentation -- minimal presentation for a quotient Minors -- list of minor determinants of a matrix MinSyzMinGens -- minimal generators of syzygies of minimal generators Mod -- remainder for integers Mod2Rat -- reconstructing rationals from modular integers Module -- convert an expression into a module Monic -- divide polynomials by their leading coefficients Monomials -- the list of monomials of a polynomial or vector MonsInIdeal -- ideal generated by the monomials in an ideal More -- print a string, N lines at a time Multiplicity -- the multiplicity (degree) of a ring or quotient object |
NewId -- create a new identifier
NewList -- create a new list NewMat -- create a new matrix NewVector -- create a new vector NextPPrime -- find the next largest probable prime number NextPrime -- find the next largest prime number NF -- normal form NFsAreZero -- test if normal forms are zero NonZero -- remove zeroes from a list Not, And, Or -- boolean operators NR -- normal reduction Num -- numerator NumCols -- number of columns in a matrix NumComps -- the number of components of a vector NumIndets -- number of indeterminates NumRows -- number of rows in a matrix |
OpenIFile -- open input file
OpenIString -- open input string OpenLog -- open a log of a CoCoA session OpenOFile -- open output file OpenOString -- open output string OpenSocket -- open a socket connection Option -- status of a panel option Ord -- matrix defining a term-ordering |
Packages -- list of loaded packages
Panel -- print status of a panel's options Panels -- list of CoCoA panels Partitions -- partitions of an integer Permutations -- returns all permutations of the entries of a list Pfaffian -- the Pfaffian of a skew-symmetric matrix PkgName -- returns the name of a package PlotPoints -- outputs the coordinates of the points to a file PlotPointsOn -- outputs the coordinates of the points to a file Poincare -- the Hilbert-Poincare series PoincareMultiDeg -- the Hilbert-Poincare series wrt a multigrading PoincareShifts -- the Hilbert-Poincare series Poly -- convert an expression into a polynomial PositiveGrading4 -- extend a positive grading (for CoCoA-4 multigradings limitation) PowerMod -- compute a modular power efficiently PreprocessPts5 -- Reduce redundancy in a set of approximate points PrimaryDecomposition -- primary decomposition of an ideal Print -- print the value of an expression Print On -- print to an output device PrintLn -- print the value of an expression Product -- the product of the elements of a list |
Quit -- quit CoCoA
QuotientBasis -- vector space basis for zero-dimensional quotient rings QZP -- change field for polynomials and ideals |
Radical -- radical of an ideal
RadicalOfUnmixed -- radical of an unmixed ideal Rand -- random integer Randomize -- randomize the coefficients of a given polynomial Randomized -- randomize the coefficients of a given polynomial Rank -- rank of a module RealRootRefine -- refine a real root of a univariate polynomial RealRoots -- computes the real roots of a univariate polynomial RealRootsApprox -- computes approximations to the real roots of a univariate polynomial Record -- create a record ReducedGBasis -- compute reduced Groebner basis RefineGCDFreeBasis -- refine an integer GCD free basis RegularityIndex -- regularity index of a Hilbert function or series RelNotes -- print the release notes Remove -- remove an object in a list Repeat -- loop command Res -- free resolution Reset -- reset panels and random number seed to defaults ResetPanels -- reset panels to their default values Resultant -- the resultant of two polynomials Return -- exit from a structured command Reverse, Reversed -- reverse a list RevLexMat -- matrices for std. term-orderings Ring -- returns the ring with a given name RingEnv -- name of the current ring RingEnvs -- names of all defined rings RingEnvSet -- set of names of the ring environments RMap -- define ring homomorphism RootBound -- bound on roots of a polynomial over Q RowMat -- single row matrix |
Saturation -- saturation of ideals
ScalarProduct -- scalar product Seed -- seed for Rand SeparatorsOfPoints -- separators for affine points SeparatorsOfProjectivePoints -- separators for projective points Set, Unset -- set and unset panel options Shape -- extended list of types involved in an expression Sign -- the sign of a number Size -- the amount of memory used by an object Skip -- does nothing SmoothFactor -- find small prime factors of an integer Sort -- sort a list SortBy -- sort a list Sorted -- sort a list SortedBy -- sort a list Source -- read commands from a file or device Spaces -- return a string of spaces Sprint -- convert to a string StableBBasis5 -- Stable Border Basis of ideal of points StableBBasisNBM5 -- Numerical Border Basis of ideal of points StableIdeal -- stable ideal containing L StarPrint -- print polynomial with *'s for multiplications Starting -- list functions starting with a given string StronglyStableIdeal -- strongly stable ideal containing L Submat -- submatrix Subsets -- returns all sublists of a list Subst -- substitute values for indeterminates Sum -- the sum of the elements of a list Support -- the list of terms of a polynomial or vector Sylvester -- the Sylvester matrix of two polynomials Syz -- syzygy modules SyzMinGens -- syzygy module for a set of minimal generators SyzOfGens -- syzygy module for a given set of generators |
Tag -- returns the tag string of an object
Tagged -- tag an object for pretty printing Tail -- remove the first element of a list TensorMat -- returns the tensor product of two matrices Toric -- saturate toric ideals Transposed -- the transposition of a matrix Tuples -- N-tuples Type -- the data type of an expression TypeOfCoeffs -- type of the coefficients of the current ring Types -- lists all data types |
UnivariateIndetIndex -- the index of the indeterminate of a univariate polynomial
Unset -- set and unset panel options Untagged -- untag an object Use -- command for making a ring active Using -- perform commands in non-active ring |
Var -- function calls by reference, other complex referencing
Vector -- create a vector |
WeightsList -- first row of the weights matrix
WeightsMatrix -- matrix of generalized weights for indeterminates While -- loop command WithoutNth -- removes the N-th component from a list WLog -- weighted list of exponents |
XelMat -- matrices for std. term-orderings
|
ZPQ -- change field for polynomials and ideals
|