↧
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 ArticleAnswer 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 ArticleHow 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