CoCoA » CoCoALib

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

20 Jan 2017

16:40 0.10 hour (Feature #962 (Closed): General verbose mode?)

Add to existing files? John Abbott

16:26 0.40 hour (Design #983 (Closed): Which ostream for verbose/obsolescent log mesgs?)

Separate file? John Abbott

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

Which target version? John Abbott

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

Cleaning and closing John Abbott

14:28 0.10 hour (Feature #1001 (In Progress): CoCoALib: ideas for student projects)

More ideas John Abbott

14:26 0.20 hour (Design #827 (Closed): NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd))

Closing John Abbott

14:11 0.20 hour (Design #999 (Closed): configuration: include -std=c++03 by default?)

Awkward John Abbott

19 Jan 2017

18:10 0.50 hour (Feature #1001 (In Progress): CoCoALib: ideas for student projects)

Some ideas John Abbott

17:05 0.20 hour (Design #999 (Closed): configuration: include -std=c++03 by default?)

Flag not recognized in g++ 4.2.1 John Abbott

18 Jan 2017

15:05 0.10 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

OK John Abbott

17 Jan 2017

18:20 0.20 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

To check John Abbott

15 Jan 2017

17:47 0.50 hour (Bug #975 (Closed): configure: possibly ignore GMP compilation flags)

What should the default behaviour be? John Abbott

11 Jan 2017

15:02 1.50 hour (Bug #591 (In Progress): Problem with template instantiation and order of include directives)

Magic phrase John Abbott

10 Jan 2017

11:20 0.20 hour (Bug #591 (In Progress): Problem with template instantiation and order of include directives)

Workaround? John Abbott

11:12 2.00 hours (Bug #591 (In Progress): Problem with template instantiation and order of include directives)

It's not a bug, it's a feature! John Abbott

09 Jan 2017

16:56 0.20 hour (Bug #591 (In Progress): Problem with template instantiation and order of include directives)

Still there John Abbott