Activity
From 17 Jul 2017 to 15 Aug 2017
04 Aug 2017
- 11:31 Design #1092 (Feedback): Design issues for discussion in July 2017
- 11:31 Design #1092: Design issues for discussion in July 2017
- homomorphism code
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.
- 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...
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...
- 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... - 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 ...
- 16:07 Slug #741 (Feedback): C5 GUI: slow to close
- 16:04 Design #939 (In Progress): Rename Fact to factorial?
- How about making *@Fact@* obsolescent?
21 Jul 2017
- 16:28 Design #1091 (In Progress): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
17 Jul 2017
- 16:46 Design #1092: Design issues for discussion in July 2017
- Keywords: ISSAC, SC-square, SC2
- 16:45 Design #1092 (Closed): Design issues for discussion in July 2017
- Not really a single issue. Just to gather matters to discuss shortly.
Also available in: Atom