CoCoA » CoCoA-5

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

22 Mar 2012

15:20 Feature #90 (Closed): Make the new fn CoefficientsWRT available in C5

Anna Maria Bigatti

13:50 Feature #90: Make the new fn CoefficientsWRT available in C5

John Abbott wrote:
> At the moment it is not clear to JAA what the CoCoALib interface should be if we adopt the RING... Anna Maria Bigatti

21 Mar 2012

16:18 Feature #90: Make the new fn CoefficientsWRT available in C5

Here are some arguments in favour of the interface which wants a list of RINGELEM to specify which indets:
* JAA bel... John Abbott

20 Mar 2012

16:21 Bug #108 (Closed): Unhandled division by zero in FFp

John Abbott