Activity
From 25 Aug 2020 to 23 Sep 2020
23 Sep 2020
- 11:22 CoCoA-5 Bug #1200: Package exported function: wrong package name
- Is this even a bug?
In my installation the symbol *@Gens_Ker_Mod_Hom@* is indeed exported by a package called *@expe... - 11:19 CoCoA-5 Bug #1200: Package exported function: wrong package name
- The relevant line appears to be *@Interpreter.C:4289@*.
Here is a test input which triggers the bug:... - 11:09 CoCoA-5 Bug #1200: Package exported function: wrong package name
- I am postponing this because it is not so important/urgent, and looks like it might be quick tricky to solve :-/
- 11:06 CoCoA-5 Support #692 (In Progress): Local variables hiding out ones at top level
- I think I now prefer not to issue a warning in the examples given here.
If CoCoA issues too many warnings then the u... - 10:42 CoCoA-5 Bug #1294 (Resolved): CoCoA-5 tests may fail even if executed correctly
- I have implemented option *(A)* and checked it in. I chose *(A)* because it is relatively simple to implement.
Wait...
17 Sep 2020
- 16:09 CoCoA-5 Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign)
- The following produces a misleading error message...
- 16:06 CoCoA-5 Feature #1415: thmproving package
- Any news about this package?
Can we close this issue quickly and easily? - 15:59 CoCoA-5 Bug #1294: CoCoA-5 tests may fail even if executed correctly
- I have modified the script @RunTests.sh@ so that it first runs CoCoA with an empty input (*@/dev/null@*).
If that pr...
16 Sep 2020
- 16:23 CoCoALib Feature #1488: BuiltIn Interreduce-Function
- Might it be useful to sort elements inside the interreduction loop according to a more "sophisticated" ordering: _e.g...
- 15:41 CoCoALib Feature #1488: BuiltIn Interreduce-Function
- I have now put my version of the impl in a new file *@SparsePolyOps-interreduce.C@* with corresponding header file.
... - 14:45 CoCoALib Feature #1488 (In Progress): BuiltIn Interreduce-Function
- Here is my revised version of the source code. It could surely be made faster, but this version is relatively simple...
15 Sep 2020
- 15:20 CoCoA-5 Bug #1294 (In Progress): CoCoA-5 tests may fail even if executed correctly
- Your comment about a protected variable causing trouble is a good point (albeit also rather abstruse).
We should u... - 14:35 CoCoA-5 Bug #1294: CoCoA-5 tests may fail even if executed correctly
- Yes, I think that would be an improvement, but also only solve the issue partly. Still if for instance @init.cocoa5@ ...
- 14:06 CoCoALib Feature #1488 (Closed): BuiltIn Interreduce-Function
- The function @interreduce@ is implemented in CoCoA-5, and the implementation (@NotBuiltin.cpkg5@) can be translated i...
- 13:11 CoCoA-5 Feature #1487 (Closed): EOF for OpenIFile
- To read a local file one needs to open an input device via @D:=OpenIFile("path_to_file")@ and read it line-by-line vi...
14 Sep 2020
- 18:19 CoCoA-5 Support #1486: Emacs UI: indentation in a package
- JAA is uncertain about this.
On the one hand the "strange" indentation of package variable assignments highlights ... - 18:16 CoCoA-5 Support #1486 (In Progress): Emacs UI: indentation in a package
- Bernhard Andraschko reports the following anomaly.
Inside a package variables are indented, but all other package ... - 18:11 CoCoALib Feature #1485 (New): Simple syntax for making a quotient ring?
- The syntax *@R/I@* would be convenient and easy to read.
At the moment I do not see how it could be "dangerous" un... - 17:56 CoCoALib Feature #1485 (Resolved): Simple syntax for making a quotient ring?
- 17:47 CoCoALib Feature #1485 (New): Simple syntax for making a quotient ring?
- Should we allow the syntax *@R/I@* to mean the same as *@NewQuotientRing(R,I)@*?
Discuss, and maybe implement.
- 18:08 CoCoALib Bug #1484 (Resolved): ker bug (quotientinghom for R/ideal())
- There are two more suspect creations of ideals: line 325 and 347.
I have changed these too, but am less sure that wh... - 18:07 CoCoALib Bug #1484: ker bug (quotientinghom for R/ideal())
- I have blindly changed the code in @HomomorphismOps.C@.
The problem was in @MakeRichHom@ (and presumably an analogo... - 17:38 CoCoALib Bug #1484 (Closed): ker bug (quotientinghom for R/ideal())
- Bernhard Andraschko reports the following bug:...
- 13:10 CoCoALib Feature #1483 (Feedback): IsPowerOf2 for rationals
- Added new function *@IsPowrerOf2@* for @BigRat@. Gives @false@ if arg is not strictly positive.
Impl is simple rath... - 13:08 CoCoALib Feature #1483 (Closed): IsPowerOf2 for rationals
- Add new function *@IsPowerOf2@* for @BigRat@.
It already exists for @BigInt@.
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....
Also available in: Atom