Activity
From 19 Mar 2020 to 17 Apr 2020
17 Apr 2020
-
16:19 CoCoA-5 Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
- It works for me ...
-
16:11 CoCoA-5 Bug #1448 (Feedback): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
- I have checked in (*@cocoa5.el@*)
How can we make a test suite for the emacs UI?
Please test, and let me know i... -
16:07 CoCoA-5 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
- I think I have a reasonable solution; it may not behave exactly as before. It's tricky getting these regexps to do e...
-
15:45 CoCoA-5 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
- I have modified the regexp in my local copy, and it works now.
*BUT* the file contains some weird chars now :-/
... -
15:22 CoCoA-5 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
- I wonder if the problem is in the regexp on line 1423.... damn, I wrote that :-(
-
15:19 CoCoA-5 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
- It is important to read carefully the description of the bug...
I confirm the bug for me (Ubuntu 18.04, emacs 25.2... -
13:58 CoCoA-5 Bug #1448: EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
- ...
-
13:56 CoCoA-5 Bug #1448 (Closed): EmacsUI: sending line with "7" calls SourceRegion (!?!?!)
- This is the most amusing and surprising bug I've ever seen.
Evaluating C-<enter> (or C-c C-l) on the first line of t...
26 Mar 2020
-
11:40 CoCoA-5 Design #990: CoCoA-5 distribution: tidying
- It's a bit late to make a change for the current version, but we could do it for the next release...
I suggest postp... -
11:38 CoCoA-5 Design #990: CoCoA-5 distribution: tidying
- Here is a quick summary of what I think the installation "script" for CoCoALib does:
* create new dir with name like... -
10:28 CoCoALib Feature #1299: New fn ConstantTerm?
- I have a prototype impl, much like the impl for *@HomogCompt@*.
It is disappointingly slow for larger polynomials:...
24 Mar 2020
-
22:37 CoCoA-5 Support #1222 (Feedback): Release CoCoA-5.3.0
- release for windows done (maybe)
-
21:49 CoCoALib Feature #1299: New fn ConstantTerm?
- This is a little bit like *@HomogCompt(f,0)@*. See issue #1439.
20 Mar 2020
-
18:00 CoCoA-5 Design #990: CoCoA-5 distribution: tidying
- John Abbott wrote:
> *NOTE*: the linux version unpacks into *@cocoa-5.3.0/@* whereas the Mac version unpacks into *@... -
13:21 CoCoA-5 Design #990 (Feedback): CoCoA-5 distribution: tidying
- *NOTE*: the linux version unpacks into *@cocoa-5.3.0/@* whereas the Mac version unpacks into *@CoCoA-5.3@*. *Intenti...
-
13:06 CoCoALib Support #1338: Release CoCoALib-0.99700
- The section in the web page with "Notes" looks a bit strange: _e.g._ "New and renamed files" seems to have two empty ...
-
13:04 CoCoALib Feature #1395: SHA checksum for released code
- I suggest putting the SHA-256 checksum in the "Notes" section on the web page for source releases.
Probably the best... -
12:57 CoCoA-5 Support #1445: Automatic way to produce statically linked CoCoAInterpreter
- *IMPORTANT* see the discussion in issue #1443 (about "illegal instruction") before doing much here!
-
12:55 CoCoA-5 Feature #1439 (Closed): New function: LinearForm
-
12:54 CoCoA-5 Support #1447: Manual entry for RandomLinearForm
- I have just checked in a (very) minor update to the man page for @RandomLinearForm@.
I have added a see-also to @Hom... -
12:35 CoCoA-5 Support #1447 (In Progress): Manual entry for RandomLinearForm
- Robbiano requested the new function @LinearForm@ (see #1439), and clearly had in mind that it should be linear wrt th...
-
12:30 CoCoA-5 Support #1447 (Closed): Manual entry for RandomLinearForm
- I suggest making the manual entry for *@RandomLinearForm@* more explicit, now that we have @HomogCompt@ which respect...
-
12:23 CoCoA-5 Feature #1367 (Feedback): CoCoA-5.3.0: release linked with more recent version of normaliz
- Anna says she has now managed to get successful compilation with N-3.8.4.
She should register (to this issue) the ti... -
12:22 CoCoA-5 Bug #1443: Illegal instruction
- I have postponed this issue to the next release. This release we used the workaround to compile on a different machi...
-
12:18 CoCoA-5 Bug #755 (Closed): Find out how to compile statically on linux
- I think this issue has run its course, so I'm closing it.
The important points are:
* comment 24 (all of it)
* c...
Also available in: Atom