Activity
From 07 Mar 2017 to 05 Apr 2017
05 Apr 2017
-
17:46 CoCoA-5 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... -
13:33 CoCoA-5 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...
-
- There are emacs commands *@region-active-p@* and *@use-region-p@*.
After reading the manual, I'm not really sure wha... -
- John Abbott wrote:
> It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer... -
- There is one aspect of the design which is not wholly satisfactory:
there is no safe way of sending logging output t...
04 Apr 2017
-
- 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... -
- It would be handy to have a menu item or a key-binding to send interrupt to the *cocoa5* buffer from a cocoa file.
-
- First we should decide what the public interface is to be.
* One possibility is to have 2 fns *@QuotientBasis@* and ...
29 Mar 2017
-
- Current setting seems satisfactory.
Documented in cocoa-5.... not in CoCoALib.
Can we avoid this duplication of doc... -
- In conclusion: all done for the commutative case.
To do for non-commutative case (new issue).
Closing this one. -
-
-
-
- definitively a bug: "n" instead of "Indices[n]" in the preprocessing.
Obviously a very rare case. -
- Solved by issue #1036 (which is a duplicate of this issue, but I created it because a search for "LogStream" found no...
-
- Already implemented: very simple. Written doc.
The only thing missing is an example.
-
- On which output stream should logging messages from CoCoALib be printed?
* @cout@ mixes logging messages with stan...
28 Mar 2017
-
- Anna Maria Bigatti wrote:
> Add also the syntax @LinKer(L)@ where L is a list of linear polynomials.
Modified cou... -
- Add also the syntax @LinKer(L)@ where L is a list of linear polynomials.
-
- Should we postpone this issue to the next version?
-
- Postpone to next version?
-
- QuotientBasis returns a list of power-products ordered by increasing lex (independently of the ordering in the ring)....
20 Mar 2017
-
- I like the idea of @<key>verbose</key>@. KISS!
-
- I noticed in the new CoCoA-5 manual entry for ApproxPointsNBM there are some incomplete phrases about what various ve...
-
17 Mar 2017
-
- This was done some while ago. I've been using the revised version of @cocoa5.el@ for at least a month without any pr...
-
- I made a change to the regexp a while ago. All the examples in the comments above seem to work in a reasonable way.
-
- > In some ways the "eat up" version appeals to me more; though it might discourage casual use... (would that matter?)...
-
- I'm against this idea, because I think it might be badly misused.
I see you want to apply it to IsInRadical for a ... -
- If we do choose to introduce such a function, what should its name be?
-
- Introduce new function to split a poly into its homog parts.
What should the result be?
* @vector<RingElem>@ whe... -
- I'm still searching for a "ready-to-eat" solution on the internet, and am also reading the readline documentation.
... -
- The infix operator *@IsIn@* accepts many different combinations of arg types.
However, for some non-sensical combina... -
- Here are some examples which suggest that it may be better to decompose a poly into its homog parts when testing memb...
-
- Here are some cases where behaviour is not ideal:...
-
- The current impls of @IsInRadical@ and @MinPowerInRadical@ are fragile: they give errors when they should/need not.
-
- The manual page seems to be very wrong! It should probably be completely rewritten *after* we have decided exactly w...
-
- We must establish the exact definition of *@ScalarProduct@* and rewrite the manual page accordingly.
-
- If we regard @ScalarProduct(A,B)@ as being equivalent to @sum([A[i]*B[i] | i in 1..len(A)])@ then @ScalarProduct@ sho...
14 Mar 2017
-
- John Abbott wrote:
> I think that if the ideal @I@ is homog then @IsInRadical(f,I)@ is the same as the logical-and o... -
- I think that if the ideal @I@ is homog then @IsInRadical(f,I)@ is the same as the logical-and of @IsInRadical(f_d,I)@...
-
- Currently @IsInRadical@ is defined in a CPKG5, but may soon be translated to CoCoALib.
The case of a homog poly in... -
- A quick search found the following example use of the @readline@ alternative interface:
@http://www.mcld.co.uk/blog/... -
- Justin C Walker has pointed out that CoCoA-5's current use of @readline@ does not recognize interrupts (_e.g._ Ctrl-C...
13 Mar 2017
-
- 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...
-
- I think I have just been lucky (or was it Giovanni's good design?).
I have just edited @ReadLineProvider::doReadNext... -
- As Justin C Walker pointed out, the @readline@ command can accept a string arg which is printed as the prompt.
Cur... -
- Problem reported by Justin C Walker via email.
To exhibit problem: start CoCoA-5 (with readline) in a terminal; ty...
10 Mar 2017
-
- The tests are producing strange results: it seems that there is some mysterious problem with the threadsafe counter :...
-
- I now have a first impl of the "preprocessor definitions" header file.
One question which has just arisen is the f... -
- Despite the *urgent* status I have postponed this to the next version. After all it is principally a matter of effic...
09 Mar 2017
-
- I think this is far too difficult for this release.
I suggest moving it to next.
-
- For an *urgent* issue, this is making very slow progress :-(
Perhaps someone (who??) should produce a test file wh... -
- This is really unrelated: it is an ideal with a surprisingly "large" DegRevLex RGBasis...
-
- More examples: these all have support a 3-subset of supp((x+y+z)^3+x) and coeffs +1 or -1...
-
- Would it be a good idea to add a page with a few basic emacs commands to the CoCoA-5 online manual?
-
- There is an emacs function *@diff-buffer-with-file@*.
Another possibility is to run *@sum@* on the buffer contents...
08 Mar 2017
-
- Here are some more slow examples:...
-
- Here are some simple-looking ideals whose lex GBs cannot be computed (in reasonable time) by CoCoA-5.1.5:...
-
- See also the discussion in issue #996 about which bool3 flags can be (ought to be) copied, and which cannot.
-
- I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in CoCoALib.
Now that yo... -
- John Abbott wrote:
> As I pointed out in #1020, this fn should also copy across any 3-way flags (_e.g._ @IamRadical3... -
- After some consideration I think it is best to put all the CPP "flags" into a single header file, then any files whic...
-
- I've checked it in (not documented)....
-
- There is a certain irony in finding this problem just 5 minutes after Mario left for good...
Is the implementation... -
- The following input gives an error:...
07 Mar 2017
-
- Send the output to a file! (over 40Mbytes)
Biggest coeffs are from the 3rd last polynomial; but several others are... -
- I am putting this example here just not to lose it:...
Also available in: Atom