CoCoA Project

06 Jan 2020

06:46 CoCoALib Feature #1381 (In Progress): Type ideal for ZZ[x[1..n]]

Is it possible to add the type ideal for the ring ZZ[x[1..n]]?

19 Jun 2019

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

Few bugs fixed.
We separated GBoverZZ and MinimalGBoverZZ.

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...

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...

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!
...

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 ...

05 Apr 2018

09:29 CoCoA-5 Support #1175 (New): intersection

The intersection of MODULEs need to be exported.

09:26 CoCoA-5 Feature #1174 (Closed): package of a function --> of an identifier!

How to have a function that says in which package is in the input?
Why does not describe have this feature?!
*202...

04 Apr 2018

09:30 CoCoA-5 Bug #1172 (Closed): MinSubsetOfGens: problem with generators = 0

In case of type MODULE there is:
J := submodule(ModuleOf(X), WithoutNth(L,I));
but it does not allow to v...

22 Feb 2018

03:36 CoCoA-5 Bug #1157: FactorAlgExt

Ho cambiato solo il return finale.
Elisa