mcb
mcb copied to clipboard
math-comp
Mathematical Components (the Book)
As Simon said: 6.6 is very general and 6.7, very specific.
Improve the conclusion of chapter 6 with better explanations of the curly-braced notations, à la `{poly R}`, and an improved tutorial for diagnosis.
Improve section 6.4, which is very minimalist in its introduction to the vocabulary (class, mixin, type) and gimmicks related to packed classes.
On page 56 the Definition says: Definition leq n m := m - n == 0. It should be: Definition leq m n := m - n == 0. It...
On Thu, 2019-08-01 at 10:45 +0200, Florent Hivert wrote: > Dear all, > > Reading the MathComp book I was surprised reading at the bottom of > page 125 >...
