Activity
From 07 Dec 2021 to 05 Jan 2022
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
Also available in: Atom