Activity
From 18 Oct 2023 to 16 Nov 2023
31 Oct 2023
-
11:23 CoCoALib Design #871: Redesign ideals
- Original issue about the design of the ideal class: here we collect the many aspects we should consider for the final...
-
11:19 CoCoALib Design #1767 (In Progress): Finalize design for ideals in CoCoALib
- Some functions for ideals are internally implemented changing the given ideal and *returning void*: @myAdd@, @myMul@,...
25 Oct 2023
-
21:26 CoCoA-5 Bug #1766 (Resolved): Emacs 29: Removal of obsolete entries
- I have just checked in the change suggested by Nico.
23 Oct 2023
-
20:41 CoCoALib Feature #718: Insert calls to CheckForInterrupt
- I have made @inverse@ interruptible (@DetByGauss@). I suppose we should also make a @DetByCRT@ at some point?
-
12:05 CoCoALib Feature #718: Insert calls to CheckForInterrupt
- Make matrix *@inverse@* interruptible (at least for matrices over @ZZ@).
Example: @inverse(RandomUnimodularMat(ZZ,5...
18 Oct 2023
-
16:29 CoCoA-5 Bug #1766: Emacs 29: Removal of obsolete entries
- Thanks Nico for the bug report.
I wonder why that face is even defined? When, if ever, is it used?
I have followed... -
13:51 CoCoA-5 Bug #1766 (Closed): Emacs 29: Removal of obsolete entries
- As stated in the release notes of Emacs 29 (https://git.savannah.gnu.org/cgit/emacs.git/tree/etc/NEWS?h=emacs-29), <c...
Also available in: Atom