Activity
From 29 Jun 2017 to 28 Jul 2017
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.
14 Jul 2017
13 Jul 2017
- 17:32 Design #1091: ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
- First prototype working, very naive implementation...
- 17:17 Design #1091 (Closed): ExternaLib-MathSAT: (first) prototype CoCoA-5 interface for MathSAT
04 Jul 2017
- 13:03 Bug #1087 (Resolved): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- I have added a 1 sec sleep when the @cocoa5@ script prints out an error message.
This seems not to be inconvenient f... - 11:36 Bug #1087 (In Progress): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- A simple workaround is to put a short @sleep@ in the @cocoa5@ script so that the CoCoA-5 buffer still has a process.
... - 11:21 Bug #1087: EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- Emacs version is 24.5.1 running on Fedora 24 Linux.
- 11:20 Bug #1087 (Closed): EmacsUI: get error "wrong-type-argument processp nil" when doing M-x cocoa5 when executable does not exist
- I tried starting CoCoA-5 inside a fresh emacs by typing @M-x cocoa5@, and got the error *@Wrong type argument process...
29 Jun 2017
- 16:32 Feature #1084 (Feedback): New function: PrevPrime
- 16:31 Feature #1084: New function: PrevPrime
- Great, thanks!
I could swear I had looked for it, without finding it....
I have added it to cocoa-5.
checked-in
- 14:54 Feature #1084 (In Progress): New function: PrevPrime
- In CoCoALib the function is already there; it is not exported to CoCoA-5, but perhaps should be?
It is also documented! - 08:39 Feature #1084 (Closed): New function: PrevPrime
- We have @NextPrime@.
For modular methods it would be nice to have @PrevPrime@, so that we can start from the biggest... - 13:45 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- John Abbott wrote:
> I am still a bit undecided how best to handle double quotes. I see 3 reasonable options:
> # ... - 12:43 Feature #1021 (Resolved): CoCoA Manual: search should ignore multiple spaces
- 11:46 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- I am still a bit undecided how best to handle double quotes. I see 3 reasonable options:
# leave them as they are
... - 11:36 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- John Abbott wrote:
> Yes, the last example was deliberately strange; I do not think it matters if such a strange inp...
Also available in: Atom