Activity
From 06 Nov 2019 to 05 Dec 2019
05 Dec 2019
- 15:55 Slug #1136 (Feedback): IsInRadical: sometimes a bit slow
- It took about 0.08s on my computer just now. This is probably fine; I see no advantage in making it lengthier.
Move... - 15:52 Slug #1136: IsInRadical: sometimes a bit slow
- What is the status of this issue?
Can it be closed soon?
04 Dec 2019
- 17:38 Bug #1233: factor SEGV -- too large characteristic
- This now gives error rather than SEGV -- so that is an improvement!
- 17:19 Support #1161: Split NumTheory.C into several smaller files
- Postponing because not important for CoCoA School.
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:...
Also available in: Atom