CoCoA » CoCoALib

21 Nov 2013

15:43 0.25 hour (Feature #407 (Closed): RingElem ctor from mpz_t (from Bruns))

Use an extra parameter to avoid ambiguity? John Abbott

20 Nov 2013

19:58 0.25 hour (Feature #233 (Closed): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>)

Wake up! John Abbott

19:51 0.50 hour (Feature #342 (Closed): Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)))

Already impl'ed but not documented John Abbott

30 Oct 2013

21:43 0.25 hour (Feature #342 (Closed): Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)))

JAA's opinion John Abbott

18:50 0.50 hour (Feature #342 (Closed): Remove denominators: QQ[x] -> ZZ[x] (and PushBack(coeff, PP)))

proposal for PushBack and consequences Anna Maria Bigatti

10:52 0.25 hour (Bug #355 (Closed): Colon of zero ideal fails (zero-divisors))

Anna Maria Bigatti

10:05 2.00 hours (Bug #355 (Closed): Colon of zero ideal fails (zero-divisors))

debugging, fixed, tested Anna Maria Bigatti

29 Oct 2013

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

Possible disadvantage John Abbott

14:48 0.25 hour (Feature #356 (Closed): IsZeroDivisor)

checked, seems fine --> closed Anna Maria Bigatti

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

checked, seems fine --> closed Anna Maria Bigatti

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

checked, seems fine --> closed Anna Maria Bigatti

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

general task done Anna Maria Bigatti

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

checked, seems fine --> closed Anna Maria Bigatti

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

checked, seems fine --> closed Anna Maria Bigatti

24 Oct 2013

14:56 0.25 hour (Design #411 (Closed): design of factorization template class)

comment on design Anna Maria Bigatti

23 Oct 2013

20:50 0.25 hour (Feature #39 (Closed): Squarefree factorization)

Largely complete John Abbott

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

Apparently already done John Abbott

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

Code has now been ported into CoCoALib John Abbott

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

It's largely over now John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

15:52 0.50 hour (Feature #409 (New): Minimal syzygies (optimized implementation))

changed name from IsSpecial to IsInputPoly Anna Maria Bigatti

15:32 3.00 hours (Feature #47 (Closed): Squarefree factorization - multivariate polynomials)

Essentially complete John Abbott

14:42 0.25 hour (Design #411 (Closed): design of factorization template class)

Consequence John Abbott

14:28 1.00 hour (Design #411 (Closed): design of factorization template class)

Pros and cons John Abbott

12:42 2.00 hours (Support #391 (Closed): Check consistency of template class factorization)

Apparently already done John Abbott