Activity
From 27 Oct 2019 to 25 Nov 2019
24 Nov 2019
- 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@...
- 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...
- 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... - 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... - 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....
- 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...
21 Nov 2019
- 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...
18 Nov 2019
- 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...
15 Nov 2019
- 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...
- 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...
- 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...
13 Nov 2019
- 16:56 Slug #1363: Emacs UI: slow with long lines
- Original location of link was ...
- 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.
09 Nov 2019
- 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... - 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.
07 Nov 2019
- 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...
- 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...
- 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).
...
30 Oct 2019
- 22:44 Slug #480: gcd too slow for large degree univariate poly
- This slug still exists: on my current machine, top reports that CoCoA-5 is using 13Gbyte of memory. The computation ...
- 16:09 Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?
- When using the Emacs UI, possibly confusing problems can arise if the user has started to type some input in the exec...
- 11:20 Support #1222: Release CoCoA-5.3.0
- I have compiled CoCoA-5 (current CVS) on my little 32-bit netbook (with @readline@ but no other extlibs). Compilatio...
29 Oct 2019
- 12:20 Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once
- The usual trick to ensure that header files are read only once is to define a CPP variable the first time the header ...
Also available in: Atom