Project

General

Profile

Activity

From 10 Feb 2022 to 11 Mar 2022

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

17 Feb 2022

21:22 Feature #1272 (Closed): Groebner Bases over ZZ
John Abbott

16 Feb 2022

20:37 Support #1077: Manual: remove old stuff about "devices"
We should eventually actually do this!!!
John Abbott
20:36 Support #1214 (Feedback): CoCoAManual: ensure that LaTeX compilation is "clean"
John Abbott
20:33 Design #1504 (Resolved): OnlineHelp: XMLFileName
Can we close this issue? John Abbott
20:23 Support #1534: Install CoCoA-5 on MacOS-10.15+
*ANNA!* Please can you do this just before releasing?
John Abbott
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...
John Abbott
20:19 Design #1477 (Resolved): Packages: questions from Andraschko
Point *(E)* is a very valid point; does Anna have a solution?
John Abbott
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.
John Abbott
20:15 Support #1451 (Feedback): CoCoA Manual: make search keys public
John Abbott
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...
John Abbott
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).
John Abbott
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...
John Abbott
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...
John Abbott
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:
...
John Abbott
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...
John Abbott

14 Feb 2022

18:16 Support #1660 (Closed): Updating file obsolescent.cpkg5: make it easier
Anna Maria Bigatti
17:26 Design #1525: CoCoA Manual: homogenize obsolete/obsolescent entries
Anna Maria Bigatti wrote:
> Possibly add the year
The release/date is now shown when the function is called (see ...
Anna Maria Bigatti

13 Feb 2022

13:10 Support #1663 (New): GCDList not documented
The fn @GCDList@ is not documented.
John Abbott
 

Also available in: Atom