Anna Maria Bigatti's activity
From 04 Apr 2024 to 03 May 2024
18 Apr 2024
-
16:38 CoCoALib Feature #937: LinDepMill: Mill for linear dependencies
- LinDepMill could also be used by MakeTermOrdMat.
-
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...
-
16:37 CoCoALib 2.00 hours (Feature #937 (Closed): LinDepMill: Mill for linear dependencies)
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-...
Also available in: Atom