Activity
From 17 Jul 2016 to 15 Aug 2016
02 Aug 2016
- 15:03 0.25 hour (Support #774 (Closed): Rename file PPMonoidEvZZ)
- Tidying
- 15:00 1.50 hour (Feature #361 (Closed): implement IsPrime3, IsMaximal3)
- 11:55 0.25 hour (Feature #898 (In Progress): New function: cardinality of finite field?)
- General interface is unclear to me
- 11:26 0.75 hour (Bug #895 (Closed): NumDigits: sometimes gives wrong answer)
- Renamed
21 Jul 2016
- 16:40 1.00 hour (Feature #910 (Closed): BigRat: read from a string in "decimal" format?)
- Checked in
- 15:36 1.00 hour (Feature #910 (Closed): BigRat: read from a string in "decimal" format?)
- First impl
- 13:42 0.25 hour (Feature #910 (Closed): BigRat: read from a string in "decimal" format?)
- Exact format?
- 13:27 1.50 hour (Feature #910 (Closed): BigRat: read from a string in "decimal" format?)
- Some notes
19 Jul 2016
- 22:44 0.10 hour (Feature #565 (In Progress): FloatApprox for TwinFloat values?)
- Name?
- 14:30 0.25 hour (Feature #565 (In Progress): FloatApprox for TwinFloat values?)
- Rigid "correctness" vs convenience
- 14:24 0.20 hour (Feature #910 (Closed): BigRat: read from a string in "decimal" format?)
- Some notes
Also available in: Atom