Activity
From 16 Feb 2022 to 17 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...)
17 Feb 2022
16 Feb 2022
- 20:37 Support #1077: Manual: remove old stuff about "devices"
- We should eventually actually do this!!!
- 20:36 Support #1214 (Feedback): CoCoAManual: ensure that LaTeX compilation is "clean"
- 20:33 Design #1504 (Resolved): OnlineHelp: XMLFileName
- Can we close this issue?
- 20:23 Support #1534: Install CoCoA-5 on MacOS-10.15+
- *ANNA!* Please can you do this just before releasing?
- 20:21 Support #406: Manual for CoCoAManual/CoCoAHelp.xml
- I'm postponing this again.
Writing documentation is somehow always "low priority", but writing documentation about w... - 20:19 Design #1477 (Resolved): Packages: questions from Andraschko
- Point *(E)* is a very valid point; does Anna have a solution?
- 20:16 Support #1455 (Feedback): In a release: which files inside the CoCoAManual
- I guess we shall soon find out if the new script has overlooked some file(s).
Status: feedback.
- 20:15 Support #1451 (Feedback): CoCoA Manual: make search keys public
- 20:11 Support #1658 (Closed): LinKerZZ not documented
- No one objected to the name @LinKerZZ@, and the discussion in issue #206 seemed to favour that name.
So sticking wit... - 20:07 Feature #1479 (Closed): CoCoA release for linux: CoCoAInterpreter: with and without libreadline?
- Closing after 1 year in feedback.
The only thing left is to remember to make 2 executables (if we want to do that).
- 20:02 Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4)
- No one objected, so I am closing this issue.
I think a combination of @CanonicalHom@, @BringIn@ and @RingElem(R, str... - 19:57 Feature #1272: Groebner Bases over ZZ
- I'll close this as it is now in CVS, and should be in the next release (with 1 fn documented).
It could be a good st... - 19:53 Bug #1524 (Closed): wrong SystemCommand exit value
- Julian did report verbally (quite some time ago) that he had had problems with @SystemCommand@ working erratically:
... - 19:48 Bug #1029 (Resolved): Readline: does not recognize interrupts
- I suppose we should try to test the Linux executable just before distributing it.
Or should I make the executable on...
Also available in: Atom