Project

General

Profile

Issues

Filters

Apply Clear

# Project Parent task Priority Subject Assignee Updated Category % Done
1564 CoCoA-5 Normal Geometrical theorem proving package 19 Jan 2021 09:20 CoCoA-4 function to be added

1583 CoCoA-5 Normal New fn ElapsedTimeFrom? 18 Mar 2024 21:27 enhancing/improving

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

1644 CoCoA-5 Normal Allow user to choose whether to print finite field elems as symm residues or non-neg residue 03 Feb 2022 19:15 CoCoA-5 function: new

1648 CoCoA-5 Normal ApproxSolve and RationalSolve take different input 03 Feb 2022 19:08 Cleaning

1659 CoCoA-5 Normal Jordan Normal Form? 07 Feb 2022 17:57 CoCoA-5 function: new

1671 CoCoA-5 Normal Refactor C++ impl in OnlineHelp 11 Mar 2024 07:56 enhancing/improving

1701 CoCoA-5 Normal Preliminary packages 18 Mar 2024 21:05 Release

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

1732 CoCoA-5 Normal EvalPolyAtMat 28 Mar 2023 16:35 CoCoA-5 function: new

1747 CoCoA-5 Normal NewPolyRing with indices -- better interface? 29 Jun 2023 18:09 enhancing/improving

1752 CoCoA-5 Normal Make it easy to run the tests in a public/distrib version 06 Jul 2023 12:14 enhancing/improving

1805 CoCoA-5 Normal Add CoCoA-5 syntax: syz(<F,> list of ModuleElem) Anna Maria Bigatti 26 Mar 2024 12:16 Incomplete function

1806 CoCoA-5 Normal New function ModuleElems? (like RingElems(RING, STRING)) 26 Mar 2024 13:44 CoCoA-5 function: new

(76-89/89) Per page: 25, 100

Also available in: Atom CSV PDF