Project

General

Profile

Activity

From 30 Apr 2014 to 29 May 2014

29 May 2014

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

26 May 2014

22:03 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 May 2014

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

20 May 2014

18:15 Design #563 (Closed): Remove ZMOD type from CoCoAInterpreter
The type @ZMOD@ is no longer used -- remove it from C5.
John Abbott
17:54 Support #225 (Closed): HilbertBasis: cocoa vs normaliz
Anna Maria Bigatti

19 May 2014

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

16 May 2014

19:23 Bug #447 (Closed): CoCoA-5.0.3 Microsoft std::bad_alloc
Anna says she has fixed it; @exbugs.cocoa5@ now passes on Linux. John Abbott
14:07 Bug #447: CoCoA-5.0.3 Microsoft std::bad_alloc
(20140516) I get the same problem in my 32-bit Linux VM.
Investigating.
John Abbott

14 May 2014

17:41 Support #559 (Closed): Release: CoCoA-5.1.0
compile and update website Anna Maria Bigatti
17:36 Support #542 (Closed): CoCoAManual: improve part on data-types
Anna Maria Bigatti
16:58 Support #542 (Feedback): CoCoAManual: improve part on data-types
lots of cleaning: not all done but ok for current release of CoCoA-5.1
Anna Maria Bigatti
17:34 Support #558 (Closed): CoCoAManual: semi-automatic check of all input
Anna Maria Bigatti
17:34 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...
Anna Maria Bigatti
17:31 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...
Anna Maria Bigatti
17:21 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:... John Abbott
17:06 Support #557 (New): CoCoAManual: improve part on input/output
(in manual, introductory part) Anna Maria Bigatti
17:06 Support #556 (Closed): CoCoAManual: improve part on tagging
Anna Maria Bigatti
17:05 Support #555 (Closed): CoCoAManual: improve part on language
Make new issue for remaining work. Anna Maria Bigatti
17:03 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...
Anna Maria Bigatti
17:00 Support #555 (Closed): CoCoAManual: improve part on language
The part describing the language was already obsolete 10 years ago.
Simplify and resurrect.
Anna Maria Bigatti
16:56 Support #179 (Closed): TeX documentation for CoCoA-5
It works much better now; still working on the content... John Abbott
16:37 Support #176 (Closed): CoCoAManual: Doc for new commands
John Abbott
16:30 Bug #460 (Closed): Emacs UI: updating abbrev-table
It seems to work well enough (at least most of the time).
Closing!
John Abbott
15:36 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... John Abbott
09:06 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...
Anna Maria Bigatti
15:31 Feature #553 (Feedback): Port function MantissaAndExponent2
I have implemented, tested, & documented.
I followed Anna's suggestion: a @MantExp2@ structure now contains 4 (pu...
John Abbott
09:38 Feature #553: Port function MantissaAndExponent2
For JAA: commit file for fixing
@BuiltInFunctions.C:678: error: 'class CoCoA::MantExp2' has no member named 'myNumDig...
Anna Maria Bigatti

12 May 2014

23:49 Feature #553: Port function MantissaAndExponent2
John Abbott wrote:
> I've just copied the code for @MantissaAndExponent10@ -- it seems a waste writing code using cu...
Anna Maria Bigatti
21:29 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...
John Abbott
18:35 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 ...
Anna Maria Bigatti
16:50 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... Christof Soeger
16:21 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...
Anna Maria Bigatti
15:55 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...
Christof Soeger

09 May 2014

21:41 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 ...
John Abbott
21:30 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])@?
John Abbott
21:27 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... John Abbott
21:13 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*!
John Abbott
14:57 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... John Abbott
13:46 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...
John Abbott
13:39 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... John Abbott
11:53 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...
Anna Maria Bigatti
09:39 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...
Anna Maria Bigatti
09:26 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...
Anna Maria Bigatti
13:28 Feature #514 (Closed): submodule: minimalize, minimalized
added small test.
Closing.
Anna Maria Bigatti
13:20 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)
...
Anna Maria Bigatti
12:56 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...
Anna Maria Bigatti
12:50 Feature #367 (Closed): implement LF/DF for an ideal
done and documented (I can't remember when).
Closing.
Anna Maria Bigatti

08 May 2014

17:53 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
Anna Maria Bigatti
17:51 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...
Anna Maria Bigatti
17:42 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...
John Abbott
12:58 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... John Abbott

07 May 2014

21:28 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... John Abbott
21:20 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... John Abbott
21:14 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...
John Abbott
21:11 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... John Abbott
18:17 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 ...
Anna Maria Bigatti
14:10 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) John Abbott
14:07 Support #369 (Closed): write documentation for TgCone and other function from the "primary" package
John Abbott
14:05 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 ... John Abbott
14:01 Feature #384 (Closed): IsZero for matrix
Implemented, documented, tested.
Closing..
John Abbott
13:57 Feature #381 (Closed): Emacs User Interface: Easier binding for sending a line to cocoa-5
Oscar reports that it works for him.
Closing.
John Abbott
13:56 Support #489 (Closed): CoCoAManual: Doc for strings
Anna is happy too; look OK in LaTeX/PDF.
Closing.
John Abbott
13:39 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 ...
John Abbott

06 May 2014

18:14 Support #208 (Closed): describe $package
It seems OK now (Anna's happy too), so closing.
John Abbott
15:54 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...
John Abbott
15:01 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...
Anna Maria Bigatti
14:39 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...
John Abbott
14:32 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...
John Abbott
14:19 Support #548: Printing rings with ID
And in CoCoA-5 would look like this:... Anna Maria Bigatti
14:08 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...
Anna Maria Bigatti
12:28 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 ... John Abbott
12:09 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...
Anna Maria Bigatti

05 May 2014

15:07 Design #546 (Closed): ideal wants LIST of RINGELEM
It is inconvenient (perhaps even embarassing) that you cannot do this:... John Abbott
12:37 Support #208: describe $package
I suggest moving @Functions@ (currently built-in!?!) to the package @obsolete.cpkg5@
*20140508* OK done this (after ...
John Abbott
12:14 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... John Abbott
12:10 Feature #188: CoCoAManual: entries for operators
Could we condense the syntax and description so that the pages occupies less vertical space?
John Abbott
12:08 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... John Abbott

02 May 2014

17:49 Bug #471 (Closed): Nested multiline comments
Current solution is satisfactory, so closing!
John Abbott
17:47 Design #481 (Closed): Multiline comments -- obsolescent?
Current approach is satisfactory (& even fairly backward compatible if you don't nest @/*...*/@ style comments)
Cl...
John Abbott
17:44 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 ... John Abbott
17:39 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... John Abbott
17:21 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.
John Abbott
17:18 Bug #462 (Closed): Emacs UI: semicolon problems
It works fine both for me and for Anna -- after >2 weeks' testing. Closing!
John Abbott
17:05 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 -...
John Abbott
16:53 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... John Abbott
16:49 Feature #502 (Closed): New fn/object type: timer
@TimeFrom@ is a satisfactory KISS solution. Still happy after 3 weeks, so closing.
John Abbott
16:35 Support #489 (Feedback): CoCoAManual: Doc for strings
I like the current doc. Changing to feedback.
John Abbott

30 Apr 2014

14:56 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
Problem (2) -- continued
compilation with @-Woverloaded-virtual@...
Anna Maria Bigatti
09:32 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
Anna Maria Bigatti wrote:
> Next to investigate
> Problem (2)
> [...]
@-Woverloaded-virtual@ is accepted by my compil...
Anna Maria Bigatti
09:27 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
problem (4)... Anna Maria Bigatti
09:25 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
problem (3)... Anna Maria Bigatti
09:21 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
Next to investigate
Problem (2)...
Anna Maria Bigatti
09:19 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
Problem (1) [solved]... Anna Maria Bigatti
09:11 Bug #545 (Closed): Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
Bruno Simoes found some warnings and a error in a cocoa-5 test.
*problem (1) struct/class* fixed
*problem (2) ove...
Anna Maria Bigatti
 

Also available in: Atom