Activity
From 24 May 2014 to 22 Jun 2014
20 Jun 2014
- 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... - 09:18 Feature #575: Investigate using cmake for configuration
- Christof has been investigating using @cmake@ for configuring normaliz/libnormaliz.
*Good* @cmake@ seems to handle... - 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...
19 Jun 2014
- 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... - 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... - 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/@.
... - 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... - 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...
18 Jun 2014
- 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...
14 Jun 2014
- 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...
- 21:38 Feature #571: CmpAbs for RingElem
- Implemented & documented; no test yet.
Checked in by commenting out the other changes in @ring.C@
- 21:24 Feature #571: CmpAbs for RingElem
- I have added a test and doc for @CmpAbs@ for @BigRat@
- 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... - 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 ...
13 Jun 2014
- 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@;...
12 Jun 2014
- 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... - 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 ... - 12:54 Feature #571: CmpAbs for RingElem
- The current impl works only for int/BigInt. Not for @BigRat@
- 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... - 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... - 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...
11 Jun 2014
- 17:40 Design #415: Remove AsPolyRing etc?
- I have managed to remove most of the need for @AsPolyRing@; will continue later this evening.
- 16:04 Support #569 (New): Documentation for ReductionCog
- The documentation for @ReductionCog@ need to be improved (and corrected?)
- 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 ...
10 Jun 2014
- 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...
- 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. ...
- 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....
- 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...
Also available in: Atom