Project

General

Profile

Activity

From 18 Feb 2022 to 19 Mar 2022

16 Mar 2022

00:41 Support #1393: GUI with Qt5
John Abbott wrote:
> Why does the code compile without *@#include <thread>@*? (in file @C5.H@)
In case the ques...
Ulrich von der Ohe
19:26 Support #1393 (Feedback): GUI with Qt5
I have checked in. Also improved @configure@ (to be more helpful).
Modified some code to eliminate compiler warning...
John Abbott

12 Mar 2022

19:23 Support #1393: GUI with Qt5
Why does the code compile without *@#include <thread>@*? (in file @C5.H@)
John Abbott
19:18 Support #1393: GUI with Qt5
It works for me too :-)
I'll clean up, and check into CVS.
Thanks to Ulrich!
John Abbott

07 Mar 2022

16:58 Bug #1029 (Closed): Readline: does not recognize interrupts
John Abbott
15:32 Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?
Anna Maria Bigatti
15:29 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Chosen key-binding / shortcut: C-c C-h
works also for running cocoa5 (comint) window
Anna Maria Bigatti
10:26 Slug #1629: RingElem slow with many indets
Discussion:
John Abbott wrote:
> Anna implemented a quick fix: it was much faster, but would also sometimes give...
Anna Maria Bigatti

03 Mar 2022

20:47 Support #1393: GUI with Qt5
John Abbott wrote:
> I did also try switching to @std::thread@ etc. Everything compiled, but @C5@ would crash insta...
Ulrich von der Ohe
16:54 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Current impl just looks up the word around cursor -- it ignores the selected region.
It also advances the cursor pas...
John Abbott
15:46 Support #530 (Rejected): Interpreter error message: "for" with missing "do"
Thinking about it, this just follows our human expectation for "x".
If we had...
Anna Maria Bigatti
14:55 Feature #1671 (New): Refactor C++ impl in OnlineHelp
The code in @OnlineHelp.C@ needs to be refactored (to make it smaller and more maintainable; extreme speed is not imp... John Abbott

02 Mar 2022

17:28 Support #169: Font for parameters in manual
Also code snippets should be between tt's.
But *not for types*, e.g. INT, MODULE and RING, because they are alread...
Anna Maria Bigatti
16:20 Support #169 (Resolved): Font for parameters in manual
Anna Maria Bigatti
16:14 Support #1268 (Closed): Documentation for how to write a CoCoA package
This issue is a duplicate of #406. Closing. Anna Maria Bigatti
16:11 Support #406 (Feedback): Manual for CoCoAManual/CoCoAHelp.xml
Major discussion and work with John Abbott lead to some useful decisions and the consequent major update of the guide... Anna Maria Bigatti

25 Feb 2022

11:28 Support #1393 (Resolved): GUI with Qt5
I have tried Ulrich's patches and it works!
I did also try switching to @std::thread@ etc. Everything compiled, b...
John Abbott

24 Feb 2022

14:23 Support #530: Interpreter error message: "for" with missing "do"
Is it really worth investing effort trying to fix this?
The err mesgs are inconsistent but nevertheless useful to th...
John Abbott

23 Feb 2022

12:54 Support #1447 (Closed): Manual entry for RandomLinearForm
The new fn @HomogCompt@ seems to have solved the problem (provided the grading dim is 1).
I'll update the manual.
C...
John Abbott
12:40 Feature #1596: Add CoCoA5 function NmzHilbertBasisKer
Postponed to 5.4.2 because there are some matters still to be discussed:
* should the return value be a matrix over...
John Abbott
12:37 Design #1194 (Rejected): Rename HilbertBasisKer into LinKerHilbertBasis?
Rejected.
*HilbertBasisKer* will return a matrix, like *LinKer*.
The interface, rows or columns, QQ or ZZ, will be ...
Anna Maria Bigatti
12:28 Support #1478 (Closed): HilbertBasis: clarify
This has been completely resolved by introducing the new function *@NmzHilbertBasisKer@* (see issue #1596).
The new ...
John Abbott
12:14 Bug #946: Function "ideal" evaluates the argument twice
Mostly done, enough for CoCoA-5.4.0.
*Still to be fixed @submodule@* (see @bug-EvalTwice.cocoa5@).
Probably it is...
Anna Maria Bigatti
12:07 Bug #1029: Readline: does not recognize interrupts
This works for us now (my Ubuntu box, and Anna on the Linux VM).
We hope this means that the problem has been resolv...
John Abbott
11:53 Design #1504 (Closed): OnlineHelp: XMLFileName
Tested on linux and Mac. OK. Anna Maria Bigatti

18 Feb 2022

17:40 Support #1471: Release CoCoA-5.4.0
Consider the number of changes since the last "official" release (5.3.2), and decide whether to call this one 5.3.4 o... John Abbott
17:16 Support #1455 (Closed): In a release: which files inside the CoCoAManual
John Abbott
17:15 Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean"
John Abbott
17:13 Support #1451 (Closed): CoCoA Manual: make search keys public
John Abbott
17:09 Feature #1526: EmacsUI: help/manual for selected string -- or just for word with cursor on?
Think and choose key binding for cocoa5 mode Anna Maria Bigatti
17:01 Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries
John Abbott
16:55 Support #242 (In Progress): CoCoA-5 Projects for students (e.g. crediti F and tesi)
This issue and #1001 cover similar ground.
Suggestion: *split the 2 issues into: one for CoCoA-5, and one for CoCo...
John Abbott
16:50 Feature #1415: thmproving package
I had renamed all functions with prefix "Thm".
Check it in, so that it is public, and then postpone this issue for p...
Anna Maria Bigatti
16:34 Support #1534: Install CoCoA-5 on MacOS-10.15+
See also this comment: #322#note-23 Anna Maria Bigatti
16:31 Support #322: Installation instructions (on website)
Notes for myself:
compare the 3 installation pages and check they are similarly structured and informative.
Anna Maria Bigatti
15:34 Support #322: Installation instructions (on website)
I would still like o see more helpful guidance for linux users; not all linux users are experts.
How can one unpac...
John Abbott
16:26 Bug #1029: Readline: does not recognize interrupts
Maybe the simplest is to add this to the pre-release checks...?
John Abbott
16:22 Design #1407 (Closed): Tagged values (Hilbert Series)
Still to do: sanity checks (make another issue, in case...) Anna Maria Bigatti
 

Also available in: Atom