Project

General

Profile

Activity

From 02 Feb 2014 to 03 Mar 2014

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
15:53 Bug #446: intersection fails with zero ideal
Bad news: the problem occurs somewhere inside Max's code :-(
The problem is that @EmbedPolyList@ tries to create ...
John Abbott
11:46 Bug #446: intersection fails with zero ideal
Same problem with @radical(J)@. John Abbott
11:40 Bug #446 (Closed): intersection fails with zero ideal
The following input wrongly produces an error... John Abbott
15:34 Bug #443: lambda keyword
Here is an example taken from @NotBuiltin.cpkg5@
Current form:...
John Abbott
10:36 Bug #443: lambda keyword
Other suggestions for the keyword: *@func...EndFunc@*, *@AnonFn...EndAnonFn@*,
*@AnonFunc...EndAnonFunc@*
My firs...
John Abbott
12:13 Support #448: EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
The problem was reported by Elisa Businelli (and can be reproduced on her computer).
John Abbott
12:12 Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate
In side emacs using @send-file@ or @send-region@ issues a CoCoA command using @Source@ and @SourceRegion@ commands se... John Abbott
12:02 Bug #447 (Closed): CoCoA-5.0.3 Microsoft std::bad_alloc
The following input produces a @std::bad_alloc@ exception on Microsoft Windows 7 Ultimate (Service Pack 1) 2009
<pre...
John Abbott

19 Feb 2014

21:53 Bug #445: EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
I think the problem may be in the definition of @cocoa5-beg-block-re@.
I presume the @-re@ suffix means "regular exp...
John Abbott
21:48 Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line)
The emacs UI sometimes gets indentation wrong inside a @file.cocoa5@.
The specific case I observed was when the pr...
John Abbott
21:37 Bug #444 (Closed): Not keyword/operator
The @Not@ operator behaves differently from C4.
In C4 you could write @If Not 1 IsIn I Then ...@
In C5 this is ...
John Abbott
21:34 Feature #347 (Closed): C5 cannot compute derivative of a ratfn
This has been in feedback for 9 months without any problems, so closing.
John Abbott
21:31 Bug #443 (Closed): lambda keyword
I've just resuscitated the eigenvector code.
Having @lambda@ as a keyword is a nuisance, _e.g._ it cannot be used ...
John Abbott
11:32 Support #439: CoCoA website: download pages and installing instructions
Tony should be here in a couple of weeks; maybe we could ask him to help improve the design of the website (by giving... John Abbott

14 Feb 2014

10:14 Feature #352: Should SourceRegion echo the "region"?
> I did write the code for emacs so that the sourced lines are printed (commented out), but, of course, this is not s... Anna Maria Bigatti

12 Feb 2014

12:07 Feature #352: Should SourceRegion echo the "region"?
John Abbott wrote:
> I can see what the students of the upcoming Computer Algebra course say about "send region" not ...
Anna Maria Bigatti
11:56 Feature #352 (In Progress): Should SourceRegion echo the "region"?
I can see what the students of the upcoming Computer Algebra course say about "send region" not copying the region se... John Abbott
12:00 Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings
The emacs key sequence @C-c C-e@ should automatically insert the correct @End...@ keyword to close a syntactical cons... John Abbott

10 Feb 2014

12:04 Support #439: CoCoA website: download pages and installing instructions
I wonder if a friendly industrial designer would be able to help. :-)
John Abbott

08 Feb 2014

20:10 Support #439 (Closed): CoCoA website: download pages and installing instructions
[20140208] Tony reported that he found the website quite difficult to navigate, and felt it did not explain clearly p... John Abbott

07 Feb 2014

00:44 Slug #435 (New): Assignment to protected variable
The interpreter should check whether LHS is protected *before* trying to evaluate RHS (because evaluation RHS might b... John Abbott
00:41 Bug #94: Default reason for protected variables
I'd like to resolve & close this issue in the near future!
John Abbott

06 Feb 2014

14:46 Slug #434: Emacs UI: very slow when input file is big (with long lines)
I created a 3Mbyte file with short lines (100 copies of the code in @radical.cpkg@). There was some slow down, but q... John Abbott
14:22 Slug #434: Emacs UI: very slow when input file is big (with long lines)
The problems of serious slow down occur only when the cursor is towards the end of the file -- response is normal whe... John Abbott
13:49 Slug #434 (New): Emacs UI: very slow when input file is big (with long lines)
Emacs has become very slow as I edit a large (3Mbyte) @file.cocoa5@.
The file contains several quite long lines (u...
John Abbott
10:23 Bug #433: EMACS UI: trouble with sending a long line
My idea to use @SourceRegion@ has a (minor?) technical problem: it implies that the buffer be saved to the associated... John Abbott

05 Feb 2014

00:06 Bug #433 (Closed): EMACS UI: trouble with sending a long line
Sending a long line to CoCoA-5 inside Emacs does not work: CoCoA gets stuck and simply prints out lots of ^G. I beli... John Abbott
23:55 Feature #381: Emacs User Interface: Easier binding for sending a line to cocoa-5
Could you also define some other key sequences? For instance,
C-c RET
C-c C-RET
The advantage of defining both ...
John Abbott
 

Also available in: Atom