Project

General

Profile

Issues

Filters

Apply Clear

# Project Parent task Priority Subject Assignee Updated Category % Done
1795 CoCoA-5 Normal Makefile problem: needlessly relinks CoCoAInterpreter John Abbott 18 Mar 2024 20:51 enhancing/improving

1781 CoCoA-5 Urgent GenReprCompute: SERIOUS ERROR Anna Maria Bigatti 09 Feb 2024 08:16 bug

1746 CoCoA-5 Normal ManExamples target: need t reset VerbosityLevel Anna Maria Bigatti 22 Dec 2023 20:09 Cleaning

1626 CoCoA-5 Normal NewMat: should be obsolescent? John Abbott 19 Jan 2024 18:11 CoCoA-4 function: obsolete

1623 CoCoA-5 Low EmacsUI: annoying colours Anna Maria Bigatti 19 Jan 2024 16:50 EmacsUI

1393 CoCoA-5 Normal GUI with Qt5 Ulrich von der Ohe 30 Nov 2022 22:07 GUI

1246 CoCoA-5 Urgent Revive old CoCoA4 package called "cocoa5.cpkg" Anna Maria Bigatti 14 Mar 2023 11:58 CoCoA-4 function to be added

1596 CoCoA-5 Normal Add CoCoA5 function NmzHilbertBasisKer Anna Maria Bigatti 14 Mar 2023 14:59 CoCoA-5 function: new

946 CoCoA-5 Urgent Function "ideal" evaluates the argument twice Anna Maria Bigatti 23 Feb 2022 12:14 Parser/Interpreter

912 CoCoA-5 Urgent Add TUTORIALs to online manual 17 Oct 2022 14:02 Manual/documentation

7 CoCoA-5 High Automatic mapping between (some) rings Anna Maria Bigatti 10 Mar 2023 17:08 Parser/Interpreter

1794 CoCoA-5 Normal Strange bug: demo-Osaka2015 19 Apr 2024 22:10 bug

1776 CoCoA-5 Normal CoCoA-5 releases on redmine Anna Maria Bigatti 12 Jan 2024 11:53 Manual/documentation

1731 CoCoA-5 Normal Verbosity level in CoCoA5 Anna Maria Bigatti 11 May 2023 07:34 enhancing/improving

1293 CoCoA-5 Low Vim Plugin for CoCoA 24 Sep 2021 21:47 GUI

1077 CoCoA-5 Normal Manual: remove old stuff about "devices" John Abbott 14 Mar 2023 22:02 Manual/documentation

177 CoCoA-5 Normal CoCoAManual: General part of the documentation is obsolete: update? discard? Anna Maria Bigatti 10 Mar 2023 17:02 Manual/documentation

175 CoCoA-5 Normal Approximate BuchbergerMoeller: port to CoCoA-5 Anna Maria Bigatti 14 Mar 2023 22:12 CoCoA-4 function to be added

1415 CoCoA-5 Normal thmproving package Anna Maria Bigatti 13 Jun 2022 15:31 CoCoA-4 function to be added

322 CoCoA-5 High Installation instructions (on website) Anna Maria Bigatti 13 Jun 2022 15:32 Manual/documentation

31 CoCoA-5 Normal theValue makes copy Anna Maria Bigatti 18 Feb 2022 16:42 Parser/Interpreter

1760 CoCoA-5 Normal Quitting can be slow 06 Aug 2023 12:16 Cleaning

1713 CoCoA-5 Low Windows: Qt-Gui does not link correctly Nico Mexis 25 Feb 2024 20:42 GUI

1534 CoCoA-5 Immediate Install CoCoA-5 on MacOS-10.15+ 07 Oct 2022 14:35 Manual/documentation

1502 CoCoA-5 Normal SystemCommand in Microsoft version John Abbott 03 Feb 2022 19:46 bug

(1-25/270) Per page: 25, 100, 500

Also available in: Atom CSV PDF