CoCoA » CoCoA-5

27 Jan 2017

15:59 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 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)

The following works:... John Abbott

08:04 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 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 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 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 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 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 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 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 Feature #996: New function: IdealOfGBasis

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

26 Jan 2017

00:49 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 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 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 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 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 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 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 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 Bug #1002: Emacs UI: cocoa5-send-line skips too many chars

Here is an example:... John Abbott

19:19 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 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 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 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 Design #998 (In Progress): Emacs UI: sending empty input from cocoa5 buffer

Here is another example:... John Abbott

19 Jan 2017

14:44 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 Support #1000: CoCoAManual for "all cocoa commands"

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

12:53 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 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

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

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

17:22 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 Bug #945 (In Progress): Emacs UI: comint buffer silently truncates(?) long lines when sending

John Abbott

13:03 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 Design #997: Using protected variable names for "bound variables" (e.g. for, try...endtry)

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

11:38 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

12 Jan 2017

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

Consider this case... Anna Maria Bigatti

11 Jan 2017

13:24 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 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 Bug #994: SEGV: Toric example from Kazuki Maeda

reduced to... Anna Maria Bigatti

09 Jan 2017

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

investigating.
On my Mac 33. Anna Maria Bigatti

13:36 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 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 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