CoCoA » CoCoA-5

19 Apr 2012

17:02 Feature #133 (New): Qt GUI: Make better distinction between input and output in the output window

The following input:... John Abbott

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... John Abbott

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:... John Abbott

17:04 Bug #94: Default reason for protected variables

I suggest the following format for the error message:... John Abbott

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... John Abbott

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... John Abbott

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... John Abbott

15:46 Feature #131: Conversion from bool to INT

Re Automatic conversion:
* Advantages: no need to choose a name, compactness
* Disadvantages: possible ambiguity, uns... John Abbott

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... John Abbott

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 ... John Abbott

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.... John Abbott

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... John Abbott

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... John Abbott

10 Apr 2012

21:10 Bug #118 (Resolved): unistd and call to access in Main.C

John Abbott

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 ... John Abbott

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... Anna Maria Bigatti

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.... John Abbott

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.
John Abbott

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... John Abbott

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.
John Abbott

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 ... John Abbott

02 Apr 2012

16:26 Bug #88 (Closed): Makefile problem with GUI on linux

Anna Maria Bigatti

28 Mar 2012

14:29 Bug #115 (Closed): PP ordering bug

The error was in Interpreter.C: I got the wrong "symmetry" with LessOrEqual.... Anna Maria Bigatti

13:53 Bug #115 (Closed): PP ordering bug

... John Abbott

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... Anna Maria Bigatti

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... John Abbott

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... Anna Maria Bigatti

23 Mar 2012

14:41 Feature #7: Automatic mapping between (some) rings

Probably the simplest definition is simply that R1 is "simpler" than R2 if the construction of R2 passed explicitly v... John Abbott