CoCoA » CoCoA-5

11 Jun 2015

08:28 Feature #732 (Feedback): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4)

mostly done (with some more cleaning and testing to do) Anna Maria Bigatti

08:25 Feature #732 (Closed): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4)

Luis Garcia wrote a package for CoCoA-4. Port it to CoCoA-5. Anna Maria Bigatti

08:27 Feature #734 (Closed): Primary Decomposition in CoCoA-5: zero dimensional, zero characteristic

Anna Maria Bigatti

08:26 Feature #733 (Closed): Primary Decomposition in CoCoA-5.1.2: zero dimensional, finite characteristic

First prototype Anna Maria Bigatti

08:23 Feature #731 (In Progress): Primary Decomposition in CoCoA-5

Implement Primary Decomposition in CoCoA-5 Anna Maria Bigatti

10 Jun 2015

14:22 Bug #148: C-c C-p in emacs goes to wrong line

> *REPLY (JAA)* I think what confused me was that in the CoCoA-5 output window the cursor was at the end of the outpu... Anna Maria Bigatti

08 Jun 2015

11:46 Bug #148: C-c C-p in emacs goes to wrong line

John Abbott wrote:
> I recently tried using @C-c C-p@ and found it unhelpful; so I "stupidly" tried it a second time,... Anna Maria Bigatti

06 Jun 2015

23:04 Bug #148: C-c C-p in emacs goes to wrong line

I recently tried using @C-c C-p@ and found it unhelpful; so I "stupidly" tried it a second time, and found that it wa... John Abbott

22:58 Bug #727 (In Progress): Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized

The emacs command @C-c C-f@ send a @source@ command to CoCoA-5, so CoCoA-5 reads the file on disk which may not be th... John Abbott

22:39 Bug #726: TopLevel cannot "import" a package variable

I think a "global variable" is a reasonable design for this task.
There is a "philosophical" question: is a qualif... John Abbott

22:34 Bug #726 (Closed): TopLevel cannot "import" a package variable

I would like to have a user controllable "verbosity level" in a package. How should this be done?
I had thought o... John Abbott

02 Jun 2015

22:43 Bug #724 (In Progress): RationalSolve: wrongly complains about non zero-dim even in finite char

It is not quite as easy as I had hoped. Every so often zero polynomials pop up in awkward places (_e.g._ to be facto... John Abbott

17:06 Bug #724: RationalSolve: wrongly complains about non zero-dim even in finite char

I have disabled the zero-dimensionality check if the coeff ring is a finite field.
In one simple test that seems t... John Abbott

15:55 Bug #724: RationalSolve: wrongly complains about non zero-dim even in finite char

Is it just enough to skip the check for zero-dimensionality in this case?
(if so, that's a really simple fix)
John Abbott

15:53 Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char

I ran the example given in issue #723 which tries to compute all rational solutions over a finite field of a homogene... John Abbott

16:35 Feature #723: Referring to indets with multiple indices from a polyring

Yes and no. I thought the topic had come up recently, but did not find it on redmine.
Perhaps the manual page for @... John Abbott

16:18 Feature #723: Referring to indets with multiple indices from a polyring

Is this what you want? (From the manual ;-)... Anna Maria Bigatti

15:45 Feature #723: Referring to indets with multiple indices from a polyring

The existing function @indets("s")@ almost does what I want except that the result is a list rather than an @INTMAP@.... John Abbott

15:39 Feature #723: Referring to indets with multiple indices from a polyring

Here is an example I want to run (NB it is very slow)... John Abbott

15:35 Feature #723 (New): Referring to indets with multiple indices from a polyring

I would like to be able to refer to multi-index indets in a poly ring using their multiple indices... where the ring ... John Abbott

13:19 Feature #719: Readline: consider creating a textual interpreter with readline

A commandline option to disable readline is probably a good idea. It is the most flexible.
You can then also add some... Christof Soeger

13:11 Feature #719: Readline: consider creating a textual interpreter with readline

I have just read some documentation for @readline@ and also looked online. We're not the first people to have proble... John Abbott

12:45 Feature #719: Readline: consider creating a textual interpreter with readline

Clearly, I was too hasty with my hack to add @readline@ :-(
I know @READLINE@ appears twice at the start -- don't ... John Abbott

12:05 Feature #719: Readline: consider creating a textual interpreter with readline

And it also works fine for me. Is it also possible to include a tab-completion? :)
Only problem is that the tests of... Christof Soeger

11:27 Feature #719: Readline: consider creating a textual interpreter with readline

My first try was not successfull. Durign the configure I got... Christof Soeger

01 Jun 2015

17:50 Bug #712: External Libs: missing dependencies in Makefiles

Depending on the source files would maybe be to much. It can not know how to recompile the external library.
What I ... Christof Soeger

30 May 2015

19:49 Feature #711: External Libs: print credits?

If we do implement some scheme for recognising use of external libraries, probably we should also do something simila... John Abbott

26 May 2015

15:51 Feature #719: Readline: consider creating a textual interpreter with readline

(I had to do a bit of updating and adaptations) it compiles and works well.
Under emacs, both in shell and in comi... Anna Maria Bigatti

25 May 2015

12:17 Feature #719: Readline: consider creating a textual interpreter with readline

Strictly the headers for @readline@ are needed only for compiling @LineProviders.C@.
Similarly @libreadline.a@ is ne... John Abbott

24 May 2015

14:29 Feature #719: Readline: consider creating a textual interpreter with readline

It's not perfect (_e.g._ prints out READLINE twice in the list of ext libs).
Checking in anyway, as I must go now.
John Abbott

14:26 Feature #719: Readline: consider creating a textual interpreter with readline

I have just updated @configure@. If a quick test passes, I'll check in.
Currently it is a bit of a hack: _e.g._ it ... John Abbott

22 May 2015

18:44 Feature #719: Readline: consider creating a textual interpreter with readline

John Abbott wrote:
> What to do?
> * *(A)* one possibility is to offer a command line arg to @CoCoAInterpreter@ whi... Anna Maria Bigatti

18:35 Feature #719: Readline: consider creating a textual interpreter with readline

The CoCoA-5 tests passed with @readline@ active. So I have checked in (to reduce the risk of losing the code).
St... John Abbott

18:25 Feature #719: Readline: consider creating a textual interpreter with readline

Compilation of @CoCoAInterpreter@ with require the option @-lreadline@ if the readline library is to be used. John Abbott

18:17 Feature #719: Readline: consider creating a textual interpreter with readline

There is some problem with lines longer than 1023 chars. I think it is an Emacs/comint problem because cutting and p... John Abbott

18:04 Feature #719: Readline: consider creating a textual interpreter with readline

I had to change just one line in @Main.C@ (and add some @#include@ directives).
What to do?
* *(A)* one possibili... John Abbott

17:45 Feature #719: Readline: consider creating a textual interpreter with readline

I have an apparently working first prototype :-)
John Abbott

16:52 Feature #719: Readline: consider creating a textual interpreter with readline

JAA does not want to make @readline@ mandatory for compiling CoCoALib, nor even CoCoA-5.
So @readline@ will become a... John Abbott

16:46 Feature #719 (In Progress): Readline: consider creating a textual interpreter with readline

I have downloaded and built readline-6.3.
Building was non-trivial: by default it compiled 32-bit (not compatible ... John Abbott

14:14 Feature #720: External libs: specifying I/O streams (initialization?)

@CoCoAInterpreter@ works just fine because the default streams in @libnormaliz@ are @cout@ and/or @cerr@ which is wha... John Abbott

21 May 2015

17:53 Feature #720 (New): External libs: specifying I/O streams (initialization?)

libnormaliz needs to be informed of two output streams: one for logging info (in "verbose" mode), the other for error... John Abbott

17:47 Feature #719 (Closed): Readline: consider creating a textual interpreter with readline

This was discussed in March 2009 via email. I will copy the essence of the messages here.
Christof would greatly ... John Abbott

15:23 Bug #713 (In Progress): External libs: interrupting not easy

It is probably best to KISS: _i.e._ just have a straightforward signal handler which simply sets the flag. If this p... John Abbott

11:57 Slug #709: Speed of some Normaliz calls (NmzComputation)

Attempts to profile the running program on my computer failed :-(
@gprof@ does not work properly in MacOSX, and ther... John Abbott

11:34 Slug #709: Speed of some Normaliz calls (NmzComputation)

With Christof we ran a side-by-side comparison (on my machine) with "verbose" activated.
The run under CoCoA-5 was a... John Abbott

11:26 Slug #709: Speed of some Normaliz calls (NmzComputation)

On my machine (MacBook Pro with OSX 10.5.8, compiler version 4.2.1)
Normaliz 2.12 took 9mins (about 550s)
CoCoA-5 ... John Abbott

11:19 Slug #709: Speed of some Normaliz calls (NmzComputation)

Here is the original Normaliz input file (called @5x5.in@ in their source tree):... John Abbott

11:17 Slug #709: Speed of some Normaliz calls (NmzComputation)

Here is body of the CoCoALib code I used to speed testing in CoCoALib:... John Abbott

11:15 Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)

Here is the input I was giving to CoCoA-5... John Abbott