For example I want to define a function with parameters σx and σy, that is, the function will be declared as:
f[σx_,σy_] := . . .
I tried Symbolize but it doesn't work. How can I use Subscript in pattern names?
$\begingroup$
$\endgroup$
0
Add a comment
|
3 Answers
$\begingroup$
$\endgroup$
You can use Symbolize, from the Notation package following the tutorial as you did.
Then, just take the precaution of writing the pattern with its head explicit, such as:
Pattern[xr, _]
The problem is that Mathematica can't interpret the short notation for patterns (xr_ for example) if it has a box structure before the "_"
$\begingroup$
$\endgroup$
4
As mentioned by Rojo in the answer above,
xr_can't be interpreted as desired even after
Symbolize is used, but one doesn't need to write Pattern in its FullForm to circumvent the problem, actually you just need one more : i.e.
xr:_
Example:
Another work-around is to use my allowNonSymbol. Example:
allowNonSymbol[
f[Subscript[σ, x] _, Subscript[σ, y] _] := Sin[Subscript[σ, x]] + 2^Subscript[σ, y]]
f[a, b]
-
$\begingroup$ I am using mathematica 11.0, and after loading the Notation package and entering Symbolize[<keystrokes>], where <keystrokes> was Shift+_ then Control+_ then Shift +_, I got the error message "Symbolize::noboxtag: The Symbolize boxes Subscript[ _ , _ ] do not have an embedded TemplateBox with tag NotationTemplateTag. The Symbolize statement Symbolize[Subscript[ _ , _ ]] may not have been entered using the palette, or the embedded TemplateBox may have been deleted. The embedded TemplateBox ensures correct parsing and retention of proper styling and grouping information." $\endgroup$ Commented Sep 14, 2016 at 14:37
-
1$\begingroup$ @NowIGetToLearnWhatAHeadIs As mentioned in the document: When defining your own notations it is critically important to use the notation templates. So don't type
Symbolizedirectly, use the Notation Palette popping up when you execute<<Notation`. $\endgroup$– xzczdCommented Sep 14, 2016 at 14:44 -
$\begingroup$ Thanks. I have been looking through the documentation since I posted the comment, and I just now stumbled upon that. $\endgroup$ Commented Sep 14, 2016 at 14:47
-
$\begingroup$ Thanks for this answer, it really saved me. $\endgroup$ Commented Apr 11, 2020 at 6:20
$\begingroup$
$\endgroup$
1
You can also use the input form in the definition
f[Subscript[σ, x_], Subscript[σ, y_]] := ...
-
3$\begingroup$ CarloB, welcome to the site. I don't believe this works in the way the OP wants. It would require entering your values as subscripts to sigma for each argument. $\endgroup$ Commented Mar 13, 2012 at 14:26