Activity

From 25 May 2014 to 23 Jun 2014

17:40 Feature #575 (In Progress): Investigate using cmake for configuration: Christof is still trying to make @cmake@ behave well on MacOS; both static and dynamic libraries give (different) pro... John Abbott
17:34 Feature #573: Use symbolic links for external libraries: The symbolic link approach now seems to be working -- I even tried with a nasty directory name apparently without mis... John Abbott

15:00 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 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 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

17:53 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 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 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 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 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

12:03 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

21:43 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 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 Feature #571: CmpAbs for RingElem: I have added a test and doc for @CmpAbs@ for @BigRat@ John Abbott
21:21 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 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

08:03 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

19:30 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 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 Feature #571: CmpAbs for RingElem: The current impl works only for int/BigInt. Not for @BigRat@ John Abbott
12:53 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 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 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

17:40 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 Support #569 (New): Documentation for ReductionCog: The documentation for @ReductionCog@ need to be improved (and corrected?)
John Abbott
14:58 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

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

Also available in: Atom

CoCoA » CoCoALib