Activity

From 26 Oct 2019 to 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@... 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

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 ... John Abbott
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... John Abbott
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... John Abbott

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 ... John Abbott

09:53 Bug #1325 (Closed): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block: tried. works. closed. Anna Maria Bigatti
09:11 Bug #1325 (Feedback): Emacs UI: emacs does not recognize "until" as marking the end of a "repeat" block: I have made the changes which I think are right for having *@until@* recognized as an end-keyword.
I have tried to c... John Abbott
08:47 Feature #673: Error message: I was expecting...: John Abbott wrote:
> Mind you, anyone who types in any of the above is just being a vandal (mmm, me too?)
Now cal... Anna Maria Bigatti

Also available in: Atom

CoCoA » CoCoA-5