CoCoA

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

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

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

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

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

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

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

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

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

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

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

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

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

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

14:23 CoCoA-5 Support #1451 (In Progress): CoCoA Manual: make search keys public

Anna has checked in a first impl.
John Abbott

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