Lazi

Nommage des chemins mathématiques

Contexte

Il faudrait un moyen de spécifier le chemin mathématique quand il y a imbrication, par exemple Lazi.1.0:M2 signifie une représentation dans M2 vue dans Lazi.1.0. La représentation n-formule n'a pas trop d'utilité car dans une mathématique on n'a pas d'intérêt d'imbriquer les représentations de même type.

Question

Comment nommer les chemins mathématiques ?
Si on utilise ":", est-ce retiré des symboles autorisés par la norme de nommage des mathématiques (ainsi que "/") ?

Étude

Il s'agit de nommer le contexte dans lequel on exprime des phrases mathématique.

Par exemple lazi.1.0 est représenté par lazi.0.2, "1b" en lazi.1.0 s'exprime "1b", mais "1b" en lazi.1.0 dans le contexte lazi.0.2 est $F[1b]. Plus il y a de chemins mathématiques imbriqués et plus il y a de représentations imbriquées.

Remarquons aussi que le contexte en dessous de lazi.0 influence aussi car "1b" dans le contexte humain est différent du contexte informatique xml où l'on écrirat alors "<formula format="xml"><word type="key0" name="1b" /></formula>". Donc pour décrire précisément le contexte il faut partir de la base puis décrire tout les contextes jusqu'au final.

Réponse

On séparera les noms des contextes par "/" et on signalera que l'on donne le contexte entier par un "/" au départ (comme pour unix).

Par exemple (H pour contexte humain) :
/H/lazi.0/lazi.1 $F[1b]
lazi.1 1b

Voir la convention de nommage des contextes.