CoCoA

30 Oct 2013

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

JAA's opinion John Abbott

18:50 CoCoALib 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 CoCoALib 0.25 hour (Bug #355 (Closed): Colon of zero ideal fails (zero-divisors))

Anna Maria Bigatti

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

debugging, fixed, tested Anna Maria Bigatti

29 Oct 2013

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

Possible disadvantage John Abbott

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

checked, seems fine --> closed Anna Maria Bigatti

14:30 CoCoALib 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 CoCoALib 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 CoCoALib 0.25 hour (Feature #215 (Closed): Janet Bases: check and include code in CoCoALib (first prototype))

general task done Anna Maria Bigatti

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

checked, seems fine --> closed Anna Maria Bigatti

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

checked, seems fine --> closed Anna Maria Bigatti

28 Oct 2013

14:04 CoCoA-5 1.00 hour (Bug #32 (Closed): Elim(t, I))

done, tested, documented Anna Maria Bigatti

26 Oct 2013

00:40 CoCoA-5 0.25 hour (Design #412 (In Progress): intersection (all lower case))

Change CoCoAManual John Abbott

21:31 CoCoA-5 0.25 hour (Design #412 (In Progress): intersection (all lower case))

history of a name Anna Maria Bigatti

25 Oct 2013

22:47 CoCoA-5 0.25 hour (Bug #32 (Closed): Elim(t, I))

Another problem John Abbott

22:36 CoCoA-5 0.25 hour (Bug #279 (Closed): Bug in Radical (actually a RingHom problem))

More problems John Abbott

24 Oct 2013

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

comment on design Anna Maria Bigatti

23 Oct 2013

21:44 1.75 hour (Bug #402 (Closed): Problem with 64-bit BOOST on Linux (Werner))

Sorted out John Abbott

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

Largely complete John Abbott

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

Apparently already done John Abbott

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

Code has now been ported into CoCoALib John Abbott

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

It's largely over now John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

Already achieved John Abbott

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

changed name from IsSpecial to IsInputPoly Anna Maria Bigatti

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

Essentially complete John Abbott

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

Consequence John Abbott

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

Pros and cons John Abbott

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

Apparently already done John Abbott

20 Oct 2013

14:49 CoCoALib 0.50 hour (Feature #47 (Closed): Squarefree factorization - multivariate polynomials)

Translating D'Ali's impl John Abbott

18 Oct 2013

20:38 CoCoALib 0.50 hour (Feature #407 (Closed): RingElem ctor from mpz_t (from Bruns))

Annoying problem John Abbott

16:37 CoCoALib 0.50 hour (Feature #407 (Closed): RingElem ctor from mpz_t (from Bruns))

Assignment from mpz_t? John Abbott