Project

General

Profile

Issues

Filters

Apply Clear

# Project Parent task Priority Subject Assignee Updated Category % Done
1415 CoCoA-5 Normal thmproving package Anna Maria Bigatti 13 Jun 2022 15:31 CoCoA-4 function to be added

977 CoCoA-5 Normal "universal denominator" (related with GroebnerFanIdeals) 03 Feb 2022 19:11 CoCoA-4 function to be added

614 CoCoA-5 Normal Add functions based on MayerVietorisTree Anna Maria Bigatti 04 Sep 2014 14:05 CoCoA-4 function to be added

412 CoCoA-5 Normal intersection (all lower case) Anna Maria Bigatti 28 Jul 2014 17:41 CoCoA-4 function to be added

368 CoCoA-5 Normal port SmithNormalForm (CoCoA-4)package to CoCoA-5 Anna Maria Bigatti 22 Jan 2024 10:37 CoCoA-4 function to be added

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

78 CoCoA-5 High Elim ordering and matrix ordering in CoCoA-5 Anna Maria Bigatti 28 Mar 2024 07:25 CoCoA-4 function to be added

    (1-7/7)

    Also available in: Atom CSV PDF