Variables souscrites

Réponse à une réponse à une question précédente, Notation Mathematica et mods de syntaxe , Telefunkenvf14 mentionné qu'il était

dans l'espoir d'utiliser des notations pour forcer la MMA Pour traiter les variables souscrites comme symbole p> blockQuote>

qui est essentiellement quelle concerne cette question. P>

Wrach a souligné que le Package de notation peut le faire tout simplement en utilisant symboliser code> p> xxx pré>

où (comme dans la réponse de Daniel) ne vous inquiétez pas trop sur la structure code> de la case code> ci-dessus, car vous pouvez utiliser NOTATION CODE> PALETTE POUR ENTRÉEZ CETTEURE EN PLUS. P>

Vérifiez que tout fonctionne comme recherché: P>

In[6]:= Subscript[b, 1] = {{1, 2}}
        Subscript[b, 2] = {{3, 4}}
        b = Join[Subscript[b, 1], Subscript[b, 2]]
Out[6]= {{1, 2}}
Out[7]= {{3, 4}}
Out[8]= {{1, 2}, {3, 4}}

Si vous ne voulez pas utiliser le package code> notation code> (voir Daniel's et Mes Réponses), mais je veux copier le comportement de symboliser , alors ça devient un peu délicat.

Je suis allé faire cela après que je lisais ce Alors répondez une> mais courut dans des problèmes et abandonna. Je vais mettre le code ici en tant que wiki communautaire afin que d'autres personnes puissent essayer de le terminer! P>

Tout d'abord, vous souhaitez intercepter une structure de boîte à index entrée et le faire être interprété comme un symbole "unique". Le code suivant p> xxx pré>

fait une entrée x_i code> devenir un symbole nommé "$ indiquer $ x $ Split i" code> . Pas un nom de symbole unique garanti ... mais cela serait assez inhabituel! Remarques:
1) Que ce code ne récupérera pas les souscriptions écrites dans Fullform code>.
2) Cette définition ne tire que si les deux parties de l'indice sont "simples" - pas d'espaces, de crochets, d'opérateurs, etc ... p>

Suivant, car ce nom de symbole est si moche, voici une autre chose. Pour ce faire mieux quand il est demandé (cela devrait probablement être changé) p> xxx pré>

enfin, nous voulons que ce symbole de l'indice soit imprimé bien. Normalement, nous ferions cela à l'aide d'un Makeboxes Code> Définition - mais nous ne pouvons pas dans ce cas dans ce cas car symbole code> a l'attribut verrouillé code>: ( Au lieu de cela, nous allons pirater dans un $ pré-expression code> pour trouver ces symboles nommés follement nommés et les écrire sous forme de sous-domes: p> xxx pré>

enfin l'endroit où tout de cette chute est si vous essayez d'attribuer quelque chose à un symbole souscrit. Je n'ai pas essayé de travailler autour de cela! P>

Quelques tests - Notez que vous devrez convertir le code> Signaler code> S sur les cases réelles du code pour fonctionner. Faites cela en convertissant en standardform: Ctrl-Shift-n. P>

In[17]:= Subscript[x, z][z_]:=z^2
In[18]:= Subscript[x, z][2]
Out[18]= 4

In[19]:= ?Subscript[x, z]
Information::nomatch: No symbol matching Symbol["$sUbsCript$x$SPLIT$z"] found. >>

Voici un certain code que j'avais l'habitude d'utiliser pour faire cela. Cela devrait fonctionner pour vous aussi:

In[11]:= InputForm@DownValues[f]

Out[11]//InputForm=
{HoldPattern[f[ProxySymbol$99_]] :> Sin[ProxySymbol$99]}

J'ai étudié le fil sur des variables souscrites en détail en collant les différentes réponses dans un ordinateur portable Mathematica (et l'avez essayé avec les Version 7 et 8). Cependant, ce que j'ai découvert, dans certains cas, la représentation explicite des variables souscrites comme indice indice [A, B] ne donne pas la bonne réponse comme contenue dans ces réponses. Cependant, lorsque j'ai utilisé explicitement la notation 2D pour l'indice (A_B), la réponse était comme prévu. Pourrait-il s'agir que lors du colle des symboles souscrit dans un email, ils sont représentés comme indice [A, B] . (Bien sûr, je devrais ajouter que pour chaque contribution, j'ai commencé Mathematica Fresh - après avoir utilisé Quit [] ).