Project

General

Profile

Issues

Filters

Apply Clear

# Project Parent task Priority Subject Assignee Updated Category % Done
1777 CoCoALib Normal VerificationLevel: just 3? Low, high, guaranteed? 16 Feb 2024 10:00 Various

1677 CoCoALib Normal release-source script: use shell globbing? 16 Feb 2024 10:01 Tidying

1699 CoCoALib Normal Shell scripts: Shebang line, etc 16 Feb 2024 10:01 Portability

1607 CoCoALib Normal Coding guidelines 16 Feb 2024 10:02 Documentation

1600 CoCoALib Normal Detect updated versions of external libs 16 Feb 2024 10:02 Safety

1465 CoCoALib Normal mul(MAT,MAT,MAT) 16 Feb 2024 10:04 Tidying

1637 CoCoALib Low Intersection of Ideals: has GBasis? 16 Feb 2024 17:25 Improving

1492 CoCoALib Low submat of a submat 16 Feb 2024 17:28 Improving

1571 CoCoALib Normal ker_H needs care Anna Maria Bigatti 16 Feb 2024 17:49 Maths Bugs

1441 CoCoALib Normal GFan: port CoCoA_5 functions into CoCoALib Anna Maria Bigatti 16 Feb 2024 17:54 New Function

1422 CoCoALib Normal Remove flag IhaveGBasisValue? Anna Maria Bigatti 16 Feb 2024 17:56 Data Structures

924 CoCoALib Normal FlagManager for bool/bool3 flags Anna Maria Bigatti 16 Feb 2024 17:57 Data Structures

1433 CoCoALib Normal HilbertDriven Buchberger Algorithm Anna Maria Bigatti 16 Feb 2024 18:02 New Function

1482 CoCoALib Normal Extended rationals: PlusInfinity and MinusInfinity 16 Feb 2024 18:02 New Function

949 CoCoALib Normal New function: IdealWithIncrementalGBasis(I, f) Anna Maria Bigatti 16 Feb 2024 18:03 New Function

710 CoCoALib Normal Update normaliz interface? 16 Feb 2024 18:25 Improving

1642 CoCoALib Normal interreduce: make monic if over finite field? John Abbott 16 Feb 2024 20:44 Improving

26 CoCoALib High Redmine Administration Anna Maria Bigatti 23 Feb 2024 10:59 Documentation

1783 CoCoALib Normal Code & doc structure: one-big-file or many-small-files? 24 Feb 2024 18:34 Tidying

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

611 CoCoA-5 Low GUI: qutting provokes Imminent Disaster 28 Feb 2024 21:24 GUI

915 CoCoA-5 Low When is a semicolon needed to end a statement/command? 28 Feb 2024 21:27 Parser/Interpreter

1782 CoCoALib Normal Make CoCoALib test file for radical Anna Maria Bigatti 01 Mar 2024 09:44 Tidying

1388 CoCoALib Normal GlobalManager: create SignalWatcher internally? 01 Mar 2024 09:49 Safety

1355 CoCoALib Normal TmpLDP uses srand and time 01 Mar 2024 09:50 Tidying

(526-550/683) Per page: 25, 100, 500

Also available in: Atom CSV PDF