Project

General

Profile

Activity

From 07 Mar 2017 to 05 Apr 2017

05 Apr 2017

17:46 Feature #1038: Emacs: sent interrupt to CoCoA
John Abbott wrote:
> @C-c C-q@ for "hard quit" (or @QUIT@ in the emacs-cocoa menu).
there is already @C-c C-k@ "k...
Anna Maria Bigatti
13:33 Feature #1038: Emacs: sent interrupt to CoCoA
Adding a new key-sequence should be quite easy; actually you probably need 2 new key-sequences (one for @C-c C-c@ eqi... John Abbott
11:30 Feature #1038 (In Progress): Emacs: sent interrupt to CoCoA
There are emacs commands *@region-active-p@* and *@use-region-p@*.
After reading the manual, I'm not really sure wha...
John Abbott
07:42 Feature #1038: Emacs: sent interrupt to CoCoA
John Abbott wrote:
> It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer...
Anna Maria Bigatti

04 Apr 2017

18:35 Feature #1038: Emacs: sent interrupt to CoCoA
It would be nice.
It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer, b...
John Abbott
17:53 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
It would be handy to have a menu item or a key-binding to send interrupt to the *cocoa5* buffer from a cocoa file. Anna Maria Bigatti

29 Mar 2017

16:49 Bug #994 (Feedback): SEGV: Toric example from Kazuki Maeda
Anna Maria Bigatti
16:48 Bug #994: SEGV: Toric example from Kazuki Maeda
definitively a bug: "n" instead of "Indices[n]" in the preprocessing.
Obviously a very rare case.
Anna Maria Bigatti

20 Mar 2017

14:26 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
I like the idea of @<key>verbose</key>@. KISS! John Abbott
13:23 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
I noticed in the new CoCoA-5 manual entry for ApproxPointsNBM there are some incomplete phrases about what various ve... John Abbott
09:00 Feature #737 (In Progress): Elementary transcendental functions (sin, cos, tan, log, exp)
Anna Maria Bigatti

17 Mar 2017

16:18 Design #998 (Feedback): Emacs UI: sending empty input from cocoa5 buffer
This was done some while ago. I've been using the revised version of @cocoa5.el@ for at least a month without any pr... John Abbott
16:12 Bug #1002 (Feedback): Emacs UI: cocoa5-send-line skips too many chars
I made a change to the regexp a while ago. All the examples in the comments above seem to work in a reasonable way.
John Abbott
14:15 Bug #1029 (In Progress): Readline: does not recognize interrupts
I'm still searching for a "ready-to-eat" solution on the internet, and am also reading the readline documentation.
...
John Abbott
13:19 Support #1034 (New): Improve error message when args to (infix operator) IsIn have incompatible types
The infix operator *@IsIn@* accepts many different combinations of arg types.
However, for some non-sensical combina...
John Abbott
11:13 Bug #1032: IsInRadical: fragile code
Here are some examples which suggest that it may be better to decompose a poly into its homog parts when testing memb... John Abbott
11:11 Bug #1032: IsInRadical: fragile code
Here are some cases where behaviour is not ideal:... John Abbott
11:07 Bug #1032 (Closed): IsInRadical: fragile code
The current impls of @IsInRadical@ and @MinPowerInRadical@ are fragile: they give errors when they should/need not.
John Abbott
11:03 Support #1031: ScalarProduct: exact defn and manual page
The manual page seems to be very wrong! It should probably be completely rewritten *after* we have decided exactly w... John Abbott
11:00 Support #1031 (New): ScalarProduct: exact defn and manual page
We must establish the exact definition of *@ScalarProduct@* and rewrite the manual page accordingly. John Abbott
10:55 Feature #633: New operations? ScalarProduct(MODULELEM,LIST), MATRIX * MODULELEM
If we regard @ScalarProduct(A,B)@ as being equivalent to @sum([A[i]*B[i] | i in 1..len(A)])@ then @ScalarProduct@ sho... John Abbott

14 Mar 2017

11:34 Bug #1029: Readline: does not recognize interrupts
A quick search found the following example use of the @readline@ alternative interface:
@http://www.mcld.co.uk/blog/...
John Abbott
11:32 Bug #1029 (Closed): Readline: does not recognize interrupts
Justin C Walker has pointed out that CoCoA-5's current use of @readline@ does not recognize interrupts (_e.g._ Ctrl-C... John Abbott

13 Mar 2017

11:19 Bug #1028: Readline: cursor moves wrongly when at start of line with a prompt
There is a (minor?) problem on my old MacBook: typing Ctrl-A when the cursor is at the right-end of the line does som... John Abbott
10:59 Bug #1028 (Resolved): Readline: cursor moves wrongly when at start of line with a prompt
I think I have just been lucky (or was it Giovanni's good design?).
I have just edited @ReadLineProvider::doReadNext...
John Abbott
10:52 Bug #1028: Readline: cursor moves wrongly when at start of line with a prompt
As Justin C Walker pointed out, the @readline@ command can accept a string arg which is printed as the prompt.
Cur...
John Abbott
10:49 Bug #1028 (Closed): Readline: cursor moves wrongly when at start of line with a prompt
Problem reported by Justin C Walker via email.
To exhibit problem: start CoCoA-5 (with readline) in a terminal; ty...
John Abbott

10 Mar 2017

13:06 Bug #946: Function "ideal" evaluates the argument twice
Despite the *urgent* status I have postponed this to the next version. After all it is principally a matter of effic... John Abbott

09 Mar 2017

18:01 Bug #946: Function "ideal" evaluates the argument twice
I think this is far too difficult for this release.
I suggest moving it to next.
Anna Maria Bigatti
17:18 Bug #946: Function "ideal" evaluates the argument twice
For an *urgent* issue, this is making very slow progress :-(
Perhaps someone (who??) should produce a test file wh...
John Abbott
17:31 Slug #1025: Example of slow LEX GBasis computation
This is really unrelated: it is an ideal with a surprisingly "large" DegRevLex RGBasis... John Abbott
16:30 Slug #1025: Example of slow LEX GBasis computation
More examples: these all have support a 3-subset of supp((x+y+z)^3+x) and coeffs +1 or -1... John Abbott
14:14 Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?
Would it be a good idea to add a page with a few basic emacs commands to the CoCoA-5 online manual? John Abbott
14:12 Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized
There is an emacs function *@diff-buffer-with-file@*.
Another possibility is to run *@sum@* on the buffer contents...
John Abbott

08 Mar 2017

23:59 Slug #1025: Example of slow LEX GBasis computation
Here are some more slow examples:... John Abbott
18:56 Slug #1025: Example of slow LEX GBasis computation
Here are some simple-looking ideals whose lex GBs cannot be computed (in reasonable time) by CoCoA-5.1.5:... John Abbott
18:58 Design #1020 (In Progress): Rename minimalized(I) into IdealOfMinGens(I)?
See also the discussion in issue #996 about which bool3 flags can be (ought to be) copied, and which cannot.
John Abbott
18:43 Feature #996 (In Progress): New function: IdealOfGBasis
I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in CoCoALib.
Now that yo...
John Abbott
08:44 Feature #996: New function: IdealOfGBasis
John Abbott wrote:
> As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3...
Anna Maria Bigatti
17:03 Feature #737: Elementary transcendental functions (sin, cos, tan, log, exp)
I've checked it in (not documented).... Anna Maria Bigatti

07 Mar 2017

21:17 Slug #1025: Example of slow LEX GBasis computation
Send the output to a file! (over 40Mbytes)
Biggest coeffs are from the 3rd last polynomial; but several others are...
John Abbott
21:15 Slug #1025 (In Progress): Example of slow LEX GBasis computation
I am putting this example here just not to lose it:... John Abbott
 

Also available in: Atom