Activity

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

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

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

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

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

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

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

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

18:15 CoCoA-5 Design #563 (Closed): Remove ZMOD type from CoCoAInterpreter: The type @ZMOD@ is no longer used -- remove it from C5.
John Abbott
17:54 CoCoA-5 Support #225 (Closed): HilbertBasis: cocoa vs normaliz: Anna Maria Bigatti
10:37 CoCoALib Bug #264: Compilation problem with "degree.H" (inline fn defns): Is this still a problem?
John Abbott
10:34 CoCoALib Feature #540 (Closed): Progress reporter: John Abbott
10:33 CoCoALib 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 CoCoALib 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 CoCoALib Feature #562 (New): Subrings: The notion of subrings looks promising. Investigate & implement (if appropriate). John Abbott
09:52 CoCoALib 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 CoCoALib Design #404 (Closed): deg(F,X) instead of MaxExponent(F,X) ?: John Abbott

14:52 CoCoA-5 Feature #561 (Closed): Emacs UI: unrecognized keywords (ImportByValue...): Some C5 keywords are not coloured: _e.g._ *@ImportByValue@*.
Check the Emacs UI list against the list in the inter... John Abbott

Also available in: Atom

CoCoA