Activity
From 11 Apr 2014 to 10 May 2014
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 ... - 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])@?
- 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...
- 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*! - 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...
- 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... - 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...
- 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... - 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... - 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... - 13:28 Feature #514 (Closed): submodule: minimalize, minimalized
- added small test.
Closing.
- 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)
... - 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... - 12:50 Feature #367 (Closed): implement LF/DF for an ideal
- done and documented (I can't remember when).
Closing.
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
- 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... - 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... - 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...
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...
- 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...
- 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... - 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...
- 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 ... - 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)
- 14:07 Support #369 (Closed): write documentation for TgCone and other function from the "primary" package
- 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 ...
- 14:01 Feature #384 (Closed): IsZero for matrix
- Implemented, documented, tested.
Closing..
- 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.
- 13:56 Support #489 (Closed): CoCoAManual: Doc for strings
- Anna is happy too; look OK in LaTeX/PDF.
Closing.
- 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 ...
06 May 2014
- 18:14 Support #208 (Closed): describe $package
- It seems OK now (Anna's happy too), so closing.
- 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... - 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... - 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... - 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... - 14:19 Support #548: Printing rings with ID
- And in CoCoA-5 would look like this:...
- 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... - 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 ...
- 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...
05 May 2014
- 15:07 Design #546 (Closed): ideal wants LIST of RINGELEM
- It is inconvenient (perhaps even embarassing) that you cannot do this:...
- 12:37 Support #208: describe $package
- I suggest moving @Functions@ (currently built-in!?!) to the package @obsolete.cpkg5@
*20140508* OK done this (after ... - 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...
- 12:10 Feature #188: CoCoAManual: entries for operators
- Could we condense the syntax and description so that the pages occupies less vertical space?
- 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...
02 May 2014
- 17:49 Bug #471 (Closed): Nested multiline comments
- Current solution is satisfactory, so closing!
- 17:47 Design #481 (Closed): Multiline comments -- obsolescent?
- Current approach is satisfactory (& even fairly backward compatible if you don't nest @/*...*/@ style comments)
Cl... - 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 ...
- 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...
- 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.
- 17:18 Bug #462 (Closed): Emacs UI: semicolon problems
- It works fine both for me and for Anna -- after >2 weeks' testing. Closing!
- 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 -... - 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...
- 16:49 Feature #502 (Closed): New fn/object type: timer
- @TimeFrom@ is a satisfactory KISS solution. Still happy after 3 weeks, so closing.
- 16:35 Support #489 (Feedback): CoCoAManual: Doc for strings
- I like the current doc. Changing to feedback.
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@... - 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... - 09:27 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- problem (4)...
- 09:25 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- problem (3)...
- 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)... - 09:19 Bug #545: Compiler g++ 4.2.1 (clang-503.0.40) on MacOSX 10.9: warnings and errors
- Problem (1) [solved]...
- 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...
28 Apr 2014
- 15:52 Bug #544 (Feedback): sorted gives wrong answer sometimes
- The problem was that after this step...
- 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,... - 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... - 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@... - 11:54 Bug #544 (Closed): sorted gives wrong answer sometimes
- ...
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.
- 20:23 Support #334 (Closed): CoCoAManual: entry for "and", "or", "not" operators
- The new pages are fine now. Closing.
- 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.
- 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 ... - 19:53 Feature #419 (Closed): FloatStr
- Completed doc & testing. Anna's happy too. Closing.
- 19:09 Design #534 (Closed): Remove float.cpkg5
- I have now removed @float.cpkg5@.
Everything seems to work just fine.
Checked/updated doc too.
- 16:34 Bug #543 (Closed): Interpreter: problem when calling the manual with trailing spaces and comments
- This does not work...
- 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.
... - 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... - 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...
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... - 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:...
- 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. - 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 ...
- 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... - 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...
22 Apr 2014
- 13:50 Feature #414 (Resolved): New fn to increase max recursion depth
- Here is the very simple test case I used:...
- 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...
- 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 ...
19 Apr 2014
- 16:35 Support #489: CoCoAManual: Doc for strings
- I'm undecided how best to organize the manual page(s) for strings.
Currently they're in a "funny" section of the manu... - 11:55 Feature #273: Package for Polynomial Algebra Homomorphisms
- I've sent the files -- they ought to be translated into english...
17 Apr 2014
- 20:18 Feature #414: New fn to increase max recursion depth
- Works OK up to stack size of about 5400; at 5500 I get a SEGV. Why????
Also get SEGV without @--stacksize@ option; ... - 20:10 Feature #414: New fn to increase max recursion depth
- I've implemented a "quick fix":
* ctor @RuntimeEnvironment@ now has extra arg for specifying @MaxStackSize@
* ctor fo... - 19:07 Support #208: describe $package
- *Anna* will check the manual!
- 19:02 Design #481 (Feedback): Multiline comments -- obsolescent?
- *The solution chosen is (c)*
- 18:57 Feature #384 (Feedback): IsZero for matrix
- 18:43 Feature #359: RingOf for list
- Want to discuss precise specifications of the fn.
- 18:42 Design #412: intersection (all lower case)
- We will discuss the design/names @IntersectList@ @intersection@ etc??
16 Apr 2014
- 01:03 Feature #414: New fn to increase max recursion depth
- *Do the "quick fix"!* Not satisfactory, but a proper soln is going to be costly :-(
- 01:01 Feature #273: Package for Polynomial Algebra Homomorphisms
- JAA must give Anna Giulia's code!
- 00:59 Support #489: CoCoAManual: Doc for strings
- JAA suggests:
* one page about string literals, concat and indexing
* one page about "escape sequences" inside string... - 17:21 Support #338: MacOS version with static gcc libraries
- I tried @cocoa-5.0.9-text-mac10.6.tgz@ (28 Mar 2014) on my machine; it did not start...
- 14:11 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Some explanation on NmzIntegrate:
The possible input is basically the same as for Normaliz. This means the cone re... - 11:25 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- Which example do you mean? For me all the newer ones (from update 10 on) are working. The older should work too if yo...
- 08:29 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- The example in the description does not work.
Postponing this issue to Seoul version (with full manual to be publish... - 12:39 Feature #419 (Feedback): FloatStr
- Implementation is in @ToString.H/C@
@DecimalStr@ now defaults to 3 digits after decimal point.
- 08:44 Feature #419: FloatStr
- I tested the new *DecimalStr*: I'd prefer 3 digits after "." by default (instead of 4).
I find it more natural to gro... - 12:34 Design #534: Remove float.cpkg5
- [I've already written this in #419]
I tested the new *DecimalStr*: I'd prefer 3 digits after "." by default (instead... - 11:17 Bug #462 (Feedback): Emacs UI: semicolon problems
- It seems to work OK for me too.
I do vaguely recall discovering what the problem was and then fixing it (but evident... - 08:38 Bug #462: Emacs UI: semicolon problems
- Feedback
Works fine for me, no problems in strings or comments. Has this been fixed already? - 08:34 Bug #460 (Feedback): Emacs UI: updating abbrev-table
- 07:49 Feature #381 (Feedback): Emacs User Interface: Easier binding for sending a line to cocoa-5
- Final testing (thanks Oscar Fernández Ramos!)
There are problems when loading CUA-mode (for copying and pasting wi...
15 Apr 2014
- 16:16 Feature #502 (Feedback): New fn/object type: timer
- 15:20 Bug #470 (Closed): Emacs UI: cocoa5-close-block should beep when there is no block to close
- It works. Closing.
- 13:26 Feature #523 (Feedback): EmacsUI: lower case keywords
- Now it should recognize all properly written keywords (*PriNT* is accepted but not properly written)
Now there is an ...
14 Apr 2014
- 16:32 Feature #384: IsZero for matrix
- > JAA suggests putting it in *MatrixOperations*
(after talking about it on the phone) moved all *Is..* functions f... - 10:56 Feature #384: IsZero for matrix
- John Abbott wrote:
> JAA suggests putting it in *@MatrixOperations@*
OK. Should we also move *IsZeroRow/Col*? - 10:39 Feature #384: IsZero for matrix
- JAA suggests putting it in *@MatrixOperations@*
- 08:59 Feature #384: IsZero for matrix
- Added to cocoa-5
I had to add *evalArgAsT1orT2orT3orT4orT5orT6orT7* in *Interpreter.H*.
- 08:42 Feature #384: IsZero for matrix
- Implemented as described above.
Seems to work (added test @IsZero(ZeroMat(R, 12345,67890))@ and is fast).
But where... - 11:02 Support #251: How to add a test for CoCoA-5 (CoCoAInterpreter)
- JAA suggests as a general rule: try to avoid designing tests that produce much output (unless the test specifically c...
- 09:24 Support #338: MacOS version with static gcc libraries
- I noticed that CoCoAInterpreter for 10.5 works on my 10.6.
... so John fixed it?
What about viceversa?
John: could... - 09:20 Support #286 (In Progress): How to test (automatically) a user defined CoCoA function
- 09:12 Feature #359 (In Progress): RingOf for list
- Should this function work only for list of RINGELEM?
If so we can directly use *HasUniqueOwner*, otherwise is is ver... - 09:07 Support #176 (Feedback): CoCoAManual: Doc for new commands
- I think that now the manual is more diligently updated than the *Translation table*.
Close this issue?
- 09:06 Support #179 (Feedback): TeX documentation for CoCoA-5
- Now the make target is done and works well. Moreover generating the TeX documentation is actually useful for checkin...
13 Apr 2014
- 21:05 Feature #384 (In Progress): IsZero for matrix
- I tried implementing it in a clever way but got stuck.
(clever = ZeroImpl gives true, IdentityImpl gives false, ...)...
11 Apr 2014
- 18:00 Bug #447 (In Progress): CoCoA-5.0.3 Microsoft std::bad_alloc
- 16:02 Design #534 (Feedback): Remove float.cpkg5
- @DecimalStr@ etc now implemented in CoCoALib.
I note that the package contains two non exported fns: @Atan@ and @Pi@... - 15:06 Support #341 (Closed): Remove/replace the word "vector" in the manual
- 15:03 Feature #200 (Closed): add modules and module operations
- Most operations have been implemented by now.
Remaining functions will be under their own "issue".
- 14:59 Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc)
- 14:55 Support #503 (Closed): CoCoA website: CoCoA-5.0.9 pages
- 14:53 Feature #270: Distribution for linux
- I improved my script, but I don't know if the libraries are statically or dynamically linked.
Could you check if wha...
Also available in: Atom