Project

General

Profile

Activity

From 07 Mar 2020 to 05 Apr 2020

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

24 Mar 2020

22:37 CoCoA-5 Support #1222 (Feedback): Release CoCoA-5.3.0
release for windows done (maybe) Anna Maria Bigatti
21:49 CoCoALib Feature #1299: New fn ConstantTerm?
This is a little bit like *@HomogCompt(f,0)@*. See issue #1439. John Abbott

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 *@...
Anna Maria Bigatti
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... John Abbott
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 ... John Abbott
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...
John Abbott
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!
John Abbott
12:55 CoCoA-5 Feature #1439 (Closed): New function: LinearForm
John Abbott
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...
John Abbott
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... John Abbott
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... John Abbott
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...
John Abbott
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... John Abbott
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...
John Abbott

14 Mar 2020

21:46 CoCoA-5 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...
John Abbott
20:29 CoCoA-5 Bug #1443: Illegal instruction
The illegal instruction seems to be coming from the statically linked GMP library -- that is *@libgmp.a@* (and/or @l... John Abbott
12:08 CoCoA-5 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!
John Abbott

12 Mar 2020

22:28 CoCoALib Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files
John checked Anna Maria Bigatti
22:17 CoCoA-5 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...
John Abbott
13:36 CoCoA-5 Bug #1442 (Feedback): CoCoAInterpreter: executable size
Last night I made a release version (stripped, with statically linked @libgmpxx.a@, @libgmp.a@, @libreadline.a@, @lib... John Abbott
15:55 CoCoA-5 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... John Abbott
15:40 CoCoA-5 Bug #1443: Illegal instruction
There is information on the web page:... John Abbott
15:33 CoCoA-5 Bug #1443: Illegal instruction
It seems that *@--march=i686@* is *not correct*. It says that it does not support x86_64 instruction set :-(
Inves...
John Abbott
14:50 CoCoALib Design #1446: Start using C++14 "move" capability
We need to do this piecemeal as many different classes must be considered. Besided modifying the class, we will prob... John Abbott
14:46 CoCoALib Design #1446 (In Progress): Start using C++14 "move" capability
C++14 (maybe even C++11?) offer an appealing notion of "move ctor" which avoid some deep copies.
We should adapt o...
John Abbott
14:39 CoCoALib Bug #591: Problem with template instantiation and order of include directives
What should we do with this issue? The correct "solution" is for us to learn the foibles of C++.
It does highlig...
John Abbott
14:34 CoCoALib Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
What is the status this issue? Is it now fully resolved?
Anna succeeded (2020-03-11) in compiling on her Mac, pres...
John Abbott
13:32 CoCoA-5 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...
John Abbott

11 Mar 2020

21:34 CoCoA-5 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.
John Abbott
21:28 CoCoA-5 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...
John Abbott
18:18 CoCoA-5 Feature #1439: New function: LinearForm
Added doc for CoCoALib.
Still no test :-/
Close anyway?
John Abbott
18:14 CoCoA-5 Feature #1439: New function: LinearForm
I have implemented @HomogCompt@. Also accessible from CoCoA-5 (with man page).
No tests, no CoCoALib doc (oops... I...
John Abbott
16:20 CoCoA-5 Feature #1439: New function: LinearForm
What should the fn name be? *@HomogForm@* or *@HomogCompt@*?
John Abbott
15:27 CoCoA-5 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...
Anna Maria Bigatti
13:47 CoCoA-5 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...
John Abbott
17:42 CoCoALib Feature #1395: SHA checksum for released code
adjusted the page and the release-xxx.sh file to produce the correct files and instructions for publishing. Anna Maria Bigatti
12:26 CoCoALib Feature #1395: SHA checksum for released code
I think I might be slightly confused. What I wrote above in comments 11 and 12 actually refers to the "binary" relea... John Abbott
14:06 CoCoA-5 Support #322: Installation instructions (on website)
Actually this issue was about helping "install" the CoCoA executable on *LINUX*.
Probably we should handle two cas...
John Abbott
13:40 CoCoA-5 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...
John Abbott
12:25 CoCoA-5 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...
Anna Maria Bigatti
12:27 CoCoA-5 Bug #1443: Illegal instruction
I'm still waiting for feedback from Matteo.
John Abbott
11:22 CoCoALib Feature #206: Matrix equation solving: LinKer
John Abbott wrote:
> Florian suggests that the name *@LinKerZZ@* is superfluous, and that *@LinKer@* should automati...
Anna Maria Bigatti

10 Mar 2020

16:21 CoCoA-5 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:... John Abbott
15:56 CoCoA-5 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... John Abbott
15:14 CoCoA-5 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... John Abbott
15:47 CoCoALib Feature #1444: HNF: Hermite Normal Form
Florian has already put a prototype impl (CoCoA-5) in issue #1304. This should be ported to C++.
NTL has HNF whic...
John Abbott
15:43 CoCoALib Feature #1444 (New): HNF: Hermite Normal Form
It would be nice to have HNF in CoCoALib.
I can see two cases:
* *(special)* over @ZZ@
* *(general)* over a more...
John Abbott
15:39 CoCoALib Feature #206: Matrix equation solving: LinKer
Florian suggests that the name *@LinKerZZ@* is superfluous, and that *@LinKer@* should automatically call @LinKerZZ@ ... John Abbott
15:12 CoCoA-5 Support #1222 (In Progress): Release CoCoA-5.3.0
John Abbott
15:07 CoCoA-5 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...
John Abbott
12:37 CoCoA-5 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?
...
John Abbott
11:09 CoCoA-5 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? ;...
John Abbott
11:06 CoCoA-5 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 ...
John Abbott
14:08 CoCoA-5 Bug #1443: Illegal instruction
-Maybe the correct flag is *@-march=i686@*.- *NO! This did not work* (see comment 5)
Presumably this has to be ...
John Abbott
14:02 CoCoA-5 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...
John Abbott
13:59 CoCoA-5 Bug #1443 (Closed): Illegal instruction
I sent a compressed stripped binary to Matteo via email, but he reports a problem with *@Illegal instruction@*.
In...
John Abbott
13:15 CoCoA-5 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 ...
John Abbott

09 Mar 2020

16:52 CoCoA-5 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 ...
Anna Maria Bigatti
15:36 CoCoA-5 Feature #1439: New function: LinearForm
Do we have a function which computes a list of homog compts?
John Abbott
16:31 CoCoALib Feature #1395 (Resolved): SHA checksum for released code
I have also added a quick check that there are no writable files in the subtree to be released.
I have modified @r...
John Abbott
15:26 CoCoALib Feature #1395: SHA checksum for released code
So far I have made a small change to @release-linux.sh@.
I have added a line after the @MakeTGZ@ line:...
John Abbott
16:01 CoCoALib Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files
I'll check once we have a source TGZ release. When that is clean, I'll close this issue (hopefully today or tomorrow... John Abbott
15:56 CoCoA-5 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...
John Abbott
13:51 CoCoA-5 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 ...
Anna Maria Bigatti
11:31 CoCoA-5 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...
Anna Maria Bigatti
15:36 CoCoA-5 Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?
John Abbott
15:34 CoCoA-5 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...
John Abbott
15:28 CoCoA-5 Bug #1438 (Closed): ABORT for unterminated string literal
Closing John Abbott
13:18 CoCoA-5 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)
Anna Maria Bigatti
10:36 CoCoALib Feature #1441 (New): GFan: port CoCoA_5 functions into CoCoALib
Many useful GFan-based functions are implemented in CoCoA-5.
Port them into CoCoALib.
John Abbott
10:26 CoCoA-5 Support #1222: Release CoCoA-5.3.0
updated starting page: https://cocoa.dima.unige.it/redmine/ Anna Maria Bigatti
10:25 CoCoALib Support #1338: Release CoCoALib-0.99700
updated starting page: https://cocoa.dima.unige.it/redmine/ Anna Maria Bigatti
07:31 CoCoA-5 Support #1440: Surprising parser error: INT+DOT+IDENTIFIER
vandal ;-) Anna Maria Bigatti

08 Mar 2020

09:24 CoCoA-5 Support #1440: Surprising parser error: INT+DOT+IDENTIFIER
I found this behaviour after deliberately feeding random input to CoCoA-5. It survived :-)
John Abbott
09:23 CoCoA-5 Support #1440 (New): Surprising parser error: INT+DOT+IDENTIFIER
CoCoA correctly gives a parse error given the input *@8.a;@*
The error message is:...
John Abbott

07 Mar 2020

11:20 CoCoA-5 Feature #1439 (Feedback): New function: LinearForm
updated RelNotes
Checked in everything
Anna Maria Bigatti
09:21 CoCoA-5 Feature #1439 (Resolved): New function: LinearForm
documentation done
(but checkin later -- flat battery)
Anna Maria Bigatti
09:17 CoCoA-5 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...
Anna Maria Bigatti
09:14 CoCoA-5 Feature #1439 (Closed): New function: LinearForm
Add function which returns the sum of the summends of degree 1.
Anna Maria Bigatti
08:51 CoCoALib Feature #1212: New function: GBasisByHomog
Notes for me. In general: M matrix ordering.
If first row of M all positive
m m m 1
M 0
otherwise
1 1 1...
Anna Maria Bigatti
 

Also available in: Atom