CoCoA 5 Release Notes
CoCoA 5.1.6 More details on CoCoA Redmine (5.1.6)
Coming soon!!
CoCoA 5.1.4 More details on CoCoA Redmine (5.1.3/4)
-- New external library: Gfan (by Anders Jensen) == A few new functions have been added == -- AllReducedGroebnerBases (by Anders Jensen) -- UniversalGroebnerBasis (by Anders Jensen) -- GFanRelativeInteriorPoints (by Anders Jensen) -- ImplicitHypersurface(ParametricDescription) -- IsInvertible(RINGELEM) -- IsIrred(RINGELEM) -- IsMaximal(IDEAL) -- IsPrimary(IDEAL) -- NewRingFqLog(p,d), NewRingFqVec(p,d) -- NumGens(IDEAL) -- QuotientingHom(RModI) -- Smith(M), SmithFactor(M) -- describe RING -- eigenfactors -- reg (Castelnuovo-Mumford regularity by Eduardo Saenz-de-Cabezon) -- depth(quotientRING) == Changes to existing functions == -- LexMat(INT), RevLexMat(INT), StdDegRevLexMat(INT), .. ----> now they return a matrix over ZZ (was QQ) -- EdgeIdeals (by Adam Van Tuyl) -- PrimaryDecomposition0 (by Elisa Palezzato) -- GeomModelling package (by Elisa Palezzato) -- updates to CoLa package (by Elisa Palezzato) -- improved MinPoly(MAT) -- Renamed CompleteToOrd --> MakeTermOrd -- Renamed isqrt --> FloorSqrt -- Renamed ilog --> FloorLogBase -- Renamed log --> exponents -- Renamed LogToTerm --> MakeTerm == Online Manual == -- Many entries in the manual have been significantly improved. Several minor bugs have been fixed in the code and in the manual
CoCoA 5.1.2 More details on CoCoA Redmine
-- CoCoA-5 is now compiled with "readline", that means that ---> (running CoCoA in a terminal) arrows up/down now work!! :-) -- Computing inverse in simple algebraic extensions, that means that ---> alg ext can be used as coefficient rings for GBasis (at last!) -- Interrupt check at the end of each reduction, that means that ---> a (too long) GBasis computation may be stopped with "control-C" == A few new functions have been added == -- NewRingWeyl --- experimental ;-) -- ExternalLibs -- RandomSubset, RandomSubsetIndices -- RandomTuple, RandomTupleIndices -- domain, codomain -- IsQQ, IsZZ -- CanonicalRepr -- reg (Castelnuovo-Mumford regularity by Eduardo Saenz-de-Cabezon) -- PrimaryDecomposition0 (by Elisa Palezzato) -- PrimaryDecompositionGTZ0 (by Luis David Garcia) -- CoLa package (by Elisa Palezzato) -- GeomModelling package (by Elisa Palezzato) -- DesignOfExperiments package (by Anna M.Bigatti, Massimo Caboara) == Changes to existing functions == -- NewPolyRing now easier ("x,y,z" given as a single string) -- SymbolRange now accepts multiple indices -- Renamed ID --> RingID -- Renamed MinGensGeneral --> MinSubsetOfGens -- Renamed PrimaryPoincare --> PrimaryHilbertSeries -- Renamed RingSet --> RingsOf -- Renamed valuation --> FactorMultiplicity == Online Manual == -- Many entries in the manual have been significantly improved. Several minor bugs have been fixed in the code and in the manual
CoCoA 5.1.1 More details on CoCoA Redmine
== A few new functions have been added == -- ApproxSolve, RationalSolve of a polynomial system -- BettiDiagram, BettiMatrix -- CheckArgTypes -- GradingMat (grading of a polynomial RING) -- ID of a RING -- IsInjective, IsSurjective, ker, PreImage of a RINGHOM -- MayerVietorisTreeN1 -- NmzDiagInvariants, NmzEhrhartRing, NmzFiniteDiagInvariants -- NmzIntersectionValRings, NmzTorusInvariants -- ReadExpr (read RINGELEM from a STRING) -- SetRow, SwapRows (in a MAT) -- gin of a polynomial IDEAL -- implicit (implicitization) -- packages == Changes to existing functions == -- "Source" may now be called within loops -- suggestions for misprints have been improved == Online Manual == -- Obsolete and obsolescent functions are now clearly indicated -- New sections for -- Migrating from CoCoA-4 and keeping up-to-date -- Recent changes in the CoCoA-5 language -- Many entries in the manual have been significantly improved. Several minor bugs have been fixed in the code and in the manual
CoCoA 5.1.0 More details on CoCoA Redmine
== A few new functions have been added == -- ContentFreeFactor -- GetCol, GetCols, GetRow, GetRows of a MAT -- InitialIdeal, TgCone, PrimaryPoincare -- IsConstant -- IsQuotientRing, DefiningIdeal -- IsZeroCol, IsZeroRow -- MantissaAndExponent2, MantissaAndExponent10 -- NumPartitions -- PrimitiveRoot -- PrintBettiMatrix, PrintBettiMatrix, PrintRes -- PrintRes, PrintBettiDiagram, PrintBettiMatrix -- ScientificStr -- SqFreeFactor (also for finite characteristic) -- TimeFrom -- ceil, floor, round -- cyclotomic -- incr, decr of an INT -- swap -- valuation == Changes to existing functions == -- field names in a factorization have changed; -- several functions are now implemented in C++; -- some fns are obsolescent (e.g. List, Comp, Mod2Rat, Functions) == Changes to the syntax == -- Not(...) is now a function to avoid ambiguities: use parentheses -- anonymous functions are now placed in Func(..) ... EndFunc == Online Manual == -- Many entries in the manual have been significantly improved. Several minor bugs have been fixed in the code and in the manual
CoCoA 5.0.9 Details on CoCoA Redmine
CoCoA 5.0.3 Details on CoCoA Redmine
CoCoA 5.0.2 Details on CoCoA Redmine