Activity
From 29 Jun 2018 to 28 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