Activity
From 08 Nov 2012 to 07 Dec 2012
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