Activity
From 26 Jul 2020 to 24 Aug 2020
11 Aug 2020
- 12:21 CoCoA-5 Support #1480 (New): Documentation for making ring with parameters
- I was recently asked how to compute with parameters. It is not easy to find this out from the documentation. So mak...
10 Aug 2020
- 22:56 CoCoA-5 Design #1477: Packages: questions from Andraschko
- Here is a short excerpt from an email in the JSAG editors forum:
Here's the list of advice to authors that we've acc... - 16:09 CoCoA-5 Design #1477: Packages: questions from Andraschko
- Regarding point *(B)*. Andraschko is right that the current documentation is not good (and not well-organized).
Aft... - 16:02 CoCoA-5 Design #1477: Packages: questions from Andraschko
- JAA is not convinced about using *@IsDefined@* to check whether a package has been loaded.
One solution is to search... - 14:06 CoCoA-5 Design #1477 (In Progress): Packages: questions from Andraschko
- Point *(C)* is not correct: a *warning* is issued if nothing is exported (but no error is triggered). JAA+AMB think ...
- 16:22 CoCoA-5 Support #1451: CoCoA Manual: make search keys public
- It might be nice to break the keys into several lines if there are many of them.
An example is *@?indets@*
I am a... - 14:23 CoCoA-5 Support #1451 (In Progress): CoCoA Manual: make search keys public
- Anna has checked in a first impl.
- 15:51 CoCoA-5 Bug #1475: HilbertSeries: make into proper rational function
- Bernhard points out that currently a "hilbert series" is a record.
Perhaps it is best then to add a new field which ...
07 Aug 2020
- 16:18 CoCoA-5 Bug #1443: Illegal instruction
- Siamo ancora in contatto con Matteo?
- 15:25 CoCoA-5 Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- I do recall some portability problems with @libreadline@.
One possible solution is to mimic what we used to do for 3... - 15:14 CoCoA-5 Bug #1029: Readline: does not recognize interrupts
- I have asked Julian to run my executable on his Ubuntu machine, and interrupting works; but interrupting did not work...
- 14:27 CoCoA-5 Bug #1029: Readline: does not recognize interrupts
- I have just tried it on my Ubuntu box, and it seemed to work fine....
- 14:15 CoCoA-5 Support #1450 (Feedback): Release CoCoA-5.3.2
- Anna, could you register any time for this issue (and #1452), and then close?
Thanks!
06 Aug 2020
- 16:34 CoCoA-5 Support #1478 (Closed): HilbertBasis: clarify
- Andraschko writes...
Solving linear Diophantine systems of equations with Normaliz. According to Prof. Kreuzer, it... - 15:15 CoCoA-5 Design #1477 (Closed): Packages: questions from Andraschko
- Bernhard Andraschko asks:
* *(A)* *@?package@* yields the manual for *@export@*. This is probably not intended.
... - 15:03 CoCoA-5 Feature #1476: Lin alg with polys
- I plan to meet Bernhard on Monday, and hope to learn better exactly what he wants.
Anyway, for some time I have th... - 14:59 CoCoA-5 Feature #1476 (New): Lin alg with polys
- Andraschko requests...
Given two subsets @B1@ and @B2@ of a polynomial ring, it is often necessary to construct @U... - 12:23 CoCoA-5 Bug #1475: HilbertSeries: make into proper rational function
- Andraschko's original email:
Arithmetic on Hilbert series or Hilbert functions. E.g. the code
/**/ S ::= QQ[x1,... - 12:22 CoCoA-5 Bug #1475 (New): HilbertSeries: make into proper rational function
- It would be nicer if one could obtain a proper rational function as a hilbert series.
- 12:21 CoCoA-5 Design #376: Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C
- What is this issue about?
Andraschko has a request to make hilbert series into proper ratfns so that they can be c... - 12:07 CoCoA-5 Support #1474: Website: link to JSAG?
- Bernhard Andraschko (here in Passau) has written a couple of packages for CoCoA-5.
He asked how they should be contr... - 12:04 CoCoA-5 Support #1474 (New): Website: link to JSAG?
- Should we put a link to JSAG on the web site? This could help potential package contributors.
30 Jul 2020
- 17:05 CoCoALib Bug #1473 (In Progress): isystem not working as expected
- A quick search on internet suggests that the *@-isystem@* flag is a "non-standard" feature of some compilers: *@g++@*...
- 16:06 CoCoALib Bug #1473: isystem not working as expected
- This may be related: I thought I had installed GMP 6.2.0 on my computer, but when I compile CoCoA reports that 6.1.2 ...
- 16:05 CoCoALib Bug #1473 (Closed): isystem not working as expected
- Anna reports that with her new computer compilation of CoCoALib has trouble with GMP.
Investigation showed that *@-i...
Also available in: Atom