Activity
From 02 Jul 2017 to 31 Jul 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
11 Jul 2017
-
10:27 CoCoALib 0.50 hour (Bug #1089 (In Progress): invalid pointer in "free")
- Some notes
08 Jul 2017
-
21:15 CoCoALib 10.00 hours (Design #1086 (Closed): New design for interrupt mechanism)
- Mostly done
07 Jul 2017
-
12:24 CoCoALib 0.20 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- changed level for polynomial printing
-
11:57 CoCoALib 1.00 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
05 Jul 2017
-
13:00 CoCoALib 0.25 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- Strange
-
12:51 CoCoALib 0.25 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- Example
04 Jul 2017
-
15:20 CoCoALib 0.25 hour (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))
- Zero gives error
-
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
-
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?
-
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
03 Jul 2017
-
22:21 CoCoALib 0.10 hour (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))
- Name?
-
22:15 CoCoALib 2.00 hours (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))
- Mostly done
Also available in: Atom