Activity
From 26 Mar 2016 to 24 Apr 2016
22 Apr 2016
- 18:09 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
- 18:01 1.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
- 17:02 0.10 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
- Vague memory
19 Apr 2016
- 14:59 0.20 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)
- Already done
- 14:20 0.25 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)
- A suggestion
- 14:27 0.25 hour (Feature #82 (Closed): C++11 compatibility questions)
- Preprocessor flag
18 Apr 2016
- 12:23 0.25 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
- Probabilistic check?
13 Apr 2016
- 15:45 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)
- 15:41 0.20 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)
- Build your own GMP
07 Apr 2016
- 16:31 0.25 hour (Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing))
- Seems OK
06 Apr 2016
- 15:39 0.25 hour (Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing))
- Types of ring
05 Apr 2016
- 16:50 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- Possible explanation
- 15:04 0.25 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- Another check
- 14:43 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- Groan!
- 14:33 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)
- Using SimplestBigRatBetween
04 Apr 2016
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
- 13:11 0.10 hour (Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM))
- Platform
- 13:10 0.25 hour (Support #861 (Closed): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM))
- Error messages
- 13:05 0.50 hour (Feature #840 (In Progress): GINV: alex basis)
- Compilation problems
30 Mar 2016
- 18:31 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Implemented
- 15:31 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Unfortunate aspect of myCmp5 approach
- 15:20 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- More notes
- 18:23 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Cleaned
- 18:15 0.25 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- OK now
29 Mar 2016
- 16:46 0.75 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- More involved than first expected
28 Mar 2016
- 23:07 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Switchable?
- 22:59 0.25 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Weak inequalities
- 22:45 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Decision?
- 22:25 0.50 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- A better idea?
- 22:08 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- A bad idea?
- 21:39 0.25 hour (Design #859 (Closed): Twin-float: comparisons and equality test)
- Summary description
- 21:25 3.00 hours (Design #859 (Closed): Twin-float: comparisons and equality test)
- Some example scenarios
26 Mar 2016
- 22:54 1.00 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- Progress
- 21:23 0.20 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- Seems OK
- 21:21 1.00 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- Some reasoning
- 11:28 0.20 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- An idea
- 11:06 0.75 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)
- Some notes
Also available in: Atom