7
$\begingroup$

I need to combine data structures in operations analogous to addition, subtraction, multiplication and division (and more). I need more than one operation of each type, i.e. more than one method of addition, subtraction, etc. I have made some progress. Using the Notation palette, i can for example define !/! and %/% as different operators for division. But how can I set precedence? My impression is that this is not possible. I have explored the existing symbols without in-built meanings, such as CirclePlus and CircleMinus. These symbols without in-built meanings have precedence while allowing the meaning to be defined by the user. But I can't find enough of them to meet my needs. For example, there is no "CircleDivide".

Might it be possible to use subscripts and have $/_a$ and $/_b$ for different types of division while retaining the precedence of the division operator? If I could do it for division, then I could do it for the other operators of interest too.

ADDENDUM: I've made some progress following the clue provided by Mr.Wizard. The following code creates subscripted operators for operations analogous to +,-,*,/. The conv functions are highly simplified for test purposes and in the actual application would perform operations on data structures.

In[1]:= conv[x_, y_, op_ /; op == "+" || op == "-"] := Module[{},
If[op == "-", Return[conv[x, -y, "+"]]]; x + y]

conv[x_, y_, op_ /; op == "*" || op == "/"] := Module[{},
If[op == "/", Return[conv[x, 1/y, "*"]]]; x y]

MakeExpression[RowBox[{x_, SubscriptBox["+", "i"], y_}], StandardForm] := 
MakeExpression[RowBox[{"conv", "[", x, ",", y, ",", "\"+\"", "]"}], StandardForm]
MakeExpression[RowBox[{x_, SubscriptBox["-", "i"], y_}], StandardForm] := 
MakeExpression[RowBox[{"conv", "[", x, ",", y, ",", "\"-\"", "]"}], StandardForm]
MakeExpression[RowBox[{x_, SubscriptBox["*", "i"], y_}], StandardForm] := 
MakeExpression[RowBox[{"conv", "[", x, ",", y, ",", "\"*\"", "]"}], StandardForm]
MakeExpression[RowBox[{x_, SubscriptBox["/", "i"], y_}], StandardForm] := 
MakeExpression[RowBox[{"conv", "[", x, ",", y, ",", "\"/\"", "]"}], StandardForm]

Testing the code, it works at least up to a point and the subscripted operators appear to have the same precedence as the parent operators (+,*, etc.):

test 1

However, if I remove the parentheses from the second test expression, I get an error message. Why is that occurring and how do I fix it?

test 2

$\endgroup$
3
  • 1
    $\begingroup$ If you look at Mr.Wizard's answer here, and the linked post, the prospects for doing what you want seem to be rather dim. $\endgroup$
    – Jens
    Feb 15, 2015 at 5:11
  • $\begingroup$ @Jens: I had seen the statement that compound operators cannot have custom precedence, but I wondered if an existing operator (plus, minus, times, etc) might retain its precedence if used with a subscript. I have experimented but am not very proficient at defining notations and so far can't get a subscripted operator to call a function at all, whereas I was able to get non-subscripted custom operators like !*! to do so. $\endgroup$
    – Duns
    Feb 15, 2015 at 15:21
  • 1
    $\begingroup$ @Duns I believe you are looking for this: (39703). I cannot recall with certainty what the precedence of the "new" operators is and I don't have time to experiment, but I think it tracks the "parent" operator. Please test that and let me know if it will suit your needs. $\endgroup$
    – Mr.Wizard
    Feb 15, 2015 at 17:01

1 Answer 1

3
$\begingroup$

The construction of custom operators with precedence is described in the Complex Patterns and Advanced Features Notation Package Tutorial. More general informations can be found in Precedence of Operators in Notations.

The following operator definitions work for the examples given in the question.
First loading the Notation Package:

Needs["Notation`"]

Now I'll add an InputAlias for each operator, although this increases the convenience only for $-_i$ significantly.

AddInputAlias["+i" -> ParsedBoxWrapper[SubscriptBox["+", "i"]]]

AddInputAlias["*i" -> ParsedBoxWrapper[SubscriptBox["*", "i"]]]

AddInputAlias["/i" -> ParsedBoxWrapper[SubscriptBox["/", "i"]]]

AddInputAlias["-i" -> ParsedBoxWrapper[
 TagBox[SubscriptBox["-", "i"], Minus, SyntaxForm -> "a"]]]

Using the Notation Palette this looks like AddInputAlias First I'll define the infix operators with some not yet defined functions

InfixNotation[ParsedBoxWrapper[SubscriptBox["+", "i"]], myPlus]

InfixNotation[ParsedBoxWrapper[SubscriptBox["*", "i"]], myTimes]

InfixNotation[ParsedBoxWrapper[SubscriptBox["/", "i"]], myDivision]

InfixNotation[ParsedBoxWrapper[
  TagBox[SubscriptBox["-", "i"], Minus, SyntaxForm -> "a"]], myMinus]

InfixNotation

For a first test, your testing code in a copyable format

\!\(\(9 \*TagBox[SubscriptBox["-", "i"],Minus,SyntaxForm->"a"] 2\*SubscriptBox[\(*\), \(i\)]3\)\*SubscriptBox[\(+\), \(i\)]\(4\*SubscriptBox[\(/\), \(i\)]2\)\)

\!\(4\*SubscriptBox[\(+\), \(i\)]\(6\*SubscriptBox[\(*\), \(i\)]2\*SubscriptBox[\(/\), \(i\)]4\)\)

which can be easily typed in using the InputAliases or the Subscript keyboard shortcut (Ctrl+_) for the ones without a TagBox and will look (together with their output) like

Test1

The output of the first test example nicely shows the correct parenthesization.

Finally the placeholder functions are defined as

myPlus = Plus;
myMinus[a_, b_] := Plus[a, Times[-1, b]]
myTimes[a_, b_] := Times[a, b]
myDivision = Divide;

and the examples tested again

\!\(\(9 \*TagBox[SubscriptBox["-", "i"],Minus,SyntaxForm->"a"] 2 \*SubscriptBox[\(*\), \(i\)]3\)\*SubscriptBox[\(+\), \(i\)]\(4 \*SubscriptBox[\(/\), \(i\)]2\)\)

\!\(4\*SubscriptBox[\(+\), \(i\)]\(6\*SubscriptBox[\(*\), \(i\)]2    \*SubscriptBox[\(/\), \(i\)]4\)\)

\!\(\((9 \*TagBox[SubscriptBox["-", "i"],Minus,SyntaxForm->"a"] 2    \*SubscriptBox[\(*\), \(i\)]3)\)\*SubscriptBox[\(+\), \(i\)]\(4    \*SubscriptBox[\(/\), \(i\)]2\)\)

Test2

As described in the tutorials linked to at the beginning of this answer, the SyntaxForm option of TagBox can be used to change the precedence of an operator. For the given examples this is only needed for $-_i$, because for the other operators it is determined by their corresponding operators without a subscript. For $-_i$ the precedence has to be changed, because otherwise everything following $-_i$ is parenthesized as one part. Using SyntaxForm -> "a" the precedence behavior is "group as a symbol".

Just to illustrate the wrong parenthesization, when the precedence behavior is "group as infix minus operator":

ClearAll[myPlus, myPlus, myDivision, myMinus]
RemoveInfixNotation[ParsedBoxWrapper[
  TagBox[SubscriptBox["-", "i"], Minus, SyntaxForm -> "a"]], myMinus]

InfixNotation[ParsedBoxWrapper[
  TagBox[SubscriptBox["-", "i"], Minus, SyntaxForm -> "a-b"]], myMinus]

\!\(9\*TagBox[SubscriptBox["-", "i"],Minus,SyntaxForm->"a-b"]\(2\*SubscriptBox[\(*\), \(i\)]3\)\*SubscriptBox[\(+\), \(i\)]\(4\*SubscriptBox[\(/\), \(i\)]2\)\)

wrongParenthesization

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.