Activity

From 14 May 2014 to 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

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

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

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

14:58 Design #535 (Closed): IO: move GlobalInput etc to CoCoA server!: John Abbott
14:26 Design #560 (Closed): CoCoALib/io.H: I have completed all changes (incl. revised doc/examples).
Everything compiles and runs fine; checked in, so closing. John Abbott
13:39 Design #560 (In Progress): CoCoALib/io.H: I have spoken to Anna about this, and she agrees that @InputFailCheck@ contributes essentially nothing, so we may as ... John Abbott

18:40 Design #535: IO: move GlobalInput etc to CoCoA server!: Revised doc (see also #560).
Revised example program (was very out of date).
John Abbott
18:09 Design #535 (Feedback): IO: move GlobalInput etc to CoCoA server!: Moved the code; seems to compile OK. Will do some more tests.
John Abbott
18:25 Design #560 (Closed): CoCoALib/io.H: Is the fn @InputFailCheck@ useful at all?
Would it not be clearer to write explicitly:... John Abbott
17:29 Design #404 (Feedback): deg(F,X) instead of MaxExponent(F,X) ?: No problems arose when I made the change.
Status -> feedback John Abbott
15:23 Feature #554 (Closed): CoCoALib-Normaliz interface: cannot print a cone: We should add a fn to print out a @cone@ object.
All values should be printable (if only for debugging) John Abbott

Also available in: Atom

CoCoA » CoCoALib