Contextos en movimiento con $ NewSymbol en Mathematica

Question

Estaba jugando con $NewSymbol tratando de encontrar algo para responder this question con. The docs say that

$ NewSymbol se aplica antes de que realmente se crea el símbolo . Si la acción de $ NewSymbol hace que se cree el símbolo , quizás en un contexto diferente, entonces el símbolo como creado será el utilizado.

así que traté de mover automáticamente un nuevo símbolo en particular en un contexto de prueba que debe evitar que su creación en el contexto Global`*, pero el símbolo se crea en ambos contextos.

In[1]:= Remove["Global`*"] 
In[2]:= $NewSymbol=(Print[#1," : ",#2]; 
        If[#1==="aLongTestSymbolName"&&#2==="Global`", 
         Symbol["TestContext`"<>#1]])&; 

In[3]:= x 
During evaluation of In[3]:= x : Global` 
Out[3]= x 

In[4]:= aLongTestSymbolName 
During evaluation of In[4]:= aLongTestSymbolName : Global` 
During evaluation of In[4]:= aLongTestSymbolName : TestContext` 
Out[4]= aLongTestSymbolName 

In[5]:= Names["Global`*"] 
Out[5]= {aLongTestSymbolName,x} 

In[6]:= Names["TestContext`*"] 
Out[6]= {TestContext`aLongTestSymbolName} 

creo que "aLongTestSymbolName" no debería estar en el contexto Global`. ¿Alguien puede ver lo que he hecho mal o si he malinterpretado la documentación?

---

Nota: Tener el símbolo creado en ambos contextos no es una opción para el resaltado automático en el anteriormente unido a cuestionar. La idea es reservar ciertos nombres de símbolos como "x"~~___ para variables y "f"~~___ para funciones y luego usar patrones de cadena en $NewSymbol para mover los símbolos al contexto resaltado apropiado.

Answer 1

Eso es porque pasaste el nombre del símbolo a Print, que inmediatamente hizo el símbolo en Global`. :-)

O no. Debo probar las cosas antes de responder, pero pensé que sabía esto. Oops.

---

Me parece ahora que $NewSymbol no intercepta la creación de un símbolo, o si lo hace, cómo hacer uso de esto no es clara.

Si se utiliza:

$NewSymbol = Print["Name: ", #2, #] &; 

a continuación:

In[10]:= aNewSymbol 

During evaluation of In[10]:= Name: Global`aNewSymbol 

Out[10]= aNewSymbol 

Vemos que $NewSymbol no funciona como $PrePrint en que su salida no se convierte en la expresión.

Por lo tanto, si utilizamos:

$NewSymbol = Symbol["TestContext`" <> #] &; 

aSecondSymbol 

aSecondSymbol se crea alegremente en Global` como si nada hubiera cambiado.

Si se puede usar $NewSymbol para dirigir el contexto en el que se crea el símbolo, como lo indica la documentación, no me queda claro cómo hacerlo.

Answer 2

En this Mathematica Journal article acerca de los problemas de contexto es posible que sólo la presencia de un nuevo símbolo en la fase de análisis de la evaluación se sumará a este símbolo para el contexto actual.En este caso, aLongTestSymbolName se entrega a Print y If como # 1 y, por lo tanto, se crea en el contexto actual Global`. No creo que haya nada que puedas hacer en la función $NewSymbol para evitar esto.

El artículo menciona que incluso si utiliza Begin["Context1`"]; someSymbol; End[], someSymbol no se coloca en el contexto Context1` a menos que Begin["Context1`"] se evalúe en una línea separada.