Project

General

Profile

Activity

From 10 Nov 2019 to 09 Dec 2019

09 Dec 2019

16:26 Feature #1374: Add function power to CoCoA-5
John Abbott wrote:
> I am inclined to say that there is not much point in writing any tests for @power@. What do yo...
Anna Maria Bigatti
16:07 Feature #1374: Add function power to CoCoA-5
I am inclined to say that there is not much point in writing any tests for @power@. What do you think?
John Abbott
15:42 Feature #1374: Add function power to CoCoA-5
John Abbott wrote:
> If you are convinced that my approach is better, then, yes, please undo your CVS update.
ok
...
Anna Maria Bigatti
13:55 Feature #1374: Add function power to CoCoA-5
Should the function be documented?
If so, we should probably state that it exists just to increase compatibility b...
John Abbott
13:37 Feature #1374: Add function power to CoCoA-5
If you are convinced that my approach is better, then, yes, please undo your CVS update.
I am not certain whether ...
John Abbott
12:46 Feature #1374: Add function power to CoCoA-5
ooops, we overlapped and made incompatible changes.
But I think you had a better idea.
Should I undo my cvs?
Anna Maria Bigatti
12:21 Feature #1374: Add function power to CoCoA-5
I have just checked in a @power@ function defined in @cocolib.cpkg5@.
My approach means that @power@ works for any t...
John Abbott
12:03 Feature #1374: Add function power to CoCoA-5
Implemented for RingElem (in OneLiners) Anna Maria Bigatti
11:58 Feature #1374 (Closed): Add function power to CoCoA-5
In CoCoA we can write @g^4@, but in CoCoALib we have to write @power(g,4)@ (because of incompatible priority of @oper... Anna Maria Bigatti

04 Dec 2019

15:22 Feature #1373 (In Progress): GFan also for Microsoft?
Is it possible to make the GFan functions available in the pre-compiled release for Microsoft?
John Abbott

03 Dec 2019

14:36 Feature #1364 (Feedback): Emacs UI: start cocoa5 with system command enabled
I have checked in a cleaned-up version of the code... Anna said it worked fine for her.
Now we can test for it for...
John Abbott

29 Nov 2019

17:21 Feature #1372 (In Progress): New function: find ?
Should we add the function *find* (similar to C++ *find*)?
This is a quick and easy prototype (should be easy to wri...
Anna Maria Bigatti

27 Nov 2019

22:42 Feature #1364 (In Progress): Emacs UI: start cocoa5 with system command enabled
Prototype sent to Anna via email, so she can test it.
John Abbott

24 Nov 2019

13:11 Support #1368 (Resolved): Improve manual for mod
The solution to Ange's problem is to compute @mod(a-b,p)@; this will be zero iff @a@ and @b@ are congruent modulo @p@... John Abbott
13:04 Support #1368 (In Progress): Improve manual for mod
Currently the manual and the implementation are incompatible. The manual says that the remainder is always non-negat... John Abbott
12:58 Support #1368 (Closed): Improve manual for mod
The manual entry for *@mod@* needs to be improved.
Ange recently reported that *@mod(a,p) = mod(b,p)@* did not wor...
John Abbott
12:51 Feature #1367: CoCoA-5.3.0: release linked with more recent version of normaliz
I'm hoping that this should be easy (at least on Linux).
On my linux box, compilation and linking work fine with nor...
John Abbott
12:49 Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz
The last release was linked with an "old" version of normaliz. Make the next release with a more recent version (_e.... John Abbott
12:46 Design #1352 (Resolved): cocoa5 (launch) script: sleep time
I have just tried @xterm -e ./cocoa5@, and now prefer a 4 second wait after printing the message (perhaps it should b... John Abbott

21 Nov 2019

14:17 Support #1365 (New): Package EdgeIdeal not documented
While preparing to present "graph colouring" I discovered a few mins ago that *@ChromaticNumber@* is a package-export... John Abbott

18 Nov 2019

10:51 Feature #1364: Emacs UI: start cocoa5 with system command enabled
John Abbott wrote:
> Here are two possible ways to implement:
> * *(A)* new emacs commands _e.g._ *@cocoa5-with-sys...
Anna Maria Bigatti

15 Nov 2019

15:40 Feature #1364: Emacs UI: start cocoa5 with system command enabled
Ange's situation is that she has the source code in @file.cocoa5@ and wants to send it to CoCoA-5 with @SystemCommand... John Abbott
15:30 Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled
Ange wants to use @SystemCommand@ inside some of her code, but when she starts CoCoA-5 from inside emacs @SystemComma... John Abbott
15:28 Support #677: Credits to CoCoA-5 contributors
* *Manual page* this is probably simplest to implement (and likely to suffice for all or almost all uses)
* *Functi...
John Abbott

13 Nov 2019

16:56 Slug #1363: Emacs UI: slow with long lines
Original location of link was ... John Abbott
16:55 Slug #1363 (In Progress): Emacs UI: slow with long lines
I have found mention of *@so-long.el@* for emacs which is supposed to help with long lines.
We should investigate.
John Abbott
 

Also available in: Atom