Activity
From 10 Mar 2016 to 08 Apr 2016
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?)
23 Mar 2016
- 17:29 CoCoALib 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- Normal fn or mem fns?
- 17:12 CoCoALib 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)
- What properties?
- 16:54 CoCoALib 1.00 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)
- Uffa!
- 11:07 CoCoALib 0.10 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)
- JAA
- 15:27 CoCoALib 0.25 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)
- Last questions
- 15:24 CoCoALib 4.00 hours (Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?)
- no comment
- 10:41 CoCoA-5 1.00 hour (Support #187 (Closed): CoCoA-5 (partial) releases: make the process simpler)
- 10:40 CoCoA-5 0.20 hour (Support #314 (Closed): odd and even numbers for snapshots/official versions?)
- Question
- 10:20 CoCoA-5 5.00 hours (Support #843 (Closed): Release: CoCoA-5.1.3 and CoCoA-5.1.4)
22 Mar 2016
- 18:08 CoCoALib 0.10 hour (Support #618 (Closed): Instructions for compiling libnormaliz)
- JAA's notes about compiling Normaliz
- 17:07 CoCoALib 3.00 hours (Feature #848 (Closed): Implement MinPoly in CoCoALib)
- Anna Bigatti + Elisa Palezzato: translated from cocoa-5 to cocoalib
- 16:47 CoCoALib 2.00 hours (Feature #848 (Closed): Implement MinPoly in CoCoALib)
- John Abbott: new class IncrLinDep
21 Mar 2016
- 16:57 CoCoALib 0.09 hour (Feature #795 (Closed): Add new fn InvModNoCheck)
- Closing after 5 months
- 16:55 CoCoALib 0.20 hour (Design #763 (In Progress): GlobalManager: initialization compatible with initialization of external libs)
- Global variables are problematic
- 14:58 CoCoALib 0.50 hour (Design #763 (In Progress): GlobalManager: initialization compatible with initialization of external libs)
- Looks to be tricky
- 16:47 CoCoALib 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Added new para
- 16:00 CoCoALib 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)
- Message
- 15:49 CoCoALib 0.20 hour (Support #774 (Closed): Rename file PPMonoidEvZZ)
- Half done?
- 15:21 CoCoALib 0.20 hour (Support #810 (Closed): ILogBase: change name?)
- Closing after 4 months
- 14:36 CoCoALib 0.10 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows)
- Closing after 4 months
- 14:33 CoCoALib 0.10 hour (Bug #821 (Closed): IsTermOrdering)
- Done?
- 14:05 CoCoALib 1.00 hour (Design #846 (In Progress): IsIrred: correct design?)
- Design comments and semantics
11 Mar 2016
- 10:34 CoCoA-5 0.10 hour (Feature #531 (Closed): Package protected variables should know which package protected them)
- Change CoCoAInterpreter
Also available in: Atom