CoCoA » CoCoALib

29 Oct 2013

15:35 Feature #150: RingOf rather than owner? (and than AmbientRing, ...)

*POSSIBLE DISADVANTAGE* Using names such as @RingOf@, @PPMOf@ (rather than having a single name) could make template ... John Abbott

14:48 Feature #356 (Closed): IsZeroDivisor

... Anna Maria Bigatti

14:30 Feature #390 (Closed): Store unique copy of QQ[t_1..t_n] (RingQQt) in GlobalManager

Anna Maria Bigatti

14:25 Bug #178 (Closed): IsHomog: should it throw an error when there is no grading?

Anna Maria Bigatti

13:50 Feature #312: LongRange(a,b) returning vector of long a..b (included)

John Abbott wrote:
> It might be worth moving the impl into its own *separate file*: this would remove the need to i... Anna Maria Bigatti

13:45 Feature #215 (Feedback): Janet Bases: check and include code in CoCoALib (first prototype)

The general task is fully done.
Yet to do: add JB field in ideal in cocoalib, and consequent functions in cocoa-5 Anna Maria Bigatti

13:39 Bug #349 (Closed): IdealOfPoints: gens are actually a GBasis

Anna Maria Bigatti

13:33 Bug #335 (Closed): Equality of (sub)modules

Anna Maria Bigatti

13:28 Design #411 (Feedback): design of factorization template class

Anna Maria Bigatti

24 Oct 2013

14:56 Design #411: design of factorization template class

> Currently JAA prefers method (A) because:
> # it's already impl'ed, so no extra work needed
> # it is easier to u... Anna Maria Bigatti

23 Oct 2013

20:50 Feature #39 (Feedback): Squarefree factorization

The issue has been resolved by implementing Bernardin's algm (which seems to work quite well in practice).
The code ... John Abbott

20:46 Feature #42 (Closed): Squarefree factorization - generic case

Not sure how good an idea it is to have the generic fn.
Anyway there is already @SqfreeFactor_generic@.
Closing t... John Abbott

20:41 Feature #40 (Closed): Squarefree factorization - Alessio d'Ali`

JAA has now ported d'Ali's code into CoCoALib (and added doc & tests).
Closing this issue.
John Abbott

20:37 Feature #41 (Closed): Squarefree factorization - overhead

Task is essentially finished now that d'Ali's code has been ported.
Closing.
John Abbott

20:34 Feature #43 (Closed): Squarefree factorization - for polynomials

This entire task subtree was effectively resolved by the porting of d'Ali's impl of Bernardin's algm (see #47).
Th... John Abbott

20:31 Feature #44 (Closed): Squarefree factorization - univariate polynomials

The multivariate code (port of d'Ali's impl of Bernardin's algm) also handles the univariate case, and seems to be fa... John Abbott

20:26 Feature #45 (Closed): Squarefree factorization - univariate polynomials, char 0

This is effectively covered by the port of d'Ali's impl of Bernardin's (multivariate) algm. Efficiency of the multiv... John Abbott

20:23 Feature #46 (Closed): Squarefree factorization - univariate polynomials, char p > 0

This task is already handled by the port of d'Ali's impl of Bernardin's algm.
John Abbott

20:10 Feature #48 (Closed): Squarefree factorization - multivariate polynomials, char 0

This case is effectively covered by the porting of d'Ali's code.
Might still need some tweaking to handle "strange... John Abbott

20:06 Feature #49 (Closed): Squarefree factorization - multivariate polynomials, char p > 0

This case is already dealt with by the porting of d'Ali's code (see #47).
John Abbott

15:32 Feature #47: Squarefree factorization - multivariate polynomials

Translation of d'Ali's impl is now complete.
Code has been checked in; incl doc and tests.
Some minor points remain ... John Abbott

14:42 Design #411 (In Progress): design of factorization template class

Once this matter is resolved, we can change the file @TmpFactor@ into @factor@; strictly the @Tmp@ prefix should have... John Abbott

14:28 Design #411: design of factorization template class

This question arose because I have just implemented @SqfreeFactor@, and thought that it might be nice to guarantee th... John Abbott

12:54 Design #411 (Closed): design of factorization template class

Which is the better of the following two ways of implementing the factorization class?
(A) the current impl
* rec... John Abbott

12:42 Support #391 (In Progress): Check consistency of template class factorization

I noticed yesterday that there is a fn @ourCheckConsistency@ for factorizations.
This probably does what is needed -... John Abbott

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