CoCoA » CoCoALib

20 Oct 2013

14:49 Feature #47 (In Progress): Squarefree factorization - multivariate polynomials

JAA is translating Alessio D'Ali's impl (in CoCoA5) into C++.
Most of the translation is complete, but it does not... John Abbott

18 Oct 2013

20:38 Feature #407: RingElem ctor from mpz_t (from Bruns)

I have an initial implementation. CoCoALib compiles, but there are _compilation_ problems in the tests. The problem... John Abbott

16:37 Feature #407: RingElem ctor from mpz_t (from Bruns)

Should there also be assignment of @RingElem@ values from @mpz_t@ and @mpq_t@?
NOTE: a simple (but inefficient) impl... John Abbott

16:32 Design #410 (Closed): New file: BigRatOps

Should @BigRat@ be split into the type defn and a separate @BigRatOps@?
Why is @IntOperations@ not called @BigIntO... John Abbott

17 Oct 2013

08:30 Feature #409 (New): Minimal syzygies (optimized implementation)

As a first step towards a good implementation of @resolution@ in CoCoALib, implement optimized @MinSyz@.
(Naive vers... Anna Maria Bigatti

15 Oct 2013

14:31 Design #408 (Closed): Rename MatrixArith to MatrixOperations

Following the name @IntOperations@ it seems better to use the name @MatrixOperations@ rather than the actual @MatrixA... John Abbott

14 Oct 2013

12:05 Feature #407 (In Progress): RingElem ctor from mpz_t (from Bruns)

Pros and cons
Pros:
* the proposed ctors would make it easier to use CoCoALib features from software which already u... John Abbott

12 Oct 2013

19:58 Feature #407 (Closed): RingElem ctor from mpz_t (from Bruns)

Bruns would like a ctor for @RingElem@ from an @mpz_t@ (or perhaps even @mpz_class@), rather than having to create an... John Abbott

10 Oct 2013

12:42 Design #404: deg(F,X) instead of MaxExponent(F,X) ?

The fn for computing the degree of an indet in a PP is called *@exponent@* (presumably the name was chosen after the ... John Abbott

09 Oct 2013

18:14 Design #404 (Closed): deg(F,X) instead of MaxExponent(F,X) ?

Currently CoCoALib has a fn called *@MaxExponent@* which computes the degree of a poly in an indet.
Can we rename ... John Abbott

18:09 Feature #91: Return type & name for "indets" of a PP

Name suggestions:
* *@IndetSupport@*
Related fns could be *@DependsOn@* as in @DependsOn(f,x)@. Would we need... John Abbott

05 Oct 2013

11:09 Feature #91 (In Progress): Return type & name for "indets" of a PP

The return type @vector<long>@ can easily be modelled in CoCoA-5 (as @LIST@ of @INT@). However, do note that in C++ ... John Abbott