CoCoA » CoCoALib

19 Apr 2016

14:59 0.20 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)

Already done John Abbott

14:20 0.25 hour (Bug #867 (Closed): Compilation Error: C++11 and old GMP-Version)

A suggestion John Abbott

14:27 0.25 hour (Feature #82 (Closed): C++11 compatibility questions)

Preprocessor flag John Abbott

18 Apr 2016

12:23 0.25 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)

Probabilistic check? John Abbott

13 Apr 2016

15:45 0.50 hour (Slug #866 (In Progress): implicit, ImplicitHypersurface: improve output verification)

John Abbott

15:41 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 0.25 hour (Bug #864 (Closed): Assignment of rings (esp. derived rings such as PolyRing))

Seems OK John Abbott

06 Apr 2016

15:39 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 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

Possible explanation John Abbott

15:04 0.25 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

Another check John Abbott

14:43 0.10 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

Groan! John Abbott

14:33 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

Using SimplestBigRatBetween John Abbott

04 Apr 2016

14:34 1.00 hour (Bug #860 (Closed): Check impl of RingTwinFloatImpl::myIsRational)

First read John Abbott

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 John Abbott

13:11 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 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 0.50 hour (Feature #840 (In Progress): GINV: alex basis)

Compilation problems John Abbott

30 Mar 2016

18:31 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

Implemented John Abbott

15:31 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

Unfortunate aspect of myCmp5 approach John Abbott

15:20 1.00 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

More notes John Abbott

18:23 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

Cleaned John Abbott

18:15 0.25 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)

OK now John Abbott

29 Mar 2016

16:46 0.75 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

More involved than first expected John Abbott

28 Mar 2016

23:07 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

Switchable? John Abbott

22:59 0.25 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

Weak inequalities John Abbott

22:45 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

Decision? John Abbott

22:25 0.50 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

A better idea? John Abbott

22:08 0.20 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

A bad idea? John Abbott

21:39 0.25 hour (Design #859 (Closed): Twin-float: comparisons and equality test)

Summary description John Abbott

21:25 3.00 hours (Design #859 (Closed): Twin-float: comparisons and equality test)

Some example scenarios John Abbott

26 Mar 2016

22:54 1.00 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)

Progress John Abbott

21:23 0.20 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)

Seems OK John Abbott

21:21 1.00 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)

Some reasoning John Abbott

11:28 0.20 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)

An idea John Abbott

11:06 0.75 hour (Bug #858 (Closed): floor for TwinFloat can produce ERR::SERIOUS)

Some notes John Abbott

25 Mar 2016

22:29 2.00 hours (Feature #856 (Closed): MantissaAndExponent2 for twin-float)

Implemented John Abbott

22:22 2.00 hours (Feature #856 (Closed): MantissaAndExponent2 for twin-float)

Design John Abbott

22:11 0.10 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

Comments John Abbott

22:04 3.00 hours (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

Solved now? John Abbott

22:03 3.00 hours (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

Solved now? John Abbott

14:59 0.20 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

An idea for testing Twin Floats John Abbott

14:54 0.20 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

In practice John Abbott

22:08 0.10 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)

Admin John Abbott

22:07 2.00 hours (Support #696 (Closed): test-OrderedRing: activate or eliminate?)

New tests John Abbott

14:16 0.20 hour (Design #855 (Closed): Copyright and authorship?)

Some notes John Abbott

09:43 0.50 hour (Design #855 (Closed): Copyright and authorship?)

Anna Maria Bigatti

08:58 0.25 hour (Design #855 (Closed): Copyright and authorship?)

Anna Maria Bigatti

23 Mar 2016

17:29 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

Normal fn or mem fns? John Abbott

17:12 0.25 hour (Bug #853 (Closed): NearestInt can needlessly throw InsufficientPrecision)

What properties? John Abbott

16:54 1.00 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)

Uffa! John Abbott

11:07 0.10 hour (Support #696 (Closed): test-OrderedRing: activate or eliminate?)

JAA John Abbott

15:27 0.25 hour (Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView)

Last questions John Abbott

15:24 4.00 hours (Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?)

no comment John Abbott

22 Mar 2016

18:08 0.10 hour (Support #618 (Closed): Instructions for compiling libnormaliz)

JAA's notes about compiling Normaliz John Abbott

17:07 3.00 hours (Feature #848 (Closed): Implement MinPoly in CoCoALib)

Anna Bigatti + Elisa Palezzato: translated from cocoa-5 to cocoalib Anna Maria Bigatti

16:47 2.00 hours (Feature #848 (Closed): Implement MinPoly in CoCoALib)

John Abbott: new class IncrLinDep Anna Maria Bigatti

21 Mar 2016

16:57 0.09 hour (Feature #795 (Closed): Add new fn InvModNoCheck)

Closing after 5 months John Abbott

16:55 0.20 hour (Design #763 (In Progress): GlobalManager: initialization compatible with initialization of external libs)

Global variables are problematic John Abbott

14:58 0.50 hour (Design #763 (In Progress): GlobalManager: initialization compatible with initialization of external libs)

Looks to be tricky John Abbott

16:47 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)

Added new para John Abbott

16:00 0.20 hour (Design #815 (Closed): GlobalManager: Imminent disaster should be a proper error)

Message John Abbott

15:49 0.20 hour (Support #774 (Closed): Rename file PPMonoidEvZZ)

Half done? John Abbott

15:21 0.20 hour (Support #810 (Closed): ILogBase: change name?)

Closing after 4 months John Abbott

14:36 0.10 hour (Bug #830 (Closed): Use MachineInt instead of long for params to ZeroMat, IdentityMat, MatByCols, MatByRows)

Closing after 4 months John Abbott

14:33 0.10 hour (Bug #821 (Closed): IsTermOrdering)

Done? John Abbott

14:05 1.00 hour (Design #846 (In Progress): IsIrred: correct design?)

Design comments and semantics John Abbott