CoCoA » CoCoALib

21 Dec 2012

15:57 0.25 hour (Slug #129 (New): Better GCD)

Proposed structure John Abbott

19 Dec 2012

17:25 1.00 hour (Feature #84 (Closed): Names for random streams)

Removed some redundancy John Abbott

12 Dec 2012

19:10 1.50 hour (Feature #283 (Closed): Rational approximation)

Added tests John Abbott

11 Dec 2012

18:34 1.00 hour (Feature #283 (Closed): Rational approximation)

Changed name John Abbott

07 Dec 2012

14:52 2.50 hours (Feature #84 (Closed): Names for random streams)

first draft for unified documentation Anna Maria Bigatti

06 Dec 2012

16:26 0.25 hour (Support #285 (Closed): Notes for adding/removing files from documentation)

checking, writing Anna Maria Bigatti

05 Dec 2012

15:46 0.75 hour (Feature #283 (Closed): Rational approximation)

Implemented John Abbott

15:31 0.10 hour (Feature #283 (Closed): Rational approximation)

Possible names John Abbott

15:19 0.25 hour (Feature #283 (Closed): Rational approximation)

some suggestions Anna Maria Bigatti

14:58 1.50 hour (Feature #283 (Closed): Rational approximation)

SimplestRationalInInterval John Abbott

14:55 0.50 hour (Feature #150 (In Progress): RingOf rather than owner? (and than AmbientRing, ...))

similar cases Anna Maria Bigatti

10:56 7.00 hours (Feature #84 (Closed): Names for random streams)

Reorganizing existing code John Abbott

04 Dec 2012

18:22 0.50 hour (Feature #84 (Closed): Names for random streams)

Anna Maria Bigatti

12:02 0.25 hour (Feature #84 (Closed): Names for random streams)

Unified sources John Abbott

12:01 0.25 hour (Feature #84 (Closed): Names for random streams)

Unified sources John Abbott

11:59 0.25 hour (Feature #84 (Closed): Names for random streams)

Unified sources John Abbott

11:58 0.25 hour (Feature #84 (Closed): Names for random streams)

Unified sources John Abbott

11:27 4.65 hours (Feature #84 (Closed): Names for random streams)

Significant overhaul of documentation and examples John Abbott

30 Nov 2012

16:26 10.00 hours (Support #75 (Closed): Documentation review by Caleo)

The final meeting John Abbott