modèles avec

Question

sous-expressions sans ordre je dois traiter avec des motifs comme f[{a,b}]=... où a et b sont censés être sans ordre

Jusqu'à présent, j'ai mis cela en utilisant par défaut Sort[] sur les sous-expressions chaque fois f est défini ou d'une évaluation.

Mes questions sont

1. Est-ce aussi robuste que Orderless?
2. Y a-t-il un meilleur moyen?

PS: Un exemple d'application est la décomposition des arbres où vous construisez récursive des quantités comme sous-arbre [bag1-> bag2] où bag1 et bag2 sont des ensembles sans ordre de sommets

réponse mise à jour

Michael La réponse de Pilat montre comment définir une règle pour trier automatiquement les sous-expressions de f. Autre solution est de définir une tête personnalisée comme Bag avec l'attribut sans ordre et utiliser cette tête pour toutes les sous-listes sans ordre

Answer 1

Après avoir répondu this question je consultais avec quelques collègues qui étaient d'accord que ce qui suit est en effet le meilleur/manière typique de gérer cette problème:

f[{a_, b_}] := 
f[{Sort[a], Sort[b]}] /; Not[OrderedQ[a]] || Not[OrderedQ[b]] 

In[99]:= f[{{1, 2, 3}, {5, 4, 3}}] 

Out[99]= f[{{1, 2, 3}, {3, 4, 5}}] 

Alternativement, vous pouvez remplacer les List internes têtes avec un symbole de tête personnalisé qui a l'attribut Orderless, et si la mise en forme compte vraiment vous pouvez utiliser les différentes techniques de mise en forme qui ont été récemment discutées ici =)