Activity
From 12 Mar 2016 to 10 Apr 2016
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
25 Mar 2016
-
22:29 2.00 hours (Feature #856 (Closed): MantissaAndExponent2 for twin-float)
- Implemented
-
22:22 2.00 hours (Feature #856 (Closed): MantissaAndExponent2 for twin-float)
- Design
-
22:11 0.10 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Comments
-
22:04 3.00 hours (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Solved now?
-
22:03 3.00 hours (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Solved now?
-
14:59 0.20 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- An idea for testing Twin Floats
-
14:54 0.20 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- In practice
-
22:08 0.10 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)
- Admin
-
22:07 2.00 hours (Support #696 (Closed): test-OrderedRing: activate or eliminate?)
- New tests
-
14:16 0.20 hour (Design #855 (Closed): Copyright and authorship?)
- Some notes
-
09:43 0.50 hour (Design #855 (Closed): Copyright and authorship?)
-
08:58 0.25 hour (Design #855 (Closed): Copyright and authorship?)
23 Mar 2016
-
17:29 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Normal fn or mem fns?
-
17:12 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- What properties?
-
16:54 1.00 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)
- Uffa!
-
11:07 0.10 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)
- JAA
-
15:27 0.25 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- Last questions
-
15:24 4.00 hours (Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?)
- no comment
22 Mar 2016
-
18:08 0.10 hour (Support #618 (Closed): Instructions for compiling libnormaliz)
- JAA's notes about compiling Normaliz
-
17:07 3.00 hours (Feature #848 (Closed): Implement MinPoly in CoCoALib)
- Anna Bigatti + Elisa Palezzato: translated from cocoa-5 to cocoalib
-
16:47 2.00 hours (Feature #848 (Closed): Implement MinPoly in CoCoALib)
- John Abbott: new class IncrLinDep
21 Mar 2016
-
16:57 0.09 hour (Feature #795 (Closed): Add new fn InvModNoCheck)
- Closing after 5 months
-
16:55 0.20 hour (Design #763 (In Progress): GlobalManager: initialization compatible with initialization of external libs)
- Global variables are problematic
-
14:58 0.50 hour (Design #763 (In Progress): GlobalManager: initialization compatible with initialization of external libs)
- Looks to be tricky
-
16:47 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Added new para
-
16:00 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Message
-
15:49 0.20 hour (Support #774 (Closed): Rename file PPMonoidEvZZ)
- Half done?
-
15:21 0.20 hour (Support #810 (Closed): ILogBase: change name?)
- Closing after 4 months
-
14:36 0.10 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows)
- Closing after 4 months
-
14:33 0.10 hour (Bug #821 (Closed): IsTermOrdering)
- Done?
-
14:05 1.00 hour (Design #846 (In Progress): IsIrred: correct design?)
- Design comments and semantics
Also available in: Atom