Zulip Chat Archive

Stream: new members

Topic: The innards of simp

Victor Miller (Dec 14 2020 at 21:27):

simp is very useful to get rid of tedium, but is there a way to get simp to tell you what steps it's actually taken?

Kevin Buzzard (Dec 14 2020 at 21:28):


Bryan Gin-ge Chen (Dec 14 2020 at 21:42):

or set_option trace.simplify.rewrite true. See this page on the simplifier (written by Kevin, I think).

Kevin Buzzard (Dec 15 2020 at 05:14):

...when I didn't know anything about simp. That page desperately needs updating! It's on my job list...

Last updated: Dec 20 2023 at 11:08 UTC