Activity
From 29 May 2023 to 27 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