CoCoA Functions

BI = Built-In
pkg = in CoCoA5 package
impr = improved
- = no meaning in this context
XXX = obsolete
X?X = obsolete?
Tmp = temporary syntax
C, C++, STL = from C, C++, STL
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
CoCoA 4CoCoA 5CoCoALib
name nameimplementation
date
nameimplementation
date
A top
Abs absBI < 2010-10 abs< 2010-10
Adjoint adjointBI 2011-02 adjoint
AdjointByDetOfMinors
AdjointByInverse
< 2010-10
AffHilbert
AffHilbertFn
AffHilbertSeries
AffPoincare
AlexanderDual_Frobby5 AlexanderDual< 2010-10
Alias aliasBI < 2010-10 --
Alias In ? --
Aliases aliasesBI < 2010-10 --
AllIndetsCalled IndetsCalled("x",R)BI 2010-11 IndetsCalled myIndetsCalled2010-11
AlmostQR AlmostQRpkg 2011-02
Append appendBI < 2010-10 PushBack
push_back (STL)
< 2010-10
Ascii asciiBI < 2010-10 (C)-
-- AmbientRing(I)BI 2011-03 AmbientRing< 2010-10
-- apply(phi, M)BI 2011-02 apply< 2010-10
-- AssignZero(ref M)BI 2011-02 AssignZero< 2010-10
B top
BBasis5
BettiDiagram
BettiMatrix
Bin binomial(INT,INT)
Bin generic
BI <2010-10
pkg 2010-11
binomial<2010-10
BinExp BinExppkg <2010-10
Block blockBI <2010-10 {..} (C)<2010-10
BlockMatrix BlockMat(A,B, C,D)BI 2011-02 BlockMat<2010-10
Break breakBI <2010-10 break (C)<2010-10
BringIn BringInBI 2011-03
- BaseRingBI 2011-01 BaseRing<2010-10
C top
Call XXXXXX --
CartesianProduct, CartesianProductList >< (incompl)BI --
Cast X?X (C)-
Catch try/UponErrorBI <2010-10 try/catch (C++)<2010-10
CFApprox CFApproxBI 2011-02 CFApprox2011-02
CFApproximants CFApproximantspkg <2010-10
Characteristic characteristicBI <2010-10 characteristic<2010-10
CharPoly CharPolypkg 2011-03
CheckArgTypes
Ciao ciaoBI <2010-10 --
Clear XXX- --
ClearDenom ClearDenompkg 2011-01
Close closeBI <2010-10 --
CloseLog X?X
CocoaPackagePath CocoaPackagePathBI 2011-01 --
CocoaLimits
Coefficients coefficients (1 arg)BI 2011-01 --
CoeffOfTerm CoeffOfTermBI 2011-01 --
ColMat ColMat(L) ColMat(R,L)pkg 2011-02 ColMat<2010-10
Colon colonBI 2011-02 colon<2010-10
ColumnVectors
Comp X?Xpkg 2011-01 --
Comps
Concat concatBI <2010-10 (STL)-
ConcatLists ConcatListBI <2010-10
Cond XXX- --
ContFrac ContFracpkg <2010-10
ContFracToRat ContFracToRatpkg <2010-10
Count Countpkg 2011-01 (STL)-
CurrentRing BI CurrentRing (TopLevel var)2011-01 --
- CanonicalHomBI 2011-01 CanonicalHom<2010-10
- (Tmp)ChainCanonicalHomBI 2011-02 TmpChainCanonicalHom2011-02
- CoeffEmbeddingHomBI 2011-01 CoeffEmbeddingHom<2010-10
- ceilBI <2010-10 ceil<2010-10
- CommonDenom<2010-10 CommonDenom<2010-10
- codomainBI 2011-02 codomain< 2010-10
- content<2010-10 content<2010-10
- ContentsOfFile<2010-10 (C)-
- CpuTimeBI 2011-01 CpuTime<2010-10
D top
Dashes Dashespkg 2011-01 --
Date
DecimalStr DecimalStrpkg <2010-10 - (C?)<2010-10
Define defineBI <2010-10 --
Deg degBI 2010-12 deg
StdDeg
<2010-10
DegLexMat StdDegLexMatBI 2011-03 NewDenseMatStdDegLex2011-03
DegRevLexMat StdDegRevLexMatBI 2011-03 NewDenseMatStdDegRevLex2011-03
Delete XXX- --
Den denBI <2010-10 den<2010-10
DensePoly
Depth
Der deriv<2010-10 deriv<2010-10
DerivationAction
Describe describeBI <2010-10 --
Destroy XXX- --
Det detBI 2011-02 det<2010-10
DiagonalMat DiagMat(L) DiagMat(R,L)pkg 2011-02 DiagMat<2010-10
Diff diffpkg <2010-10 --
Dim
Discriminant discriminantTL 2011-03
Distrib Distribpkg 2011-01 --
Div divBI <2010-10 int/int (C)<2010-10
DivAlg DivAlgBI 2011-03
- domainBI 2011-02 domain< 2010-10
E top
E_
Eigenvectors
Elim elimBI 2011-02 myElim (tmp)<2010-10
EqSet EqSetpkg 2011-01 --
Equals Equalspkg 2011-01 --
EquiIsoDec
Error errorBI <2010-10 CoCoA_ERROR<2010-10
Eval evalBI 2011-03 PolyAlgebraHom< 2010-10
EvalBinExp EvalBinExppkg <2010-10
EvalHilbertFn
Ext
- EmbeddingHomBI 2011-01 EmbeddingHom<2010-10
F top
Fact factorialBI <2010-10 factorial<2010-10
Factor factor (only on QQ)BI 2011-01 factor<2010-10
FactorMultiplicity FactorMultiplicityTL 2011-03
FGLM5
Fields fieldsBI <2010-10 --
First firstBI 2011-03 (STL)-
FirstNonZero
FirstNonZeroPos
Flatten Flattenpkg 2010-12 --
FloatApprox FloatApproxpkg <2010-10 convert<2010-10
FloatStr FloatStr2011-01 - (C?)-
For forBI <2010-10 for (C)-
Foreach foreachBI <2010-10 for_each (C)-
Format Formatpkg 2011-01 \t (C)-
Fraction / (?)BI <2010-10 /<2010-10
Function X?X --
Functions describeBI <2010-10 --
- FilledMatBI 2011-03 FilledMat2011-03
- fibonacciBI <2010-10 fibonacci<2010-10
- floorBI <2010-10 floor<2010-10
G top
GB.Complete
GB.GetBettiMatrix
GB.GetNthSyz
GB.GetNthSyzShifts
GB.GetRes
GB.GetResLen
GB.ResReport
GB.Start_GBasis
GB.Start_MinGens
GB.Start_MinSyzMinGens
GB.Start_Res
GB.Start_Syz
GB.Start_SyzMinGens
GB.Stats
GB.Step
GB.Steps
GBasis GBasisBI 2011-02 GBasis
TidyGens
2011-02
<2010-10
GBasisTimeout
GBasis5, and more -- --
GBM
GCD gcdBI 2010-10
impr 2010-02
gcd<2010-10
GCDFreeBasis GCDFreeBasisTL 2011-03
GenericPoints GenericPointspkg 2011-01
GenRepr
Gens gensBI 2011-02 gens<2010-10
Get
GetEnv GetEnvBI <2010-10 (C)-
GetErrMesg GetErrMesgBI <2010-10 ??
Gin, Gin5
GlobalMemory X- --
- GetRow(M,i)BI 2011-02
- GetCol(M,i)BI 2011-02
H top
H.Browse --
H.Commands --
H.Man ? (question mark)BI <2010-10 doc directory<2010-10
H.OutCommands --
H.OutManual --
H.SetMore XXX --
H.Syntax --
H.Tips --
H.Toc X?X --
H.Tutorial --
H.UnSetMore XXX --
Head headTL 2011-03 .head() (STL)-
HColon
Help XXX- --
HGBM
Hilbert
HilbertFn
HilbertBasis
HilbertPoly
HilbertSeries see Poincare-
HilbertSeriesMultiDeg
HilbertSeriesShifts
HIntersection
HIntersectionList
Homogenized homog2011-03 homog (RingElem)<2010-10
HSaturation
HVector
I top
Ideal idealBI 2010-02 ideal<2010-10
IdealAndSeparatorsOfPoints
IdealAndSeparatorsOfProjectivePoints
IdealOfPoints
IdealOfProjectivePoints
Identity IdentityMatBI 2011-02 IdentityMat<2010-10
If ifBI <2010-10 if (C)<2010-10
ILogBase ILogBaseBI 2011-01 ILogBase2010-12
Image [see PolyAlgebraHom]
Image(obs?)
BI 2011-01
pkg 2011-01
RingHom<2010-10
ImplicitPlot ImplicitPlotpkg 2011-01
ImplicitPlotOn ImplicitPlotOnpkg 2011-01
In inBI <2010-10 --
Indet indetBI 2010-11 indet<2010-10
IndetInd IndetIndBI 2010-11 NumIndices(sym)
index(sym,i)
<2010-10
IndetIndex IndetIndexBI 2010-11 IsIndet(i,pp)
IsIndetPosPower(i,exp,pp)
<2010-10
Indets indetsBI <2010-10 indets<2010-10
IndetName IndetNameBI 2010-11 head(myIndetSymbol(i))<2010-10
Insert insertBI <2010-10 (STL)-
Interpolate
Interreduce, Interreduced
Intersection intersectBI 2011-02 intersect<2010-10
IntersectionList --
Inverse inverseBI 2011-02 inverse
InverseByGauss
<2010-10
InverseSystem
IO.SprintTrunc
IrreducibleDecom_Frobby5 IrreducibleDecomposition<2010-10
Iroot irootBI 2011-01 iroot2011-01
IsAntiSymmetric IsAntiSymmetricBI 2011-02 IsAntiSymmetric2011-02
IsDefined IsDefinedBI <2010-10 --
IsDiagonal IsDiagonalBI 2011-02 IsDiagonal2011-02
IsEven, IsOdd IsEven, IsOddBI <2010-10 IsEven, IsOdd<2010-10
IsHomog IsHomogBI <2010-10 IsHomog<2010-10
IsIn IsInBI <2010-10 IsElem(r,I)<2010-10
IsInSubalgebra
IsInRadical IsInRadicalTL 2011-03
IsLexSegment
IsNumber IsInteger/IsRationalBI <2010-10 IsInteger/IsRational<2010-10
IsPositiveGrading IsPositiveGradingBI 2011-02 IsPositiveGrading<2010-10
IsPPrime IsProbPrimeBI <2010-10 IsProbPrime<2010-10
IsPrime IsPrimeBI <2010-10 IsPrime<2010-10
Isqrt isqrtBI 2011-01 isqrt2011-01
IsServerReady
IsStable
IsStronglyStable
IsSubset IsSubsetpkg 2011-01 --
IsSymmetric IsSymmetricBI 2011-02 IsSymmetric2011-02
IsTerm IsTermBI 2011-01 IsMonomial/IsOne(LC(.))<2010-10
IsTermOrdering IsTermOrderingBI 2011-02 IsTermOrdering<2010-10
IsTree5 IsTree<2010-10
IsZero IsZeroBI <2010-10 IsZero<2010-10
- IdentityHomBI 2011-02 IdentityHom<2010-10
- InducedHomBI 2011-02 InducedHom<2010-10
- IsCommutativeBI <2010-10 IsCommutative<2010-10
- IsConstantBI <2010-10 IsConstant<2010-10
- IsDivisibleBI <2010-10 IsDivisible<2010-10
- IsFieldBI <2010-10 IsField<2010-10
- IsFractionFieldBI <2010-10 IsFractionField<2010-10
- IsGCDDomainBI <2010-10 IsGCDDomain<2010-10
- IsIndet(ref i,x)BI <2010-10 IsIndet<2010-10
- IsInteger(ref i,x)BI <2010-10 IsInteger<2010-10
- IsIntegralDomainBI <2010-10 IsIntegralDomain<2010-10
- IsInvertibleBI <2010-10 IsInvertible<2010-10
- IsMinusOneBI <2010-10 IsMinusOne<2010-10
- IsMonomialBI <2010-10 IsMonomial<2010-10
- IsOneBI <2010-10 IsOne<2010-10
- IsOrderedDomainBI <2010-10 IsOrderedDomain<2010-10
- IsPolyRingBI <2010-10 IsPolyRing<2010-10
- IsQuotientRingBI <2010-10 IsQuotientRing<2010-10
- IsRational(ref q,x)BI <2010-10 IsRational<2010-10
- IsZBI <2010-10 IsZ<2010-10
- IsQBI <2010-10 IsQ<2010-10
- IsZeroDimBI 2011-02 IsZeroDim<2010-10
- IsZeroColBI 2011-02 IsZeroCol<2010-10
- IsZeroRowBI 2011-02 IsZeroRow<2010-10
J top
Jacobian jacobianBI 2011-02 jacobian2011-02
K top
Ker
L top
Last lastBI 2011-03 (STL)-
Latex Latexpkg 2010-10 --
LC LCBI <2010-10 LC<2010-10
LCM lcmBI 2011-01
impr 2011-02
lcm<2010-10
Len len, NumTermsBI <2010-10 len, NumTerms(poly)2011-03
LexMat LexMatBI 2011-03 IdentityMat<2010-10
LexSegmentIdeal
LinearSimplify
LinKer
LinKerModP
LinSol
List listTL 2011-03 --
LM LMBI 2010-11 monomial(R,LC(f),LPP(f))<2010-10
Log logBI 2010-11 exponents
ZZExponents
<2010-10
LogToTerm LogToTerm(P, L)pkg 2011-01 PPMonoidElem ctor<2010-10
LPos
LPP LPPBI 2010-11 LPP<2010-10
LT LTBI 2010-11
M top
MakeCheck make check (tests directory)<2010-10
MakeMatByRows, MakeMatByCols MakeMatByRows, MakeMatByColspkg 2011-02
MakeSet MakeSetpkg 2010-12 (STL?)-
Man ? (question mark)BI <2010-10 doc directory<2010-10
MantissaAndExponent MantissaAndExponentpkg 2011-01 GMP?-
MapDown
Mat mat(L), mat(R, L)pkg 2011-02 NewDenseMat<2010-10
MatConcatAntiDiag ConcatAntiDiagBI 2011-02 ConcatAntiDiag<2010-10
MatConcatDiag ConcatDiagBI 2011-02 ConcatDiag<2010-10
MatConcatHor ConcatHorBI 2011-02 ConcatHor<2010-10
MatConcatVer ConcatVerBI 2011-02 ConcatVer<2010-10
MayerVietorisTreeN1 MVTN1<2010-10
Max Maxpkg 2011-01 --
MaximalStandardMonomials_Frobby5
MDeg wdegBI 2011-01 wdeg<2010-10
Memory
Min Minpkg 2011-01 --
MinGens
Minimalize
Minimalized
MinimalPresentation
Minors
MinPowerInIdeal MinPowerInIdealTL 2011-03
MinSyzMinGens
Mod modBI <2010-10 mod
%
<2010-10
Mod2Rat
Module module
FreeModule
<2010-10
Monic monicBI 2011-01 monic2011-01
Monomials monomialsBI 2010-11 --
MonsInIdeal
More XXX- --
Multiplicity
N top
NewId X?X --
NewLine NewLine
\n
pkg <2010-10
BI
\n (C)-
NewList NewListBI 2011-03 ctor (STL)-
NewMat NewDenseMatBI 2011-02 ctor<2010-10
NewVector ctor ModuleElem<2010-10
NextPPrime NextProbPrimeBI 2011-01 NextProbPrime<2010-10
NextPrime NextPrimeBI 2011-01 NextPrime<2010-10
NF NFBI 2011-03 NF<2010-10
NFsAreZero
NonZero NonZeropkg 2011-01 (STL?)-
Not, And, Or not, and, orBI <2010-10 !, &&, || (C)-
NR NRBI 2010-11 NR<2010-10
Num numBI <2010-10 num<2010-10
NumCols NumColsBI 2011-02 NumCols<2010-10
NumComps NumCompts<2010-10
NumIndets NumIndetsBI 2010-11 NumIndets<2010-10
NumRows NumRowsBI 2011-02 NumRows<2010-10
- NewFractionFieldBI 2010-11 NewFractionField<2010-10
- NewRingFpBI 2010-12 NewRingFp<2010-10
- NumDigitsBI <2010-10 NumDigits<2010-10
- NumTermsBI 2011-03 NumTerms<2010-10
O top
OpenIFile (C++)-
OpenIString (C++)-
OpenLog --
OpenOFile OpenOFile<2010-10 (C++)-
OpenOString OpenOString (C++)-
OpenSocket SocketStream<2010-10
Option X?X --
Ord ordering(PPM)<2010-10
- one(ring)<2010-10 one<2010-10
P top
Packages --
Panel X?X --
Panels X?X --
Partitions Partitionspkg 2010-12
Permutations Permutationspkg 2010-12
PerpIdealOfForm
Pfaffian
PkgName PkgNameBI <2010-10 --
PlotPoints PlotPointspkg 2011-01
PlotPointsOn PlotPointsOnpkg 2011-01
Poincare HilbertNumeratorMod_C (tmp)
HilbertNumeratorMod (tmp)
<2010-10
PoincareShifts
PoincareMultiDeg
Poly RingElem(R,..)BI 2011-02 RingElem ctor< 2010-10
PositiveGrading4
PowerMod PowerModBI 2010-11 PowerMod<2010-10
PreprocessPts5 PreprocessAggrAlgm
PreprocessGridAlgm
PreprocessSubdivAlgm
<2010-10
PrimaryDecomposition
Print printBI <2010-10 cout <<<2010-10
Print On Print OnBI <2010-10 cout ...<2010-10
PrintLn PrintLnBI <2010-10 cout << .. << endl;<2010-10
Product productBI <2010-10 product<2010-10
- powerBI <2010-10 power<2010-10
- PolyAlgebraHomBI 2011-01 PolyAlgebraHom<2010-10
- PolyRingHomBI 2011-02 PolyRingHom<2010-10
- PrintHGIndicespkg 2011-02 --
- PseudoInverseBI 2011-02 PseudoInverse< 2010-10
Q top
Quit quitBI <2010-10 --
QuotientBasis QBGenerator.myQB ?<2010-10
QZP
R top
Radical
RadicalOfUnmixed
Rand random random
RandomBitStream
RandomLongStream
RandomZZStream
<2010-10
Randomize --
Randomized --
Rank rankBI 2011-03 rank (matrix)<2010-10
RealRootRefine RealRootRefinepkg 2011-01
RealRoots RealRootspkg 2011-01
RealRootsApprox RealRootsApproxpkg 2011-01
Record recordBI <2010-10 --
ReducedGBasis TidyGens<2010-10
RefineGCDFreeBasis RefineGCDFreeBasisTL 2011-03
Reg, Reg5
RegularityIndex
RelNotes --
Remove removeBI <2010-10 remove_if (STL)-
Repeat repeatBI <2010-10 --
Res
Resultant resultantTL 2011-03
Reset X?X
ResetPanelsX?X
Return returnBI <2010-10 return (C)-
Reverse, Reversed reverse, reversedBI 2011-02 reverse_iterator (STL)-
RevLexMat RevLexMatBI 2011-03 NewDenseMatRevLex<2010-10
Ring -- --
RingEnv RingOfBI 2011-03 owner
AmbientRing
BaseRing
<2010-10
RingEnvs X?X --
RingEnvSet RingSet2011-01 --
RMap PolyAlgebraHom
RMap(obs)
BI 2011-01
pkg 2011-01
RingHom<2010-10
RootBound RootBoundpkg 2011-01
RowMat RowMat(L) RowMat(R,L)pkg 2011-02 RowMat<2010-10
- roundBI <2010-10 round<2010-10
- RingElemBI 2011-02 RingElem ctors<2010-10
S top
Saturation saturateBI 2011-03 ComputeSaturation (tmp)<2010-10
ScalarProduct ScalarProductBI <2010-10 --
Seed Random*Stream ctor<2010-10
SeparatorsOfPoints
SeparatorsOfProjectivePoints
Set, Unset X?X --
Set Indentation indent(L, opt level)pkg 2011-02
Shape shapepkg <2010-10
Sign signBI <2010-10 sign<2010-10
Size
Skip skipBI <2010-10 --
SmoothFactor SmoothFactor (diff result)BI 2011-01 SmoothFactor<2010-10
Sort Sortpkg 2011-01 mySort
sort (STL)
<2010-10
Sorted Sortedpkg 2011-01 --
SortBy SortBypkg 2011-02 sort (STL)<2010-10
SortedBy SortedBypkg 2011-02 --
Source sourceBI <2010-10 --
Spaces
Sprint sprintBI <2010-10 --
StableBBasis5 SOITwinFloat<2010-10
StableBBasisNBM5 NBMTwinFloat<2010-10
StableIdeal
StarPrint, StarSprint X?XX?X --
Starting --
SubalgebraMap
SubalgebraRepr
Submat submatBI 2011-03 submat<2010-10
StronglyStableIdeal
Subsets Subsetspkg <2010-10 --
Subst [see PolyAlgebraHom]
Subst(obs?)
BI 2011-01
pkg 2011-01
RingHomRingHom
Sum sumBI <2010-10 sum<2010-10
Support supportBI 2010-11 --
Sylvester sylvesterTL 2011-03
Syz ComputeSyz (tmp)<2010-10
SyzMinGens
SyzOfGens
- SetRow(M,i,v)BI 2011-02
- SetCol(M,i,v)BI 2011-02
T top
Tag tagBI <2010-10 --
Tagged taggedBI <2010-10 --
Tail tailTL 2011-03 (STL)-
TensorMat TensorMatBI 2011-03 TensorMat2011-03
Toric
Transposed transposedBI 2011-02 transpose<2010-10
Tuples Tuplespkg 2010-12 --
Type typeBI <2010-10 --
TypeOfCoeffs CoeffRingBI 2010-12 CoeffRing<2010-10
Types CurrentTypesBI 2011-02 --
- TopLevelFunctionsBI 2011-01 --
U top
UnivariateIndetIndex UnivariateIndetIndexpkg 2011-01 (IsIndet)<2010-10
Unset X?X
Untagged untaggedBI <2010-10 --
Use useBI <2010-10 --
Using XXX --
V top
Var ref
Var(str) XXX
BI <2010-10 --
Vector ModuleElem<2010-10
W top
Weights NewMatrixOrdering<2010-10
WeightsList XXX-
WeightsMatrix ordering, GradingDim<2010-10
While whileBI <2010-10 while (C)-
WithoutNth WithoutNthpkg 2011-01 (STL?)-
WLog XXX-
X top
XelMat XelMatBI 2011-03 NewDenseMatXel2011-03
Z top
ZPQ
- zero(ring)<2010-10 zero<2010-10
- ZeroMat(R, NR, NC)BI 2011-03 ZeroMat<2010-10