Activity - CoCoA - CoCoA Project

Activity

From 21 Jun 2017 to 20 Jul 2017

20 Jul 2017

13:12 CoCoALib 2.50 hours (Bug #1078 (Closed): makefile: ungraceful when interrupted): First attempt John Abbott
13:06 CoCoALib 0.50 hour (Bug #1089 (In Progress): invalid pointer in "free"): Bother! John Abbott

19 Jul 2017

19:47 CoCoALib 1.00 hour (Design #1065 (Closed): Design: should we allow an ideal to change ring?): Implemented John Abbott
19:27 CoCoALib 0.20 hour (Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2)): interim John Abbott
19:05 CoCoALib 0.25 hour (Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2)): Release notes John Abbott
19:20 CoCoALib 0.25 hour (Feature #1035 (Closed): Improvement: how to sort QuotientBasis?): Done? John Abbott
19:14 CoCoALib 10.00 hours (Feature #1030 (Closed): IsInRadical: case of homog ideal): Almost done John Abbott

17 Jul 2017

16:46 CoCoA-5 0.10 hour (Design #1092 (Closed): Design issues for discussion in July 2017): Some keywords John Abbott
14:21 CoCoALib 0.10 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)): Log students' time? John Abbott
14:20 CoCoALib 2.00 hours (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)): Student project John Abbott

15 Jul 2017

17:27 CoCoALib 20.00 hours (Feature #638 (Closed): Time limit: let user specify time limit for a computation): Seems to work John Abbott

14 Jul 2017

21:28 CoCoALib 1.00 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes): Fixed John Abbott
17:04 CoCoALib 0.50 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes): Not yet fixed John Abbott
11:16 CoCoALib 4.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype): Anna Maria Bigatti
11:04 CoCoA-5 1.00 hour (Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT): Anna Maria Bigatti

13 Jul 2017

17:32 CoCoA-5 6.00 hours (Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT): Anna Maria Bigatti

12 Jul 2017

18:53 CoCoALib 6.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype): Anna Maria Bigatti
18:49 CoCoALib 16.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype): first session with Alberto Griggio in Genova: beginning 2017 Anna Maria Bigatti

11 Jul 2017

10:27 CoCoALib 0.50 hour (Bug #1089 (In Progress): invalid pointer in "free"): Some notes John Abbott

08 Jul 2017

21:15 CoCoALib 10.00 hours (Design #1086 (Closed): New design for interrupt mechanism): Mostly done John Abbott

07 Jul 2017

12:24 CoCoALib 0.20 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes): changed level for polynomial printing Anna Maria Bigatti
11:57 CoCoALib 1.00 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes): Anna Maria Bigatti

05 Jul 2017

13:00 CoCoALib 0.25 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes): Strange John Abbott
12:51 CoCoALib 0.25 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes): Example John Abbott

04 Jul 2017

15:20 CoCoALib 0.25 hour (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)): Zero gives error John Abbott
13:03 CoCoA-5 0.25 hour (Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist): Worked around problem John Abbott
11:36 CoCoA-5 0.20 hour (Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist): Workaround? John Abbott
11:21 CoCoA-5 0.25 hour (Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist): Info John Abbott

03 Jul 2017

22:21 CoCoALib 0.10 hour (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)): Name? John Abbott
22:15 CoCoALib 2.00 hours (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)): Mostly done John Abbott

30 Jun 2017

17:13 CoCoALib 1.00 hour (Design #1086 (Closed): New design for interrupt mechanism): Some doubts John Abbott
14:19 CoCoALib 0.10 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?): Uniformity John Abbott
14:14 CoCoALib 0.25 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?): No nasty surprises? John Abbott
13:18 CoCoALib 0.25 hour (Feature #259 (Closed): Squarefree(?) GCD-free basis): Wake up! John Abbott

29 Jun 2017

16:31 CoCoA-5 0.50 hour (Feature #1084 (Closed): New function: PrevPrime): Anna Maria Bigatti
14:54 CoCoA-5 0.20 hour (Feature #1084 (Closed): New function: PrevPrime): Already there John Abbott
11:46 CoCoA-5 0.25 hour (Feature #1021 (Closed): CoCoA Manual: search should ignore multiple spaces): double quotes John Abbott
09:19 CoCoALib 0.20 hour (Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)): Anna Maria Bigatti
08:47 CoCoALib 0.50 hour (Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error)): Anna Maria Bigatti
08:12 CoCoALib 0.50 hour (Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring): Anna Maria Bigatti

28 Jun 2017

18:27 CoCoALib 0.10 hour (Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring): Done? John Abbott
13:44 CoCoALib 0.25 hour (Design #1065 (Closed): Design: should we allow an ideal to change ring?): Comment John Abbott

27 Jun 2017

22:29 CoCoALib 0.20 hour (Design #1065 (Closed): Design: should we allow an ideal to change ring?): Anna Maria Bigatti

22 Jun 2017

13:15 CoCoALib 0.10 hour (Bug #1082 (Closed): factor in ZZ[x] gives errors): Note John Abbott
13:13 CoCoALib 0.60 hour (Bug #1082 (Closed): factor in ZZ[x] gives errors): Fixed John Abbott

21 Jun 2017

21:33 CoCoALib 0.25 hour (Bug #1082 (Closed): factor in ZZ[x] gives errors): John Abbott

Also available in: Atom