CoCoA

05 Dec 2019

15:55 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1233: factor SEGV -- too large characteristic

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

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

Postponing because not important for CoCoA School.
John Abbott

17:15 ApCoCoA Feature #1328: New ApCoCoA UI

Meeting today (2019-12-04).
Nguetsa reports: Interface is working, and history mechanism too. Also interfaces well ... John Abbott

15:22 CoCoA-5 Feature #1373 (In Progress): GFan also for Microsoft?

Is it possible to make the GFan functions available in the pre-compiled release for Microsoft?
John Abbott

03 Dec 2019

14:36 CoCoA-5 Feature #1364 (Feedback): Emacs UI: start cocoa5 with system command enabled

I have checked in a cleaned-up version of the code... Anna said it worked fine for her.
Now we can test for it for... John Abbott

29 Nov 2019

17:21 CoCoA-5 Feature #1372 (In Progress): New function: find ?

Should we add the function *find* (similar to C++ *find*)?
This is a quick and easy prototype (should be easy to wri... Anna Maria Bigatti

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