Activity
From 17 Jun 2017 to 16 Jul 2017
15 Jul 2017
- 17:27 20.00 hours (Feature #638 (Closed): Time limit: let user specify time limit for a computation)
- Seems to work
14 Jul 2017
- 21:28 1.00 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- Fixed
- 17:04 0.50 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- Not yet fixed
- 11:16 4.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
12 Jul 2017
- 18:53 6.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
- 18:49 16.00 hours (Feature #1090 (Closed): ExternaLib-MathSAT: first prototype)
- first session with Alberto Griggio in Genova: beginning 2017
11 Jul 2017
- 10:27 0.50 hour (Bug #1089 (In Progress): invalid pointer in "free")
- Some notes
08 Jul 2017
- 21:15 10.00 hours (Design #1086 (Closed): New design for interrupt mechanism)
- Mostly done
07 Jul 2017
- 12:24 0.20 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- changed level for polynomial printing
- 11:57 1.00 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
05 Jul 2017
- 13:00 0.25 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- Strange
- 12:51 0.25 hour (Bug #1088 (Closed): MinPolyQuot: runs out of primes)
- Example
04 Jul 2017
- 15:20 0.25 hour (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))
- Zero gives error
03 Jul 2017
- 22:21 0.10 hour (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))
- Name?
- 22:15 2.00 hours (Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces))
- Mostly done
30 Jun 2017
- 17:13 1.00 hour (Design #1086 (Closed): New design for interrupt mechanism)
- Some doubts
- 14:19 0.10 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?)
- Uniformity
- 14:14 0.25 hour (Design #1085 (Closed): Fns with "OUT" args: should they give ERR::MixedRings?)
- No nasty surprises?
- 13:18 0.25 hour (Feature #259 (Closed): Squarefree(?) GCD-free basis)
- Wake up!
29 Jun 2017
- 09:19 0.20 hour (Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error))
- 08:47 0.50 hour (Bug #1083 (Closed): MinPolyQuot: check input (was: MinPolyQuot gives "bad characteristic" error))
- 08:12 0.50 hour (Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring)
28 Jun 2017
- 18:27 0.10 hour (Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring)
- Done?
- 13:44 0.25 hour (Design #1065 (Closed): Design: should we allow an ideal to change ring?)
- Comment
27 Jun 2017
22 Jun 2017
- 13:15 0.10 hour (Bug #1082 (Closed): factor in ZZ[x] gives errors)
- Note
- 13:13 0.60 hour (Bug #1082 (Closed): factor in ZZ[x] gives errors)
- Fixed
21 Jun 2017
20 Jun 2017
Also available in: Atom