CoCoA » CoCoALib

16 Feb 2017

13:17 0.00 hour (Slug #777 (In Progress): SLUG: elimination)

MinPolyQuot John Abbott

13:14 0.25 hour (Slug #777 (In Progress): SLUG: elimination)

Verbose John Abbott

12:45 0.20 hour (Feature #962 (Closed): General verbose mode?)

Just two levels? John Abbott

15 Feb 2017

18:40 0.25 hour (Feature #962 (Closed): General verbose mode?)

Interesting idea John Abbott

18:20 0.10 hour (Feature #1008 (Closed): square function)

Checked in John Abbott

13 Feb 2017

14:47 0.10 hour (Bug #1004 (Closed): In scripts: use portable test for absolute paths)

Quick update John Abbott

14:44 0.20 hour (Feature #1008 (Closed): square function)

Bye bye square John Abbott

12 Feb 2017

16:20 0.10 hour (Feature #1008 (Closed): square function)

No need? John Abbott

16:19 0.25 hour (Feature #1008 (Closed): square function)

Some notes John Abbott

01 Feb 2017

21:49 1.00 hour (Feature #1005 (Closed): Makefile: install target for CoCoALib)

Temporary solution John Abbott

16:51 3.00 hours (Feature #1005 (Closed): Makefile: install target for CoCoALib)

Partly done John Abbott

21:44 1.00 hour (Bug #1004 (Closed): In scripts: use portable test for absolute paths)

Seems OK John Abbott

14:18 0.50 hour (Bug #1004 (Closed): In scripts: use portable test for absolute paths)

Found solution on StackExchange John Abbott

14:07 0.10 hour (Support #976 (Closed): configure: auxiliary scripts should be consistent about error messages)

Works OK John Abbott

23 Jan 2017

15:20 0.10 hour (Feature #931 (Closed): GBasis verbose mode)

Expected or unexpected? John Abbott

15:16 0.25 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

Remove altogether? John Abbott

21 Jan 2017

22:25 0.25 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

Puzzling John Abbott

18:07 0.30 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

Changed John Abbott

18:01 1.50 hour (Design #999 (Closed): configuration: include -std=c++03 by default?)

Oh well... John Abbott