Project

General

Profile

Activity

From 20 Apr 2014 to 19 May 2014

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

28 Apr 2014

15:52 Bug #544 (Feedback): sorted gives wrong answer sometimes
The problem was that after this step... Anna Maria Bigatti
12:55 Bug #544: sorted gives wrong answer sometimes
Easier to debug (working on it)
[6, 28, 39, 1, 40, 41, 46, 7, 2, 20, 21, 3, 0, 5, 22, 23, 24, 38, 44, 37, 4, 30, 36,...
Anna Maria Bigatti
12:09 Bug #544: sorted gives wrong answer sometimes
As I suspected the problem seems to depend only on the relative sizes of
the list elements; here is the same example...
John Abbott
11:56 Bug #544: sorted gives wrong answer sometimes
The source code is in package @list.cpkg5@.
I found no examples of short lists; the source code uses @InsertionSort@...
John Abbott
11:54 Bug #544 (Closed): sorted gives wrong answer sometimes
... John Abbott

24 Apr 2014

20:26 Support #463 (Closed): Make man page for "It" easier to read
The mange page is easy to find, and easy to read/comprehend now.
Closing.
John Abbott
20:23 Support #334 (Closed): CoCoAManual: entry for "and", "or", "not" operators
The new pages are fine now. Closing.
John Abbott
20:16 Design #301 (Closed): How to obtain an integer from a finite field element? AsINT?
Closing because it's all been working fine for ages; no point in leaving it in feedback. John Abbott
19:57 Design #475 (Closed): Eliminate package approx
Old fn is @FloatApprox@ obsolete -- there was no sense in making it decimal (not now that @FloatStr@ exists).
New ...
John Abbott
19:53 Feature #419 (Closed): FloatStr
Completed doc & testing. Anna's happy too. Closing.
John Abbott
19:09 Design #534 (Closed): Remove float.cpkg5
I have now removed @float.cpkg5@.
Everything seems to work just fine.
Checked/updated doc too.
John Abbott
16:34 Bug #543 (Closed): Interpreter: problem when calling the manual with trailing spaces and comments
This does not work... Anna Maria Bigatti
16:30 Support #542: CoCoAManual: improve part on data-types
While doing this massive change removing all now useless *types* I'm also doing some cleaning in the documentation.
...
Anna Maria Bigatti
09:51 Support #542: CoCoAManual: improve part on data-types
Now that I started this work I see that it *has to be finished* urgently.
As it was, the documentation wasn't just o...
Anna Maria Bigatti
13:16 Bug #94 (Closed): Default reason for protected variables
Closing after interactive testing with Anna. Made some minor variations on the suggestions in comment-2.
Test cas...
John Abbott

23 Apr 2014

17:22 Support #542 (In Progress): CoCoAManual: improve part on data-types
More updates done in "commands" *syntax*.
Now I think that each *chapter* should be essentially empty and just give s...
Anna Maria Bigatti
16:14 Support #542: CoCoAManual: improve part on data-types
Now in CoCoAHelp.xml we should tag the types as *type* or *rtn* in the syntax like this:... Anna Maria Bigatti
15:08 Support #542 (Closed): CoCoAManual: improve part on data-types
The old manual had a part about data-types.
Recover it and improve it.
Anna Maria Bigatti
16:29 Support #541 (In Progress): Unify releases for Linux 32 and Linux 64
I have produced a new starting script for CoCoA-5 which autodetermines the directory containing the script (and thus ... John Abbott
11:23 Support #541 (Closed): Unify releases for Linux 32 and Linux 64
Make it easier for a Linux user to get the right version of CoCoA-5.
One solution would be to unify the 32-bit and 6...
John Abbott
10:34 Feature #270: Distribution for linux
Oscar, could you tell me if this works for you (and tell me what @uname -a@ gives?)
http://cocoa.dima.unige.it/downlo...
Anna Maria Bigatti

22 Apr 2014

13:50 Feature #414 (Resolved): New fn to increase max recursion depth
Here is the very simple test case I used:... John Abbott
13:41 Bug #441 (Feedback): Emacs UI: C-c C-e does not ignore keywords inside strings
I have just tried the @NotWorks@ example from comment-5; it works correctly with the current Emacs UI code. Changing... John Abbott
11:51 Support #489: CoCoAManual: Doc for strings
Nobody thought anything for three days :-(
Anyway, I have revised the doc so it now has the structure proposed in ...
John Abbott
 

Also available in: Atom