Activity
From 04 Aug 2020 to 02 Sep 2020
31 Aug 2020
- 14:56 CoCoALib Feature #1482: Extended rationals: PlusInfinity and MinusInfinity
- Maybe the simple approach is to create two new types: *@PlusInfinityType@* and *@MinusInfinityType@*. Then it should...
- 14:48 CoCoALib Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity
- The doc for GMP states fairly clearly that the rationals @1/0@ and @-1/0@ can be created, but that they may not be pa...
- 14:02 CoCoALib Feature #1482: Extended rationals: PlusInfinity and MinusInfinity
- Some notes:
* what type should these values have? *@BigRat@*? Or Maybe *@ExtendedBigRat@*?
* We'd probably need f... - 13:56 CoCoALib Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity
- Might we be interested in having representations of *@PlusInfinity@* and *@MinusInfinty@*?
This could be useful fo... - 14:34 CoCoALib Feature #1176: interval arithmetic
- There is a GNU package called MPRIA (multiple precision rational interval arithmetic). It is GPL v3.
It seems not t...
28 Aug 2020
- 15:40 CoCoALib Support #1481: Release CoCoALib 0.99800
- Summary of main changes:
* *changed @BigRat@ ctors*: it is now possible to construct @BigRat@ directly from an integ... - 15:39 CoCoALib Support #1481 (Closed): Release CoCoALib 0.99800
- Everything related to making a CoCoALib release:
* Redmine Roadmap: close or postpone issue
* Redmine Release... - 13:47 CoCoALib Support #1196 (In Progress): Split MatrixOps
- For "other reasons" I have split off the code related to computing determinants: this code is now in *@MatrixOps-det....
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.
Also available in: Atom