Activity
From 23 Mar 2018 to 21 Apr 2018
05 Apr 2018
- 14:26 0.10 hour (Bug #1171 (Closed): RealRoots: first point is sometimes wrong?)
- Suggestion
- 14:19 0.50 hour (Bug #1171 (Closed): RealRoots: first point is sometimes wrong?)
- Not so simple
04 Apr 2018
- 14:31 1.00 hour (Bug #1172 (Closed): MinSubsetOfGens: problem with generators = 0)
- 12:27 1.00 hour (Bug #1172 (Closed): MinSubsetOfGens: problem with generators = 0)
- 11:34 0.25 hour (Bug #1171 (Closed): RealRoots: first point is sometimes wrong?)
- Stability
03 Apr 2018
- 18:57 1.00 hour (Bug #1171 (Closed): RealRoots: first point is sometimes wrong?)
- 18:27 3.50 hours (Bug #1171 (Closed): RealRoots: first point is sometimes wrong?)
23 Mar 2018
Also available in: Atom