Activity
From 11 Jul 2016 to 09 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