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

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

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

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

960 CoCoA-5 Normal New function: IdealAndSeparatorsOfPoints 02 Nov 2016 18:06 CoCoA-4 function to be added

702 CoCoA-5 Normal Add more operations for modules Anna Maria Bigatti 15 May 2015 09:05 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

512 CoCoA-5 Normal Resurrect MakeCheck() Anna Maria Bigatti 28 Jul 2014 16:20 CoCoA-4 function to be added

501 CoCoA-5 Normal Toric: resurrect function TestSet (and find betterr name for it?) Anna Maria Bigatti 09 Apr 2014 15:53 CoCoA-4 function to be added

487 CoCoA-5 Normal ScalarProduct accepts MatrixRow? 18 Jun 2019 15:22 CoCoA-4 function to be added

454 CoCoA-5 Normal interpolate John Abbott 04 Apr 2014 16:24 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

388 CoCoA-5 High port optimized resolutions to CoCoA-5 Anna Maria Bigatti 02 Jul 2014 16:13 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

171 CoCoA-5 High Negate LIST, MAT,... 04 Apr 2014 16:27 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-17/17)

    Also available in: Atom CSV PDF