Activity
From 31 Oct 2019 to 29 Nov 2019
27 Nov 2019
- 15:53 Bug #1371: French students' example with GFan
- I find it quite strange that the term ordering used to obtain the same LT(I) actually looks to be far away from lex:
...
26 Nov 2019
- 15:45 Bug #1371: French students' example with GFan
- Just for curiosity, this lex GBasis can be computed instantly using *GBasisByHomog(I)*.
Then, together with Robbia... - 15:10 Bug #1371 (In Progress): French students' example with GFan
- The time taken depends on the current ring ordering!
If I create the ideal in the ring @QQ[x,y,z]@ with DegRevLex,...
25 Nov 2019
- 20:33 Slug #1369 (In Progress): RandomUnimodularMat is slow with many iters
- First impl is quite disappointing; the overhead/cost of matrix mult is embarrassingly high.
Should do recursion base... - 13:48 Slug #1369: RandomUnimodularMat is slow with many iters
- @RandomUnimodularMat(QQ,4,1000000)@ takes too long. It is faster to do @product([RandomUnimodularMat(QQ,4,10000) | j...
- 13:45 Slug #1369 (In Progress): RandomUnimodularMat is slow with many iters
- @RandomUnimodularMat@ becomes too slow when number of iters is high.
Try a divide-and-conquer approach. - 17:46 Bug #1371: French students' example with GFan
- Just for completeness here is the input:...
- 17:44 Bug #1371 (In Progress): French students' example with GFan
- I have just tried the French students' example as argument to @GroebnerFanIdeals@, and it computed all 167 GBases qui...
- 16:35 Design #1370: RingID counter increased inside some functions
- John Abbott wrote:
> We could perhaps have two counters: one for "user created" rings and one for "internal" rings. ... - 14:35 Design #1370: RingID counter increased inside some functions
- We could perhaps have two counters: one for "user created" rings and one for "internal" rings. Or perhaps just posit...
- 14:32 Design #1370 (New): RingID counter increased inside some functions
- Each ring in CoCoALib has a unique ring-ID (machine integer).
Some functions (_e.g._ *@syz@*) create new rings int...
22 Nov 2019
- 15:35 Design #1366: Should configure remove the file ERR_MESGS if it’s empty?
- I have changed my copy of @configure@.
I'll try it a few times before checking in...
- 13:57 Design #1366: Should configure remove the file ERR_MESGS if it’s empty?
- John Abbott wrote:
> Should configure always remove @ERR_MESGS@?
sounds good to me
- 12:26 Design #1366 (In Progress): Should configure remove the file ERR_MESGS if it’s empty?
- Should configure always remove @ERR_MESGS@?
After looking quickly at the code, it seems that the file is used only...
21 Nov 2019
- 18:51 Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?
- The configuration progress produces a file called *ERR_MESGS* which should contain, well, the error messages.
Should...
19 Nov 2019
14 Nov 2019
- 19:22 Design #982: Catching interrupts in example progs?
- I have modified @ex-empty.C@ so that it creates a @SignalWatcher@ immediately after @GlobalManager@, and also has a h...
- 19:17 Bug #1362: GBasis verbose mode: some output is on cerr/clog
- I have mostly fixed this. There are also very many commented out debugging prints to clog. Some I have removed; but...
- 09:49 Bug #1362 (In Progress): GBasis verbose mode: some output is on cerr/clog
- In *@TmpGReductor.C@* there are numerous print commands onto *@clog@*; the commands are called only after checking *@...
- 15:28 Feature #1360 (In Progress): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- JAA prefers to delay this so there is time to make more checks...
13 Nov 2019
- 14:59 Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog
- With @VerbosityLevel@ set to 150, some output when computing a gbasis is on stderr instead of stdout: _e.g._...
12 Nov 2019
- 14:48 Bug #1361 (Closed): Compilation fails when compiling with libgsl
- If I compile cocoalib 0.99601 with libgsl (version 2.6-1) using:...
05 Nov 2019
- 14:26 Design #982: Catching interrupts in example progs?
- On my machine all examples are faster than 5s, but several took more than 2s.
I have made some (local) changes to ma... - 11:49 Design #982 (In Progress): Catching interrupts in example progs?
- There are two example progs for interrupts (*@ex-interrupt1.C@* and *@ex-interrupt2.C@*).
I am not sure that they ar...
04 Nov 2019
- 11:01 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- John Abbott wrote:
> Anna suggested *@--only-cocoalib@*
>
> JAA prefers that the default be "only cocoalib", and ...
01 Nov 2019
- 10:28 Feature #1360: configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- Anna suggested *@--only-cocoalib@*
JAA prefers that the default be "only cocoalib", and that an option must be giv... - 10:22 Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost)
- Considering adding configuration option(s) to specify:
* compile just cocoalib
* compile cocoalib and also also CoC...
31 Oct 2019
- 18:34 Support #1276: Release 0.99650
- ...
- 16:24 Support #1276: Release 0.99650
- Valgrind OK...
- 15:55 Bug #1248 (Closed): MinPolyQuot: guaranteed and ideal without GBasis
Also available in: Atom