CoCoA » CoCoALib

24 Jul 2017

11:10 0.50 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Anna Maria Bigatti

23 Jul 2017

16:02 10.00 hours (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

More notes John Abbott

22 Jul 2017

15:18 0.20 hour (Feature #1030 (Closed): IsInRadical: case of homog ideal)

Ideas? John Abbott

15:07 0.50 hour (Feature #638 (Closed): Time limit: let user specify time limit for a computation)

Checked in John Abbott

21 Jul 2017

16:57 4.00 hours (Feature #638 (Closed): Time limit: let user specify time limit for a computation)

Second version John Abbott

15:29 4.00 hours (Bug #1078 (Closed): makefile: ungraceful when interrupted)

Done? John Abbott

20 Jul 2017

13:12 2.50 hours (Bug #1078 (Closed): makefile: ungraceful when interrupted)

First attempt John Abbott

13:06 0.50 hour (Bug #1089 (In Progress): invalid pointer in "free")

Bother! John Abbott

19 Jul 2017

19:47 1.00 hour (Design #1065 (Closed): Design: should we allow an ideal to change ring?)

Implemented John Abbott

19:27 0.20 hour (Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2))

interim John Abbott

19:05 0.25 hour (Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2))

Release notes John Abbott

19:20 0.25 hour (Feature #1035 (Closed): Improvement: how to sort QuotientBasis?)

Done? John Abbott

19:14 10.00 hours (Feature #1030 (Closed): IsInRadical: case of homog ideal)

Almost done John Abbott

17 Jul 2017

14:21 0.10 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Log students' time? John Abbott

14:20 2.00 hours (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))

Student project John Abbott

15 Jul 2017

17:27 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 1.00 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)

Fixed John Abbott

17:04 0.50 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)

Not yet fixed John Abbott

11:16 4.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)

Anna Maria Bigatti

12 Jul 2017

18:53 6.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)

Anna Maria Bigatti

18:49 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 0.50 hour (Bug #1089 (In Progress): invalid pointer in "free")

Some notes John Abbott

08 Jul 2017

21:15 10.00 hours (Design #1086 (Closed): New design for interrupt mechanism)

Mostly done John Abbott

07 Jul 2017

12:24 0.20 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)

changed level for polynomial printing Anna Maria Bigatti

11:57 1.00 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)

Anna Maria Bigatti

05 Jul 2017

13:00 0.25 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)

Strange John Abbott

12:51 0.25 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)

Example John Abbott

04 Jul 2017

15:20 0.25 hour (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))

Zero gives error John Abbott

03 Jul 2017

22:21 0.10 hour (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))

Name? John Abbott

22:15 2.00 hours (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))

Mostly done John Abbott

30 Jun 2017

17:13 1.00 hour (Design #1086 (Closed): New design for interrupt mechanism)

Some doubts John Abbott

14:19 0.10 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?)

Uniformity John Abbott

14:14 0.25 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?)

No nasty surprises? John Abbott

13:18 0.25 hour (Feature #259 (Closed): Squarefree(?) GCD-free basis)

Wake up! John Abbott

29 Jun 2017

09:19 0.20 hour (Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error))

Anna Maria Bigatti

08:47 0.50 hour (Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error))

Anna Maria Bigatti

08:12 0.50 hour (Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring)

Anna Maria Bigatti

28 Jun 2017

18:27 0.10 hour (Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring)

Done? John Abbott

13:44 0.25 hour (Design #1065 (Closed): Design: should we allow an ideal to change ring?)

Comment John Abbott