Activity
From 25 Mar 2019 to 23 Apr 2019
18 Apr 2019
-
18:10 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- Very subtle: it gets to this...
-
17:49 CoCoA-5 Feature #1272: Groebner Bases over ZZ
- @NR@ bug:...
-
17:36 CoCoA-5 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.
-
17:26 CoCoA-5 Feature #1272 (Closed): Groebner Bases over ZZ
- Write a basic implementation for Groebner Bases over the integers
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... -
08:26 CoCoA-5 Feature #1271: Allow Interruption of printing?
- I agree this would be very useful.
Strange for the error!
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... -
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...
09 Apr 2019
-
17:48 CoCoALib Feature #1267: Ideal equality
- I'm very uneasy in doing an automatic choice: the "trick" might work out as a slow overhead in a long loop with many ...
-
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...
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...
-
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...
-
16:31 CoCoALib Feature #385: Design new errors using inheritance
- This really the same as #743.
-
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 ... -
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... -
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...
-
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...
-
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@.
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... -
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...
-
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 ...
-
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...
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... -
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...
-
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... -
17:08 CoCoA-5 Feature #1012 (Closed): Chebyshev polynomials
- This has already been done. Closing.
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. ... -
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...
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 "...
-
15:27 CoCoA-5 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... -
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...
29 Mar 2019
-
19:23 CoCoA-5 Support #290: Which functions are defined in CoCoALibSupplement?
- Anna Maria Bigatti wrote:
> @CoCoALibSupplement@ currently contains some functions for external libraries, e.g.
> [... -
19:10 CoCoA-5 Support #290: Which functions are defined in CoCoALibSupplement?
- @CoCoALibSupplement@ currently contains some functions for external libraries, e.g....
-
15:23 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- I suggest putting @DECLARE_MISSING_EXTLIB@ into a smaller header file (if possible).
Then files such as @BuiltinFu... -
14:23 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- It seems that many includes in @BuiltInFunctions.H@ are useless, or useful for only a few functions. Cleaning them m...
-
14:16 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- I note also that my compilation test above was without any external libraries.
So the time to compile @BuiltinFuncti... -
09:18 CoCoALib Feature #1267: Ideal equality
- It is implemented in @ideals.C@ like this:...
28 Mar 2019
-
21:37 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- Here are the compilations timings for the updated computer:...
-
14:22 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- John Abbott wrote:
> BTW I noticed that it took quite a long time to compile @BuiltinFunctions-Normaliz.C@ even thou... -
14:14 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- John Abbott wrote:
> I have just checked (using fgrep) and in @BuiltinFunctions-CoCoALib.C@ there are 28 fns with va... -
13:30 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- I have just checked (using fgrep) and in @BuiltinFunctions-CoCoALib.C@ there are 28 fns with variable arity, and 129 ...
-
10:58 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- The time to compile (and link) @ex-empty.C@ was about 20s.
I tried splitting @BuiltinFunctions-CoCoALib.C@ into qu... -
16:49 CoCoALib Feature #1267 (In Progress): Ideal equality
- Long in Passau lamented that sometimes testing two ideals for equality was too slow.
It might help to perform a fe... -
16:42 CoCoALib Design #1266 (New): Make a poly ring QQ[x,y,z] also contain a ZZ[x,y,z]
- Idea: every polyring @QQ[x,y,z]@ should also contain a single copy of @ZZ[x,y,z]@.
This single copy can then be us... -
16:39 CoCoALib Feature #1249: principal ideal has a Gbasis
- Having seen in the code that computing a GBasis over @QQ@ implies creating a new ring (with coeffs in @ZZ@), encourag...
-
10:20 CoCoALib Bug #1260: Fix file permissions after using CVS
- @.command@ is for MacOS:
<quote>
(...) .sh files are "owned" by Xcode by default, so if you were to double-click on...
27 Mar 2019
-
17:21 CoCoALib Bug #1256 (Closed): RingID: different values in test-output on different platforms
- John Abbott wrote:
> Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a po... -
15:26 CoCoALib Bug #1256: RingID: different values in test-output on different platforms
- Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a polyring over a fraction...
-
15:11 CoCoALib Bug #1256: RingID: different values in test-output on different platforms
- ...
-
14:39 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- Do you know how much the overhead for including @library.H@ is? that is quite slow by itself.
(try compiling an @ex... -
14:38 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- Other compilation times:...
-
14:21 CoCoA-5 Feature #1262 (In Progress): Split BuiltinFunctions-CoCoALib.C into smaller files
- I tried splitting @BuiltinFunctions-CoCoALib@ into two more-or-less-equal parts.
File Time to compile... -
13:55 CoCoALib Support #1265: Unregistered TXT files in doc
- These files exist but are not present in @index-alpha.html@....
-
13:52 CoCoALib Support #1265 (Closed): Unregistered TXT files in doc
- There are some "unregistered" *@.txt@* files in the CoCoALib documentation.
Rectify!
-
13:27 CoCoALib Bug #1260: Fix file permissions after using CVS
- I have noticed that some shell scripts in the source tree have suffix *@.sh@* while others have suffix *@.command@*. ...
26 Mar 2019
-
17:50 CoCoALib Bug #1264: Remove unnecessary files before making CoCoALib release TGZ files
- After unpacking the TGZ file on a Linux box, I found lots of files with names starting with dot-underscore. While th...
-
17:43 CoCoALib Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files
- I have just downloaded 0.99601 (TGZ format) and have noted that there are lots of small file which should not really ...
-
16:47 CoCoALib Support #1263 (In Progress): Tidy CoCoALib test directory
- The files I have are:...
-
16:44 CoCoALib Support #1263 (Resolved): Tidy CoCoALib test directory
- I have done some cleaning and have noticed some files called @test-*.C@ in the test directory which are not listed in...
-
13:53 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- I had a look.
I think it would make sense to separate off the functions with variable number of args.
(look for @DE... -
11:39 CoCoA-5 Feature #1262: Split BuiltinFunctions-CoCoALib.C into smaller files
- I hope this evening to try compiling again on the small computer, and I'll note which files gave problems with swappi...
-
11:27 CoCoA-5 Feature #1262 (In Progress): Split BuiltinFunctions-CoCoALib.C into smaller files
- Yesterday I tried compiling CoCoA-5 on my small computer (0.5Gbyte RAM), and it had trouble compiling @BuiltinFunctio...
-
11:34 CoCoALib Bug #1260 (In Progress): Fix file permissions after using CVS
- Here is a simple script which does most of the work. I tested it by setting "funny" permissions on all files and dir...
25 Mar 2019
-
17:09 CoCoALib Design #1259 (Resolved): ThreadsafeCounter is now obsolete?
- I have now removed @ThreadsafeCounter@ from my own personal copy.
Everything compiles and all tests pass. :-)
Once... -
12:06 CoCoALib Design #1259: ThreadsafeCounter is now obsolete?
- A quick grep shows that @ThreadsafeCounter@ is used in just two places:
* @ring.C@ (for the ring ID)
* @symbol.C@ ... -
12:01 CoCoALib Design #1259 (Closed): ThreadsafeCounter is now obsolete?
- C++14 *@atomic@* machine integers should render @ThreadsafeCounter@ superfluous.
Check, and either clean up the co... -
15:45 CoCoALib Design #891 (Closed): Replace auto_ptr in preparation for C++11?
- Summary:
* update effected
* *NOT C++03 COMPATIBLE* (not worth it)
-
15:33 CoCoALib Design #710: Update normaliz interface?
- Now that we are passing to C++14, we can reactivate this task.
The first step is to make sure that our current int... -
13:57 CoCoA-5 Bug #1261 (In Progress): ASCII function
- I have fixed the code in my local copy (@BuiltinFunctions.C@) so that it uses *@unsigned char@* instead of *@char@*. ...
-
13:54 CoCoA-5 Bug #1261 (Closed): ASCII function
- The @ascii@ function returns negative values for characters with code greater than 127.
I think it is better for n... -
13:52 CoCoA-5 Bug #672: Emacs UI: strange string literal causes crash
- This is still a bug (in emacs 26.1).
A possible solution could be to print "weird characters" using backslash+octa... -
13:37 CoCoALib Bug #1260: Fix file permissions after using CVS
- I'm fed up with having to correct the file permissions by hand.
The proper solution is to correct what is recorded... -
12:09 CoCoALib Bug #1260 (Closed): Fix file permissions after using CVS
- I have noticed repeatedly that after doing CVS, the permissions on my files have become corrupted. This is *bad* whe...
Also available in: Atom