Activity
From 05 Mar 2020 to 03 Apr 2020
26 Mar 2020
- 11:40 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 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...
24 Mar 2020
- 22:37 Support #1222 (Feedback): Release CoCoA-5.3.0
- release for windows done (maybe)
20 Mar 2020
- 18:00 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 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...
- 12:57 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 Feature #1439 (Closed): New function: LinearForm
- 12:54 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 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 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 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 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 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...
14 Mar 2020
- 21:46 Bug #1443: Illegal instruction
- OK, I do not know what is going on. This is *really annoying!*
I have compiled CoCoA-5 with the *@generic@* opti... - 20:29 Bug #1443: Illegal instruction
- The illegal instruction seems to be coming from the statically linked GMP library -- that is *@libgmp.a@* (and/or @l...
- 12:08 Support #1222: Release CoCoA-5.3.0
- There's a new version of GMP!! Released almost 2 months ago, but I didn't notice.... odd!
12 Mar 2020
- 22:17 Bug #1442 (Closed): CoCoAInterpreter: executable size
- I have sent several stripped executables to Matteo; some have worked, some have not.
Anyway, I am now convinced that... - 13:36 Bug #1442 (Feedback): CoCoAInterpreter: executable size
- Last night I made a release version (stripped, with statically linked @libgmpxx.a@, @libgmp.a@, @libreadline.a@, @lib...
- 15:55 Bug #1443: Illegal instruction
- It could also be that the "illegal instruction" does not come from CoCoA at all, but is in one of the already compile...
- 15:40 Bug #1443: Illegal instruction
- There is information on the web page:...
- 15:33 Bug #1443: Illegal instruction
- It seems that *@--march=i686@* is *not correct*. It says that it does not support x86_64 instruction set :-(
Inves... - 13:32 Support #1445 (New): Automatic way to produce statically linked CoCoAInterpreter
- Find a way to automate what has been discovered in issue #755.
Presumably it would be nice if I could just "downlo...
11 Mar 2020
- 21:34 Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe
- No one seems to care about this issue; I'm pretty sure it has lost all relevance, so I'm closing it.
- 21:28 Design #1348: cocoa5 script for releases
- Regarding comment 7: I spotted the code which checked for 64-bit platform, and complained if not.
Now I'm undecide... - 18:18 Feature #1439: New function: LinearForm
- Added doc for CoCoALib.
Still no test :-/
Close anyway?
- 18:14 Feature #1439: New function: LinearForm
- I have implemented @HomogCompt@. Also accessible from CoCoA-5 (with man page).
No tests, no CoCoALib doc (oops... I... - 16:20 Feature #1439: New function: LinearForm
- What should the fn name be? *@HomogForm@* or *@HomogCompt@*?
- 15:27 Feature #1439: New function: LinearForm
- John Abbott wrote:
> I now have a prototype of *@HomogForm(f,d)@* in C++.
> It seems to be about 30 times faster th... - 13:47 Feature #1439: New function: LinearForm
- I now have a prototype of *@HomogForm(f,d)@* in C++.
It seems to be about 30 times faster than @LinearForm@ in CoCoA... - 14:06 Support #322: Installation instructions (on website)
- Actually this issue was about helping "install" the CoCoA executable on *LINUX*.
Probably we should handle two cas... - 13:40 Support #322: Installation instructions (on website)
- Yes, that is clearer, thanks! As you say, it is also a good idea to test it with some "volunteers" ;-)
It is easi... - 12:25 Support #322: Installation instructions (on website)
- John Abbott wrote:
> The problem was that he had unpacked the zip file in @c:\@, which created a directory with a na... - 12:27 Bug #1443: Illegal instruction
- I'm still waiting for feedback from Matteo.
10 Mar 2020
- 16:21 Bug #755: Find out how to compile statically on linux
- I have just found on StackOverflow that one can use @gcc@ to find where libraries are:...
- 15:56 Bug #755: Find out how to compile statically on linux
- It seems that I must specify both @libtermcap@ and @libtinfo@ statically (and in that order!). On my Ubuntu box they...
- 15:14 Bug #755: Find out how to compile statically on linux
- @libreadline@ on my Ubuntu machine depends on the *@tinfo@* library; I have a static version at *@/usr/lib/x86_64-lin...
- 15:12 Support #1222 (In Progress): Release CoCoA-5.3.0
- 15:07 Bug #1442: CoCoAInterpreter: executable size
- I have changed the @release-linux.sh@ script so that it strips @CoCoAInterpreter@ before making the TGZ file.
We c... - 12:37 Bug #1442: CoCoAInterpreter: executable size
- So, should we put a stripped version of the executable in the official release, or leave the symbol table in there?
... - 11:09 Bug #1442 (In Progress): CoCoAInterpreter: executable size
- After running @strip@ on the executable the size dropped to 15Mbytes. Wow!
Now, why is the Mac version so big? ;... - 11:06 Bug #1442 (Closed): CoCoAInterpreter: executable size
- Why is the last binary release for Linux about 81Mbyte when that for Mac is only 27Mbyte?
The Linux one is surely ... - 14:08 Bug #1443: Illegal instruction
- -Maybe the correct flag is *@-march=i686@*.- *NO! This did not work* (see comment 5)
Presumably this has to be ... - 14:02 Bug #1443 (In Progress): Illegal instruction
- I do not know what the problem can be at the moment.
I would not expect stripping a binary to cause such a problem... - 13:59 Bug #1443 (Closed): Illegal instruction
- I sent a compressed stripped binary to Matteo via email, but he reports a problem with *@Illegal instruction@*.
In... - 13:15 Support #322: Installation instructions (on website)
- A student here had trouble installing CoCoA-5.2.5 on a Microsoft Windows 10 computer.
The problem was that he had ...
09 Mar 2020
- 16:52 Feature #1439: New function: LinearForm
- John Abbott wrote:
> Do we have a function which computes a list of homog compts?
no, we explicitely decided not ... - 15:36 Feature #1439: New function: LinearForm
- Do we have a function which computes a list of homog compts?
- 15:56 Design #990: CoCoA-5 distribution: tidying
- I have just checked the contents of @cocoa-5.3-mac.tgz@.
There are three files whose names begin with dot-underscore... - 13:51 Design #990: CoCoA-5 distribution: tidying
- Anna Maria Bigatti wrote:
> John Abbott wrote:
> > Maybe the commands in the script @FIX_PERMS.sh@ can be put into ... - 11:31 Design #990: CoCoA-5 distribution: tidying
- John Abbott wrote:
> Maybe the commands in the script @FIX_PERMS.sh@ can be put into a shell function in @release-co... - 15:36 Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?
- 15:34 Slug #948: radical is slow (compared to singular) on these examples
- This is almost resolved: we add some extra time when computing the RGB in the main loop.
This works well, but the qu... - 15:28 Bug #1438 (Closed): ABORT for unterminated string literal
- Closing
- 13:18 Support #1258 (Closed): Manual page for CantStop
- Anticipated because it is an example of the main new feature of this release: @GetLine@
(the reason why it is 5.3.0)
- 10:26 Support #1222: Release CoCoA-5.3.0
- updated starting page: https://cocoa.dima.unige.it/redmine/
- 07:31 Support #1440: Surprising parser error: INT+DOT+IDENTIFIER
- vandal ;-)
08 Mar 2020
- 09:24 Support #1440: Surprising parser error: INT+DOT+IDENTIFIER
- I found this behaviour after deliberately feeding random input to CoCoA-5. It survived :-)
- 09:23 Support #1440 (New): Surprising parser error: INT+DOT+IDENTIFIER
- CoCoA correctly gives a parse error given the input *@8.a;@*
The error message is:...
07 Mar 2020
- 11:20 Feature #1439 (Feedback): New function: LinearForm
- updated RelNotes
Checked in everything
- 09:21 Feature #1439 (Resolved): New function: LinearForm
- documentation done
(but checkin later -- flat battery) - 09:17 Feature #1439: New function: LinearForm
- Done (in NotBuiltin.cpkg5)
Funny cases:
if f = 0 returns 0
if GradingDim<>1 returns error
use weights: es:
<pr... - 09:14 Feature #1439 (Closed): New function: LinearForm
- Add function which returns the sum of the summends of degree 1.
06 Mar 2020
- 19:35 Bug #755: Find out how to compile statically on linux
- Sometimes I engage brain before writing, sometimes I don't... (sigh)
When I build CoCoA-5 on my current Linux box,... - 15:11 Bug #755: Find out how to compile statically on linux
- I am now fairly convinced that:
* *default Linux version* should be *without @readline@*
* ideally we also make ava... - 12:24 Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator
- 12:23 Feature #1399: CoCoA-5 interpreter: idle/busy indicator
- My testing suggests that this is OK now.
As I wrote in #1438, I now doubt whether it was useful to try to handle "... - 12:05 Bug #1438 (Feedback): ABORT for unterminated string literal
- The fix seems reasonable, and some testing suggests that it is working OK.
Now I wonder whether it was even worth ... - 10:15 Bug #1438: ABORT for unterminated string literal
- Indeed, my suspicion last night was correct.
Now I am considering how best to fix the code. The fix should be ready...
05 Mar 2020
- 22:56 Bug #1438 (In Progress): ABORT for unterminated string literal
- The function fo reading a string literal (which I hacked), correctly throws an "unclosed literal" exception when the ...
- 16:42 Bug #1438: ABORT for unterminated string literal
- May be a consequence of allowing a NUL inside a string?
Surely my fault, anyway :-(
Something to do tonight... sigh! - 16:41 Bug #1438 (Closed): ABORT for unterminated string literal
- Sending just a single *@"@* double quote char will crash CoCoA-5.
I hope to fix later... must dash now.
- 12:03 Bug #1303 (Rejected): Manual looking for "?"
- As previously written, this is not harmful; and it is better to direct our limited resources elsewhere.
Rejecting ... - 12:00 Support #1350: CoCoA manual: entry for operators, shortcuts
- We need to review the purpose of this manual entry.
Maybe it should have little content, but simplify refer to oth...
Also available in: Atom