Activity
From 25 Mar 2016 to 23 Apr 2016
22 Apr 2016
-
18:09 CoCoALib 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
-
18:01 CoCoALib 1.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
-
17:02 CoCoALib 0.10 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
- Vague memory
19 Apr 2016
-
14:59 CoCoALib 0.20 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)
- Already done
-
14:20 CoCoALib 0.25 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)
- A suggestion
-
14:27 CoCoALib 0.25 hour (Feature #82 (Closed): C++11 compatibility questions)
- Preprocessor flag
18 Apr 2016
-
12:23 CoCoALib 0.25 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
- Probabilistic check?
17 Apr 2016
-
20:06 CoCoA-5 0.10 hour (Bug #287 (New): --fullCoCoALibError prints too much (Try/UponError))
- Oldie but goodie?
-
20:00 CoCoA-5 0.25 hour (Design #868 (Closed): Der, Bin: why the capital letter?)
- Some notes
13 Apr 2016
-
15:45 CoCoALib 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
-
15:41 CoCoALib 0.20 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)
- Build your own GMP
07 Apr 2016
-
16:31 CoCoALib 0.25 hour (Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing))
- Seems OK
06 Apr 2016
-
15:39 CoCoALib 0.25 hour (Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing))
- Types of ring
05 Apr 2016
-
16:50 CoCoALib 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- Possible explanation
-
15:04 CoCoALib 0.25 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- Another check
-
14:43 CoCoALib 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- Groan!
-
14:33 CoCoALib 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- Using SimplestBigRatBetween
-
14:25 CoCoA-5 0.25 hour (Support #863 (Closed): CoCoA-5 manual: IsInteger and IsRational are missing?)
- Surprised
-
13:40 CoCoA-5 0.10 hour (Slug #862 (New): append has bad complexity)
- Just out of curiosity
-
13:27 CoCoA-5 0.50 hour (Slug #862 (New): append has bad complexity)
- STL is better
04 Apr 2016
-
14:34 CoCoALib 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- First read
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
-
13:11 CoCoALib 0.10 hour (Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM))
- Platform
-
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
-
13:05 CoCoALib 0.50 hour (Feature #840 (In Progress): GINV: alex basis)
- Compilation problems
30 Mar 2016
-
18:31 CoCoALib 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Implemented
-
15:31 CoCoALib 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Unfortunate aspect of myCmp5 approach
-
15:20 CoCoALib 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- More notes
-
18:23 CoCoALib 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Cleaned
-
18:15 CoCoALib 0.25 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- OK now
29 Mar 2016
-
16:46 CoCoALib 0.75 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- More involved than first expected
28 Mar 2016
-
23:07 CoCoALib 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Switchable?
-
22:59 CoCoALib 0.25 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Weak inequalities
-
22:45 CoCoALib 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Decision?
-
22:25 CoCoALib 0.50 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- A better idea?
-
22:08 CoCoALib 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- A bad idea?
-
21:39 CoCoALib 0.25 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Summary description
-
21:25 CoCoALib 3.00 hours (Design #859 (Closed): Twin-float: comparisons and equality test)
- Some example scenarios
26 Mar 2016
-
22:54 CoCoALib 1.00 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- Progress
-
21:23 CoCoALib 0.20 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- Seems OK
-
21:21 CoCoALib 1.00 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- Some reasoning
-
11:28 CoCoALib 0.20 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- An idea
-
11:06 CoCoALib 0.75 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- Some notes
25 Mar 2016
-
22:29 CoCoALib 2.00 hours (Feature #856 (Closed): MantissaAndExponent2 for twin-float)
- Implemented
-
22:22 CoCoALib 2.00 hours (Feature #856 (Closed): MantissaAndExponent2 for twin-float)
- Design
-
22:11 CoCoALib 0.10 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Comments
-
22:04 CoCoALib 3.00 hours (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Solved now?
-
22:03 CoCoALib 3.00 hours (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Solved now?
-
14:59 CoCoALib 0.20 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- An idea for testing Twin Floats
-
14:54 CoCoALib 0.20 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- In practice
-
22:08 CoCoALib 0.10 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)
- Admin
-
22:07 CoCoALib 2.00 hours (Support #696 (Closed): test-OrderedRing: activate or eliminate?)
- New tests
-
14:16 CoCoALib 0.20 hour (Design #855 (Closed): Copyright and authorship?)
- Some notes
-
09:43 CoCoALib 0.50 hour (Design #855 (Closed): Copyright and authorship?)
-
08:58 CoCoALib 0.25 hour (Design #855 (Closed): Copyright and authorship?)
Also available in: Atom