CoCoA » CoCoALib

09 Dec 2019

21:08 Slug #1375: Radical 0-dim: varied timings

I wanted to show the students an example where it is much better to use @IsInRadical@ than compute the radical (with ... John Abbott

21:06 Slug #1375 (Closed): Radical 0-dim: varied timings

I have observed some strange variations in timings when computing the RGB of a radical:... John Abbott

13:34 Slug #1136: IsInRadical: sometimes a bit slow

Just for the record...
With the exponent pair (3,4), my computer takes about 2.4s whereas with the pair (4,5) it t... John Abbott

12:56 Slug #1136 (Closed): IsInRadical: sometimes a bit slow

Instant on my computer. I wonder how it was improved.... Anna Maria Bigatti

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... John Abbott

15:52 Slug #1136: IsInRadical: sometimes a bit slow

What is the status of this issue?
Can it be closed soon?
John Abbott

04 Dec 2019

17:38 Bug #1233: factor SEGV -- too large characteristic

This now gives error rather than SEGV -- so that is an improvement!
John Abbott

17:19 Support #1161: Split NumTheory.C into several smaller files

Postponing because not important for CoCoA School.
John Abbott

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:
... John Abbott

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... Anna Maria Bigatti

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,... John Abbott

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... John Abbott

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... John Abbott

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. John Abbott

17:46 Bug #1371: French students' example with GFan

Just for completeness here is the input:... John Abbott

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... John Abbott

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. ... Anna Maria Bigatti

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... John Abbott

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... John Abbott

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...
John Abbott

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
Anna Maria Bigatti

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... John Abbott

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... Anna Maria Bigatti

19 Nov 2019

16:49 Support #1276 (Closed): Release 0.99650

Anna Maria Bigatti

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... John Abbott

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... John Abbott

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 *@... John Abbott

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...
John Abbott

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._... John Abbott

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:... Florian Walsh