Zulip Chat Archive
Stream: new members
Topic: Trace of "simp" steps
Ken Roe (Jul 25 2018 at 20:24):
I applied "simp" to a complex hypothesis and got an unexpected result. Is there a way to get a trace of the steps taken by simp?
Kenny Lau (Jul 25 2018 at 20:24):
set_option trace.simp_lemmas true set_option trace.simplify true
Kenny Lau (Jul 25 2018 at 20:24):
I think it's the second one
Kenny Lau (Jul 25 2018 at 20:24):
but why not both
Reid Barton (Jul 25 2018 at 20:25):
trace.simplify.rewrite will show just the successful steps
Last updated: Dec 20 2023 at 11:08 UTC