Activity - CoCoALib - CoCoA Project

Activity

From 28 Feb 2016 to 28 Mar 2016

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

Also available in: Atom