Activity - CoCoA - CoCoA Project

Activity

From 28 Mar 2016 to 26 Apr 2016

26 Apr 2016

15:19 CoCoA-5 0.25 hour (Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()): Suggested action John Abbott
13:38 CoCoA-5 0.25 hour (Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()): Maybe found it John Abbott
10:16 CoCoA-5 0.25 hour (Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()): CoCoALib code John Abbott
09:39 CoCoA-5 0.10 hour (Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()): Source code John Abbott
09:35 CoCoA-5 0.25 hour (Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()): Someone else's problem? John Abbott

22 Apr 2016

18:09 CoCoALib 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification): Anna Maria Bigatti
18:01 CoCoALib 1.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification): Anna Maria Bigatti
17:02 CoCoALib 0.10 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification): Vague memory John Abbott

19 Apr 2016

14:59 CoCoALib 0.20 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version): Already done John Abbott
14:20 CoCoALib 0.25 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version): A suggestion John Abbott
14:27 CoCoALib 0.25 hour (Feature #82 (Closed): C++11 compatibility questions): Preprocessor flag John Abbott

18 Apr 2016

12:23 CoCoALib 0.25 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification): Probabilistic check? John Abbott

17 Apr 2016

20:06 CoCoA-5 0.10 hour (Bug #287 (New): --fullCoCoALibError prints too much (Try/UponError)): Oldie but goodie? John Abbott
20:00 CoCoA-5 0.25 hour (Design #868 (Closed): Der, Bin: why the capital letter?): Some notes John Abbott

13 Apr 2016

15:45 CoCoALib 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification): John Abbott
15:41 CoCoALib 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 CoCoALib 0.25 hour (Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing)): Seems OK John Abbott

06 Apr 2016

15:39 CoCoALib 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 CoCoALib 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational): Possible explanation John Abbott
15:04 CoCoALib 0.25 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational): Another check John Abbott
14:43 CoCoALib 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational): Groan! John Abbott
14:33 CoCoALib 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational): Using SimplestBigRatBetween John Abbott
14:25 CoCoA-5 0.25 hour (Support #863 (Closed): CoCoA-5 manual: IsInteger and IsRational are missing?): Surprised John Abbott
13:40 CoCoA-5 0.10 hour (Slug #862 (New): append has bad complexity): Just out of curiosity John Abbott
13:27 CoCoA-5 0.50 hour (Slug #862 (New): append has bad complexity): STL is better John Abbott

04 Apr 2016

14:34 CoCoALib 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational): First read John Abbott

31 Mar 2016

13:20 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 0.50 hour (Feature #840 (In Progress): GINV: alex basis): Compilation problems John Abbott

30 Mar 2016

18:31 CoCoALib 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test): Implemented John Abbott
15:31 CoCoALib 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test): Unfortunate aspect of myCmp5 approach John Abbott
15:20 CoCoALib 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test): More notes John Abbott
18:23 CoCoALib 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision): Cleaned John Abbott
18:15 CoCoALib 0.25 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS): OK now John Abbott

29 Mar 2016

16:46 CoCoALib 0.75 hour (Design #859 (Closed): Twin-float: comparisons and equality test): More involved than first expected John Abbott

28 Mar 2016

23:07 CoCoALib 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test): Switchable? John Abbott
22:59 CoCoALib 0.25 hour (Design #859 (Closed): Twin-float: comparisons and equality test): Weak inequalities John Abbott
22:45 CoCoALib 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test): Decision? John Abbott
22:25 CoCoALib 0.50 hour (Design #859 (Closed): Twin-float: comparisons and equality test): A better idea? John Abbott
22:08 CoCoALib 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test): A bad idea? John Abbott
21:39 CoCoALib 0.25 hour (Design #859 (Closed): Twin-float: comparisons and equality test): Summary description John Abbott
21:25 CoCoALib 3.00 hours (Design #859 (Closed): Twin-float: comparisons and equality test): Some example scenarios John Abbott

Also available in: Atom