Activity
From 27 Jun 2018 to 26 Jul 2018
02 Jul 2018
- 18:42 0.50 hour (Feature #1198 (New): Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex))
- Some thoughts
28 Jun 2018
- 11:36 2.00 hours (Bug #1199 (Closed): GCD bug with high degree arg)
- 11:00 1.50 hour (Bug #1199 (Closed): GCD bug with high degree arg)
- Looking for simpler example
27 Jun 2018
Also available in: Atom