Project

General

Profile

Activity

From 20 May 2014 to 18 Jun 2014

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... John Abbott

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... 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

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@;...
Anna Maria Bigatti

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...
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

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. 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

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... 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

22 May 2014

22:20 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
12:07 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

20 May 2014

10:37 Bug #264: Compilation problem with "degree.H" (inline fn defns)
Is this still a problem?
John Abbott
10:34 Feature #540 (Closed): Progress reporter
John Abbott
10:33 Feature #533 (Closed): Convert BigInt/BigRat to string
This has already been done (by me, but I can't recall exactly when).
There is now a template fn called *@ToString@*;...
John Abbott
09:59 Feature #383: Resolution/morse: integrate Mario Albert's code into CoCoALib
John and Mario will look at the code together to "audit" it (and possibly improve its design?) John Abbott
09:55 Feature #562 (New): Subrings
The notion of subrings looks promising. Investigate & implement (if appropriate). John Abbott
09:52 Bug #538 (Closed): Compilation problem in TmpMorsePaths.C
I'm closing this issue since it's all working now.
I expect to see Mario Albert next month, and perhaps we can spend...
John Abbott
09:47 Design #404 (Closed): deg(F,X) instead of MaxExponent(F,X) ?
John Abbott
 

Also available in: Atom