CoCoA » CoCoA-5

04 Aug 2017

11:31 Design #1092 (Feedback): Design issues for discussion in July 2017

Anna Maria Bigatti

11:31 Design #1092: Design issues for discussion in July 2017

homomorphism code
Anna Maria Bigatti

24 Jul 2017

09:07 Design #1092: Design issues for discussion in July 2017

I would like to talk about the MathSAT interface: the class I wrote, and the input for MSatLinSolve. Anna Maria Bigatti

09:05 Design #939 (Feedback): Rename Fact to factorial?

@Fact@ is in BackwardCompatible.cpkg5, and not in the manual.
@factorial@ is the official name.
Should we close t... Anna Maria Bigatti

23 Jul 2017

16:30 Bug #1093: GUI: bugs and slugs

I have changed the way CoCoALib handles signals. This forced me to make some changes to the source of the GUI (but w... John Abbott

16:20 Bug #1093: GUI: bugs and slugs

The GUI really seems to have trouble with big outputs; my guess is that this is a QT "feature" :-/
@factorial(10^5... John Abbott

16:14 Bug #1093 (In Progress): GUI: bugs and slugs

I know the GUI is on "life support" (or worse), but I'd like to gather in one place some of the problems it has just ... John Abbott

16:07 Slug #741 (Feedback): C5 GUI: slow to close

John Abbott

16:04 Design #939 (In Progress): Rename Fact to factorial?

How about making *@Fact@* obsolescent?
John Abbott

21 Jul 2017

16:28 Design #1091 (In Progress): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT

Anna Maria Bigatti

17 Jul 2017

16:46 Design #1092: Design issues for discussion in July 2017

Keywords: ISSAC, SC-square, SC2
John Abbott

16:45 Design #1092 (Closed): Design issues for discussion in July 2017

Not really a single issue. Just to gather matters to discuss shortly.
John Abbott

14 Jul 2017

11:04 Design #1091: ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT

... Anna Maria Bigatti

13 Jul 2017

17:32 Design #1091: ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT

First prototype working, very naive implementation... Anna Maria Bigatti

17:17 Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT

Anna Maria Bigatti