Activity
From 17 Jul 2020 to 15 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...
23 Jul 2020
-
21:00 CoCoALib Feature #1472: Idea for for loops
- range(0,n) ?
-
20:39 CoCoALib Feature #1472: Idea for for loops
- While most loops in C++ do start from 0, I think I would like to have the ability to say whether to start from 0 or 1...
-
20:36 CoCoALib Feature #1472 (In Progress): Idea for for loops
- Victor Shoup told me that he has written a little class in NTL which allows him to write...
Also available in: Atom