Activity
From 12 Jul 2017 to 10 Aug 2017
09 Aug 2017
24 Jul 2017
-
11:10 CoCoALib 0.50 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))
23 Jul 2017
-
16:30 CoCoA-5 0.25 hour (Bug #1093 (In Progress): GUI: bugs and slugs)
- Lucky guess?
-
16:20 CoCoA-5 0.50 hour (Bug #1093 (In Progress): GUI: bugs and slugs)
- Some notes
-
16:04 CoCoA-5 0.10 hour (Design #939 (Closed): Rename Fact to factorial?)
- Obsolescent?
-
16:02 CoCoALib 10.00 hours (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))
- More notes
22 Jul 2017
-
15:18 CoCoALib 0.20 hour (Feature #1030 (Closed): IsInRadical: case of homog ideal)
- Ideas?
-
15:07 CoCoALib 0.50 hour (Feature #638 (Closed): Time limit: let user specify time limit for a computation)
- Checked in
21 Jul 2017
-
16:57 CoCoALib 4.00 hours (Feature #638 (Closed): Time limit: let user specify time limit for a computation)
- Second version
-
15:29 CoCoALib 4.00 hours (Bug #1078 (Closed): makefile: ungraceful when interrupted)
- Done?
20 Jul 2017
-
13:12 CoCoALib 2.50 hours (Bug #1078 (Closed): makefile: ungraceful when interrupted)
- First attempt
-
13:06 CoCoALib 0.50 hour (Bug #1089 (In Progress): invalid pointer in "free")
- Bother!
19 Jul 2017
-
19:47 CoCoALib 1.00 hour (Design #1065 (Closed): Design: should we allow an ideal to change ring?)
- Implemented
-
19:27 CoCoALib 0.20 hour (Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2))
- interim
-
19:05 CoCoALib 0.25 hour (Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2))
- Release notes
-
19:20 CoCoALib 0.25 hour (Feature #1035 (Closed): Improvement: how to sort QuotientBasis?)
- Done?
-
19:14 CoCoALib 10.00 hours (Feature #1030 (Closed): IsInRadical: case of homog ideal)
- Almost done
17 Jul 2017
-
16:46 CoCoA-5 0.10 hour (Design #1092 (Closed): Design issues for discussion in July 2017)
- Some keywords
-
14:21 CoCoALib 0.10 hour (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))
- Log students' time?
-
14:20 CoCoALib 2.00 hours (Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..))
- Student project
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
14 Jul 2017
-
21:28 CoCoALib 1.00 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- Fixed
-
17:04 CoCoALib 0.50 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- Not yet fixed
-
11:16 CoCoALib 4.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
-
11:04 CoCoA-5 1.00 hour (Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT)
13 Jul 2017
-
17:32 CoCoA-5 6.00 hours (Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT)
12 Jul 2017
-
18:53 CoCoALib 6.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
-
18:49 CoCoALib 16.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
- first session with Alberto Griggio in Genova: beginning 2017
Also available in: Atom