Activity
From 02 Dec 2021 to 31 Dec 2021
10 Dec 2021
07 Dec 2021
- 00:11 0.10 hour (Bug #1640 (Closed): MinSubsetOfGens does not find min subset)
- Explain better
- 00:09 0.50 hour (Bug #1640 (Closed): MinSubsetOfGens does not find min subset)
- Some notes
- 20:26 0.25 hour (Bug #1639 (New): RealRoots: crashes after interrupting)
- Some notes
06 Dec 2021
- 20:37 0.20 hour (Slug #1638 (New): MinSubsetOfGens sometimes very slow)
- Some notes
Also available in: Atom