Activity
From 09 Dec 2021 to 07 Jan 2022
10 Dec 2021
- 15:54 Bug #1640 (Feedback): MinSubsetOfGens does not find min subset
- 15:53 Bug #1640: MinSubsetOfGens does not find min subset
- During skype meeting, we implemented an improvement (discarding longest polynomial first). Now the given example is ...
09 Dec 2021
- 10:27 Bug #1640: MinSubsetOfGens does not find min subset
- John Abbott wrote:
> I have now re-read the manual, and understood what it was trying to say.
> Maybe re-write the ...
Also available in: Atom