CoCoA

22 Jun 2016

16:56 CoCoA-5 Bug #748 (Feedback): Emacs UI: return inside a block of output sends several lines (not just the one I'm on)

Anna says it seems to work mostly OK for her (on emacs 22 or 23). She did report a problem with sending only part of... John Abbott

16:15 CoCoALib Design #891: Replace auto_ptr in preparation for C++11?

I have looked on the internet for "clever" ways to make our code compatible with both C++03 and C++11 (using @auto_pt... John Abbott

13:26 CoCoALib Design #891: Replace auto_ptr in preparation for C++11?

Just a quick note about doing a global replacement of @auto_ptr@ by @unique_ptr@. Open all files in emacs, then use ... John Abbott

13:24 CoCoALib Design #891 (In Progress): Replace auto_ptr in preparation for C++11?

I have just globally replaced @auto_ptr@ with @unique_ptr@.
Just 1 line in @TmpJBMill.C@ needed to be changed to get... John Abbott

21 Jun 2016

14:47 CoCoALib Design #894 (In Progress): strict enum types: C++11 extension

Apparently C++11 offers "strongly typed enum" which do not have automatic conversion to integer values.
This seems... John Abbott

14:37 CoCoALib Feature #873: bool3: add some logical operations?

On the other hand, if we choose not to be "clever" then we can use normal (inline?) functions which always evaluate a... John Abbott

14:17 CoCoALib Feature #873: bool3: add some logical operations?

I would like that the definitions of @and3@ and @or3@ behave just like the built-in logical operators @operator&&@ an... John Abbott

13:12 CoCoALib Design #891: Replace auto_ptr in preparation for C++11?

Here are the files which use @std::auto_ptr@:
@GlobalManager.H@
@MemPool.H@
@SparsePolyRing.H@
@SugarDegree.H@
@... John Abbott

20 Jun 2016

15:01 CoCoALib Design #849: Cleanup MinPoly code

The function @MinPoly@ (and @MinPolyQuot@) should be straight calls to @MinPolyDef/MinPolyDefQuot@ Anna Maria Bigatti

14:54 CoCoALib Design #849: Cleanup MinPoly code

The current functions should be renamed @MinPolyXXQuot(f, I, z)@ Anna Maria Bigatti

17 Jun 2016

22:24 CoCoALib Design #891: Replace auto_ptr in preparation for C++11?

A quick check we should do is to string-replace all @auto_ptr@ with @unique_ptr@ and see if the code compiles cleanly... John Abbott

22:23 CoCoALib Design #891: Replace auto_ptr in preparation for C++11?

Obviously we are not the first to encounter this problem.
My understanding is that @std::unique_ptr@ is intended a... John Abbott

22:17 CoCoALib Design #891 (Closed): Replace auto_ptr in preparation for C++11?

Compiling CoCoALib with @--std=c++11@ produces lots of warnings about @std::auto_ptr@ being deprecated
Reportedly ... John Abbott

15:51 CoCoALib Feature #357: Constructor for vectors? CoCoAVector

We have these (for short lists)... Anna Maria Bigatti

14:39 CoCoA-5 Design #83: C++11 compatibility questions

What is the difference between issues #82 and #83 (this one)? John Abbott

16 Jun 2016

17:18 CoCoALib Design #827: NewPositiveMat also for matrices over QQ? Also NewIntegerOrdMat. (now called MakeTermOrd)

What is the status of this issue?
I'm hoping it can be closed quickly and easily for the next (imminent) release.
John Abbott

17:14 CoCoALib Bug #814: PPOrdering: matrix ordering, what rings are allowed.

What is the answer to the original question?
Comment 1 proposed an answer, and asked for discussion. The other co... John Abbott

17:09 CoCoALib Feature #800: PPMonoidSparse: impl of sparse PPs

As reported in issue #842 execution speed is sometimes very disappointing, so currently it may not be such a good ide... John Abbott

17:03 CoCoALib Design #789: NumTheory: behaviour of InvMod when inverse does not exist

We could also offer 2 functions: @InvMod@ which throws, and @InvModNoThrow@ which returns 0.
To maintain backward ... John Abbott

11:46 CoCoA-5 Bug #748: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)

I have a possible solution: I have copied @comint-get-old-input-default@ into @cocoa5.el@ then edited it so that it a... John Abbott

15 Jun 2016

16:59 CoCoA-5 Bug #748 (In Progress): Emacs UI: return inside a block of output sends several lines (not just the one I'm on)

A possible work-around seems to be to set @comint-use-prompt-regexp@ to @t@.
The implementation of @comint-get-old... John Abbott

13:59 CoCoA-5 Bug #748: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)

This continues to bother me; it seems to be a "feature" of emacs 24.5 (on several machines).
Strangely I looked on i... John Abbott

14:35 CoCoALib Bug #547: elim using RingTwinFloat triggers error "SERIOUS"

I have confirmed that both examples still trigger @ERR::SERIOUS@ with 5.1.5 on CoCoALib 0.99543.
John Abbott

14:13 CoCoA-5 Feature #95: Error/warning if fn-proc is neither fn nor proc?

Here is a simple test case:... John Abbott

13:55 CoCoA-5 Support #890 (In Progress): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)

I am guessing that @ImportByRef@ and @ImportByValue@ may be used only for importing local variables in an outer lexic... John Abbott

13:47 CoCoA-5 Support #890: ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)

While @TopLevel@ and @ImportByRef@ are very similar there is a difference: namely, that @TopLevel@ will search only i... John Abbott

13:42 CoCoA-5 Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed)

While cleaning, I found some old CoCoA-5 "bugs". In this case there are two simple examples where @ImportByRef@ give... John Abbott

14 Jun 2016

09:42 CoCoA-5 Bug #755: Find out how to compile statically on linux

John Abbott wrote:
> In fact, I would be tempted to make the version which needs @libblas@ less immediately obvious;... Anna Maria Bigatti

13 Jun 2016

20:56 CoCoA-5 Bug #755: Find out how to compile statically on linux

Until we resolve this issue I would suggest making publicly available a minimal version of CoCoA-5 which does not dep... John Abbott

20:40 CoCoALib Feature #889 (In Progress): configure script: give summary of warnings at end

I have modified the @configure@ script so that the last line of output recalls all warnings. It seemed to work for M... John Abbott

14:09 CoCoALib Feature #889 (Closed): configure script: give summary of warnings at end

The CoCoALib @configure@ script can produce warnings during its execution, however these easily become invisible/igno... John Abbott

20:38 CoCoA-5 Bug #757: readline: fix script for finding libreadline

I have modified the @readline@ scripts so that they accept only absolute paths as input. Recall that there can be pr... John Abbott

19:25 CoCoA-5 Bug #757 (Resolved): readline: fix script for finding libreadline

I have hacked the various scripts, and now it works on my MacBook.
However, I have just re-read the earlier commen... John Abbott

20:35 CoCoALib Feature #759 (In Progress): Configuration: where to keep source for test compilations?

Some scripts contain the source code inside themselves (as here-documents), others rely on an external existing (in a... John Abbott

15:32 CoCoALib Bug #593: Temporary directories used during configuration

Another advantage of using @/tmp@ is that scripts no longer need to test whether they are being run from the CoCoA ro... John Abbott

11:39 CoCoALib Bug #593: Temporary directories used during configuration

After waiting for several configure-make cycles to complete on the fixed machine here in Kassel, I have concluded tha... John Abbott

14:11 CoCoALib Bug #867: Compilation Error: C++11 and old GMP-Version

I have opened issue #889 which should resolve this issue (if my understanding of the problem is correct, namely that ... John Abbott

10 Jun 2016

17:32 CoCoALib Bug #756: frobby (v0.9.0) does not compile with g++-4.8

John Abbott wrote:
> Can you tell your compiler (clang/llvm) to use the old standard? You will have to look in the ... Anna Maria Bigatti

17:21 CoCoALib Bug #756: frobby (v0.9.0) does not compile with g++-4.8

Can you tell your compiler (clang/llvm) to use the old standard? You will have to look in the documentation to see h... John Abbott

17:08 CoCoALib Bug #756: frobby (v0.9.0) does not compile with g++-4.8

I've found this ;-)
[[https://github.com/Macaulay2/M2/issues/66]]
I copy here the reply from Bjarke Roune
======... Anna Maria Bigatti

16:55 CoCoALib Bug #756: frobby (v0.9.0) does not compile with g++-4.8

I do not recognise the error message you have posted.
Do you have to tell your compiler to use the C++03 standard ... John Abbott

16:50 CoCoALib Bug #756: frobby (v0.9.0) does not compile with g++-4.8

John Abbott wrote:
> OK, I have change the documentation. Could you check to see if it makes sense?
I believe I ... Anna Maria Bigatti

16:09 CoCoALib Bug #756: frobby (v0.9.0) does not compile with g++-4.8

OK, I have changed the documentation. Could you check to see if it makes sense? John Abbott

08 Jun 2016

15:46 CoCoALib Bug #756: frobby (v0.9.0) does not compile with g++-4.8

Could you write the changes in the documentation @ExternalLibs-Frobby.txt@?
Anna Maria Bigatti

06 Jun 2016

00:26 CoCoA-5 Feature #888: Escaped newline to allow a long line to be split into several "physical lines"

Unfortunately there are probably some places where backslash-newline cannot be blindly inserted without changing the ... John Abbott

00:15 CoCoA-5 Feature #888: Escaped newline to allow a long line to be split into several "physical lines"

I have just checked what happens with @bash@ (which also uses the backslash-newline convention): it may appear inside... John Abbott

00:05 CoCoA-5 Feature #888: Escaped newline to allow a long line to be split into several "physical lines"

I was surprised not to find this issue already in redmine; I'm sure we have talked about it (in the distant past... p... John Abbott

00:00 CoCoA-5 Feature #888 (New): Escaped newline to allow a long line to be split into several "physical lines"

Some languages allow long lines to be split into several "physical lines" by inserting an escaped-newline which is si... John Abbott

23:50 CoCoA-5 Slug #875 (In Progress): Interpreter is too slow reading a big polynomial

I have taken one of Mario's big polys: this one is about 6Mbyte when printed out.
I tried to ways of converting th... John Abbott

21:58 CoCoA-5 Slug #875: Interpreter is too slow reading a big polynomial

The solution to use @ReadExpr(P, "poly-as-a-string")@ works tolerably well from the point of view of the interpreter,... John Abbott

15:37 CoCoALib Feature #206: Matrix equation solving: LinKer

For aesthetics: now changes sign to the LinKer matrix (so that the entries corresponding to the "pivots" are "1" inst... Anna Maria Bigatti

13:47 CoCoALib Support #887: My first compilations with clang

John Abbott wrote:
> I like the idea of adding some hints about compiling external libraries. I already have some n... Anna Maria Bigatti

13:31 CoCoALib Support #887: My first compilations with clang

I like the idea of adding some hints about compiling external libraries. I already have some notes (but perhaps they... John Abbott

13:28 CoCoALib Support #887: My first compilations with clang

The warnings about infinite recursion correspond to code which has a comment @BUG BUG BUG@; I suppose I'll fix it wh... John Abbott

01 Jun 2016

17:05 CoCoALib Support #887: My first compilations with clang

CoCoA-5 running!!... Anna Maria Bigatti

31 May 2016

15:55 CoCoALib Support #887: My first compilations with clang

... another thing I don't really know the meaning of:... Anna Maria Bigatti

15:49 CoCoALib Support #887: My first compilations with clang

I expect this is well under control ;-)... Anna Maria Bigatti

15:27 CoCoALib Support #887: My first compilations with clang

... I'm not quite sure what this refers to...... Anna Maria Bigatti

15:16 CoCoALib Support #887: My first compilations with clang

*This is just a local problem with files not in cvs*
The file @/include/CoCoA/TmpSBStats.H@ contains the line... Anna Maria Bigatti

15:14 CoCoALib Support #887 (Closed): My first compilations with clang

I've just updated to MacOS 10.11 (from 10.6).
Here I note the problems and remarks on the first compilations. Anna Maria Bigatti

25 May 2016

17:01 CoCoALib Slug #881: ReadExpr is too slow on large polys

Using the profiler on a linux box I noticed that @DistrMPolyInlPP::myPushFront@ was using surprisingly much time. I ... John Abbott

16:57 CoCoALib Feature #885: IsIrred3: fast 3-way irred test (returning bool3)

The idea of @IsIrred3@ was created because of some computations Mario needed to do with multivariate polynomials, so ... John Abbott

11:13 CoCoALib Feature #885 (In Progress): IsIrred3: fast 3-way irred test (returning bool3)

Some questions:
* *(A)* what should the function be called? Is @IsIrred3@ a reasonable name?
* *(B)* what should t... John Abbott

16:49 CoCoALib Design #846: IsIrred: correct design?

The simplest design is to make @IsIrred@ call @IsIrred3@; this somehow equates calling @IsIrred3@ to handling the tri... John Abbott

13:43 CoCoALib Design #846 (In Progress): IsIrred: correct design?

I think a first version of @IsIrred@ should give error if the ring is a field; if it turns out that this is inconveni... John Abbott

24 May 2016

17:27 CoCoALib Feature #885 (In Progress): IsIrred3: fast 3-way irred test (returning bool3)

Implement an irreducibility test @IsIrred3@ which is guaranteed to be fast, but returns a @bool3@.
John Abbott

15:25 CoCoALib Slug #884: DistrMPolyInlPP::myPushFront and DistrMPolyInlPP::myPushBack inefficient if arg is a PP

I wrote a special reading fn for polynomials (using a "private" linearization). It was not as fast as I hoped, and p... John Abbott

15:20 CoCoALib Slug #884 (New): DistrMPolyInlPP::myPushFront and DistrMPolyInlPP::myPushBack inefficient if arg is a PP

In the class @DistrMPolyInlPP@ the mem fns @myPushFront@ and myPushBack@ can accept raw coeff and raw pp, *BUT* the i... John Abbott