Commented rules in math.rs test

[bedeio]

Is there any reason why the following two rules are commented out in the math.rs test?

    // rw!("canon-sub"; "(+ ?a (* -1 ?b))"   => "(- ?a ?b)"),
    // rw!("canon-div"; "(* ?a (pow ?b -1))" => "(/ ?a ?b)" if is_not_zero("?b")),

Do they create an infinite loop, as described here?

[mwillsey]

We found that those rules were not necessary to prove any of the things we wanted to prove. As far as I can remember, there's nothing wrong with including them, although in general more rules = slower.

…

On Tue, May 24, 2022 at 7:49 AM bedeio ***@***.***> wrote: Is there any reason why the following two rules are commented out in the math.rs test? // rw!("canon-sub"; "(+ ?a (* -1 ?b))" => "(- ?a ?b)"), // rw!("canon-div"; "(* ?a (pow ?b -1))" => "(/ ?a ?b)" if is_not_zero("?b")), Does it create an infinite loop, as described in this other discussion <#60>? — Reply to this email directly, view it on GitHub <#181>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AANTPTFRFVYWBELZUZWTE2TVLTT7VANCNFSM5WZ3EN5Q> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>