Activity
From 24 Mar 2012 to 22 Apr 2012
19 Apr 2012
- 17:02 Feature #133 (New): Qt GUI: Make better distinction between input and output in the output window
- The following input:...
18 Apr 2012
- 22:10 Bug #38: GUI: open file "with C5"
- I sometimes have a similar problem with Firefox: if I double click on a @*.html@ file and Firefox was not already run...
- 22:01 Bug #94: Default reason for protected variables
- After trying some possibilities, my preference is now for the reason to appear in brackets, like this:...
- 17:04 Bug #94: Default reason for protected variables
- I suggest the following format for the error message:...
- 16:52 Bug #102: Packages: should exported functions be automatically "Protect"ed?
- I agree that names exported from packages should be protected (probably with the reason being that it was exported fr...
- 16:31 Bug #103 (Closed): Bad error mesg using operator ":"
- Corrected erroneous actual parameters in a call in @ColonExpression:implEval@ in file @Interpreter.C@.
I simply co... - 15:58 Feature #131: Conversion from bool to INT
- We cannot use the Iverson bracket syntax directly because it already has a meaning: @[N>0]@ will produce a list conta...
- 15:46 Feature #131: Conversion from bool to INT
- Re Automatic conversion:
* Advantages: no need to choose a name, compactness
* Disadvantages: possible ambiguity, uns... - 14:56 Bug #100: BringIn should map only the indets in its arg
- JAA suggests that @BringIn@ should be simple rather than "clever". For instance it should give an error in the follo...
17 Apr 2012
- 21:21 Bug #118: unistd and call to access in Main.C
- Increased priority to "high".
Waiting for Anna's return to discuss the correctness/usefulness of allowing CoCoA-5 ... - 21:10 Bug #132 (Closed): BringIn should allow reduction modulo p
- Currently @BringIn@ does not allow one to move from char 0 to char non-zero....
16 Apr 2012
- 16:36 Feature #131 (Closed): Conversion from bool to INT
- Alessio would like a conversion from {false,true} to {0,1}.
Wikipedia mentions a function called "Iverson bracket" w...
15 Apr 2012
- 21:31 Bug #52 (Closed): GUI: problem with "--" comment
- Fixed.
*BUT* there remains a more subtle problem: the way the GUI determines the state of the parser appears to be...
10 Apr 2012
- 21:10 Bug #118 (Resolved): unistd and call to access in Main.C
- 21:10 Bug #118: unistd and call to access in Main.C
- To answer the question "why...?" in the last update: the fn @access@ returns 0 if the file exists, and -1 if it does ...
05 Apr 2012
- 15:36 Feature #128 (Closed): wordlist.txt generation
- Autocompletion depends on the file wordlist.txt
Right now we are still using the cocoa-4 wordlist (because we cannot...
04 Apr 2012
- 15:56 Bug #118: unistd and call to access in Main.C
- The purpose of the original code is unclear -- indeed it looks implausible/wrong....
03 Apr 2012
- 15:41 Bug #118: unistd and call to access in Main.C
- Discovering that BOOST seems to offer a ready-made solution, and that @access@ is old-style C-library.
- 15:40 Bug #118 (Closed): unistd and call to access in Main.C
- Replace call to @access@ in Main.C (about line 192) by calls to BOOST filesystem fns such as @exists@ and @is_regular...
- 14:58 Bug #117: Added 3 times defn of isblank fn
- As far as I can tell BOOST does not offer such a simple fn.
- 14:44 Bug #117 (Closed): Added 3 times defn of isblank fn
- To enable compilation on MSVC, I had to add defn of @isblank@.
Currently there are 3 separate (but identical) defns ...
02 Apr 2012
28 Mar 2012
- 14:29 Bug #115 (Closed): PP ordering bug
- The error was in Interpreter.C: I got the wrong "symmetry" with LessOrEqual....
- 13:53 Bug #115 (Closed): PP ordering bug
- ...
27 Mar 2012
- 13:28 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- John Abbott wrote:
> I do not like the "abandoned" square bracket at the end of the first line.
>
> Generally I pref... - 10:04 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- I do not like the "abandoned" square bracket at the end of the first line.
After speaking yesterday, we also conclud...
26 Mar 2012
- 17:42 Feature #18: Printing matrices: I/O unified style for CoCoA-5?
- after using the "old style" for a while I'm getting more and more convinced that a matrix should also print its own r...
Also available in: Atom