CoCoA

27 Nov 2019

22:42 CoCoA-5 Feature #1364 (In Progress): Emacs UI: start cocoa5 with system command enabled

Prototype sent to Anna via email, so she can test it.
John Abbott

15:53 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1371: French students' example with GFan

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

17:44 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

24 Nov 2019

13:11 CoCoA-5 Support #1368 (Resolved): Improve manual for mod

The solution to Ange's problem is to compute @mod(a-b,p)@; this will be zero iff @a@ and @b@ are congruent modulo @p@... John Abbott

13:04 CoCoA-5 Support #1368 (In Progress): Improve manual for mod

Currently the manual and the implementation are incompatible. The manual says that the remainder is always non-negat... John Abbott

12:58 CoCoA-5 Support #1368 (Closed): Improve manual for mod

The manual entry for *@mod@* needs to be improved.
Ange recently reported that *@mod(a,p) = mod(b,p)@* did not wor... John Abbott

12:51 CoCoA-5 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz

I'm hoping that this should be easy (at least on Linux).
On my linux box, compilation and linking work fine with nor... John Abbott

12:49 CoCoA-5 Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz

The last release was linked with an "old" version of normaliz. Make the next release with a more recent version (_e.... John Abbott

12:46 CoCoA-5 Design #1352 (Resolved): cocoa5 (launch) script: sleep time

I have just tried @xterm -e ./cocoa5@, and now prefer a 4 second wait after printing the message (perhaps it should b... John Abbott

22 Nov 2019

15:35 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

14:17 CoCoA-5 Support #1365 (New): Package EdgeIdeal not documented

While preparing to present "graph colouring" I discovered a few mins ago that *@ChromaticNumber@* is a package-export... John Abbott

19 Nov 2019

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

Anna Maria Bigatti

18 Nov 2019

10:51 CoCoA-5 Feature #1364: Emacs UI: start cocoa5 with system command enabled

John Abbott wrote:
> Here are two possible ways to implement:
> * *(A)* new emacs commands _e.g._ *@cocoa5-with-sys... Anna Maria Bigatti

15 Nov 2019

15:40 CoCoA-5 Feature #1364: Emacs UI: start cocoa5 with system command enabled

Ange's situation is that she has the source code in @file.cocoa5@ and wants to send it to CoCoA-5 with @SystemCommand... John Abbott

15:30 CoCoA-5 Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled

Ange wants to use @SystemCommand@ inside some of her code, but when she starts CoCoA-5 from inside emacs @SystemComma... John Abbott

15:28 CoCoA-5 Support #677: Credits to CoCoA-5 contributors

* *Manual page* this is probably simplest to implement (and likely to suffice for all or almost all uses)
* *Functi... John Abbott

14 Nov 2019

19:22 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

16:56 CoCoA-5 Slug #1363: Emacs UI: slow with long lines

Original location of link was ... John Abbott

16:55 CoCoA-5 Slug #1363 (In Progress): Emacs UI: slow with long lines

I have found mention of *@so-long.el@* for emacs which is supposed to help with long lines.
We should investigate.
John Abbott

14:59 CoCoALib 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 CoCoALib Bug #1361 (Closed): Compilation fails when compiling with libgsl

If I compile cocoalib 0.99601 with libgsl (version 2.6-1) using:... Florian Walsh

09 Nov 2019

21:45 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?

Checked into CVS.
I had added a fn for sending a string to the running *cocoa5* buffer; I have not yet altered any f... John Abbott

09:18 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?

Tried on two (oldish) version of emacs.
Both work. Anna Maria Bigatti

07 Nov 2019

20:17 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?

I noticed quite a lot of "almost duplication" in the *@cocoa5.el@* file. We should try to reduce that: more work for... John Abbott

18:37 CoCoA-5 Feature #1358 (In Progress): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?

I have a first version which seems to work: after *@(goto (point-max))@* I have inserted *@(move-beginning-of-line ni... John Abbott

17:43 CoCoA-5 Feature #1358: Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?

I think it is probably a good idea to clear the last line (assuming this can be done reasonably easily in emacs).
... John Abbott

05 Nov 2019

14:26 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Support #1276: Release 0.99650

... Anna Maria Bigatti

16:24 CoCoALib Support #1276: Release 0.99650

Valgrind OK... Anna Maria Bigatti

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

Anna Maria Bigatti

11:17 ApCoCoA Feature #1328: New ApCoCoA UI

Next meeting is 2019-11-21 at 11:00.
AIM: *get interactive window and history mechanism working.*
John Abbott

30 Oct 2019

22:44 CoCoA-5 Slug #480: gcd too slow for large degree univariate poly

This slug still exists: on my current machine, top reports that CoCoA-5 is using 13Gbyte of memory. The computation ... John Abbott

22:39 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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

16:09 CoCoA-5 Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?

When using the Emacs UI, possibly confusing problems can arise if the user has started to type some input in the exec... John Abbott

11:20 CoCoA-5 Support #1222: Release CoCoA-5.3.0

I have compiled CoCoA-5 (current CVS) on my little 32-bit netbook (with @readline@ but no other extlibs). Compilatio... John Abbott

11:08 CoCoALib Support #1276: Release 0.99650

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

11:06 ApCoCoA Design #1357: How to connect GUI to cocoa5 executable?

I wonder how this was achieved with CoCoA-4.
I do not believe that we implemented any special in CoCoA-4 to enable... John Abbott

11:02 ApCoCoA Design #1357 (New): How to connect GUI to cocoa5 executable?

The GUI needs to start a separate process for CoCoA-5, and then be able to send inputs to CoCoA-5, and receive output... John Abbott

29 Oct 2019

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

Documented (and modernized its doc file) Anna Maria Bigatti

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

documented in @RingElem.txt@ Anna Maria Bigatti

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

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

12:20 CoCoA-5 Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once

The usual trick to ensure that header files are read only once is to define a CPP variable the first time the header ... John Abbott

12:04 CoCoALib 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 CoCoALib 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

11:30 ApCoCoA Feature #1354: ApCoCoA: separate window for manual

Here are some design details which must be sorted out before much can be implemented:
* which XML tags are used in t... John Abbott

11:25 ApCoCoA Feature #1354 (New): ApCoCoA: separate window for manual

The ApCoCoA UI must offer a means of opening manual pages in a separate window.
The content of this window must be... John Abbott

10:58 CoCoALib 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