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... -
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...
12 Mar 2022
-
19:23 Support #1393: GUI with Qt5
- Why does the code compile without *@#include <thread>@*? (in file @C5.H@)
-
19:18 Support #1393: GUI with Qt5
- It works for me too :-)
I'll clean up, and check into CVS.
Thanks to Ulrich!
07 Mar 2022
-
16:58 Bug #1029 (Closed): Readline: does not recognize interrupts
-
15:32 Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?
-
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 -
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...
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... -
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... -
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... -
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...
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... -
16:20 Support #169 (Resolved): Font for parameters in manual
-
16:14 Support #1268 (Closed): Documentation for how to write a CoCoA package
- This issue is a duplicate of #406. Closing.
-
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...
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...
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...
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... -
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... -
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 ... -
12:28 Support #1478 (Closed): HilbertBasis: clarify
- This has been completely resolved by introducing the new function *@NmzHilbertBasisKer@* (see issue #1596).
The new ... -
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... -
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... -
11:53 Design #1504 (Closed): OnlineHelp: XMLFileName
- Tested on linux and Mac. OK.
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...
-
17:16 Support #1455 (Closed): In a release: which files inside the CoCoAManual
-
17:15 Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean"
-
17:13 Support #1451 (Closed): CoCoA Manual: make search keys public
-
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
-
17:01 Design #1525 (Closed): CoCoA Manual: homogenize obsolete/obsolescent entries
-
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... -
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... -
16:34 Support #1534: Install CoCoA-5 on MacOS-10.15+
- See also this comment: #322#note-23
-
16:31 Support #322: Installation instructions (on website)
- Notes for myself:
compare the 3 installation pages and check they are similarly structured and informative. -
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... -
16:26 Bug #1029: Readline: does not recognize interrupts
- Maybe the simplest is to add this to the pre-release checks...?
-
16:22 Design #1407 (Closed): Tagged values (Hilbert Series)
- Still to do: sanity checks (make another issue, in case...)
Also available in: Atom