Project

General

Profile

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. Anna Maria Bigatti
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... Anna Maria Bigatti

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-...
Anna Maria Bigatti
 

Also available in: Atom