CoCoA

26 Mar 2016

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

Progress John Abbott

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

Seems OK John Abbott

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

Some reasoning John Abbott

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

An idea John Abbott

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

Some notes John Abbott

25 Mar 2016

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

Implemented John Abbott

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

Design John Abbott

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

Comments John Abbott

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

Solved now? John Abbott

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

Solved now? John Abbott

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

An idea for testing Twin Floats John Abbott

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

In practice John Abbott

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

Admin John Abbott

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

New tests John Abbott

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

Some notes John Abbott

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

Anna Maria Bigatti

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

Anna Maria Bigatti

23 Mar 2016

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

Normal fn or mem fns? John Abbott

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

What properties? John Abbott

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

Uffa! John Abbott

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

JAA John Abbott

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

Last questions John Abbott

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

no comment John Abbott

10:41 CoCoA-5 1.00 hour (Support #187 (Closed): CoCoA-5 (partial) releases: make the process simpler)

Anna Maria Bigatti

10:40 CoCoA-5 0.20 hour (Support #314 (Closed): odd and even numbers for snapshots/official versions?)

Question John Abbott

10:20 CoCoA-5 5.00 hours (Support #843 (Closed): Release: CoCoA-5.1.3 and CoCoA-5.1.4)

Anna Maria Bigatti

22 Mar 2016

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

JAA's notes about compiling Normaliz John Abbott

17:07 CoCoALib 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 CoCoALib 2.00 hours (Feature #848 (Closed): Implement MinPoly in CoCoALib)

John Abbott: new class IncrLinDep Anna Maria Bigatti

21 Mar 2016

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

Closing after 5 months John Abbott

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

Global variables are problematic John Abbott

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

Looks to be tricky John Abbott

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

Added new para John Abbott

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

Message John Abbott

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

Half done? John Abbott

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

Closing after 4 months John Abbott

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

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

Done? John Abbott

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

Design comments and semantics John Abbott

11 Mar 2016

10:34 CoCoA-5 0.10 hour (Feature #531 (Closed): Package protected variables should know which package protected them)

Change CoCoAInterpreter John Abbott