Activity
From 28 Jun 2018 to 27 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
Also available in: Atom