CoCoA

20 Jun 2014

15:00 CoCoALib Feature #575: Investigate using cmake for configuration

John Abbott wrote:
> *Bad* it is not clear how to specify a custom "installation" of GMP instead of the standard sys... Anna Maria Bigatti

09:18 CoCoALib Feature #575: Investigate using cmake for configuration

Christof has been investigating using @cmake@ for configuring normaliz/libnormaliz.
*Good* @cmake@ seems to handle... John Abbott

09:10 CoCoALib Feature #575 (In Progress): Investigate using cmake for configuration

The @cmake@ program offers a platform independent "configuration" mechanism. In principle it could replace CoCoA's e... John Abbott

19 Jun 2014

17:53 CoCoALib Feature #573: Use symbolic links for external libraries

I thought I could be clever in @autoconf.mk@ and use @-lgsl@, @-lfrobby@ and so on.
*But* the linker does some strang... John Abbott

17:00 CoCoALib Feature #573: Use symbolic links for external libraries

Here's a quite summary of the current situation (created entirely manually so far).
There's a new directory @configu... John Abbott

15:27 CoCoALib Feature #573: Use symbolic links for external libraries

John Abbott wrote:
> I now think that the correct place for the external library directory is in @configuration/@.
... Anna Maria Bigatti

15:15 CoCoALib Feature #573 (In Progress): Use symbolic links for external libraries

I now think that the correct place for the external library directory is in @configuration/@.
It may as well be ca... John Abbott

11:22 CoCoALib Support #574 (Closed): Tidy CoCoA root directory

There are too many files/directories in the CoCoA root directory.
I think we can remove the GPLv2 file since there i... John Abbott

18 Jun 2014

12:03 CoCoALib Feature #573 (Closed): Use symbolic links for external libraries

To avoid problems with "awkward" path names to external libraries, I suggest creating symbolic links (with nice names... John Abbott

14 Jun 2014

21:43 CoCoALib Feature #568 (Feedback): Valid symbol heads

All done. It is also easier now to change which chars are allowed as 1st of symbol head, and which are allowed after... John Abbott

21:38 CoCoALib Feature #571: CmpAbs for RingElem

Implemented & documented; no test yet.
Checked in by commenting out the other changes in @ring.C@
John Abbott

21:24 CoCoALib Feature #571: CmpAbs for RingElem

I have added a test and doc for @CmpAbs@ for @BigRat@ John Abbott

21:21 CoCoALib Feature #571 (In Progress): CmpAbs for RingElem

I have now checked in an impl for @BigRat@.
I have an impl for @RingElem@ but cannot yet check in (mixed up with oth... John Abbott

19:57 CoCoALib Design #572 (New): Split SparsePolyRing.H into two files? Problem with circular includes.

I was unable to add a @JBMill@ field to a SparsePolyRingIdeal because of circular includes.
One solution would be ... John Abbott

13 Jun 2014

08:03 CoCoALib Design #415: Remove AsPolyRing etc?

John Abbott wrote:
> It would be handy to have a ctor for @RingElem@ which accepts a @RingBase*@ instead of a @ring@;... Anna Maria Bigatti

12 Jun 2014

19:30 CoCoALib Design #415: Remove AsPolyRing etc?

Everything compiles & all tests pass :-)
It would be handy to have a ctor for @RingElem@ which accepts a @RingBase... John Abbott

14:18 CoCoALib Feature #571: CmpAbs for RingElem

Make sense.
We should also do the same (when someone asks ;-) for other functions which can be extended from BigInt ... Anna Maria Bigatti

12:54 CoCoALib Feature #571: CmpAbs for RingElem

The current impl works only for int/BigInt. Not for @BigRat@ John Abbott

12:53 CoCoALib Feature #571 (Closed): CmpAbs for RingElem

We have the fn @CmpAbs@ for @BigInt@ and @BigRat@.
Mario would like it also for @RingElem@ (when it is an ordered do... John Abbott

12:41 CoCoALib Feature #570: Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing)

John Abbott wrote:
> which ring functions should be extended in this way?
I see this question in other terms: whi... Anna Maria Bigatti

12:30 CoCoALib Feature #570 (New): Allow use of RingElem instead of ring in some functions (e.g. PPM, CoeffRing)

Mario Albert said it would help make code shorter (and more readable) if one could write @PPM(f)@ instead of @PPM(own... John Abbott

11 Jun 2014

17:40 CoCoALib Design #415: Remove AsPolyRing etc?

I have managed to remove most of the need for @AsPolyRing@; will continue later this evening. John Abbott

16:04 CoCoALib Support #569 (New): Documentation for ReductionCog

The documentation for @ReductionCog@ need to be improved (and corrected?)
John Abbott

14:58 CoCoALib Feature #568: Valid symbol heads

John Abbott wrote:
> If we allow a wider range of heads, I suggest that any head may be indexed (rather than trying ... Anna Maria Bigatti

10 Jun 2014

19:19 CoCoALib Feature #568: Valid symbol heads

If we allow a wider range of heads, I suggest that any head may be indexed (rather than trying to introduce some arca... John Abbott

19:15 CoCoALib Feature #568: Valid symbol heads

I modified Mario's copy of CoCoALib so that it would accept digits in symbol heads; everything seemed to work fine. ... John Abbott

19:13 CoCoALib Feature #568 (In Progress): Valid symbol heads

Mario has a fairly large database (several hundred entries) of polynomial sets which he wants to test using CoCoALib.... John Abbott

19:05 CoCoALib Feature #568 (Closed): Valid symbol heads

Currently symbol heads must start with a letter and contain letters and underscores.
Mario Albert would find it ve... John Abbott

30 May 2014

09:16 CoCoA-5 Design #567 (Feedback): Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

Easy when you know where, more difficult to find *where*.
Done.
I had to change @ErrorReporter::ErrorPrefix("--> ... Anna Maria Bigatti

29 May 2014

17:11 CoCoA-5 Design #567: Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

first step done (in Lexer.C) Anna Maria Bigatti

17:09 CoCoA-5 Design #567 (In Progress): Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

Let's try the proposal. As it is a "trick", it should be well documented. John Abbott

16:39 CoCoA-5 Design #567: Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

maybe error messages should be printed... Anna Maria Bigatti

16:37 CoCoA-5 Design #567 (Closed): Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote

consider this... Anna Maria Bigatti

17:04 CoCoA-5 Support #541: Unify releases for Linux 32 and Linux 64

Apparently emacs + script does not work on some linux machine (Oscar's).
Script works fine inside a normal shell, but... Anna Maria Bigatti

14:39 CoCoA-5 Bug #566 (Resolved): Online help: problem with "<>"

I'm sure this didn't work just a few days ago; but when I tried it yesterday, everything behaved correctly (but I don... John Abbott

26 May 2014

22:03 CoCoA-5 Bug #566 (Closed): Online help: problem with "<>"

The manual search *@?<>@* produces no match, yet the XML source has a suitable key (in the entry for *@Equality Test@... John Abbott

22 May 2014

22:20 CoCoALib Feature #565 (In Progress): FloatApprox for TwinFloat values?

Does it make sense to have a fn like @FloatApprox@ for twin-float values?
Currently the only way to get a "real va... John Abbott

17:20 CoCoA-5 Bug #447: CoCoA-5.0.3 Microsoft std::bad_alloc

Elisa Businelli has kindly lent us her computer so that we could confirm that the problem has been resolved on her ma... John Abbott

12:07 CoCoALib Feature #564 (New): Temporary file for experimentation

Here is a proposal:
put in the CoCoALib sources a "temporary" file into which potential CoCoALib contributors can pu... John Abbott