Advanced Search

Question: applyrule with inequalities

Question:applyrule with inequalities

_Maxim_ 729
applyrule patmatch
October 22 2017
1 
applyrule((x::anything < y::anything) = 0, a < b);
applyrule('x::anything < y::anything' = 0, a < b);
applyrule(`<`(x::anything, y::anything) = 0, a < b);
applyrule('`<`(x::anything, y::anything)' = 0, a < b);
                             a < b
                             a < b
                             a < b
                               0

All quotes matter, no doubt, but why is `<` different from the infix "<" and why does it need uneval?

 
Please Wait...