Activity
From 26 Sep 2020 to 25 Oct 2020
23 Oct 2020
- 20:48 Bug #1514: Cocoa crashes when calling RingElems
- MemPool causes a SEGV! 8-O
I'll try without MemPool... if I can remember how.
*ANS:* configure with @--thread... - 15:56 Bug #1514: Cocoa crashes when calling RingElems
- I have just made a first run with debugger/profiler --> SEGV
Ooops!
- 12:19 Bug #1514: Cocoa crashes when calling RingElems
- I have modified the test program so that it first generates a list of random linear forms (and then prints it).
Wi... - 10:10 Bug #1514 (In Progress): Cocoa crashes when calling RingElems
- I have just recompiled CoCoALib to use @unsigned char@ as exponent type.
The program ran noticeably faster: about 3 ... - 09:22 Bug #1514: Cocoa crashes when calling RingElems
- The test example as in the description took about 7 mins to generate the 20Mbyte file. That is disappointingly slow ...
- 16:08 Design #1508: Initial ring
- I like Anna's suggestions:
* by default start with the initial ring @QQ[x,y,z]@ (why should it be assigned to a var... - 10:00 Design #1508: Initial ring
- I vote for *(A)* Right after the banner print a message saying what the current ring is
Cleanliness would demand h... - 10:23 Feature #1516: substring function
- This ought to be very easy: I am sure that C++ already has such a function.
I came across the problem while lookin... - 10:21 Feature #1516 (Closed): substring function
- Proposal: a new function to extract a substring.
Syntax would be something like @substr(str, start, end)@ where ind... - 09:59 Feature #1509: RingElems with empty input
- Ah, me too. I have just checked in my code... oddly, there were no clashes. What does that mean?
- 09:33 Feature #1509: RingElems with empty input
- Fixed in @RingElemInput.C@, therefore also for CoCoALib.
22 Oct 2020
- 17:17 Design #635: Automatic mapping of RingElem (in operation with a compound value)
- Clarification: the example in comment 1 does indeed run, but the resulting matrix is over @P@ not @K@.
To obtain a m... - 17:10 Feature #1461: Automatic mapping for multiplication?
- I suggest closing this issue, and copying any unresolved parts into issue #7.
It would be nice to have issue #7 as t... - 17:08 Design #637: Undesirable consequence of automatic mapping of RingElems?
- I now suggest that we make equality-test throw an error (@MixedRings@) if the args are elements of two different ring...
- 16:42 Bug #1514 (Closed): Cocoa crashes when calling RingElems
- Hi,
I have a large polynomial system that has to be read from a file. In order to do so, I load all the polys as c...
21 Oct 2020
- 13:56 Feature #1509 (In Progress): RingElems with empty input
- We could add the following at the start of @RingElems@ (in @RingElemInput:C:278@)...
20 Oct 2020
- 18:05 Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis?
- Now I'd have a slight preference in keeping the current name (it is convenient as it emphasise the "HilbertBasis" str...
- 17:44 Design #1194: Rename HilbertBasisKer into LinKerHilbertBasis?
- Is this a quick issue? If so, is it worth finishing it quickly?
- 18:05 Slug #875: Interpreter is too slow reading a big polynomial
- A better workaround is to use @sum([...])@.
I have just tried a test of the form:... - 17:50 Support #916: use command: unhelpful error if you use := instead of ::=
- The relevant source code seems to be @Parser::parseUseStatement@ around line 356 in @Parser.C@.
What should the b... - 17:12 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- I have checked in my prototype... hope it is a good one!
- 15:33 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- I have tried testing with the current public version of CoCoA-5 for linux: it fails because the interpreter does not ...
- 11:58 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- I now have a new @cocoa5@ script for GNU/linux. I have developed it "blind", so it probably does not work correctly ...
19 Oct 2020
- 19:59 Design #1508 (In Progress): Initial ring
- *A relevant line in the source code* is @Interpreter.C:1212@ which contains:...
- 11:51 Design #1508: Initial ring
- The technically easiest solution would be start with the ring @ZZ@; while not exactly what was suggested, I suspect t...
16 Oct 2020
- 15:48 Design #1495 (Feedback): Package exporting nothing?
- I have checked in my code (after some _ad hoc_ testing).
I have slightly changed what we agreed via skype (so that t... - 15:42 Design #1495: Package exporting nothing?
- I seem to have lost the test file I used for the revised package parser. Here is a short version:...
- 15:36 Bug #1512 (Closed): Package with unexpected EOF
- A package which ends prematurely produces an error, but the message could be better:...
14 Oct 2020
- 22:07 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- I have checked in the minor change to @Main.C@ which impl the @--do-nothing@ option.
- 21:54 Design #1504: OnlineHelp: XMLFileName
- After discussing with Anna: the filenames are essential for the manual mechanism to work. So my idea to pass @istrea...
- 14:43 Feature #674 (Rejected): Ring constructor: allow empty range for indices?
- 14:12 Feature #1509: RingElems with empty input
- we want ...
- 11:52 Feature #1509 (Closed): RingElems with empty input
- In CoCoA-5 we have @RingElems@ and @RingElemList@.
The second function can produce an empty list (from input @"[]"@)... - 14:06 Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p"
- 13:58 Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign)
- 12:31 Bug #1489: Unhelpful error message for package followed by identifier (without dollar sign)
- John Abbott wrote:
> I have added some tests to a new file called @test-package.cocoa5@.
> Not yet checked in: awai... - 13:19 Feature #101: rethrow in Try .. UponError .. EndTry
- Have we used the idea in comment 4 in the CoCoA-5 tests?
I think probably not. If not, why not?
Solving the orig... - 12:11 Bug #1412: Emacs UI: font size
- John Abbott wrote:
> I have made some improvement. Now "send region" should keep the font magnification.
I confi...
13 Oct 2020
- 15:13 Design #1508: Initial ring
- I'm not entirely sure how to achieve technically "start with no current ring":
* *(1)* use an extra flag to say no r... - 15:11 Design #1508 (In Progress): Initial ring
- After lunch with Robbiano today...
The question of the initial ring in CoCoA-5 came up. There are two proposals to ... - 15:03 Bug #469: Emacs UI: keywords in multiline comments
- I suggest documenting this behaviour, and then closing this issue.
*BUT* where should it be documented?
Anna po... - 15:00 Feature #674: Ring constructor: allow empty range for indices?
- This was last considered 5 years ago. The problem has not arisen in this time (in my experience), so I think that it...
12 Oct 2020
- 20:14 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- I have made a first attempt at modifying the start-up script. It took me a lot longer than anticipated :-(
It is ... - 14:16 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- It is not entirely clear to me how to make @--packageDir NoPackages@ work portably.
One solution is to make @NoPacka...
11 Oct 2020
- 22:10 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- I did a quick speed test: specifying as input @/dev/null@, and where the directory @NoPackages@ contains only @init....
10 Oct 2020
- 23:15 Feature #1479: CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- An alternative solution is to ask the user to use an @install@ script: this script could then determine which executa...
09 Oct 2020
- 21:24 Design #1504: OnlineHelp: XMLFileName
- I have now added a fn @OpenXMLManual@ which tries to open the file, and throws a helpful exception if there is troubl...
- 20:08 Design #1504 (In Progress): OnlineHelp: XMLFileName
- I have changed @XMLFileName@ to return a @std::string@. Everything compiles and runs OK.
The next stage is to mak... - 20:36 Support #1507 (Closed): wordlist without OBSOLETE entries?
- Currently @wordlist.txt@ contains also OBSOLETE/OBSOLESCENT entries.
Is this sensible? Shouldn't they be removed?
- 20:17 Slug #1506 (Closed): Remove XMLFileName from Main.C
- @Main.C@ calls @OnLine::XMLFileName@, but I think probably should not.
Consider removing the call; and implement i... - 15:59 Feature #1293: Vim Plugin for CoCoA
- Florian suggests putting a link to the github address somewhere evident on the download page for CoCoA-5 for linux.
... - 15:48 Design #1348 (Closed): cocoa5 script for releases
- This was resolved some time ago by including in the @release-linux.sh@ script a check that the start-up script in the...
- 15:48 Feature #1479 (In Progress): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- Decision: distrubution with two executables.
John does the cocoa-5 script
Anna does the release script (and the rel... - 14:17 Support #1450 (Closed): Release CoCoA-5.3.2
- 13:45 Feature #1487 (Closed): EOF for OpenIFile
- Resolved: use the function *@IsAtEOF@* (which existed but was not documented).
- 11:54 Feature #1487: EOF for OpenIFile
- I have improved the man page for @GetLine@ -- it no refers also to the page for @IsAtEOF@.
- 11:01 Bug #1505 (Feedback): EmacsUI: fix "Go to Error C-c C-p"
- I resorted the lines and now gives the message in the bottom line.
Works fine on emacs 26 and 24. I expect it works... - 10:33 Bug #1505: EmacsUI: fix "Go to Error C-c C-p"
- @string-to-number@ should be used instead.
But there are a few more things not working as before: the error text in ... - 10:32 Bug #1505 (Closed): EmacsUI: fix "Go to Error C-c C-p"
- @string-to-int@ has been an obsolete function since Emacs 22.1, and it was removed in 26.1.
Fix code in @cocoa5.el@
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... - 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... - 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
... - 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... - 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:... - 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?
- 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... - 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...
- 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... - 12:29 Bug #1502 (In Progress): SystemCommand in Microsoft version
- Andraschko reports that @SystemCommand@ does not work properly in the Microsoft release.
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@... - 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.
...
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... - 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...
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 ... - 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... - 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... - 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 ... - 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...
- 15:54 Support #1459 (Feedback): Manual entries for mod and div
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... - 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... - 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...
02 Oct 2020
- 21:05 Design #1495: Package exporting nothing?
- Prototype still needs to be cleaned... not today!
- 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... - 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... - 11:31 Design #1495 (In Progress): Package exporting nothing?
- From #1477 point (C)
proposed syntax *@export skip;@* - 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 ... - 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... - 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....
- 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... - 11:53 Design #1496 (Rejected): 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...
- 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... - 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 ...
- 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... - 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... - 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...
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.... - 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?...
- 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...
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... - 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@....
Also available in: Atom