Project

General

Profile

Activity

From 14 Jun 2017 to 13 Jul 2017

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

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...
John Abbott
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.
...
John Abbott
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.
John Abbott
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... John Abbott

29 Jun 2017

16:32 Feature #1084 (Feedback): New function: PrevPrime
Anna Maria Bigatti
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
Anna Maria Bigatti
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!
John Abbott
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...
Anna Maria Bigatti
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:
> # ...
Anna Maria Bigatti
12:43 Feature #1021 (Resolved): CoCoA Manual: search should ignore multiple spaces
John Abbott
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
...
John Abbott
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...
Anna Maria Bigatti

20 Jun 2017

14:24 Bug #1080: intersect: problem with zero generators
We must remember to add some tests for various failing cases when this has been resolved.
*PS* it is a little tedi...
John Abbott

16 Jun 2017

19:14 Bug #1080: intersect: problem with zero generators
The problem appears to be the ctor for a @GPoly@ which does not allow @GPoly@ of 0 to be created.
Location @TMPGredu...
John Abbott
19:02 Bug #1080 (Closed): intersect: problem with zero generators
There are still problems with zero generators:... John Abbott
17:24 Support #1077 (Resolved): Manual: remove old stuff about "devices"
I have checked in the updated doc. Anna will check it.
John Abbott

14 Jun 2017

14:58 Support #1079 (In Progress): CoCoAManual: AffHilbertFn accepts also ideal (correct?)
The fn @AffHilbertFn@ accepts a RING or an IDEAL.
The manual says it accepts only a RING.
Rectify!
John Abbott
 

Also available in: Atom