CoCoA » CoCoALib

27 Apr 2016

18:49 0.10 hour (Feature #873 (In Progress): bool3: add some logical operations?)

Also John Abbott

18:45 0.10 hour (Feature #873 (In Progress): bool3: add some logical operations?)

Motivation John Abbott

18:42 0.25 hour (Feature #873 (In Progress): bool3: add some logical operations?)

Some notes John Abbott

22 Apr 2016

18:09 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)

Anna Maria Bigatti

18:01 1.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)

Anna Maria Bigatti

17:02 0.10 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)

Vague memory John Abbott

19 Apr 2016

14:59 0.20 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)

Already done John Abbott

14:20 0.25 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)

A suggestion John Abbott

14:27 0.25 hour (Feature #82 (Closed): C++11 compatibility questions)

Preprocessor flag John Abbott

18 Apr 2016

12:23 0.25 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)

Probabilistic check? John Abbott

13 Apr 2016

15:45 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)

John Abbott

15:41 0.20 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)

Build your own GMP John Abbott

07 Apr 2016

16:31 0.25 hour (Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing))

Seems OK John Abbott

06 Apr 2016

15:39 0.25 hour (Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing))

Types of ring John Abbott

05 Apr 2016

16:50 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

Possible explanation John Abbott

15:04 0.25 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

Another check John Abbott

14:43 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

Groan! John Abbott

14:33 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

Using SimplestBigRatBetween John Abbott

04 Apr 2016

14:34 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

First read John Abbott

31 Mar 2016

13:20 0.25 hour (Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM))

OK on Linux John Abbott

13:11 0.10 hour (Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM))

Platform John Abbott

13:10 0.25 hour (Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM))

Error messages John Abbott

13:05 0.50 hour (Feature #840 (In Progress): GINV: alex basis)

Compilation problems John Abbott

30 Mar 2016

18:31 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

Implemented John Abbott

15:31 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

Unfortunate aspect of myCmp5 approach John Abbott

15:20 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

More notes John Abbott

18:23 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

Cleaned John Abbott

18:15 0.25 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)

OK now John Abbott

29 Mar 2016

16:46 0.75 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

More involved than first expected John Abbott