Activity
From 17 Aug 2016 to 15 Sep 2016
07 Sep 2016
05 Sep 2016
- 15:44 0.10 hour (Feature #744 (Closed): Handle interrupts more helpfully)
- Hope this is fairly easy
- 15:40 0.10 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
- Quickly fixable?
- 12:39 0.20 hour (Design #478 (Closed): Use of dollar-dot ($.) in packages)
- Closing
02 Sep 2016
- 14:49 0.25 hour (Bug #712 (In Progress): External Libs: missing dependencies in Makefiles)
- Tricky
- 14:18 0.15 hour (Design #478 (Closed): Use of dollar-dot ($.) in packages)
- Variables
- 13:45 0.25 hour (Bug #918 (Closed): UniversalGBasis: sometimes gives error)
- Still fails
01 Sep 2016
- 16:02 1.00 hour (Bug #918 (Closed): UniversalGBasis: sometimes gives error)
- 15:32 0.20 hour (Bug #918 (Closed): UniversalGBasis: sometimes gives error)
- Mild bug?
31 Aug 2016
- 16:06 0.10 hour (Design #917 (New): CallOnGroebnerFanIdeals: better to use an iterator (or a "stream"))
- Modify interpreter
- 14:28 0.25 hour (Design #917 (New): CallOnGroebnerFanIdeals: better to use an iterator (or a "stream"))
- Some notes
22 Aug 2016
Also available in: Atom