CoCoA-5.4.2 Incr from 5.4.0 30% 153 issues (29 closed — 124 open) Related issues Bug #716: NotBuiltin.cpkg5: indent for MODULE Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized Bug #946: Function "ideal" evaluates the argument twice Bug #1104: Eigenvectors: inconsistent return type Bug #1171: RealRoots: first point is sometimes wrong? Bug #1237: ker: for PolyAlgHom from QQ[x,y,z] to QQ(t) Bug #1244: MSatLinSolve: req minor improvements Bug #1320: CoCoA-5 manual: incorrect empty line in syntax box (in PDF file) Bug #1429: Stack overflow reading long list (SEGV) Bug #1435: Disable readline if input is redirected Bug #1475: HilbertSeries: make into proper rational function Bug #1502: SystemCommand in Microsoft version Bug #1539: Website: installation instructions for Microsoft Bug #1552: subst: not checking args properly Bug #1560: elim for modules Bug #1573: ApproxSolve: very imprecise Bug #1574: ApproxSolveTF Bug #1604: SqFreeFactor crashes over non-perfect field Bug #1623: EmacsUI: annoying colours Bug #1634: Unexpected or unhelpful error using GroebnerFanIdeals Bug #1639: RealRoots: crashes after interrupting Bug #1640: MinSubsetOfGens does not find min subset Bug #1695: boost-find-lib.sh Bug #1708: Linux: just 1 executable, should be 2 (with & without readline) Bug #1714: IsDivisible error (in QuotRing) Bug #1717: CRASH: equality test to a FUNCTION Bug #1734: Fix call to HilbertPoly in test/TutHokkaido5 Bug #1745: Printing of Hilbert series via indent Bug #1746: ManExamples target: need t reset VerbosityLevel Bug #1766: Emacs 29: Removal of obsolete entries Bug #1781: GenReprCompute: SERIOUS ERROR Bug #1794: Strange bug: demo-Osaka2015 Bug #1795: Makefile problem: needlessly relinks CoCoAInterpreter Design #83: C++11 compatibility questions Design #474: Eliminate package BinRepr Design #476: Review utility of package IO Design #610: Variable It: assign before or after printing Design #635: Automatic mapping of RingElem (in operation with a compound value) Design #929: Clean up CoCoALibSupplement Design #1041: Separators for elements of a list Design #1075: LaTeX package: power-product printing Design #1146: Use Flatpak and/or Snap on Linux? Design #1192: RealRoots: rational roots (but not binary rational roots) Design #1292: Interpreter: fns which accept INT or RAT Design #1425: MakeTerm: implement in C++ Design #1432: Emacs UI: cocoa5-shell-check-process vs. process-status Design #1453: Use symbolic links for release files Design #1456: IntersectList or IntersectionList Design #1477: Packages: questions from Andraschko Design #1496: Use "special" names for variables inside tests Design #1508: Initial ring Design #1519: Interpreter fn Value::from can use std::move? Design #1533: RingElem and IndetSymbols not compatible Design #1544: CoCoA coding conventions for parser/interprer? Design #1545: CoeffOfTerm: in CoCoALibSupplement Design #1551: Emacs: avoid making buffer visible in 2 "windows"? Design #1568: RMap and image: obsolescent? Design #1626: NewMat: should be obsolescent? Design #1631: Use filesystem::path instead of string (packageDir, CoCoAManFileName) Design #1679: BuiltinFunctions-GFan includes normaliz?!? Design #1681: Should Starting be case-insensitive? Design #1696: Which BOOST libs are actually needed? Design #1697: Specifying BOOST in configure Design #1698: indent: return a string? Design #1709: Test tut-CoCoLA2 Design #1772: Continued fraction: arg type RAT or RAT/INT? Feature #7: Automatic mapping between (some) rings Feature #78: Elim ordering and matrix ordering in CoCoA-5 Feature #97: OpenOFile Feature #216: Janet Bases: port function into CoCoA-5 Feature #368: port SmithNormalForm (CoCoA-4)package to CoCoA-5 Feature #461: New keyword "|->"? (same as "return") Feature #578: Gaussian Elimination Feature #579: Prototype package for Linear Commutative Algebra Feature #723: Referring to indets with multiple indices from a polyring Feature #823: NewPolyRing with weights -- better interface? Feature #865: Implicit: make easier to use with rational functions Feature #912: Add TUTORIALs to online manual Feature #1072: syz: apply to ModuleElem? Feature #1112: New function: IsEmpty Feature #1204: MinPoly for matrix: fix in cocoalib and export to cocoa5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files Feature #1293: Vim Plugin for CoCoA Feature #1313: Automatic conversion from RINGELEM to INT Feature #1372: New function: find ? Feature #1373: GFan also for Microsoft? Feature #1415: thmproving package Feature #1469: Get indexed indets from a polyring Feature #1476: Lin alg with polys Feature #1503: More flexible ring creation syntax (after use or ::=) Feature #1535: New functions: argmin, argmax Feature #1541: foreach with ref to list entry? Feature #1549: Add sagbi package Feature #1564: Geometrical theorem proving package Feature #1583: New fn ElapsedTimeFrom? Feature #1587: Multiline string literals (again) Feature #1616: UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's Feature #1644: Allow user to choose whether to print finite field elems as symm residues or non-neg residue Feature #1648: ApproxSolve and RationalSolve take different input Feature #1659: Jordan Normal Form? Feature #1671: Refactor C++ impl in OnlineHelp Feature #1701: Preliminary packages Feature #1718: FactorINT with time-out Feature #1724: New function: AdjacentMinors Feature #1747: NewPolyRing with indices -- better interface? Slug #31: theValue makes copy Slug #465: Emacs UI; remove cruft Slug #709: Speed of some Normaliz calls (NmzComputation) Slug #750: C5 GUI: very slow when printing many short lines Slug #948: radical is slow (compared to singular) on these examples Slug #1141: IsInRadical: for monomial ideals Slug #1228: SLUG: filling an array Slug #1229: append is slow Slug #1556: DivAlg slower than NR Slug #1581: Slow sqfr: rad(f) Slug #1629: RingElem slow with many indets Slug #1638: MinSubsetOfGens sometimes very slow Slug #1760: Quitting can be slow Support #181: Functions throwing error even though (trivially) defined Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi) Support #322: Installation instructions (on website) Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate Support #557: CoCoAManual: improve part on input/output Support #977: "universal denominator" (related with GroebnerFanIdeals) Support #985: Microsoft (Windows 10, maybe other versions): more help for installation Support #1071: LinKerBasis is user-unfriendly Support #1079: CoCoAManual: AffHilbertFn accepts also ideal (correct?) Support #1241: GDPR: website, mailing list Support #1245: Online manual entry for RingElem needs to be improved Support #1252: ShapeLemma: no manual entry Support #1350: CoCoA manual: entry for operators, shortcuts Support #1365: Package EdgeIdeal not documented Support #1393: GUI with Qt5 Support #1418: Manual entry for NewPolyRing Support #1430: HTML manual: search using keywords? Support #1440: Surprising parser error: INT+DOT+IDENTIFIER Support #1445: Automatic way to produce statically linked CoCoAInterpreter Support #1454: Filenames in release CoCoAManual/html containing [obsolete] Support #1474: Website: link to JSAG? Support #1480: Documentation for making ring with parameters Support #1486: Emacs UI: indentation in a package Support #1534: Install CoCoA-5 on MacOS-10.15+ Support #1548: Man page for UniversalGBasis Support #1566: What does rad do? Support #1603: Unhelpful behaviour in "compatibility mode": double error mesg Support #1621: Doc for the various BuiltIn files Support #1636: Missing/Incomplete manual entries Support #1650: Potentially confusing prompt: waiting for semicolon Support #1663: GCDList not documented Support #1675: Version 5.4.0 requires Visual C++ Runtime 2013 on Windows Support #1686: Manual entry for random (see also) Support #1688: Release CoCoA 5.4.2 Support #1741: Documentation/Manual for HilbertFn
CoCoA-5.4.4 25% 20 issues (0 closed — 20 open) Related issues Bug #469: Emacs UI: keywords in multiline comments Bug #1406: Poor memory management? Bug #1622: BuiltinOneLiners -- less precise location in error messages Bug #1624: CantStop playing CantStop Design #1728: Refine Poset impl & doc Design #1762: CoCoA web site "analytics" Design #1765: Difference between seealso and keys? Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5 Feature #1246: Revive old CoCoA4 package called "cocoa5.cpkg" Feature #1596: Add CoCoA5 function NmzHilbertBasisKer Feature #1731: Verbosity level in CoCoA5 Feature #1732: EvalPolyAtMat Feature #1752: Make it easy to run the tests in a public/distrib version Feature #1805: Add CoCoA-5 syntax: syz(<F,> list of ModuleElem) Feature #1806: New function ModuleElems? (like RingElems(RING, STRING)) Slug #1363: Emacs UI: slow with long lines Slug #1578: SLUG: RationalSolve slow and stupid Support #177: CoCoAManual: General part of the documentation is obsolete: update? discard? Support #1077: Manual: remove old stuff about "devices" Support #1759: Better error mesg for 1.2.3.4?
CoCoA-5.?.? 4% 121 issues (2 closed — 119 open) Related issues Bug #38: GUI: open file "with C5" Bug #100: BringIn should map only the indets in its arg Bug #148: C-c C-p in emacs goes to wrong line Bug #171: Negate LIST, MAT,... Bug #287: --fullCoCoALibError prints too much (Try/UponError) Bug #422: Bug or feature for protected name? (Use command) Bug #468: Emacs UI: indentation is wrong after ?keyword Bug #486: Warning about variable hiding another -- too zealous Bug #611: GUI: qutting provokes Imminent Disaster Bug #612: The C5 gui does not exit properly when using the exit menu entry Bug #660: Emacs UI: endfunc does not indent the line Bug #663: Emacs UI: C-c C-\ copies line cursor is on Bug #669: NUL char in input terminates CoCoA-5 Bug #671: Emacs UI: swapped splitting Bug #712: External Libs: missing dependencies in Makefiles Bug #749: IsDefined does not follow reference to undefined optional param Bug #753: New function: LeastDegPolynomial (LDP) Bug #772: Emacs UI: send-region and send-line make sense inside a cpkg5 file? Bug #928: ciao, exit, quit can be used not only at top level Bug #1076: EmacsUI: interrupt copies line cursor is on to bottom then interrupts Bug #1093: GUI: bugs and slugs Bug #1234: CoCoA should read unicode Bug #1291: LinearSimplify: somtimes not optimal Bug #1351: Clean up package points.cpkg Bug #1713: Windows: Qt-Gui does not link correctly Design #363: Colon operator, 2nd arg Design #376: Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C Design #412: intersection (all lower case) Design #424: Emacs UI: Name of emacs init file Design #477: Eliminate keyword Alias? Design #483: Unique copies of rings in CoCoA-5 Design #491: Cleaning: Cruft in CoCoA-5 packages Design #527: GUI: better name for the graphical interface? Design #597: Interpreter.C: remove calls to WrongTypeException Design #646: Unique copies of free modules? Design #656: eval: in which ring should the result be? Design #917: CallOnGroebnerFanIdeals: better to use an iterator (or a "stream") Design #920: Empty matrix: warning, error, or empty matrix? Design #943: Managing credits Design #984: GroebnerFanIdeals: order matrices sometimes have "large" entries Design #989: init file obligatory? Design #1116: Port RowMat, ColMat, MatByRows,... to CoCoA-5 Design #1138: Latex: matrix Feature #13: (short) manual for emacs interface Feature #35: Optional warnings for fn-proc arity Feature #95: Error/warning if fn-proc is neither fn nor proc? Feature #101: rethrow in Try .. UponError .. EndTry Feature #106: I:f (IDEAL and RINGELEM) -- operator colon Feature #133: Qt GUI: Make better distinction between input and output in the output window Feature #136: GUI: Add an edit menu to the top bar (CoCoA GUI on MacOS) Feature #183: Template for unaryMinus? Feature #235: Add LucasTest to cocoa5? Feature #274: InputForm for output readable as input Feature #276: TeXmacs interface Feature #299: GUI: message "running.." (close to output window?) Feature #375: allow single function call in "use" : e.g. "Use NewFractionField(R);" Feature #388: port optimized resolutions to CoCoA-5 Feature #421: Allow user to give a name to a ring (in C5) Feature #451: Port function NewSymbol/NewSymbols to CoCoA-5 Feature #453: Automatic conversion from INT (or RAT) to RINGELEM Feature #454: interpolate Feature #487: ScalarProduct accepts MatrixRow? Feature #492: New C5 fn for adjusting the warning level Feature #501: Toric: resurrect function TestSet (and find betterr name for it?) Feature #504: New operators: += -= *= /= Feature #512: Resurrect MakeCheck() Feature #600: efficient subalgebras Feature #614: Add functions based on MayerVietorisTree Feature #626: Output Betti numbers Feature #633: New operations? ScalarProduct(MODULELEM,LIST), MATRIX * MODULELEM Feature #653: Emacs UI: use "warning colour" for an unmatched */ Feature #657: use command, ring syntax, RingOf Feature #659: Ring ID: separate index values for "system created rings"? Feature #702: Add more operations for modules Feature #720: External libs: specifying I/O streams (initialization?) Feature #731: Primary Decomposition in CoCoA-5 Feature #737: Elementary transcendental functions (sin, cos, tan, log, exp) Feature #770: CoCoA type "cone" Feature #857: floor, ceil, and NearestInt for RingElem in CoCoA-5? Feature #876: subst: allowed also for indets in the coeff ring Feature #888: Escaped newline to allow a long line to be split into several "physical lines" Feature #960: New function: IdealAndSeparatorsOfPoints Feature #964: New function: MakeMultiset? Feature #980: CoeffSize: function to measure the size of coeffs in a poly Feature #993: New function: RingQQi()? extension of QQ with imaginary unit Feature #1003: New syntax for creating poly rings? Feature #1107: CoCoA Online: install (using InteractiveShell) Feature #1129: Generic Timeout for CoCoA-5? Feature #1153: New function: gin for algebraic extensions Feature #1271: Allow Interruption of printing? Feature #1285: New Fn: make a homogeneous list of ringelem Feature #1296: Matrixrow-functions Feature #1305: Create a directory Slug #96: sort is too slow Slug #230: More curiously slow code -- squaring a polynomial Slug #434: Emacs UI: very slow when input file is big (with long lines) Slug #435: Assignment to protected variable Slug #480: gcd too slow for large degree univariate poly Slug #655: MakeSet can be very slow Slug #862: append has bad complexity Slug #875: Interpreter is too slow reading a big polynomial Slug #1025: Example of slow LEX GBasis computation Slug #1068: PolyRing constructor: NewOrdvArith computed twice Slug #1275: incr and decr are slow Slug #1722: Daft slug Support #198: Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI Support #290: Which functions are defined in CoCoALibSupplement? Support #296: Documentation for Parser/Interpreter Support #323: system variables Support #629: Windows-GUI: compilation with MinGW Support #677: Credits to CoCoA-5 contributors Support #879: LOGAR: make CoCoA-5 easier to use Support #915: When is a semicolon needed to end a statement/command? Support #916: use command: unhelpful error if you use := instead of ::= Support #941: Improve coverage of CoCoA-5 tests Support #1006: External dependencies for building Support #1031: ScalarProduct: exact defn and manual page Support #1034: Improve error message when args to (infix operator) IsIn have incompatible types Support #1054: CoCoAManual: improved search, or improved selection of "see also" pages Support #1314: Emacs UI: open manual pages in a separate frame? Support #1707: User forum?
CoCoA-5.split.release empty slot for splitting releases, in case of urgent release No issues for this version