CoCoA » CoCoALib

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

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

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

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

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

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

31 Oct 2019

18:34 Support #1276: Release 0.99650

... Anna Maria Bigatti

16:24 Support #1276: Release 0.99650

Valgrind OK... Anna Maria Bigatti

15:55 Bug #1248 (Closed): MinPolyQuot: guaranteed and ideal without GBasis

Anna Maria Bigatti

30 Oct 2019

22:39 Slug #952 (Closed): GCD very slow

It is no longer very slow; no sure how fast it is (seems to be instant).
Closing.
John Abbott

22:32 Bug #986: GFan: require version newer than 0.6

*2019-10-30* Update: I now have gfanlib-0.6.2 (released 2018-09-28 according to GFanlib website).
However it sti... John Abbott

22:23 Slug #1359: gcd: low degree but big coeffs can be slow

If the number of steps in the PRS is very small then a direct method may well be better than the modular method.
T... John Abbott

22:21 Slug #1359 (New): gcd: low degree but big coeffs can be slow

gcd of low degree polys with big coeffs can be too slow.... John Abbott

22:16 Bug #1113 (Closed): gcd crashes (Floating point exception)

*2019-10-30* I have just tried the example in comment 1, and it no longer crashes. No idea when it was resolved.
... John Abbott

22:10 Feature #1218 (In Progress): 32-bit or 64-bit preprocessor macro?

Exactly what wordsize assumptions do we want to make?
* *(A)* 32-bits or not (meaning more than 32?)
* *(B)* 32-... John Abbott

21:56 Feature #1218: 32-bit or 64-bit preprocessor macro?

*2019-10-30* I have just checked, and CoCoALib and CoCoA-5 both compile, run and all tests pass on my little 32-bit m... John Abbott

21:51 Feature #1219: Frobby version number

There was recent email from Bjarke Roune stating that he will no longer be able to maintain Frobby.
We should contac... John Abbott

21:47 Feature #1282: subresultant

Note that there is already *@SubresultantSeq@* in @SparsePolyOps-resultant@.
Where did this impl come from? Is it a... John Abbott

21:44 Slug #1324 (In Progress): Improve RootBound

Here is a family of examples where factorization may not work so well:
let @f@ be a product of @x^k-1@ where the @k@... John Abbott

11:08 Support #1276: Release 0.99650

FWIW I have compiled CoCoALib on my old "netbook" which is 32-bit. All tests passed.
John Abbott

29 Oct 2019

19:44 Feature #1347 (Closed): New function: ctor of PPVector with vector<RingElem>

Documented (and modernized its doc file) Anna Maria Bigatti

16:21 Feature #1332 (Closed): New function: vector of RingElem from string -- in CoCoALib

documented in @RingElem.txt@ Anna Maria Bigatti

12:37 Feature #658: Indets actually in a poly (or vector or matrix)

Checked in @IndetsIn(vector<RingElem>)@
John Abbott

12:04 Design #1355 (New): TmpLDP uses srand and time

The code in *@TmpLDP.C@* uses old C functions *@time@* and *@srand@*.
Try to update the code to clean, modern C++.
John Abbott

12:00 Design #1295 (Closed): Never use "using namespace .." in header files

I must have done this some time ago; no doubt shortly after it was reported.
I have just removed some @using names... John Abbott

10:58 Support #1353: configure script help

I have another suggestion: add the flag *@--only-lib@* that does @--no-boost --no-readline@ and does not compile coc... Anna Maria Bigatti

28 Oct 2019

12:31 Support #1353: configure script help

Ahhh. I see your point.
For CoCoALib the option *@--no-boost@* does nothing (since CoCoALib does not use BOOST, I... John Abbott

11:48 Support #1353: configure script help

I think that @--no-boost@ should be listed as a CoCoALib option, because it can compile without boost, instead of a C... Anna Maria Bigatti