Activity
From 30 Jun 2018 to 29 Jul 2018
02 Jul 2018
-
18:42 Feature #1198: Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex)
- Here are some thoughts about the design/impl.
If the GradingDim is 1 then we have a vector of positive "weights": ...
Also available in: Atom