analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

Fix 'the_* landau notation to improve readability

Open CohenCyril opened this issue 7 years ago • 1 comments

  • Make the notation f = g +o_e stable (e.g. by putting a definition) https://github.com/math-comp/analysis/blob/1566e324cd4b56d09a1660521d1c31c3e2ec83da/landau.v#L199
  • Remove the "'the" tag which makes things unreadable https://github.com/math-comp/analysis/blob/1566e324cd4b56d09a1660521d1c31c3e2ec83da/landau.v#L135 ...

CohenCyril avatar Jan 11 '18 15:01 CohenCyril

Half fixed in commit 9c7a6ddbb7a938fb2af0deade318d9869215544b, the tag the_tag remains but is printed 'o_x e.

CohenCyril avatar Jan 26 '18 15:01 CohenCyril