Define Custom Notation in Mathematica

前端 未结 2 1817
野趣味
野趣味 2021-01-07 06:13

I often need to extract to restrict value lists to sublists, ie if vals gives values of vars={x1,x2,x3,x4}, and I need values of svars={x2,x4

相关标签:
2条回答
  • 2021-01-07 06:30

    Good notations can be very useful - but I'm not sure that this particular one is needed...

    That said, the Notation package makes this pretty easy. As there are many hidden boxes when you use the Notation palette, I'll use a screenshot: alt text

    You can see the underlying NotationMake* downvalues construct by using the Action -> PrintNotationRules option. In[4] in the screenshot generates

    NotationMakeExpression[
      SubscriptBox[vals_, RowBox[{vars_, "|", svars_}]], StandardForm] := 
     MakeExpression[
      RowBox[{"restrict", "[", RowBox[{vars, ",", svars, ",", vals}], 
        "]"}], StandardForm]
    
    NotationMakeBoxes[Subscript[vals_, vars_ | svars_], StandardForm] := 
     SubscriptBox[MakeBoxes[vals, StandardForm], 
      RowBox[{Parenthesize[vars, StandardForm, Alternatives], "|", 
        Parenthesize[svars, StandardForm, Alternatives]}]]
    
    0 讨论(0)
  • 2021-01-07 06:42

    With regard to 2: I would pass the rule list Thread[vars -> vals] instead of keeping track of names and values separately.
    One of my favorite Mathematica idioms is to use rule lists together with WithRules as defined below: This construct evaluates an expression in a With block where all the replacement symbols have been (recursively defined). This allow you to do stuff like

    WithRules[{a -> 1, b -> 2 a + 1}, b]
    

    and gets you quite far towards named arguments.

    SetAttributes[WithRules, HoldRest]
    WithRules[rules_, expr_] := Module[{notSet}, Quiet[
         With[{args = Reverse[rules /. Rule[a_, b_] -> notSet[a, b]]},
           Fold[With[{#2}, #1] &, expr, args]] /. notSet -> Set, 
       With::lvw]]
    

    Edit: The WithRules construct is based on these two usenet threads (thanks to Simon for digging them up):

    • A version of With that binds variables sequentially
    • Add syntax highlighting to own command
    0 讨论(0)
提交回复
热议问题