CoCoA

01 Feb 2017

21:49 CoCoALib Feature #1005: Makefile: install target for CoCoALib

I have added some lines to copy documentation and examples:
* @doc/CoCoALib.pdf@ is copied into @/usr/local/include... John Abbott

16:51 CoCoALib Feature #1005 (In Progress): Makefile: install target for CoCoALib

I have already written a first *@install@* target for CoCoALib (and a first attempt to use it required a system reins... John Abbott

16:43 CoCoALib Feature #1005 (Closed): Makefile: install target for CoCoALib

There should be an *@install@* target for CoCoALib.
John Abbott

21:44 CoCoALib Bug #1004: In scripts: use portable test for absolute paths

Anna reports that the modified script worked as desired on M$ plaform.
So I have changed the other scripts (which ne... John Abbott

14:18 CoCoALib Bug #1004 (In Progress): In scripts: use portable test for absolute paths

I have found a plausible solution on StackExchange (256434):
the following (Bourne) shell function was given as a so... John Abbott

14:10 CoCoALib Bug #1004 (Closed): In scripts: use portable test for absolute paths

Anna has just reported that some scripts give incorrect errors about paths not being absolute.
The problem probabl... John Abbott

14:07 CoCoALib Support #976: configure: auxiliary scripts should be consistent about error messages

I am happy with the format of the printed error messages. It remains to decide between @/dev/stderr@ and @/dev/stdou... John Abbott

30 Jan 2017

07:55 CoCoALib Feature #1001: CoCoALib: ideas for student projects

Translate a cocoa-5 function from a package into CoCoALib.
* *@GCDList@* (@coclib.cpkg5@)
* *@FactorUnivariate@* ... Anna Maria Bigatti

07:53 CoCoA-5 Feature #737: Elementary transcendental functions (sin, cos, tan, log, exp)

I have a package myself called @taylor@.
Maybe I could show it to you and decide. Anna Maria Bigatti

27 Jan 2017

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

Think about the following valid CoCoA-5 code:... John Abbott

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

The following works:... John Abbott

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

This, not surprisingly, doesn't work ;-)... Anna Maria Bigatti

15:54 CoCoA-5 Feature #1003 (In Progress): New syntax for creating poly rings?

I do not believe that there will be ambiguity: consider the expression *@OBJ[string]@*
* if *@OBJ@* is a record the... John Abbott

07:42 CoCoA-5 Feature #1003: New syntax for creating poly rings?

Remember the syntax @NewPolyRing(QQ, "x,y,z");@. That's very expressive!
Anna Maria Bigatti

07:40 CoCoA-5 Feature #1003: New syntax for creating poly rings?

Neat idea, but I think we would still have the ambiguity between:
@K["x"]@ and @F["factors"]@ for records (very usef... Anna Maria Bigatti

15:50 CoCoA-5 Support #1000: CoCoAManual for "all cocoa commands"

Is it possible to make links/references from normal manual pages to/from the page about CoCoA commands?
I note that ... John Abbott

07:51 CoCoA-5 Support #1000: CoCoAManual for "all cocoa commands"

(I thought I had already replied on this one, strange...)
As is (think of the pdf version), the manual only knows ... Anna Maria Bigatti

15:46 CoCoA-5 Feature #912: Add TUTORIALs to online manual

Anna would you be willing to help me propel this issue forwards over the next month.
The minicourse will be on 27+28... John Abbott

07:53 CoCoA-5 Feature #912: Add TUTORIALs to online manual

John Abbott wrote:
> Here is a proposal for how we could organize tutorials as manual pages in CoCoA-5.
> Tutorial ... Anna Maria Bigatti

08:05 CoCoA-5 Feature #996: New function: IdealOfGBasis

Asking for approval: is this name ok?
Anna Maria Bigatti

26 Jan 2017

00:49 CoCoA-5 Feature #1003: New syntax for creating poly rings?

One problem it does not solve is how to write something like @QQ[alpha]/(alpha^2-2)@ since we cannot create the ideal... John Abbott

00:46 CoCoA-5 Feature #1003: New syntax for creating poly rings?

Some advantages are:
* do not need operator *@::=@* to introduce special syntax (valid only in a special context)
*... John Abbott

00:40 CoCoA-5 Feature #1003 (In Progress): New syntax for creating poly rings?

Here is an idea which could make creating poly rings a "normal case" rather than a "special case".
Instead of havi... John Abbott

25 Jan 2017

08:35 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

John Abbott wrote:
> I reiterate my suggestion to make @cocoa5-send-line@ send nothing to CoCoA-5 if the line it is ... Anna Maria Bigatti

24 Jan 2017

21:12 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

The following file will give different results (but no errors) if you read the whole file in one go, or send the file... John Abbott

19:55 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

I think Anna might like to skip over minus signs since she sometimes uses a line of minus signs to separate sections ... John Abbott

19:31 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

This leads naturally to the question: which chars do we want to skip over?
At least: Newline, space and tab.
Anyt... John Abbott

19:25 CoCoA-5 Bug #1002 (In Progress): Emacs UI: cocoa5-send-line skips too many chars

The problem lies in the "mysterious" regexp given to @skip-chars-forward@.
Currently the regexp is *@"-*\n-*"@* but ... John Abbott

19:21 CoCoA-5 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

Here is an example:... John Abbott

19:19 CoCoA-5 Bug #1002 (Closed): Emacs UI: cocoa5-send-line skips too many chars

While trying to understand how @cocoa5-send-line@ works, I discovered that it can skip too far forwards sometimes.
... John Abbott

19:35 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

I reiterate my suggestion to make @cocoa5-send-line@ send nothing to CoCoA-5 if the line it is on contains only white... John Abbott

18:56 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

Another possibility is to make @cocoa5-send-line@ insert a newline into the buffer if the line (is non-empty and) doe... John Abbott

08:27 CoCoA-5 Design #998: Emacs UI: sending empty input from cocoa5 buffer

John Abbott wrote:
> Here is another example:
> [...]
> where the last line does not have a "newline" at the end.
... Anna Maria Bigatti

23 Jan 2017

19:11 CoCoA-5 Design #998 (In Progress): Emacs UI: sending empty input from cocoa5 buffer

Here is another example:... John Abbott

15:20 CoCoALib Feature #931: GBasis verbose mode

I set verbosity level to 1965 then tried calling @ImplicitHypesurface@ with the option @ElimTH@, but no verbose messa... John Abbott

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

At this point I do not see any purpose in keeping even the option to extract compilation flags from @gmp.h@, so I now... John Abbott

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