Activity
From 28 May 2023 to 26 Jun 2023
26 Jun 2023
-
22:35 Bug #1740: MinGens gives non minimal gens *if some deg=0*
- I have inserted a "quick hack" solution: just call *@HasPositiveGrading@* inside @myMinGens@.
It detects the example...
Also available in: Atom