CoCoA

21 Jan 2017

22:25 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags

One thing which puzzles me is that CoCoALib compiles fine and all tests pass on my old MacBook even without *@-m64@* ... John Abbott

18:07 CoCoALib Bug #975 (Feedback): configure: possibly ignore GMP compilation flags

I have changed it on my machines, but cannot currently check in (because cannot make VPN connection).
John Abbott

18:01 CoCoALib Design #999 (Resolved): configuration: include -std=c++03 by default?

After thinking about having to compile+install CoCoA/CoCoALib on numerous recent Linux boxes for the upcoming CoCoALi... John Abbott

20 Jan 2017

16:40 CoCoALib Feature #962: General verbose mode?

A quick grep suggests that we should check the use of *@clog@* in the following files:
* *@ApproxPts2.C@*
* *@OpenM... John Abbott

16:26 CoCoALib Design #983 (In Progress): Which ostream for verbose/obsolescent log mesgs?

I have just made a first impl of a simple way to choose the log stream. It comprises a hidden global variable (which... John Abbott

15:44 CoCoALib Feature #931 (In Progress): GBasis verbose mode

Which target version should we opt for?
I suggest postponing for a later release (unless you think that this is almo... John Abbott

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

I have done some cleaning in @MatrixForOrdering.C@, but more still really ought to be done.
After 3 months in feed... John Abbott

14:28 CoCoALib Feature #1001: CoCoALib: ideas for student projects

Here are some more (weaker?) ideas:
* a fn which produces the simplest non-neg integer matrix giving the same term o... John Abbott

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

It seems we have taken the approach of making a single function (*@MakeTermOrd@*) which is simplest for the user; lat... John Abbott

14:11 CoCoALib Design #999 (In Progress): configuration: include -std=c++03 by default?

I note that the compilation flag *@-std=c++03@* will cease to be relevant (and may even become "harmful") once we upd... John Abbott

19 Jan 2017

18:10 CoCoALib Feature #1001: CoCoALib: ideas for student projects

Here are some ideas:
* write a fn @IsCyclotomic@ for univariate polynomials (based on paper by Bradford+Davenport)
... John Abbott

18:05 CoCoALib Feature #1001 (In Progress): CoCoALib: ideas for student projects

Collect here ideas for potential student projects based on CoCoALib. John Abbott

17:05 CoCoALib Design #999: configuration: include -std=c++03 by default?

The compilation flag *@-std=c++03@* is not recognized by the old g++ (version 4.2.1) on my old MacBook Pro, so causes... John Abbott

14:44 CoCoA-5 Support #1000: CoCoAManual for "all cocoa commands"

This is issue 1000! What a shame it is such a boring matter... well, I suppose most of the issues are rather dull :-/
John Abbott

12:55 CoCoA-5 Support #1000: CoCoAManual for "all cocoa commands"

Here are some commands which do not appear in the list:... John Abbott

12:53 CoCoA-5 Support #1000 (Closed): CoCoAManual for "all cocoa commands"

Which commands should appear in the list produced when asking the manual for *@all cocoa commands@*?
At the moment... John Abbott

12:51 CoCoA-5 Feature #912: Add TUTORIALs to online manual

Now that I have a CoCoA minicourse planned for late February, it is a good time to reactivate this task.. but how to ... John Abbott

18 Jan 2017

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

After having compile CoCoALib on several newish Linux boxes, I have noticed that there are many warnings about @auto_... John Abbott

17:30 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

Consider a buffer containing the following:... John Abbott

17:22 CoCoA-5 Design #998 (Closed): Emacs UI: sending empty input from cocoa5 buffer

What should the correct behaviour be when sending "empty input" to CoCoA-5 from a @cocoa5-mode@ buffer in Emacs.
C... John Abbott

17:17 CoCoA-5 Bug #945 (In Progress): Emacs UI: comint buffer silently truncates(?) long lines when sending

John Abbott

15:05 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags

OK, then I should try to change the default behaviour... this evening's "entertainment"? :-/
John Abbott

14:49 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags

John Abbott wrote:
> @Anna: you can check whether you would have problems by configuring with the option *@--ignore-... Anna Maria Bigatti

13:03 CoCoA-5 Design #997 (In Progress): Using protected variable names for "bound variables" (e.g. for, try...endtry)

I note also that "protected names" are allowed as formal parameters for user defined fns: _e.g._ the following works ... John Abbott

11:44 CoCoA-5 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)

The following example does nothing embarrassing:... John Abbott

11:38 CoCoA-5 Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry)

I was surprised the following did not produce any error about protected variables:... John Abbott

17 Jan 2017

18:20 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags

@Anna: you can check whether you would have problems by configuring with the option *@--ignore-gmp-cflags@* and then ... John Abbott

15:13 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags

John Abbott wrote:
> Such a change would not be "backward compatible", but the incompatibility would be noticed only... Anna Maria Bigatti

15 Jan 2017

17:47 CoCoALib Bug #975: configure: possibly ignore GMP compilation flags

Another email (from Matthias Koeppe) reported much the same problem as Gereon had.
In replying to him, I wondered ... John Abbott

12 Jan 2017

17:11 CoCoA-5 Feature #996 (Closed): New function: IdealOfGBasis

Consider this case... Anna Maria Bigatti

11 Jan 2017

15:02 CoCoALib Bug #591: Problem with template instantiation and order of include directives

Mario and I looked in Stroustrup's C++ book (v.4), and the magic phrase appears to be *point-of-instantiation binding... John Abbott

13:24 CoCoA-5 Bug #995 (Resolved): LaTeX(x^10) should use curly brackets

I think it is enough to change @latex.cpkg5:30@ from @L[I] > 10@ to @L[I] > 9@.
Will check in asap.
John Abbott

13:23 CoCoA-5 Bug #995 (Closed): LaTeX(x^10) should use curly brackets

The latex package handles exponents equal to 10 wrongly: it does not put the exponent in curly brackets.
Fix @late... John Abbott

10 Jan 2017

19:43 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda

reduced to... Anna Maria Bigatti

11:20 CoCoALib Bug #591: Problem with template instantiation and order of include directives

There remains the question of how to correctly organize the header files in CoCoALib so that this "wonderful feature"... John Abbott

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

It really is a C++ trap for the unwary... grrr!
The following code fails to compile because the last line (@iter(v... John Abbott

09 Jan 2017

17:34 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda

investigating.
On my Mac 33. Anna Maria Bigatti

13:36 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda

I'm trying to compile CoCoA-5.1.5 on my netbook (after a clean reinstall of the system).
To my surprise BOOST inst... John Abbott

13:32 CoCoA-5 Bug #994: SEGV: Toric example from Kazuki Maeda

JAA has confirmed the bug (using current internal CVS version).
Marked as urgent because it triggers SEGV, and we ... John Abbott

13:28 CoCoA-5 Bug #994 (Closed): SEGV: Toric example from Kazuki Maeda

2017 is starting well... :-/
Kazuke Maeda reports the following SEGV problem:
The following repeated computation ... John Abbott

16:56 CoCoALib Bug #591: Problem with template instantiation and order of include directives

The problem persists with g++ 5.3.1. It must be C++ thing, some weird restriction about calling "global" fns from in... John Abbott