CoCoA » CoCoA-5

07 Apr 2017

22:24 Design #1041: Separators for elements of a list

Here is an example involving a matrix:... John Abbott

22:21 Design #1041: Separators for elements of a list

I have put this in the section CoCoA-5 even though the solution involves (possibly) modifying CoCoALib,
because the ... John Abbott

22:19 Design #1041 (In Progress): Separators for elements of a list

Currently elements of a "list" are printed with comma-space-space between successive elements.
The string defining... John Abbott

17:19 Bug #697: Interpreter: Avoid outputting an empty line after each line of input

removed the empty lines, and checked in.
I like it! A lot more compact :-)
Have a look, what do you think?
Anna Maria Bigatti

16:51 Bug #697 (In Progress): Interpreter: Avoid outputting an empty line after each line of input

There is a class called @OSTREAM@ in @Interpreter.H:274@.
Perhaps that class could contain a flag which says wheth... John Abbott

16:23 Bug #697: Interpreter: Avoid outputting an empty line after each line of input

I'm very tempted just to remove this empty line in all cases.... after all I also remove them in the manual and in my... Anna Maria Bigatti

15:56 Bug #697: Interpreter: Avoid outputting an empty line after each line of input

Perhaps the interpreter needs to have a flag saying whether a newline should be printed before printing the prompt.
... John Abbott

15:28 Bug #697: Interpreter: Avoid outputting an empty line after each line of input

The line printing the newline is this, in @LineProviders.H@:... Anna Maria Bigatti

16:31 Feature #883: gin: return/print a suitable change of variables

John Abbott wrote:
> Printing out the changes of coordinates is OK as a "temporary fix".
Well, depends on what We... Anna Maria Bigatti

11:43 Feature #883: gin: return/print a suitable change of variables

Printing out the changes of coordinates is OK as a "temporary fix".
An equivalent function in CoCoALib should cert... John Abbott

10:19 Feature #883 (Feedback): gin: return/print a suitable change of variables

Final decision is:
- two good changes of coordinates are printed when verbosity is set
- a simpler change of coordi... Anna Maria Bigatti

14:12 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?

John Abbott wrote:
> It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
@<type>@ is used for... Anna Maria Bigatti

11:47 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?

It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
Better @types@ than @keywords@?
John Abbott

11:41 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?

also added ... Anna Maria Bigatti

11:24 Support #1023 (Resolved): CoCoAManual for verbosity: how to find which levels? how to find which functions?

Anna Maria Bigatti

11:20 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?

I refined my idea: now a function implementing verbosity should have these lines in its manual entry... Anna Maria Bigatti

11:36 Feature #996: New function: IdealOfGBasis

OK to put @IdealOfGBasis@ into @SparsePolyRing.C@ assuming you are convinced that that is the right place.
What ab... John Abbott

09:57 Feature #996 (Resolved): New function: IdealOfGBasis

Anna Maria Bigatti

09:56 Feature #996: New function: IdealOfGBasis

John Abbott wrote:
> I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in Co... Anna Maria Bigatti

10:55 Support #1040 (Feedback): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel

done, and checked in.
Anna Maria Bigatti

10:01 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel

Write manual entry Anna Maria Bigatti

10:13 Feature #734 (Closed): Primary Decomposition in CoCoA-5: zero dimensional, zero characteristic

All done Anna Maria Bigatti

10:09 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5

To do:
- call TwinFloat
- check documentation
- Now called ApproxPointsNBM/SOI: find better acronym
Laura, Claud... Anna Maria Bigatti

09:48 Bug #994 (Closed): SEGV: Toric example from Kazuki Maeda

Anna Maria Bigatti

06 Apr 2017

23:48 Feature #1038: Emacs: sent interrupt to CoCoA

I have just checked in a new version which should use @use-region-p@ if that fn is defined, o/w it uses @region-activ... John Abbott

14:10 Feature #1038: Emacs: sent interrupt to CoCoA

Well done! :-)
I have made a small change: call @use-region-p@ instead of @region-active-p@
If I understand corr... John Abbott

09:34 Feature #1038 (Feedback): Emacs: sent interrupt to CoCoA

Done it!
I've been lucky and found @comint-interrupt-subjob@ quickly.
I had some problems in testing it (@load-file... Anna Maria Bigatti

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