Project

General

Profile

Activity

From 21 Feb 2014 to 22 Mar 2014

22 Mar 2014

22:31 Design #491: Cleaning: Cruft in CoCoA-5 packages
The packages that "upset" me the most are @coclib@ and @primary@ (or @radical@?)
John Abbott
22:27 Design #491 (In Progress): Cleaning: Cruft in CoCoA-5 packages
There is a *HUGE* amount of cruft in the C5 packages; more than enough to make maintenance much harder than necessary... John Abbott
22:22 Support #208: describe $package
Anna could you check that this now does more or less what you want; if so, change state to feedback? John Abbott
10:57 Design #481 (Resolved): Multiline comments -- obsolescent?
I think this issue is resolved now -- any objections?
*The solution is (c)*: multiline @/*...*/@ allowed but issues ...
John Abbott
10:21 Design #481: Multiline comments -- obsolescent?
I have changed the warning level to @WS_PEDANTIC@, so most users won't see the warnings.
[now I have to change my se...
John Abbott
10:48 Bug #471: Nested multiline comments
Well, I didn't wait for anyone else's opinion. I've implemented the warning.... John Abbott
10:26 Bug #471: Nested multiline comments
I suggest adding a warning if @/*@ is found inside a @/*...*/@ comment. This would alert users to a (probable?) pres... John Abbott

21 Mar 2014

15:16 Design #490: Duplicate fns: valuation and FactorMultiplicity
@FactorMultiplicity@ is defined in @GCDFreebasis.cpkg5@
John Abbott
14:35 Design #490 (Closed): Duplicate fns: valuation and FactorMultiplicity
CoCoA-5 has two virtually identical fns *@valuation@* and *@FactorMultiplicity@*.
We need only one of them!
Decid...
John Abbott
14:30 Support #395: Naming conventions: upper or lower case?
JAA will ensure that all existing packages work without @BackwardCompatible.cpkg5@; this is simply a matter of code c... John Abbott
14:15 Bug #446: intersection fails with zero ideal
added test in cocoalib. closing. Anna Maria Bigatti
12:56 Bug #446: intersection fails with zero ideal
ehm.... most of them yes ;-) except SparsePolyRing ideals (I think).
Looking at all of them I'm getting convinced...
Anna Maria Bigatti
12:32 Bug #446: intersection fails with zero ideal
Do the @myIntersect@ functions have assertions that their args are valid?
John Abbott
09:53 Bug #446 (Feedback): intersection fails with zero ideal
done and added to test-ideal1.
Added the zero ideal case to...
Anna Maria Bigatti
14:09 Support #489 (In Progress): CoCoAManual: Doc for strings
I have already improved the page "Intro to Strings"; but there are several other pages which need to be merged into a... John Abbott
14:08 Support #489 (Closed): CoCoAManual: Doc for strings
The CoCoA-5 documentation for strings needs to be tidied up, and properly integrated.
John Abbott
11:59 Feature #330 (In Progress): Syzygy for modules: homogeneous module
It works on homogeneous input.... I would really need a volunteer to test the non-homogeneous case (either that or an... Anna Maria Bigatti
11:57 Support #488: CoCoAManual: Help page for porting old C4 code to C5
The CoCoA online manual should also have a short message on each page about functions/operators where changes are nee... John Abbott
10:47 Support #488: CoCoAManual: Help page for porting old C4 code to C5
Tips on updating old C4 code to C5:
* @Not@ operator now replaced by function @not@ which requires brackets!
* @LinKe...
John Abbott
10:41 Support #488 (Closed): CoCoAManual: Help page for porting old C4 code to C5
We need to produce a manual page about porting old C4 code to C5.
John Abbott
11:46 Support #398: Resurrect Relnotes()
resurrected. now it needs to be filled ;-)
Anna Maria Bigatti
11:35 Feature #372 (Closed): add IsFactorClosed
no more problems have arisen. closing. Anna Maria Bigatti
11:31 Feature #306 (Closed): Function for accessing the pointed value
No problems have arisen. Closing. Anna Maria Bigatti
11:30 Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct
No problems have arisen. Closing. Anna Maria Bigatti
10:39 Feature #487: ScalarProduct accepts MatrixRow?
I like defining (mathematically) matrix multiplication by scalar products, so I'm in favour of adding it.
*GetRow* w...
Anna Maria Bigatti
10:31 Feature #487: ScalarProduct accepts MatrixRow?
I'm rather undecided about this.
I suppose KISS would say not to widen the arg types accepted by @ScalarProduct@, ...
John Abbott
10:25 Feature #487 (New): ScalarProduct accepts MatrixRow?
Yesterday I saw some old C4 code. In it the author had a call of the form @ScalarProduct(M[I],L)@ where @M@ is a mat... John Abbott
10:30 Bug #444: Not keyword/operator
(a problem has arisen ;-)
added Not, NOT in *BackwardCompatible*
Anna Maria Bigatti
10:27 Feature #365: add function to compute minimal generators (like Minimalize)
I implemented *GeneralMinGens* for the non-homogeneous case: it does the obvious check on every generator.
Obviously ...
Anna Maria Bigatti
10:03 Feature #365: add function to compute minimal generators (like Minimalize)
updated manual (will not work on quotients, no need).
Still lacking: module -- is that _essentially_ trivial? (modu...
Anna Maria Bigatti
09:55 Design #449 (Closed): Emacs UI: names of emacs fns
trivial issue, all done. Closing. Anna Maria Bigatti
09:37 Support #348 (Feedback): CoCoA website: CoCoA-5.0.3 pages
Anna Maria Bigatti
09:36 Support #348: CoCoA website: CoCoA-5.0.3 pages
some improvement in the download page and in the "older versions" page Anna Maria Bigatti

20 Mar 2014

17:34 Bug #486: Warning about variable hiding another -- too zealous
How to determine the "scope" of a variable?
A function comprises a sequential succession of "top-level" commands; the...
John Abbott
17:29 Bug #486 (New): Warning about variable hiding another -- too zealous
The warning are sometimes is needlessly alarmist:... John Abbott
17:24 Feature #485: Initialization for CoCoA-5: file init.cocoa5
Let's do it as in cocoa-4: there was an init file for everyone and an additional userinit file for user preferences.
...
Anna Maria Bigatti
17:05 Feature #485: Initialization for CoCoA-5: file init.cocoa5
The @init.cocoa5@ file should be in a personal location (presumably home directory) and not with the files that form ... John Abbott
14:37 Feature #485: Initialization for CoCoA-5: file init.cocoa5
I thought that would be so easy and now I see a little problem.
CoCoA-5 loads all the files in the directory @packag...
Anna Maria Bigatti
11:05 Feature #485: Initialization for CoCoA-5: file init.cocoa5
I would set for @init@, same as in cocoa-4.
My personal file just contains the line @Use R;@ ;-)
Anna Maria Bigatti
10:53 Feature #485: Initialization for CoCoA-5: file init.cocoa5
The name *@init.cocoa5@* is reasonable; are there any other candidates?
*@StartUp.cocoa5@*
*@settings.cocoa5@*
[...
John Abbott
10:51 Feature #485: Initialization for CoCoA-5: file init.cocoa5
I agree that it is a good idea:
* beginners will find CoCoA-5 immediately usable (as CoCoA-4 was)
* advanced users ...
John Abbott
10:13 Feature #485 (In Progress): Initialization for CoCoA-5: file init.cocoa5
This is in fact trivial to do it: we just have to add such file to the packages directory (at it was done in CoCoA-4)... Anna Maria Bigatti
10:10 Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5
In CoCoA-4 there was a file called @init.coc@ with some "initial" settings.
Now most initialization are done by CoCo...
Anna Maria Bigatti
17:22 Bug #118 (Closed): unistd and call to access in Main.C
No problems for over a year --> closing!
John Abbott
11:13 Design #481: Multiline comments -- obsolescent?
Current cvs produces a "warning". That's very good for maintainers who have to deal cleanly with lots of code.
Fo...
Anna Maria Bigatti
09:18 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
That would be handy! But I expect it to be hard to implement.
Right now the closer you can get to it is ...
Anna Maria Bigatti

19 Mar 2014

21:55 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
We must determine the exact semantics (C4 was pretty vague, I believe).
We should decide what syntax to use.
It m...
John Abbott
21:52 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
Sorry, I thought I was already in CoCoA-5 John Abbott
21:50 Feature #484 (Closed): Evaluate in other ring (was called :: in CoCoA-4)
CoCoA-4 has the *@::@* operator which evaluated expressions in a given ring:... John Abbott
21:37 Design #483: Unique copies of rings in CoCoA-5
Conceptually this issue seems practically identical to #482.
Yet, I think they are slightly independent: if CoCoAL...
John Abbott
21:32 Design #483 (New): Unique copies of rings in CoCoA-5
If a user creates the same ring twice, should he get the exact same ring?... John Abbott
21:07 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
A significant problem is that the printed form is produced by CoCoALib which naturally knows nothing about variable v... John Abbott
16:38 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
Having just recently discovered that commenting out the printed matrix with ... Anna Maria Bigatti
21:00 Feature #274: InputForm for output readable as input
Here are some thoughts about @InputForm@ (or whatever it will be called):
* it could be a separate command or perhap...
John Abbott
17:51 Design #473 (Resolved): Multiline string literals - useful or obsolescent?
I have just checked in the revised @getStringLiteral@ (the old one is commented out).
Multiline strings were never...
John Abbott
12:34 Design #473: Multiline string literals - useful or obsolescent?
I have made a copy of @Lexer::getStringLiteral@ which handles only normal string literals. It is 60 lines long compa... John Abbott
09:34 Bug #460: Emacs UI: updating abbrev-table
John Abbott wrote:
> Somehow we'll have to tell those who have created @.abbrev_defs@ to remove it (or edit it to rem...
Anna Maria Bigatti

18 Mar 2014

17:45 Bug #469 (In Progress): Emacs UI: keywords in multiline comments
JAA thinks is would be too costly to change the Emacs code to handle this correctly (especially considering its low i... John Abbott
17:35 Design #481 (In Progress): Multiline comments -- obsolescent?
My opinion is:
(a) is too drastic: not backward compatible, single line @/*...*/@ can be useful
(b) my favourite (and...
John Abbott
17:29 Design #481 (Closed): Multiline comments -- obsolescent?
Multiline comments are convenient, inconvenient and potentially hazardous.
Convenient for commenting out blocks of...
John Abbott
17:08 Design #473: Multiline string literals - useful or obsolescent?
Our options are:
# remove all code related to multiline string literals
# comment out all code related to multiline...
John Abbott
16:58 Design #473 (In Progress): Multiline string literals - useful or obsolescent?
The source code relating to the recognition of string literals is in @Lexer.C:423--511@... John Abbott
16:45 Bug #471: Nested multiline comments
A purely practical point: the C5 interpreter was not designed to handle nested @/*...*/@ comments, and I'm pretty cer... John Abbott
16:29 Bug #470 (Feedback): Emacs UI: cocoa5-close-block should beep when there is no block to close
I introduced the bug when "correcting" some redundant looking code (see post 1 in #441).
I've now restored the cod...
John Abbott
15:52 Bug #460: Emacs UI: updating abbrev-table
Somehow we'll have to tell those who have created @.abbrev_defs@ to remove it (or edit it to remove the @cocoa5-abbre... John Abbott
15:48 Feature #346: Describe should indicate package name
A possibly simpler solution to the problem would be to have a function *@PackageOf@* which says which package protect... John Abbott
12:14 Feature #346: Describe should indicate package name
Packages export their varables in the function:... John Abbott
12:03 Feature #346: Describe should indicate package name
The relevant source code appears to be in @Interpreter.C:229@:... John Abbott
15:28 Bug #444 (Closed): Not keyword/operator
No problems have arisen in 2 weeks, so I'm closing this issue.
John Abbott
15:10 Bug #394 (Rejected): problem with ContentFreeFactor (and missing manual entry)
Since Anna cannot recall what the problem was, and some simple _ad hoc_ tests encountered no problems, I shall to "re... John Abbott
14:37 Support #208 (Resolved): describe $package
The modified impl seems OK to me.
I have modified the CoCoA-5 doc too: @Functions@ is now marked as *obsolete*;
@des...
John Abbott
12:41 Support #208 (In Progress): describe $package
I think I've corrected the code so that exported names appear first.
Will check after lunch.
John Abbott
12:22 Support #208: describe $package
The relevant source code is in @Interpereter.C:233@... John Abbott
10:34 Slug #480 (New): gcd too slow for large degree univariate poly
CoCoA-5 used more than 6Gbytes of memory while trying to compute @gcd(f,x^(31^6)-x)@ in @ZZ/(31)[x]@ where @f := x^15... John Abbott

17 Mar 2014

11:34 Bug #471: Nested multiline comments
Here is why I think nested "multiline" comments are problematic; essentially the parser is compelled to parse the com... John Abbott
09:50 Bug #471: Nested multiline comments
CoCoA-4 had nested comments /* /* */ */.
In CoCoA-5 G.Lagorio refused to maintain that feature because _"C does not a...
Anna Maria Bigatti
09:42 Design #478 (In Progress): Use of dollar-dot ($.) in packages
John Abbott wrote:
> Several packages refer to non exported functions by calling them with the prefix @$.@.
>
> Appa...
Anna Maria Bigatti

16 Mar 2014

09:13 Design #478 (Closed): Use of dollar-dot ($.) in packages
Several packages refer to non exported functions by calling them with the prefix @$.@.
Apparently this is no longe...
John Abbott

14 Mar 2014

20:46 Design #477: Eliminate keyword Alias?
I have removed several uses of @Alias@ but making use of @$.@ in packages.
There are some cases where it cannot be...
John Abbott
20:44 Design #477 (New): Eliminate keyword Alias?
I think the concept of @Alias@ is no longer needed (or only very rarely).
Can we eliminate it?
John Abbott
20:42 Design #476 (In Progress): Review utility of package IO
Package @io@ does not do much currently; can we eliminate it? John Abbott
20:18 Design #475 (Closed): Eliminate package approx
Implement in CoCoALib the fns in package @approx@; then eliminate the package.
Some fns are already in CoCoALib.
John Abbott
20:16 Design #474 (In Progress): Eliminate package BinRepr
Implement in CoCoALib the fns in package @BinRepr@; some of this has already been done.
Then eliminate the package.
John Abbott
12:24 Bug #471: Nested multiline comments
While checking in I noticed a "valid use" for multiline comments: in the file @latex.cpkg5@ there are some examples/t... John Abbott

13 Mar 2014

18:06 Bug #470: Emacs UI: cocoa5-close-block should beep when there is no block to close
I was wrong: it wasn't so easy to write the elisp function, but I think I have one which works now! :-)
Next step ...
John Abbott
14:49 Bug #470: Emacs UI: cocoa5-close-block should beep when there is no block to close
I think it may be useful to have an emacs fn which says whether @point@ is in a string literal, in a comment, or in c... John Abbott
16:52 Design #473: Multiline string literals - useful or obsolescent?
My suggestion about juxtaposition of string literals is *not backward compatible* because juxtaposition is already de... John Abbott
15:33 Design #473: Multiline string literals - useful or obsolescent?
We could define juxtaposition of normal string literals to mean concatenation with a newline inserted between the two... John Abbott
15:29 Design #473 (Closed): Multiline string literals - useful or obsolescent?
For the same reasons I do not like multiline comments, I have grave doubts about multiline string literals. They see... John Abbott
15:20 Design #472: Record keyword
Also consider @Record@ in @cocoa5-mode-abbrev-table@.
Similar questions about most CoCoA-5 keywords!
John Abbott
15:07 Design #472 (Closed): Record keyword
What capitalization do we want for the keyword @Record@?
Currently CoCoA-5 uses @Record@, but the manual prefers @...
John Abbott
12:35 Support #439: CoCoA website: download pages and installing instructions
I made an "older versions" page.
Now the download pages show only the latest version.
Anna Maria Bigatti

12 Mar 2014

23:39 Bug #460 (In Progress): Emacs UI: updating abbrev-table
John Abbott wrote:
> A quick test suggests that this does not work, or at least not as I would like (_e.g._ @Lambda@ ...
Anna Maria Bigatti
23:01 Bug #460: Emacs UI: updating abbrev-table
John Abbott wrote:
> One post I read suggested that @cocoa5-abbrev-table@ should be @cocoa5-mode-abbrev-table@. Inv...
Anna Maria Bigatti
22:52 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
Added entry "All CoCoA Commands".
It only gives the list of entries with type "command".
Fairly easy to add (still ...
Anna Maria Bigatti
14:13 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
What I mean is just the *keywords* and syntax of CoCoA language:
* @Return@ _expr_
* @If@ _bool-expr_ @Then@ _cmd_ @E...
John Abbott
13:55 Feature #466 (In Progress): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
You mean something like... Anna Maria Bigatti
12:39 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
Yes, I mean CoCoALanguage *commands*; no, I don't mean *functions*!
Possibly a few important functions could be name...
John Abbott
20:40 Bug #471: Nested multiline comments
John Abbott wrote:
> I have inserted the following in @Lexer.C:83@ right before the declaration of the variable @cha...
Anna Maria Bigatti
18:09 Bug #471: Nested multiline comments
I have inserted the following in @Lexer.C:83@ right before the declaration of the variable @chars@ (what purpose doe... John Abbott
17:44 Bug #471: Nested multiline comments
Places we should look at for changing the parser so that it warns about (or complains about) multiline comments:
@...
John Abbott
17:20 Bug #471: Nested multiline comments
I've modified all packages so that they use either end-of-line comments (if possible) or single-line embedded comment... John Abbott
16:26 Bug #471: Nested multiline comments
I've updated the CoCoAManual entry; it doesn't say that @/*...*/@ works for multiline comments (but it doesn't forbid... John Abbott
16:06 Bug #471 (In Progress): Nested multiline comments
Here is another option:
*(C2)* In CoCoA-5.1 continue to allow the multiline syntax, but issue warnings every time a ...
John Abbott
16:01 Bug #471: Nested multiline comments
One reason for having multiline comments is that it becomes easy to comment out blocks of code; this is also what pro... John Abbott
15:42 Bug #471: Nested multiline comments
As already pointed out in #469 (update 2) I think we should aim to make multiline comments obsolescent. Here are som... John Abbott
15:18 Bug #471 (Closed): Nested multiline comments
C5 does not support nested multiline comments.
The following input produces @7@...
John Abbott
13:54 Bug #470: Emacs UI: cocoa5-close-block should beep when there is no block to close
Here are some test cases; I use @#@ to mark the position of the cursor.
*Case 1*...
John Abbott
13:41 Bug #470 (Closed): Emacs UI: cocoa5-close-block should beep when there is no block to close
When there is no block to close @cocoa5-close-block@ behaves strangely.
If there is no code before @point@ then it...
John Abbott
13:31 Bug #469: Emacs UI: keywords in multiline comments
I think this issue is unimportant because it is hard to imagine when someone would use a multiline comment to comment... John Abbott
13:27 Bug #469: Emacs UI: keywords in multiline comments
I fear that it would be quite tricky to solve this one properly. Reverse scanning to decide if some line is inside a... John Abbott
13:14 Bug #469 (Resolved): Emacs UI: keywords in multiline comments
The close block fn @C-c C-e@ gets confused by unclosed code blocks inside multiline comments. Here is an example:
<...
John Abbott
13:07 Feature #464: Emacs UI: split horizontally instead of vertically?
If we have a global variable, we could make it 3-state: @horizontal-split@, @vertical-split@ or @auto@.
If we do t...
John Abbott
12:59 Bug #468: Emacs UI: indentation is wrong after ?keyword
Recall that @?@ simply has to be the first non-space character in a command (and not the first non-space character on... John Abbott
12:52 Bug #468 (New): Emacs UI: indentation is wrong after ?keyword
I have identified one case where indentation in a @cocoa5@ file goes wrong.
I have checked that @C-c C-e@ is confuse...
John Abbott

11 Mar 2014

18:25 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
You mean the syntax of all commands in CoCoA?
that's not difficult, but it's going to be huge!
Anna Maria Bigatti
17:49 Feature #466: CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
Such a page would be useful for people who already know how to program, and simply want to see the complete syntax al... John Abbott
17:47 Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands
I suggest adding a page which summarises briefly the language syntax of CoCoA-5 (with link to each detailed page for ... John Abbott
17:43 Slug #465: Emacs UI; remove cruft
Also remove @DegLex@, @DegRevLex@, @Lex@, @Xel@?
Also remove @Vector@, @ToPos@, @PosTo@?
John Abbott
17:41 Slug #465 (New): Emacs UI; remove cruft
There is a lot of cruft in @cocoa5.el@; most of it should be removed!
There are many commented out keywords in @co...
John Abbott
17:21 Feature #464: Emacs UI: split horizontally instead of vertically?
I think using the @rotate-split@ function is probably the best solution; it is quite general and might even be useful... John Abbott
14:56 Feature #464: Emacs UI: split horizontally instead of vertically?
I think the default should be horizontal.
I can make the hor/ver toggle available in the menu.
It can be set for all ...
Anna Maria Bigatti
13:02 Feature #464: Emacs UI: split horizontally instead of vertically?
I found the following nice Emacs function... John Abbott
12:58 Feature #464: Emacs UI: split horizontally instead of vertically?
Here are some emacs fns which might be useful:
@window-body-width@ width of the text area
@window-body-height@ hei...
John Abbott
12:14 Feature #464: Emacs UI: split horizontally instead of vertically?
Here are some other design ideas
# make the current functions choose automatically between vert/horiz split (_e.g._ ...
John Abbott
11:59 Feature #464 (In Progress): Emacs UI: split horizontally instead of vertically?
Here is a function which works a bit like @M-x cocoa5@ but makes a horizontal split:... John Abbott
11:51 Feature #464 (Closed): Emacs UI: split horizontally instead of vertically?
The students in Alg Comp would like to be able to have CoCoA source file on the left, and the running interpreter on ... John Abbott

10 Mar 2014

18:25 Support #463 (Closed): Make man page for "It" easier to read
The online manual page for *@It@* is hard to read.... John Abbott

09 Mar 2014

21:19 Bug #462: Emacs UI: semicolon problems
I think the problem is the call on line @cocoa5.el:489@:... John Abbott
21:16 Bug #462 (Closed): Emacs UI: semicolon problems
Semicolon sometimes does strange things.
It places the cursor in the wrong place if you type semicolon immediately...
John Abbott
10:25 Feature #461 (Rejected): New keyword "|->"? (same as "return")
Here is an idea (silly?)
We could add the new keyword @|->@ which has the same semantics as @Return@. This would ...
John Abbott
10:21 Bug #460: Emacs UI: updating abbrev-table
One post I read suggested that @cocoa5-abbrev-table@ should be @cocoa5-mode-abbrev-table@. Investigate and decide.
John Abbott
10:17 Bug #460: Emacs UI: updating abbrev-table
One possible solution is to forcibly load the @.abbrev_defs@ file *before* loading @cocoa5@ mode. I believe thsi can... John Abbott
10:04 Bug #460 (Closed): Emacs UI: updating abbrev-table
I changed my @cocoa5.el@ file and was surprised to find that some keywords which have now been removed were still rec... John Abbott

07 Mar 2014

15:25 Feature #371 (Closed): Resurrect LinearSimplify
No problems reported in the last 9 months, so closing. John Abbott
13:35 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
The regexp... John Abbott
13:01 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
Here is are two test cases. The first works OK; the second does not.... John Abbott
12:48 Bug #441 (Resolved): Emacs UI: C-c C-e does not ignore keywords inside strings
I now have a new regexp which seems to work better:... John Abbott
12:03 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
My regexp doesn't work quite as I hoped: it fails of the matching start keyword is on the same line as point. Here's... John Abbott
11:36 Bug #441 (In Progress): Emacs UI: C-c C-e does not ignore keywords inside strings
I have added a regexp "suffix" so that keywords are recognised "outside strings".
Here is the regexp...
John Abbott
12:49 Bug #394 (Feedback): problem with ContentFreeFactor (and missing manual entry)
I can't remember. Now I cannot reproduce what problem I managed to invent when there was no manual ;-)
Maybe it was...
Anna Maria Bigatti

06 Mar 2014

20:53 Bug #441: Emacs UI: C-c C-e does not ignore keywords inside strings
I believe the relevant function is @cocoa5-close-block@. The bug probably lies inside @cocoa5-last-unended-begin@ (d... John Abbott
20:43 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
I want some guidance about which fonts to use in the description of a CoCoA function when refering to the arguments. ... John Abbott
20:38 Bug #394: problem with ContentFreeFactor (and missing manual entry)
Can I have some details??? John Abbott
20:35 Bug #458: CoCoA5 GUI; failed build "wrong architecture"
I don't believe this issue is so important, but it is worth recording (maybe some @Makefile@ magician will spot the p... John Abbott
20:31 Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture"
I observed a failed build of the C5 GUI (on Mac OS X 10.5.8). The commands I ran were:... John Abbott

05 Mar 2014

18:00 Support #456 (Closed): CoCoAManual: New structure for manual?
CoCoA-4 manual had a part with the list of commands and a part with "topics" (the latter has been obsolete for ages!)... Anna Maria Bigatti
17:00 Bug #444 (Feedback): Not keyword/operator
JAA has revised the manual page for the logical operators.
John Abbott
16:50 Feature #451: Port function NewSymbol/NewSymbols to CoCoA-5
One possible solution is to supply an "impossible name" for those indets we want to be "anonymous".
An impossible ...
John Abbott
16:12 Feature #453 (In Progress): Automatic conversion from INT (or RAT) to RINGELEM
Added code to handle the special cases of @GenRepr(INT,IDEAL)@ and @GenRepr(RAT,IDEAL)@
Which other fns need simil...
John Abbott
15:29 Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
John Abbott
15:26 Feature #372: add IsFactorClosed
After talking to Anna about my doubt, we have decided that an empty list in input should produce an error (as it seem... John Abbott
12:21 Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable
Neither Anna nor I recall how to reproduce this bug; maybe we have fixed it unwittingly?
Anyway, there is a work-aro...
John Abbott

04 Mar 2014

15:22 Support #370: OnlineHelp: Problem with "><" in syntax of CartesianProduct
fixed.
I just added CleanupLine in ...
Anna Maria Bigatti
15:16 Support #369: write documentation for TgCone and other function from the "primary" package
Mostly done. Even cleaned up the code.
There is one function left called "E".
what to do with that? is that useful...
Anna Maria Bigatti
09:58 Feature #372: add IsFactorClosed
Now I'm unsure whether @IsFactorClosed([])@ should return @true@ or give error.
This morning I'm more inclined to fa...
John Abbott

03 Mar 2014

22:14 Feature #372: add IsFactorClosed
Hey! Have you been talking to Elisa Businelli again?
Fixed the case of an empty list -- it gives *true* (same as th...
John Abbott
19:21 Feature #372: add IsFactorClosed
In the manual we can have... Anna Maria Bigatti
19:15 Feature #306 (Feedback): Function for accessing the pointed value
I think it looks pretty nice now. I even wrote a bit of documentation.
Feedback.
Anna Maria Bigatti
19:00 Design #449 (Feedback): Emacs UI: names of emacs fns
I renamed all functions so they start with @cocoa5-@
I'll leave this in feedback just to make sure no mismatch comes...
Anna Maria Bigatti
17:59 Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
Seems OK. I'm closing this (unless future guinea-pigs resurrects it ;-) Anna Maria Bigatti
17:56 Bug #418 (Closed): What does interreduce do?
Anna Maria Bigatti
17:03 Feature #454 (New): interpolate
I'd like to use the @interpolate@ fn in one of mys first lessons; can it be implememnted in time? May be related to ... John Abbott
17:00 Feature #453 (In Progress): Automatic conversion from INT (or RAT) to RINGELEM
C5 does not allow computing @GenRepr(1, I)@ because it wants a @RINGELEM@ where I supplied the value @1@ which has ty... John Abbott

28 Feb 2014

15:51 Feature #451: Port function NewSymbol/NewSymbols to CoCoA-5
I think I made a fool of myself: we cannot have anonymous symbols in CoCoA because we do not have symbols. (we just ... Anna Maria Bigatti
15:21 Feature #451: Port function NewSymbol/NewSymbols to CoCoA-5
I'm already writing the code (taking some rust off my C++) and I'll wait for JAA's approval ;-)
Anna Maria Bigatti
15:12 Feature #451 (In Progress): Port function NewSymbol/NewSymbols to CoCoA-5
In CoCoALib there are functions for making anonynous symbols (i.e. name of indeterminates).
Should we port them to C...
Anna Maria Bigatti
11:09 Support #369 (In Progress): write documentation for TgCone and other function from the "primary" package
Anna Maria Bigatti

27 Feb 2014

09:44 Support #450 (In Progress): CoCoA-5.0.9 release (admin, overheads, etc)
I wonder if the next version should be 5.1 instead of 5.0.4; the reason for the jump is the removal of the keywords *... John Abbott

26 Feb 2014

17:09 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
Can we complete/close any of these issues?
#20, #32, #78, #94, #104, #197, #200, #204, #216, #239, #322
I'm sure the...
John Abbott
16:54 Support #450: CoCoA-5.0.9 release (admin, overheads, etc)
Things to do (no special order):
* (@Anna) check the roadmap, and see which tasks we can reasonably complete, and wh...
John Abbott
16:51 Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc)
Just an issue to gather together all the things to do for the imminent 5.0.9 release.
JAA is hoping the release wi...
John Abbott
17:01 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
JAA should respond!
John Abbott
16:48 Bug #197: ./C5.bin: fork: Resource temporarily unavailable
Has this effectively been resolved? It's been ages since I've seen the problem (but I hardly ever use the GUI...)
...
John Abbott
11:46 Feature #414: New fn to increase max recursion depth
Here is a reason why I prefer a built-in fn for increasing max stack height over a command line option: a user discov... John Abbott
11:18 Feature #328 (Feedback): Swap
I tried swapping two long lists (10000000 entries), and it was pretty quick; so I deduce that the values are not copi... John Abbott

25 Feb 2014

16:11 Support #370: OnlineHelp: Problem with "><" in syntax of CartesianProduct
C5 tells me "no matches" when I ask for *@? ><@*
Is this what we want? [no!]
How to fix it? [don't know] Maybe i...
John Abbott
15:40 Feature #372: add IsFactorClosed
Implemented in C++ (inside @PPMonoid.H@ and @PPMonoid.C@); it is faster.
Documented.
Also available in C5 now -- remo...
John Abbott
14:31 Feature #328: Swap
If I remember correctly, the swap above should not make any useless copy (that is, objects should be shared until the... Giovanni Lagorio
10:58 Feature #328: Swap
*Giovanni* any good hints on how I could implement an efficient @swap@ function in C++ (rather than doing 3 assignme... John Abbott
10:40 Feature #414: New fn to increase max recursion depth
I had suspected as much. Some guys wanted a stack size of about 250000, and asked for a command to increase stack si... John Abbott
10:18 Feature #414: New fn to increase max recursion depth
It's complicated; short answer: a frame needs to "point/reference" other frames for accessing non-local variables (_e... Giovanni Lagorio

24 Feb 2014

22:42 Feature #414: New fn to increase max recursion depth
I have a first impl, but it SEGVs if I increase the stack size; don't know why.
The CoCoA-5 input is this: (initial ...
John Abbott
18:20 Feature #414: New fn to increase max recursion depth
Anna said it would be best to keep the change as simple as possible, so it should be a function (since we're not sure... John Abbott
18:15 Feature #380 (Closed): Add Frobby functions to cocoa-5
No complaints from Oscar in 9 months, so presumably all is well. Closing. John Abbott
18:13 Feature #372: add IsFactorClosed
The impl is quite short; move it to C++ (might even be faster?)
John Abbott
18:07 Feature #212 (Closed): NBM: add to CoCoA-5
No complaints have come forth, so closing this. John Abbott
18:05 Feature #328 (In Progress): Swap
Added first basic impl to @coclib.cpkg5@.
It should be possible to swap most types of value in C++ without actuall...
John Abbott
17:49 Bug #444: Not keyword/operator
Old code has been deleted (not yet CVSed though). All still works.
*ANNA* will fix the manual; perhaps separate m...
John Abbott
17:41 Bug #443 (Feedback): lambda keyword
We have chosen *@Func...EndFunc@* as the best compromise.
Implemented all steps (1)-(4).
Status is now *feedback*
John Abbott

22 Feb 2014

11:40 Bug #443: lambda keyword
Here are the steps to make once we have decided what to do:
Step 1: modify interpreter (ought to be very easy, will ...
John Abbott
10:22 Bug #443: lambda keyword
Being "trivial to implement" is surely a *big advantage*!
I wonder whether @fn...EndFn@ is too short; specifically d...
John Abbott
11:35 Support #439: CoCoA website: download pages and installing instructions
Some points to clarify on the website:
* what to download and do for a *completely new* installation (CoCoA+emacs)
* ...
John Abbott
10:58 Bug #447: CoCoA-5.0.3 Microsoft std::bad_alloc
On my portable it gave no problem: just returned the result @ideal()@.
With full debugging I get a failed assertion:...
John Abbott
10:49 Bug #446: intersection fails with zero ideal
We must remember to add CoCoALib tests for all these "trivial cases" -- they should be in CoCoALib rather than CoCoA-... John Abbott

21 Feb 2014

18:37 Bug #444: Not keyword/operator
Done stage 2. All C5 tests pass. Checked in.
NB old code for @Not@ operator has only been commented out for now...
John Abbott
16:44 Bug #444: Not keyword/operator
Stage 1 done. About to check in!
John Abbott
16:14 Bug #444: Not keyword/operator
There seems to be no doubt that the current @Not@ operator is problematic: even we, the C5 designers, find it "danger... John Abbott
14:50 Bug #444: Not keyword/operator
John Abbott wrote:
> I've just noticed a real howler in @hilop.cpkg5@
> [...]
> which is very different from the orig...
Anna Maria Bigatti
13:00 Bug #444: Not keyword/operator
A moment's refection about the above howler has put me in panic mode; how come anything works in CoCoA-5???
Should...
John Abbott
12:57 Bug #444: Not keyword/operator
I've just noticed a real howler in @hilop.cpkg5@... John Abbott
12:39 Bug #444: Not keyword/operator
John Abbott wrote:
> I have just grepped through the C5 packages and there are several places where the operator @No...
Anna Maria Bigatti
01:29 Bug #444: Not keyword/operator
I have just grepped through the C5 packages and there are several places where the operator @Not@ is incorrectly appl... John Abbott
16:27 Bug #443: lambda keyword
I still vote for (with the great advantage of being trivial to implement ;-)... Anna Maria Bigatti
16:18 Bug #443: lambda keyword
I found this neat little example in a file I was playing with:... John Abbott
16:07 Bug #443: lambda keyword
I forgot to add that if we have a very compact syntax for simple anon fns (single expr) then it is less important to ... John Abbott
16:04 Bug #443: lambda keyword
Here's yet another idea (for simple anon fns), I suppose inspired by TeX.
An anon fn is any expression containing at...
John Abbott
16:01 Bug #443: lambda keyword
John Abbott wrote:
> Over lunch I made a survey (sample size = 1): -Oscar-Anonymous had no idea ;-)
> My favourite...
Anna Maria Bigatti
15:50 Bug #443: lambda keyword
Over lunch I made a survey (sample size = 1): Oscar had no idea what a "lambda function" might be (nor indeed what is... John Abbott
15:20 Bug #443: lambda keyword
I prefer a name intstead of the arrow.
So I looked at synonyms: (mind you: I'm joking)
X --> definitely not g...
Anna Maria Bigatti
13:16 Bug #443: lambda keyword
I've spoken to Anna and she has accepted that having @lambda@ as a keyword in CoCoA-5 is inconvenient. The question ... John Abbott
12:53 Design #449 (Closed): Emacs UI: names of emacs fns
Most emacs variables dealing with the CoCoA5 emacs interface are called @cocoa5-*@ but a few do not begin with @cocoa... John Abbott
12:39 Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3
No problems over the last month (incl. plenty of use).
So closing.
John Abbott
12:35 Bug #445 (Feedback): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
The change was to @cocoa5-beg-block-re@; I simply added initial @"\\<"@ and final @"\\>"@ -- it seems that they had b... John Abbott
12:18 Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
I think I have fixed it! :-)
Now the question is how to test it thoroughly?
[answer: a class full of unwitting guine...
John Abbott
12:16 Bug #446: intersection fails with zero ideal
John Abbott wrote:
> The mem fn @myColon@ is called by @colon@ (see source @ideal.C:280@) which makes a copy of @I@ ...
Anna Maria Bigatti
11:59 Bug #446: intersection fails with zero ideal
The mem fn @myColon@ is called by @colon@ (see source @ideal.C:280@) which makes a copy of @I@ and then "plays" with ... John Abbott
11:39 Bug #446: intersection fails with zero ideal
I had fixed this kind of problemi in @SparsePolyRing.C@ for colon... Anna Maria Bigatti

20 Feb 2014

00:54 Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
I've made some quick tests in a buffer associated to @file.cocoa5@.
Adding a *prefix* (comprising letters and/or d...
John Abbott
00:40 Bug #446: intersection fails with zero ideal
Should there be a separate issue about putting some proper "extreme case" tests for all ideal operations in the stand... John Abbott
00:36 Bug #446: intersection fails with zero ideal
@radical@ seems happy so long as there is at least one non-zero generator.
*However*, @radical(ideal(one(R)))@ gives...
John Abbott
 

Also available in: Atom