Project

General

Profile

John Abbott's activity

From 01 Apr 2019 to 30 Apr 2019

30 Apr 2019

17:18 CoCoALib Design #925: MachineInt or long for args which are indices (yet again)
Postponing because there are too many other more pressing issues. Anyway the current code works adequately, so it is... John Abbott
11:51 CoCoALib Feature #813: Implement "elim" in CoCoALib
It would be nice to complete this before the next release! To this end, I have increased the priority... John Abbott
10:54 CoCoALib Feature #1277: Gaussian row reduction
NTL's doc shows just one fn *@gauss@* which accepts 2 args: matrix @M@ and an optional integer @w@ (default is number... John Abbott
10:44 CoCoALib Feature #1277: Gaussian row reduction
The request seems reasonable to me.
Not yet sure what the best design might be, but I suggest the following as a s...
John Abbott
10:40 CoCoALib Feature #1277 (Closed): Gaussian row reduction
Julian Danner (Passau) would like CoCoA to offer matrix row reduction via gaussian elimination.
Discuss, design, i...
John Abbott
10:35 CoCoA-5 Bug #1273: NewPolyRing and SymbolRange together make a crash
I must get my CVS access sorted out, so I can check in.
John Abbott

29 Apr 2019

21:05 CoCoALib Support #1276: Release 0.99650
List of principal changes made: *19th november 2019*
* NO LONGER C++03 compatible! We are moving towards C++14 (#89...
John Abbott
21:03 CoCoALib Support #1276 (Closed): Release 0.99650
Description
Everything related to making a CoCoALib release:
* Redmine Roadmap: close or postpone issue
* ...
John Abbott
18:38 CoCoALib Support #1039 (Resolved): Rename iroot?
I have changed the names into *@FloorRoot@* and *@IsExactFloorRoot@*.
Added *@iroot@* to @obsolescent.H/C@.
Test an...
John Abbott
13:25 CoCoALib Support #1039: Rename iroot?
Even though GMP allows negative inputs to its @mpz_root@ function, I like the idea of limiting the number whose root ... John Abbott
18:21 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Slug #1275 (New): incr and decr are slow
The CoCoA-5 functions @incr@ and @decr@ are disappointingly slow.... John Abbott
15:26 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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
13:57 CoCoALib Support #1263: Tidy CoCoALib test directory
I have noticed that there some tests which run quickly (_e.g._ less than 0.01s on my computer), but the compilation t... John Abbott

17 Apr 2019

10:17 CoCoA-5 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

16 Apr 2019

17:49 CoCoA-5 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 CoCoA-5 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

09 Apr 2019

10:50 CoCoALib Support #1134: Organize better the documentation for CoCoALib
I am postponing this issue. Even though I think it is important, it is likely to need a lot of time; anyway, the doc... John Abbott

05 Apr 2019

20:56 CoCoA-5 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 CoCoA-5 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
16:31 CoCoALib Feature #385: Design new errors using inheritance
This really the same as #743. John Abbott
16:26 CoCoALib Feature #743: Better errors: give supplementary info about the error
It would be nice to have a quiet moment to get this matter properly sorted out.
We really should try to deal with ...
John Abbott
16:06 CoCoALib Design #581: C++14: MachineInt
I have modified the subject and description to refer to C++14 instead of C++11.
There is a summary of the integral...
John Abbott
15:48 CoCoALib Feature #1218: 32-bit or 64-bit preprocessor macro?
We should check whether this still makes sense with C++14. I should also check on my little 32-bit machine...
John Abbott
15:46 CoCoALib Feature #1197: IsZeroDet: new fn
The idea is simple: compute the det modulo various primes, and if any is non-zero then we know the non-modular det is... John Abbott
12:30 CoCoALib Feature #1267: Ideal equality
A similar trick could be used for ideal membership: if @x@ is not in @I+J@ then it is certainly not in @I@.
John Abbott

04 Apr 2019

21:31 CoCoALib Feature #658: Indets actually in a poly (or vector or matrix)
It seems that there is already an impl in @SparsePolyOps-RingElem@.
There is no doc, no test. Also not exported t...
John Abbott
15:16 CoCoALib Feature #1267 (In Progress): Ideal equality
Long sent me one example which wanted to test if a large ideal (in a ring with 36 indets) contained 1. He actually d... John Abbott
15:07 CoCoALib Feature #1269 (New): Ideal Ops: sort-cuts for trivial args?
A colleague here in Passau was disappointed that @intersection(ideal(1), J)@ was taking a long time, even though the ... John Abbott
15:00 CoCoALib Design #1255: Ideals with trivial GBasis
Generators which are monomials are also a special case.
Then one could imagine a more complicated "mixed" situatio...
John Abbott

03 Apr 2019

17:14 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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 CoCoA-5 Feature #1012 (Closed): Chebyshev polynomials
This has already been done. Closing. John Abbott

02 Apr 2019

21:52 CoCoA-5 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 CoCoA-5 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 CoCoA-5 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
11:36 CoCoA-5 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
 

Also available in: Atom