CoCoA 5 Release Notes 5.4.0, 5.3.2, 5.2.4, 5.2.2, 5.2.0, 5.1.4, 5.1.2, 5.1.1, 5.1.0
CoCoA 5.4.0 More details on CoCoA Redmine (5.4.0)
================================================================== == Here is an excerpt from the release notes of version 5.4.0 == ================================================================== ==== Added Added some automatic ring conversion: e.g. f/LC(f); f*LC(f); f+LC(f); f-LC(f); Added phi(MAT), phi(LIST) (redmine 1598, 1467) Added RootBoundTransform Added FrobeniusNormSq and HadamardBoundSq; Added DetByMinors Added IsDivisible_AllowFields (redmine 1500) Added RingElemList Added ElapsedTime (redmine 1553) Added substring Added PackageOf Added IsEmpty Added xel (redmine 1536) Added prim (redmine 1580) Added ConcatStrings, FoldToListInput Added RandomSmallPrime Added FactorINT (FactorINT_TrialDiv and FactorINT_PollardRho; redmine 950); Added MinGBoverZZ: GB over ZZ (PROTOTYPE, redmine 1272) Added CanonicalBasis (redmine 1235) Added LinKerZZ (redmine 1658) Added NmzHilbertBasisKer Added syz(F, ListOfPolys); Added ThmProve [PROTOTYPE] ==== Renamed Renamed TensorMat to KroneckerProd Renamed FrobeniusNorm2 to FrobeniusNormSq Renamed ConcatList to ConcatLists (redmine 1151) Renamed jacobian in JacobianMat Renamed SmoothFactor to FactorINT_TrialDiv Renamed MakeTermOrd to MakeTermOrdMat (redine 854) ==== OBSOLESCENT OBSOLETE OBSOLESCENT apply(phi, f) --> call directly phi(f) OBSOLESCENT image and RMap OBSOLETE ColumnVectors ==== Other changes IdealOfPoints allows coordinates to be in other rings (redmine 1589) SetEntry(ref M, i,j, X) with auto ringhom mapping on X ApproxSolve returns a record (as for RationalSolve, redmine 1216) UnivariateIndetIndex(f): now throws error if f is constant (redmine 1617) print func: for user defined function now prints its code Improved prompt handling: printed only if no new line immediately available (redmine 500) Improved to Emacs interface Revived Qt interface (thanks to Ulrich von der Ohe, redmine 1393) Added --do-nothing and --no-prompt option (redmine 1479, 500) Many entries in the manual have been significantly improved Several minor bugs have been fixed RelNotes(N); -- for release notes of last N versions
CoCoA 5.3.2 More details on CoCoA Redmine (5.3.0/5.3.2)
================================================================== == Here is an excerpt from the release notes of version 5.3.2 == ================================================================== == Corrected bug == -- factor(f) could occasionally return a reducible factor == A few new functions have been added == -- ConstantCoeff(f) -- DicksonPoly(x, N, alpha) -- FixedDivisor(f) -- HasPositiveGrading(Kxyz) -- HomogCompt(f,d) -- IsEvenPoly(f), IsOddPoly(f) -- IsSquare(N) -- LawrenceMat(M) -- RandomPermutation(L) -- SprintTrunc(string, trunc) -- package typevectors (upgraded from CoCoA-4) -- package thmproving (upgraded from CoCoA-4) -- ** System commands, files and sockets: ** -- SystemCommand(string) -- assert(condition) -- OpenSocket(HostName, PortNum) -- OpenIFile(FileName) -- OpenIString(str) -- GetLine(InStream) and StandardInput() -- SleepFor(NumSeconds) -- PlayCantStop(player1, player2) -- CoCoA game (using GetLine) == A few functions have been improved == -- GBasisByHomog(I) -- also works for DegLex -- PolyAlgebraHom(R, S, im) -- images may be given as STRING -- PolyRingHom(R, S, phi, im) -- images may be given as STRING -- NewQuotientRing(R, I) -- ideal gens may be given as STRING -- IsDivisible(a,b) -- also for INT -- [5.2.4]CommonDenom(L) -- CommonDenom for all polynomials in L -- RandomSubset(S) --- UTILITIES --- -- [5.2.4]latex(f) -- improved printing of rational coefficients -- == Obsolescent functions == -- [5.2.4]FactorAlgExt: now called factor -- len(POLY), len(MAT) --> use NumTerms, NumRows instead == Online Manual == -- Many entries in the manual have been significantly improved -- ???ApproxSolve Several minor bugs have been fixed in the code and in the manual
CoCoA 5.2.4 More details on CoCoA Redmine (5.2.4)
== A few new functions have been added == -- ChainCanonicalHom(R1, R2) -- DenSigma(I) -- den_sigma(I) -- IsSigmaGoodPrime(p, I) -- is p a sigma-good prime for I? -- RandomLinearForm(P, lo, hi) -- -- SturmSeq -- scaled Sturm sequence -- HasLex, HasMatrixOrdering, HasStdDegLex, HasStdDegRevLex -- package for posets (by E.Palezzato and M.Torielli) -- package for (Hyperplane)Arrangements (by E.Palezzato and M.Torielli) == A few functions have been improved == -- IdealOfProjectivePoints -- fixed bug over QQ -- jacobian -- now also wrt a set of indeterminates -- MinPolyQuot(f,I,x,V) -- choice for faster heuristic verification -- CommonDenom(L) -- CommonDenom for all polynomials in L --- UTILITIES --- -- latex(f) -- improved printing of rational coefficients -- == Obsolescent functions == -- FactorAlgExt: now called factor -- PrimaryDecomposition0: now called PrimaryDecomposition -- FactorAlgExt: now called factor == Online Manual == -- Many entries in the manual have been significantly improved -- ApproxSolve Several minor bugs have been fixed in the code and in the manual
CoCoA 5.2.2 More details on CoCoA Redmine (5.2.2)
== A few new functions have been added == -- ChebyshevPoly (improved), HermitePoly, LaguerrePoly -- PrevPrime, PrevProbPrime -- as for NextPrime ;-) -- RootBound(improved) -- bound for abs value of complex roots of a poly -- graeffe -- graeffe transformation of a poly (squares the roots) -- HilbertMat -- create an n-by-n Hilbert matrix -- RandomSparseNonSing01Mat -- create a random sparse (0,1) matrix with non-zero determinant -- IdealOfGBasis(I) -- with stored GBasis -- IdealOfMinGens(I), SubmoduleOfMinGens -- with stored GBasis -- SubalgebraHom -- for representing subalgebras generated by polys -- GBasisTimeout -- compute a Groebner basis imposing a time limit -- NewZZmod -- create a ZZ/(n), even with n very big or not prime --- UTILITIES --- -- reseed == A few functions have been improved == -- ImplicitHypersurface -- now also for rational parametrization -- saturate -- fixed serious bug for ideal(1) -- MinPolyQuot -- fixed occasional problem in modular call -- ideal -- fixed occasional slow evaluation -- NewPolyRing -- faster for matrix defined orderings --- UTILITIES --- -- latex -- new style for ideals -- RelNotes(N) -- can now print just N versions == Obsolescent functions == -- minimalize/minimalized -- obsolescent -- SubalgebraRepr -- obsolescent == Online Manual == -- Many entries in the manual have been significantly improved -- Added some updated tutorials Several minor bugs have been fixed in the code and in the manual
CoCoA 5.2.0 More details on CoCoA Redmine (5.2.0)
-- Fixed serious bug -- on pre-computed infos in operations with monomial ideals -- Enhanced user experience: -- added verbosity levels and improved interrupt == A few new functions have been added == -- BettiNumbers(IDEAL or quotient RING) -- also multigraded -- IdealOfProjectivePoints(RING, MAT) -- radical(RINGELEM) -- rgin(IDEAL) -- IsRadical(IDEAL) -- GraverBasis(RING, MAT) -- StagedTrees(RINGELEM) -- statistics -- GroebnerFanIdeals(IDEAL) (was \"AllReducedGroebnerBases\" in 5.1.4) -- CallOnGroebnerFanIdeals(IDEAL) -- GFanContainsPositiveVector,GFanGeneratorsOfLinealitySpace,.. -- StdBasis(IDEAL), TgCone(IDEAL) -- IsSqFree(RINGELEM) -- for integers and polynomials -- ReducedGBasisRepr(RINGELEM, IDEAL) -- ReducedGBasisRepr(MODULEELEM, MODULE) -- SectionalMatrix and PrintSectionalMatrix(IDEAL, QuotientRING or MAT) -- FactorAlgExt(RINGELEM) -- FrobeniusMat(IDEAL) -- for 0-dimensional ideal -- FrobeniusBasis(IDEAL) -- for 0-dimensional ideal -- DimQuot(IDEAL) MultiplicityQuot(IDEAL) -- PrimaryDecompositionCore0(IDEAL) -- for 0-dimensional ideal -- PrimaryDecompositionCore0(IDEAL, L) -- for 0-dimensional ideal -- QuotientBasisSorted(IDEAL) -- SymmetricPolys(RING) -- UTILITIES -- -- Improved interrupt (by \"C-c\") -- SetVerbosityLevel(INT) -- VerbosityLevel(INT) -- HasGBasis(IDEAL) -- AreGensMonomial(IDEAL) -- AreGensSquareFreeMonomial(IDEAL) -- IsCoprime(RINGELEM, RINGELEM) -- only for power-products -- QQEmbeddingHom(RING) -- RingElem(RING, STRING) -- now takes expressions -- RandomUnimodularMat(RING, INT) == A few functions have been improved == -- PrintRes -- now also for multigraded resolutions -- TgCone(IDEAL) -- MinPolyQuot(RINGELEM, IDEAL, RINGELEM) -- now faster (C++) -- IsMaximal(IDEAL) -- IsPrimary(IDEAL) -- for 0-dimensional ideal -- radical(IDEAL) -- for 0-dimensional ideal -- PrimaryDecomposition0(IDEAL) -- for 0-dimensional ideal -- SmallestNonDivisor(INT) -- LinKerBasis(LIST or MAT) --- accepts LIST of linear polynomials -- LF(RINGELEM) -- now faster" -- utilities -- -- RingElem/ReadExpr(RING, STRING) is faster and accepts numbers in decimal == Changes to existing functions == -- Renamed TmpNBM to ApproxPointsNBM == Online Manual == -- Many entries in the manual have been significantly improved -- Added some updated tutorials Several minor bugs have been fixed in the code and in the manual
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