Quantcast
Channel: How may I define e.g. Tilde[x,y] to have certain properties? - Mathematica Stack Exchange
Browsing latest articles
Browse All 3 View Live

Answer by Paul R. for How may I define e.g. Tilde[x,y] to have certain...

Here is an answer that is about as klugy as it can be, but very explicitly implements a binary relation. A binary relation on a list of variables (V) is a subset (S) of the set of all pairs {Vi,Vj}. V...

View Article


Image may be NSFW.
Clik here to view.

Answer by k_v for How may I define e.g. Tilde[x,y] to have certain properties?

Note that "~" is used in Mathematica for infix form of operators and it isn't the same as Tilde which could be inputted as [Esc]~[Esc]ClearAll@TildeTilde /: Tilde[x_, x_] := TrueSetAttributes[Tilde,...

View Article


How may I define e.g. Tilde[x,y] to have certain properties?

I would like to define, e.g., the Tilde[x,y] operator to have certain properties, and then investigate whether certain expressions involving that operator are True or not. For example, if I specify...

View Article
Browsing latest articles
Browse All 3 View Live


<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>