CoCoA » CoCoA-5

29 Apr 2019

18:21 Bug #1273: NewPolyRing and SymbolRange together make a crash

Another problem was in @evalArgAsListOfSymbols@ which did a dynamic pointer cast and used the result without checking... John Abbott

14:21 Bug #1273 (Resolved): NewPolyRing and SymbolRange together make a crash

One problem appears to be on line 46 of @cocolib.cpkg5@: replace *@[i]@* with just *@i@*.
John Abbott

14:18 Bug #1273: NewPolyRing and SymbolRange together make a crash

The *@SymbolRange@* impl looks very suspect. It does not properly check its arg types.
Fn is defd in @coclib.cpkg... John Abbott

14:14 Bug #1273 (Closed): NewPolyRing and SymbolRange together make a crash

The problem is with double indices. Here is a small failing example:... John Abbott

18:00 Slug #1228: SLUG: filling an array

I think I have found a situation where my simple idea in comment 6 causes trouble...... John Abbott

17:53 Slug #1275 (New): incr and decr are slow

The CoCoA-5 functions @incr@ and @decr@ are disappointingly slow.... John Abbott

15:26 Bug #1274 (Resolved): SortBy and SortedBy sometimes give wrong result

The bug was at the end of the first loop in *@QuickSortBy1@* where the case @Up = Down@ was not handled.
Added 1 l... John Abbott

14:56 Bug #1274 (In Progress): SortBy and SortedBy sometimes give wrong result

Example found by calling @SortedBy@ on random permutations of 1..17.
Seems to work find for lists with only 16 or fe... John Abbott

14:53 Bug #1274 (Closed): SortBy and SortedBy sometimes give wrong result

In CoCoA5 the *@SortBy@* and *@SortedBy@* functions sometimes give wrong answers!
Here is an example:... John Abbott

18 Apr 2019

18:10 Feature #1272: Groebner Bases over ZZ

Very subtle: it gets to this... Anna Maria Bigatti

17:49 Feature #1272: Groebner Bases over ZZ

@NR@ bug:... Anna Maria Bigatti

17:36 Feature #1272: Groebner Bases over ZZ

As a starting point Elisa Palezzato noticed a bug in @NR@: it does not check the ring of coefficients is a field. Anna Maria Bigatti

17:26 Feature #1272 (Closed): Groebner Bases over ZZ

Write a basic implementation for Groebner Bases over the integers Anna Maria Bigatti

17 Apr 2019

10:17 Feature #1271 (In Progress): Allow Interruption of printing?

Which printing commands should allow themselves to be interrupted?
* lists
* matrices
* ideals (?)
I think prob... John Abbott

08:26 Feature #1271: Allow Interruption of printing?

I agree this would be very useful.
Strange for the error! Anna Maria Bigatti

16 Apr 2019

17:49 Feature #1271: Allow Interruption of printing?

I have a tried a first approach, but it did no work as I would have liked...
What I tried:
* in @Interpreter.C@ a... John Abbott

17:43 Feature #1271 (In Progress): Allow Interruption of printing?

Inside emacs, if you print out a very long list then it takes ages before you can use emacs/CoCoA-5 again.
Conside... John Abbott

05 Apr 2019

20:56 Slug #1270: RationalSolve: use MinPolyQuot instead of elim

Before we decide to replace @elim@ by @MinPolyQuot@ we should check that @MinPolyQuot@ is usually faster (I would cer... John Abbott

20:19 Slug #1270 (Closed): RationalSolve: use MinPolyQuot instead of elim

Currently @RationalSolve@ uses @elim@, but every use is equivalent to a call to @MinPolyQuot@ (in the subring generat... John Abbott

03 Apr 2019

17:14 Support #1268: Documentation for how to write a CoCoA package

I can make some notes based on the questions I've been asked.
These notes could form a basis for a better guide; b... John Abbott

17:12 Support #1268 (Closed): Documentation for how to write a CoCoA package

Some students here in Passau have been given the task of writing a CoCoA package, and have asked me for guidance. It... John Abbott

17:11 Design #474 (In Progress): Eliminate package BinRepr

What is the status of this issue?
The package still exists, and there is a *@BinRepr@* builtin function.
Can we d... John Abbott

17:08 Feature #1012 (Closed): Chebyshev polynomials

This has already been done. Closing. John Abbott

02 Apr 2019

21:52 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Anna has just sent me some code with redundant @#include@ directives removed.
Most compilation times are the same. ... John Abbott

11:50 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

I believe that built-in functions (for extlibs, at least) are "registered" by constructing a global object. So the a... John Abbott

01 Apr 2019

17:30 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Indeed "duplication" is generally undesirable (as is the use of @goto@), but it may still be a good idea in certain "... John Abbott

15:27 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

John Abbott wrote:
> I am very tempted to suggest modifying the macro *@DECLARE_MISSING_EXTLIB@* so that it is *inde... Anna Maria Bigatti

11:36 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files

Yesterday I ran the compiler with the *@-E@* option, which just does the preprocessing steps. Since currently I do n... John Abbott