Activity

From 04 Nov 2019 to 03 Dec 2019

14:36 Feature #1364 (Feedback): Emacs UI: start cocoa5 with system command enabled: I have checked in a cleaned-up version of the code... Anna said it worked fine for her.
Now we can test for it for... John Abbott

17:21 Feature #1372 (In Progress): New function: find ?: Should we add the function *find* (similar to C++ *find*)?
This is a quick and easy prototype (should be easy to wri... Anna Maria Bigatti

22:42 Feature #1364 (In Progress): Emacs UI: start cocoa5 with system command enabled: Prototype sent to Anna via email, so she can test it.
John Abbott

13:11 Support #1368 (Resolved): Improve manual for mod: The solution to Ange's problem is to compute @mod(a-b,p)@; this will be zero iff @a@ and @b@ are congruent modulo @p@... John Abbott
13:04 Support #1368 (In Progress): Improve manual for mod: Currently the manual and the implementation are incompatible. The manual says that the remainder is always non-negat... John Abbott
12:58 Support #1368 (Closed): Improve manual for mod: The manual entry for *@mod@* needs to be improved.
Ange recently reported that *@mod(a,p) = mod(b,p)@* did not wor... John Abbott
12:51 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz: I'm hoping that this should be easy (at least on Linux).
On my linux box, compilation and linking work fine with nor... John Abbott
12:49 Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz: The last release was linked with an "old" version of normaliz. Make the next release with a more recent version (_e.... John Abbott
12:46 Design #1352 (Resolved): cocoa5 (launch) script: sleep time: I have just tried @xterm -e ./cocoa5@, and now prefer a 4 second wait after printing the message (perhaps it should b... John Abbott

14:17 Support #1365 (New): Package EdgeIdeal not documented: While preparing to present "graph colouring" I discovered a few mins ago that *@ChromaticNumber@* is a package-export... John Abbott

10:51 Feature #1364: Emacs UI: start cocoa5 with system command enabled: John Abbott wrote:
> Here are two possible ways to implement:
> * *(A)* new emacs commands _e.g._ *@cocoa5-with-sys... Anna Maria Bigatti

15:40 Feature #1364: Emacs UI: start cocoa5 with system command enabled: Ange's situation is that she has the source code in @file.cocoa5@ and wants to send it to CoCoA-5 with @SystemCommand... John Abbott
15:30 Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled: Ange wants to use @SystemCommand@ inside some of her code, but when she starts CoCoA-5 from inside emacs @SystemComma... John Abbott
15:28 Support #677: Credits to CoCoA-5 contributors: * *Manual page* this is probably simplest to implement (and likely to suffice for all or almost all uses)
* *Functi... John Abbott

16:56 Slug #1363: Emacs UI: slow with long lines: Original location of link was ... John Abbott
16:55 Slug #1363 (In Progress): Emacs UI: slow with long lines: I have found mention of *@so-long.el@* for emacs which is supposed to help with long lines.
We should investigate.
John Abbott

21:45 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?: Checked into CVS.
I had added a fn for sending a string to the running *cocoa5* buffer; I have not yet altered any f... John Abbott
09:18 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?: Tried on two (oldish) version of emacs.
Both work. Anna Maria Bigatti

20:17 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?: I noticed quite a lot of "almost duplication" in the *@cocoa5.el@* file. We should try to reduce that: more work for... John Abbott
18:37 Feature #1358 (In Progress): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?: I have a first version which seems to work: after *@(goto (point-max))@* I have inserted *@(move-beginning-of-line ni... John Abbott
17:43 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?: I think it is probably a good idea to clear the last line (assuming this can be done reasonably easily in emacs).
... John Abbott

Also available in: Atom

CoCoA » CoCoA-5