CoCoA » CoCoA-5

08 Oct 2020

15:16 Design #1504: OnlineHelp: XMLFileName

I think changing the return type of @XMLFileName@ should be trivial (and not cause problems).
Changing the error m... John Abbott

15:15 Design #1504 (Closed): OnlineHelp: XMLFileName

In @OnlineHelp.C@ there is a fn @XMLFileName@ which should give the full path of the XML file.
Current this fn ret... John Abbott

14:16 Feature #1503: More flexible ring creation syntax (after use or ::=)

How flexible/limited should a new syntax be?
Should it be possible to make arbitrarily long extensions? Such as
... John Abbott

14:11 Feature #1503: More flexible ring creation syntax (after use or ::=)

We discussed this over lunch today.
JAA thinks that this is not incompatible with #657.
Which term order should... John Abbott

14:02 Feature #1503 (New): More flexible ring creation syntax (after use or ::=)

This request comes from Florian Walsh.
The suggestion is permit the following syntax:... John Abbott

13:57 Feature #606 (In Progress): Evaluate in ring operator (was called :: in CoCoA-4)

I think this has largely been resolved by @RingElem@ or @RingElems@ or @RingElemList@.
Right?
John Abbott

13:54 Feature #1293: Vim Plugin for CoCoA

Assuming that this works reasonably well, it would be nice to release it with CoCoA-5.
When? Next version? The one... John Abbott

13:48 Design #637: Undesirable consequence of automatic mapping of RingElems?

I have just tried the example in the description. The equality test gives @ERR::MixedRings@, which I think is probab... John Abbott

12:32 Bug #1502: SystemCommand in Microsoft version

Our code looks to be correct (in agreement with the description given on website @cpprefeence.com@).
At the moment... John Abbott

12:29 Bug #1502 (In Progress): SystemCommand in Microsoft version

Andraschko reports that @SystemCommand@ does not work properly in the Microsoft release. John Abbott

07 Oct 2020

12:02 Design #1501: testing for syntax errors

I am quite undecided about this.
For "run-time" errors we have the possibility of handling them via @try...endtry@... John Abbott

11:55 Design #1501 (Rejected): testing for syntax errors

In CoCoA-5 test files, computational errors can be captured inside a @try...entry@ block,
but syntax errors cannot.
... John Abbott

06 Oct 2020

15:53 Design #1493 (Resolved): Automatic ring mapping in assignment?

I have changed the impl of @mySetEntry@ so that it tries to auto map the ring elem. Some _ad hoc_ tests pass.
I h... John Abbott

11:59 Support #1498 (In Progress): Export many names or just one?

We have the habit of exporting a single name at a time, but I see no harm in allowing several names to be exported by... John Abbott

05 Oct 2020

16:33 Feature #1487: EOF for OpenIFile

oh thanks, did not now that this function exists.
I also think that an error is appropriate, since there is no more ... Julian Danner

16:18 Feature #1487: EOF for OpenIFile

So now that *@IsAtEOF@* is visible, should attempting to read beyond EOF trigger an error?
Probably "yes".
Opinio... John Abbott

16:13 Feature #1487 (Resolved): EOF for OpenIFile

Is seems that the function *@IsAtEOF@* was not in the CoCoA manual; it is now!
This should surely resolve the prob... John Abbott

15:48 Feature #1487: EOF for OpenIFile

I have improved the manual page for @GetLine@.
I have not understood why an empty string is returned when EOF has ... John Abbott

15:37 Feature #1487 (In Progress): EOF for OpenIFile

According to the CoCoA-5 manual, *@GetLine@* returns a line *without* the following end-of-line character (ascii code... John Abbott

15:54 Support #1459 (Feedback): Manual entries for mod and div

John Abbott

03 Oct 2020

17:51 Support #1498 (Closed): Export many names or just one?

The CoCoA manual says that @export@ expects just a single name; the code will accept a comma-separated list.
Chang... John Abbott

17:20 Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign)

I have added some tests to a new file called @test-package.cocoa5@.
Not yet checked in: awaiting comments on #1495 a... John Abbott

17:08 Design #1495: Package exporting nothing?

I am writing tests for @package@, and have a question.
If the input contains something like *@export abc,skip;@*,
a... John Abbott

02 Oct 2020

21:05 Design #1495: Package exporting nothing?

Prototype still needs to be cleaned... not today! John Abbott

14:22 Design #1495: Package exporting nothing?

Here are the tests we should make:
* *(1)* package with no @export@ commands (warning, as now)
* *(2)* package w... John Abbott

14:03 Design #1495: Package exporting nothing?

I have written a first prototype. It compiles and seems to do the right thing, but I must do some more testing.
The... John Abbott

11:31 Design #1495 (In Progress): Package exporting nothing?

From #1477 point (C)
proposed syntax *@export skip;@* Anna Maria Bigatti

11:30 Design #1495 (Closed): Package exporting nothing?

It may be useful to make a package exporting no function: currently it gives a warning.
Choose an explicit syntax ... Anna Maria Bigatti

16:38 Bug #1489 (Resolved): Unhelpful error message for package followed by identifier (without dollar sign)

It seems that the root cause was in @LexemeClass@... which was poorly written (by me?).
I have rewritten it, and all... John Abbott

12:00 Design #1496: Use "special" names for variables inside tests

Here is a list of the tests: we can remove the ones which have been checked/updated.... John Abbott

11:54 Design #1496: Use "special" names for variables inside tests

*COPIED FROM COMMENT 3 in #1294*
One possibility is simply to use names which start with underscore: this is allow... John Abbott

11:53 Design #1496 (In Progress): Use "special" names for variables inside tests

To avoid problems with name clashes the names of variables inside test scripts these variable should have "special" n... John Abbott

11:58 Feature #1415: thmproving package

John Abbott wrote:
> Any news about this package?
> Can we close this issue quickly and easily?
ok, working on i... Anna Maria Bigatti

11:43 Support #692 (Rejected): Local variables hiding out ones at top level

After a Skype discussion we have decided to leave things as they are: while not perfect (and sometimes annoying) the ... John Abbott

07:54 Bug #1200 (Closed): Package exported function: wrong package name

John Abbott wrote:
> Is this even a bug?
> In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by... Anna Maria Bigatti

07:36 Design #1493: Automatic ring mapping in assignment?

John Abbott wrote:
> My "gut feeling" is that it should work... I expect it to work (perhaps because the destination... Anna Maria Bigatti

07:24 Design #1477: Packages: questions from Andraschko

John Abbott wrote:
> Regarding point *(C)* _why must a package export at least 1 function?_
> We could also allow s... Anna Maria Bigatti

30 Sep 2020

17:36 Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign)

It looks like the error mesg was generated by @Parser.H:159@.
There is also a comment in the code referring to #673.... John Abbott

17:29 Design #1493: Automatic ring mapping in assignment?

My "gut feeling" is that it should work... I expect it to work (perhaps because the destination ring is well defined?... John Abbott

11:43 Design #1477: Packages: questions from Andraschko

Regarding point *(C)* _why must a package export at least 1 function?_
A work-around would be to create a function... John Abbott

28 Sep 2020

16:40 Design #1493 (Closed): Automatic ring mapping in assignment?

We have partly implemented automatic conversion of ring elements (_e.g._ in multiplication).
Should it also work for... John Abbott

15:08 Support #1486 (In Progress): Emacs UI: indentation in a package

I suspect that the relevant part to be changed is the defn of *@cocoa5-beg-block-re@* around line 286 in @cocoa5.el@.... John Abbott

23 Sep 2020

11:22 Bug #1200: Package exported function: wrong package name

Is this even a bug?
In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by a package called *@expe... John Abbott

11:19 Bug #1200: Package exported function: wrong package name

The relevant line appears to be *@Interpreter.C:4289@*.
Here is a test input which triggers the bug:... John Abbott

11:09 Bug #1200: Package exported function: wrong package name

I am postponing this because it is not so important/urgent, and looks like it might be quick tricky to solve :-/
John Abbott

11:06 Support #692 (In Progress): Local variables hiding out ones at top level

I think I now prefer not to issue a warning in the examples given here.
If CoCoA issues too many warnings then the u... John Abbott

10:42 Bug #1294 (Resolved): CoCoA-5 tests may fail even if executed correctly

I have implemented option *(A)* and checked it in. I chose *(A)* because it is relatively simple to implement.
Wait... John Abbott

17 Sep 2020

16:09 Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign)

The following produces a misleading error message... John Abbott

16:06 Feature #1415: thmproving package

Any news about this package?
Can we close this issue quickly and easily? John Abbott

15:59 Bug #1294: CoCoA-5 tests may fail even if executed correctly

I have modified the script @RunTests.sh@ so that it first runs CoCoA with an empty input (*@/dev/null@*).
If that pr... John Abbott

15 Sep 2020

15:20 Bug #1294 (In Progress): CoCoA-5 tests may fail even if executed correctly

Your comment about a protected variable causing trouble is a good point (albeit also rather abstruse).
We should u... John Abbott

14:35 Bug #1294: CoCoA-5 tests may fail even if executed correctly

Yes, I think that would be an improvement, but also only solve the issue partly. Still if for instance @init.cocoa5@ ... Julian Danner

13:11 Feature #1487 (Closed): EOF for OpenIFile

To read a local file one needs to open an input device via @D:=OpenIFile("path_to_file")@ and read it line-by-line vi... Julian Danner

14 Sep 2020

18:19 Support #1486: Emacs UI: indentation in a package

JAA is uncertain about this.
On the one hand the "strange" indentation of package variable assignments highlights ... John Abbott

18:16 Support #1486 (In Progress): Emacs UI: indentation in a package

Bernhard Andraschko reports the following anomaly.
Inside a package variables are indented, but all other package ... John Abbott