CoCoA Project

19 Jun 2019

09:21 CoCoA-5 Feature #1272: Groebner Bases over ZZ

Few bugs fixed.
We separated GBoverZZ and MinimalGBoverZZ. Elisa Palezzato

17 Jun 2019

05:45 CoCoA-5 Feature #1272: Groebner Bases over ZZ

We modified our package following Robbiano's examples that you can find below.
use ZZ[x,y,z];
f1 := x^2-2*y;
f2... Elisa Palezzato

04 Jun 2019

05:40 CoCoA-5 Feature #1272: Groebner Bases over ZZ

In order to minimize the output of the GB we added the reduction via the GCD of the LCs to the computation of the min... Elisa Palezzato

30 May 2019

04:38 CoCoA-5 Feature #1272: Groebner Bases over ZZ

I have to prepare the package, now it is just a collection of functions. After that for me is fine, we can do it!
... Elisa Palezzato

24 May 2019

04:18 CoCoA-5 Feature #1272: Groebner Bases over ZZ

We also wrote a prototype implementation of GBasis over ZZ. In particular we focused on minimal strong GBasis. Maybe ... Elisa Palezzato