Activity
From 19 Nov 2012 to 18 Dec 2012
12 Dec 2012
-
19:10 1.50 hour (Feature #283 (Closed): Rational approximation)
- Added tests
11 Dec 2012
-
18:34 1.00 hour (Feature #283 (Closed): Rational approximation)
- Changed name
07 Dec 2012
-
14:52 2.50 hours (Feature #84 (Closed): Names for random streams)
- first draft for unified documentation
06 Dec 2012
-
16:26 0.25 hour (Support #285 (Closed): Notes for adding/removing files from documentation)
- checking, writing
05 Dec 2012
-
15:46 0.75 hour (Feature #283 (Closed): Rational approximation)
- Implemented
-
15:31 0.10 hour (Feature #283 (Closed): Rational approximation)
- Possible names
-
15:19 0.25 hour (Feature #283 (Closed): Rational approximation)
- some suggestions
-
14:58 1.50 hour (Feature #283 (Closed): Rational approximation)
- SimplestRationalInInterval
-
14:55 0.50 hour (Feature #150 (In Progress): RingOf rather than owner? (and than AmbientRing, ...))
- similar cases
-
10:56 7.00 hours (Feature #84 (Closed): Names for random streams)
- Reorganizing existing code
04 Dec 2012
-
18:22 0.50 hour (Feature #84 (Closed): Names for random streams)
-
12:02 0.25 hour (Feature #84 (Closed): Names for random streams)
- Unified sources
-
12:01 0.25 hour (Feature #84 (Closed): Names for random streams)
- Unified sources
-
11:59 0.25 hour (Feature #84 (Closed): Names for random streams)
- Unified sources
-
11:58 0.25 hour (Feature #84 (Closed): Names for random streams)
- Unified sources
-
11:27 4.65 hours (Feature #84 (Closed): Names for random streams)
- Significant overhaul of documentation and examples
30 Nov 2012
-
16:26 10.00 hours (Support #75 (Closed): Documentation review by Caleo)
- The final meeting
28 Nov 2012
-
11:02 0.30 hour (Feature #215 (Closed): Janet Bases: check and include code in CoCoALib (first prototype))
- Portability check
22 Nov 2012
-
15:00 15.00 hours (Feature #127 (In Progress): Convert DUPFF code to C++)
- First prototype
-
12:45 4.50 hours (Feature #144 (Closed): Buchberger-Moeller: generic impl)
- First prototype
Also available in: Atom