Activity
From 01 May 2014 to 30 May 2014
30 May 2014
- 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("--> ...
29 May 2014
- 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)
- 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.
- 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...
- 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...
- 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... - 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...
26 May 2014
- 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@...
22 May 2014
- 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... - 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...
- 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...
20 May 2014
- 18:15 CoCoA-5 Design #563 (Closed): Remove ZMOD type from CoCoAInterpreter
- The type @ZMOD@ is no longer used -- remove it from C5.
- 17:54 CoCoA-5 Support #225 (Closed): HilbertBasis: cocoa vs normaliz
- 10:37 CoCoALib Bug #264: Compilation problem with "degree.H" (inline fn defns)
- Is this still a problem?
- 10:34 CoCoALib Feature #540 (Closed): Progress reporter
- 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@*;... - 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?)
- 09:55 CoCoALib Feature #562 (New): Subrings
- The notion of subrings looks promising. Investigate & implement (if appropriate).
- 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... - 09:47 CoCoALib Design #404 (Closed): deg(F,X) instead of MaxExponent(F,X) ?
19 May 2014
- 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...
16 May 2014
- 19:23 CoCoA-5 Bug #447 (Closed): CoCoA-5.0.3 Microsoft std::bad_alloc
- Anna says she has fixed it; @exbugs.cocoa5@ now passes on Linux.
- 14:07 CoCoA-5 Bug #447: CoCoA-5.0.3 Microsoft std::bad_alloc
- (20140516) I get the same problem in my 32-bit Linux VM.
Investigating.
15 May 2014
- 14:58 CoCoALib Design #535 (Closed): IO: move GlobalInput etc to CoCoA server!
- 14:26 CoCoALib Design #560 (Closed): CoCoALib/io.H
- I have completed all changes (incl. revised doc/examples).
Everything compiles and runs fine; checked in, so closing. - 13:39 CoCoALib 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 ...
14 May 2014
- 18:40 CoCoALib Design #535: IO: move GlobalInput etc to CoCoA server!
- Revised doc (see also #560).
Revised example program (was very out of date).
- 18:09 CoCoALib Design #535 (Feedback): IO: move GlobalInput etc to CoCoA server!
- Moved the code; seems to compile OK. Will do some more tests.
- 18:25 CoCoALib Design #560 (Closed): CoCoALib/io.H
- Is the fn @InputFailCheck@ useful at all?
Would it not be clearer to write explicitly:... - 17:41 CoCoA-5 Support #559 (Closed): Release: CoCoA-5.1.0
- compile and update website
- 17:36 CoCoA-5 Support #542 (Closed): CoCoAManual: improve part on data-types
- 16:58 CoCoA-5 Support #542 (Feedback): CoCoAManual: improve part on data-types
- lots of cleaning: not all done but ok for current release of CoCoA-5.1
- 17:34 CoCoA-5 Support #558 (Closed): CoCoAManual: semi-automatic check of all input
- 17:34 CoCoA-5 Support #558: CoCoAManual: semi-automatic check of all input
- (corrected code for *AllExamples.C*)
Run @make ManExample@
this creates @ManExamples-out.cocoa5@.
Give it as input t... - 17:31 CoCoA-5 Support #558 (Closed): CoCoAManual: semi-automatic check of all input
- Extract from the manual the input of the examples into a file; then run it in cocoa.
*2014-07* Run *make ManExamp... - 17:29 CoCoALib Design #404 (Feedback): deg(F,X) instead of MaxExponent(F,X) ?
- No problems arose when I made the change.
Status -> feedback - 17:21 CoCoA-5 Bug #279 (In Progress): Bug in Radical (actually a RingHom problem)
- *20140514* JAA confirms that the original problem persists; also gives numerous memory alloc errors like this:...
- 17:06 CoCoA-5 Support #557 (New): CoCoAManual: improve part on input/output
- (in manual, introductory part)
- 17:06 CoCoA-5 Support #556 (Closed): CoCoAManual: improve part on tagging
- 17:05 CoCoA-5 Support #555 (Closed): CoCoAManual: improve part on language
- Make new issue for remaining work.
- 17:03 CoCoA-5 Support #555: CoCoAManual: improve part on language
- Mostly done, cleaned up and reinserted in html and tex manual.
To do (no time for cocoa-5.1.0) description about *in... - 17:00 CoCoA-5 Support #555 (Closed): CoCoAManual: improve part on language
- The part describing the language was already obsolete 10 years ago.
Simplify and resurrect. - 16:56 CoCoA-5 Support #179 (Closed): TeX documentation for CoCoA-5
- It works much better now; still working on the content...
- 16:37 CoCoA-5 Support #176 (Closed): CoCoAManual: Doc for new commands
- 16:30 CoCoA-5 Bug #460 (Closed): Emacs UI: updating abbrev-table
- It seems to work well enough (at least most of the time).
Closing!
- 15:36 CoCoA-5 Design #332 (Feedback): Approx pts preprocessing fns
- I have corrected the spurious error -- forgot to invert a condition when changing an assert into @if (check) CoCoA_ER...
- 09:06 CoCoA-5 Design #332: Approx pts preprocessing fns
- Manual for *PreprocessPts* is wrong. I had a look, but I don't know how to fix it.
(syntax talks about LIST, but sh... - 15:31 CoCoA-5 Feature #553 (Feedback): Port function MantissaAndExponent2
- I have implemented, tested, & documented.
I followed Anna's suggestion: a @MantExp2@ structure now contains 4 (pu... - 09:38 CoCoA-5 Feature #553: Port function MantissaAndExponent2
- For JAA: commit file for fixing
@BuiltInFunctions.C:678: error: 'class CoCoA::MantExp2' has no member named 'myNumDig... - 15:23 CoCoALib 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)
12 May 2014
- 23:49 CoCoA-5 Feature #553: Port function MantissaAndExponent2
- John Abbott wrote:
> I've just copied the code for @MantissaAndExponent10@ -- it seems a waste writing code using cu... - 21:29 CoCoA-5 Feature #553 (In Progress): Port function MantissaAndExponent2
- I've just copied the code for @MantissaAndExponent10@ -- it seems a waste writing code using cut-and-paste :-(
Add... - 18:35 CoCoA-5 Feature #553 (Closed): Port function MantissaAndExponent2
- *MantissaAndExponent2* is defined in CoCoALib and mentioned in the manual for CoCoA-5.
Porting it to CoCoA-5 should ... - 16:50 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Okay, that's not so difficult if you know how it works. I just had to remember also to remove the matching @END_STD_B...
- 16:21 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Christof Soeger wrote:
> I have implemented point 1) (see #218) and now also point 2). I will send the code.
test... - 15:55 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- I have implemented point 1) (see #218) and now also point 2). I will send the code.
For 3) I have the problem that...
09 May 2014
- 22:27 CoCoALib Design #551: Reconsider overloaded virtual mem fns
- Just a hint to find easily those bits of code which need to be reviewed: look for @using@ (without @std@) inside the ...
- 17:09 CoCoALib Design #551 (New): Reconsider overloaded virtual mem fns
- The warning flag about @-Woverloaded-virtual@ suggests that it may be better to avoid overloading virtual fns, _i.e._...
- 21:41 CoCoA-5 Bug #552: C5 BuiltinFunctions.c fn RingElem
- I've tested and checked in my revised impl.
Perhaps I was too paranoid after finding an ugly bug in @IsHomog@ (also ... - 21:30 CoCoA-5 Bug #552: C5 BuiltinFunctions.c fn RingElem
- Wouldn't it be more natural to specify indexed symbols using this syntax: @RingElem(R, "x", [2,3])@?
- 21:27 CoCoA-5 Bug #552 (In Progress): C5 BuiltinFunctions.c fn RingElem
- OK, I think I have figured out what the code is supposed to do. I've added some documentation (and improved variable...
- 21:13 CoCoA-5 Bug #552 (Closed): C5 BuiltinFunctions.c fn RingElem
- What is going on in the impl of builtin fn @RingElem@; source is in @BuiltinFunctions.C:949-977@???
Something *BAD*! - 14:57 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- We could avoid the problem by *using different names for the various mem fns*; this idea should be considered (& then...
- 13:46 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Here is an argument against blindly applying the @using@ "trick".
The class @RingBase@ defines a mem fn @myNew(con... - 13:39 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- We should employ the @using@ "trick" only if it the correct design! I believe it is a bad idea to use it just to mak...
- 11:53 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- problem (2): done for Sugar too.
Now to be done for all concrete rings: myNew, myAssign, myIndets.
I think that sho... - 09:39 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Anna Maria Bigatti wrote:
> So it is probably useful to keep the compilation flag and to add those "using".
> I expec... - 09:26 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- John Abbott wrote:
> Similar @overload-virtual@ warnings are produced even when compiling CoCoALib. I believe I unde... - 13:28 CoCoA-5 Feature #514 (Closed): submodule: minimalize, minimalized
- added small test.
Closing.
- 13:20 CoCoA-5 Support #494 (Closed): Emacs UI: installation on Mac OS 10.8.5
- This is the best we can get.
Moreover new installation is easier (does not require set names or folder positioning)
... - 13:02 CoCoALib Design #550 (New): add myResolution member field to ideal and (sub)module
- 13:00 CoCoALib Design #455: Which sets of generators in an ideal?
- A similar problem is storing HilbertFunction and resolution in the ideal/module
- 12:58 CoCoALib Feature #409: Minimal syzygies (optimized implementation)
- There is a naive implementation (compute MinGens, then syz, then minimalize).
Here we are talking of the optimized i... - 12:56 CoCoA-5 Feature #529 (Closed): Naive version of resolution and Betti numbers
- It works, but should be cleaned up.
Mainly we should store the resolutions in the ideal (together with Hilbert, Jane... - 12:50 CoCoA-5 Feature #367 (Closed): implement LF/DF for an ideal
- done and documented (I can't remember when).
Closing.
08 May 2014
- 17:53 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- works on mac and linux.
On linux also deals automatically with 32/64 bit binaries
- 17:51 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- I've been cleaning up my scripts and insterted them in CVS.
... as usual it is difficult to make things easy!
I hav... - 17:42 CoCoA-5 Support #542: CoCoAManual: improve part on data-types
- I have checked/updated essentially all fn signatures in @CoCoAHelp.xml@.
I have done nothing about @TAGGED@.
Some... - 12:58 CoCoA-5 Design #549 (In Progress): Automatic conversion from RINGELEM to INT or RAT
- I now think that it is appropriate for @FloatStr@, @DecimalStr@ and @ScientificStr@ to accept @RINGELEM@ and auto con...
- 12:30 CoCoALib Feature #218: CoCoALib normaliz interface
- I implemented additional return functions (step 1 in my update on issue #204).
The myComputation functions should be...
07 May 2014
- 21:28 CoCoA-5 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Similar @overload-virtual@ warnings are produced even when compiling CoCoALib. I believe I understand the problem, an...
- 21:20 CoCoA-5 Design #549: Automatic conversion from RINGELEM to INT or RAT
- I note that @FloatStr@ used to be implemented in @approx.cpkg5@ and would accept a @RINGELEM@ argument (which was pre...
- 21:14 CoCoA-5 Design #549: Automatic conversion from RINGELEM to INT or RAT
- I'm not sure how widespread this should be.
Perhaps the best approach would be to implement separately for a few fun... - 21:11 CoCoA-5 Design #549 (Closed): Automatic conversion from RINGELEM to INT or RAT
- It could be helpful sometimes to allow "automatic" conversion from @RINGELEM@ to @INT@ or @RAT@. I discovered this w...
- 18:17 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- I've been cleaning up my scripts and insterted them in CVS.
... as usual it is difficult to make things easy!
I have ... - 14:10 CoCoA-5 Feature #18 (Closed): Printing matrices: I/O unified style for CoCoA-5?
- Satisfactory; may have to be reconsidered if/when the printing of rings is reimplemented (see #548)
- 14:07 CoCoA-5 Support #369 (Closed): write documentation for TgCone and other function from the "primary" package
- 14:05 CoCoA-5 Feature #523 (Closed): EmacsUI: lower case keywords
- Works OK; the only remaining question is whether the default should be to capitalize or not. Currently (and for 5.1 ...
- 14:01 CoCoA-5 Feature #384 (Closed): IsZero for matrix
- Implemented, documented, tested.
Closing..
- 13:57 CoCoA-5 Feature #381 (Closed): Emacs User Interface: Easier binding for sending a line to cocoa-5
- Oscar reports that it works for him.
Closing.
- 13:56 CoCoA-5 Support #489 (Closed): CoCoAManual: Doc for strings
- Anna is happy too; look OK in LaTeX/PDF.
Closing.
- 13:39 CoCoA-5 Bug #544 (Closed): sorted gives wrong answer sometimes
- Added more tests (on shorter random lists, since the code handles long and short lists separately).
Regarding the ...
06 May 2014
- 18:14 CoCoA-5 Support #208 (Closed): describe $package
- It seems OK now (Anna's happy too), so closing.
- 15:54 CoCoA-5 Design #473 (Closed): Multiline string literals - useful or obsolescent?
- I have implemented option *(1)* _i.e._ eliminated all code to do with reading multiline string literals.
Documenta... - 15:01 CoCoA-5 Support #548: Printing rings with ID
- John Abbott wrote:
> Here is an idea: simple to implement, but perhaps not so nice to use?
> * a ring prints out si... - 14:39 CoCoA-5 Support #548: Printing rings with ID
- Here is an idea: simple to implement, but perhaps not so nice to use?
* a ring prints out simply as @ring(1)@, @ring... - 14:32 CoCoA-5 Support #548: Printing rings with ID
- Should this topic be in CoCoALib rather than CoCoA-5?
From the point of a user it would be very handy if the C5 ex... - 14:19 CoCoA-5 Support #548: Printing rings with ID
- And in CoCoA-5 would look like this:...
- 14:08 CoCoA-5 Support #548 (In Progress): Printing rings with ID
- I tried to see how it looks (just in RingFp.C).
This would be the output for test-RingHom1 .... not bad, I think
<p... - 12:28 CoCoA-5 Support #548: Printing rings with ID
- Each ring in CoCoA has an ID number (they start at 1 and are assigned incrementally). It'd be better to print those ...
- 12:09 CoCoA-5 Support #548 (Closed): Printing rings with ID
- for some rings there is a unique implementation: *RingQQ()*, *RingZZ()*, *RingQQt(n)*.
For all the others the constr... - 11:47 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- Ahhh! OK I have fixed @mpz_log@ now; sorry, I had overlooked a @M_LN2@.
- 11:37 CoCoALib Bug #547: elim using RingTwinFloat triggers error "SERIOUS"
- simpler example: both NewFractionField and NewRingTwinFloat seems necessary to trigger the error...
05 May 2014
- 20:17 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- Made the changes requested in previous comment.
No idea why you are not seeing the updated @mpz_log.c@...?
- 15:53 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- One addition that I forgot to mention: I had to include...
- 19:46 CoCoALib Bug #547: elim using RingTwinFloat triggers error "SERIOUS"
- I tried the same input with lower precisions and got @InsuffPrec@ errors; but when I quit CoCoA-5 there were quite a ...
- 19:44 CoCoALib Bug #547 (New): elim using RingTwinFloat triggers error "SERIOUS"
- The following (C5 input) provokes a @SERIOUS@ error...
- 15:07 CoCoA-5 Design #546 (Closed): ideal wants LIST of RINGELEM
- It is inconvenient (perhaps even embarassing) that you cannot do this:...
- 12:37 CoCoA-5 Support #208: describe $package
- I suggest moving @Functions@ (currently built-in!?!) to the package @obsolete.cpkg5@
*20140508* OK done this (after ... - 12:14 CoCoA-5 Support #251: How to add a test for CoCoA-5 (CoCoAInterpreter)
- I have recently added a new C5 test (@exbugs.cocoa5@) and was surprised to find that it produces output. What happen...
- 12:10 CoCoA-5 Feature #188: CoCoAManual: entries for operators
- Could we condense the syntax and description so that the pages occupies less vertical space?
- 12:08 CoCoA-5 Feature #188 (Closed): CoCoAManual: entries for operators
- The man page is much improved, and easier to find. Good enough for now; maybe experience will help improve it in the...
02 May 2014
- 17:49 CoCoA-5 Bug #471 (Closed): Nested multiline comments
- Current solution is satisfactory, so closing!
- 17:47 CoCoA-5 Design #481 (Closed): Multiline comments -- obsolescent?
- Current approach is satisfactory (& even fairly backward compatible if you don't nest @/*...*/@ style comments)
Cl... - 17:44 CoCoA-5 Support #495 (Closed): CoCoAManual: add page about creating lists
- The current doc is satisfactory (& certainly much improved); maybe future experience with students will help make it ...
- 17:39 CoCoA-5 Bug #544: sorted gives wrong answer sometimes
- I have added a new C5 test file @exbugs.cocoa5@ which contains a simple verification that @sorted@ works on some rand...
- 17:21 CoCoA-5 Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings
- After the mindboggling refresher course in regexps, I'm closing this because it all (magically?) works.
- 17:18 CoCoA-5 Bug #462 (Closed): Emacs UI: semicolon problems
- It works fine both for me and for Anna -- after >2 weeks' testing. Closing!
- 17:05 CoCoA-5 Feature #414: New fn to increase max recursion depth
- Adding note about original requester: @andrei_zarojanu@ (at @yahoo.com@)
I'll email him about our partial solution -... - 16:53 CoCoA-5 Feature #414 (Closed): New fn to increase max recursion depth
- A proper solution will be very costly and highly invasive (and Giovanni's not keen to help). Furthermore, it is prob...
- 16:49 CoCoA-5 Feature #502 (Closed): New fn/object type: timer
- @TimeFrom@ is a satisfactory KISS solution. Still happy after 3 weeks, so closing.
- 16:35 CoCoA-5 Support #489 (Feedback): CoCoAManual: Doc for strings
- I like the current doc. Changing to feedback.
- 16:12 CoCoALib Bug #538 (Resolved): Compilation problem in TmpMorsePaths.C
- I have modified th fn signature to teh following:...
- 14:48 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- OK I have modified @mpz_log.c@; should be fine now.
Also I have CVSed everything.
@Christof: could you confirm th... - 11:21 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- Thanks, that should make the compilation a lot easier! I can test it next week, is it CVSed?
Note that there is also ...
Also available in: Atom