CoCoA Project

07 Oct 2022

11:34 CoCoALib Feature #1667: GBasis over ZZ: port to CoCoALib

This student translated the code in CoCoA @prototype-GBZZ.cpkg5@ into cocoalib.
And also added some changed found in... Anna Maria Bigatti

11:18 CoCoALib Design #710: Update normaliz interface?

John Abbott wrote:
> The revised @normaliz@ interface aims to be backward compatible.
>
> JAA prefers the new nam... Anna Maria Bigatti

05 Oct 2022

11:35 CoCoA-5 Bug #716: NotBuiltin.cpkg5: indent for MODULE

John Abbott wrote:
> Can we document this behaviour (since I think it is not completely self-explanatory)?
>
> Is... Anna Maria Bigatti

11:30 CoCoA-5 Design #1698: indent: return a string?

> Possible options are:
> * *(A)* accept the new behaviour (and update the expected test outputs)
> * *(B)* modif... Anna Maria Bigatti

11:22 CoCoA-5 Bug #148: C-c C-p in emacs goes to wrong line

John Abbott wrote:
> Anna, might you like to take a look at this?
> It's not really urgent, but maybe you feel insp... Anna Maria Bigatti

26 Sep 2022

16:13 CoCoA-5 Feature #461 (Rejected): New keyword "|->"? (same as "return")

Anna Maria Bigatti

16:13 CoCoA-5 Feature #461: New keyword "|->"? (same as "return")

John Abbott wrote:
> The idea is fairly nice, but does not bring much benefit.
> I do not relish the idea of modify... Anna Maria Bigatti