Anna Maria Bigatti
- Registered on: 17 Oct 2011
- Last connection: 28 Mar 2024
Issues
- Assigned issues: 123
- Reported issues: 541
Projects
Activity
18 Apr 2024
- 16:38 CoCoALib Feature #937: LinDepMill: Mill for linear dependencies
- LinDepMill could also be used by MakeTermOrdMat.
- 16:37 CoCoALib 2.00 hours (Feature #937 (In Progress): LinDepMill: Mill for linear dependencies)
- 16:37 CoCoALib Feature #937 (In Progress): LinDepMill: Mill for linear dependencies
- I have implemented the (hidden but present) function ShapeLemma which returns the whole lex-GB when the MinPoly has m...
10 Apr 2024
- 11:47 CoCoALib Support #1814: Ensure tests do not need too much RAM
- Ulrich von der Ohe wrote:
> @test-RadicalMembership1.C@ did not change from 0.99824 to 0.99850. Do you think the 20-...
29 Mar 2024
- 10:42 CoCoALib 1.00 hour (Support #1687 (In Progress): Release CoCoALib 0.99850)
- 10:37 CoCoALib Bug #1812 (New): Documentation: indexXX.html should be recompiled if version has changed
- There is no dependency on configuration/version in doc/Makefile for index...html.
(on the other hand the pdf manual ... - 08:25 CoCoALib Design #1753: Clean up EulerTotient, InvTotient jungle in NumTheory-misc
- set to 100% (after being closed)
- 08:22 CoCoALib 2.00 hours (Support #1687 (In Progress): Release CoCoALib 0.99850)
- 08:22 CoCoALib Support #1687: Release CoCoALib 0.99850
*done* Redmine Roadmap: close or postpone issue
*done* Redmine Release issues: check percentages, check timi...
28 Mar 2024
- 15:12 CoCoALib Support #1810: Release CoCoALib 0.99900
- Release issues:
https://cocoa.dima.unige.it/redmine/projects/cocoalib/issues?query_id=49
Here is a list of the ma...
Also available in: Atom