>>> from graf_exp import *

>>> le = [('a*(b+c)-c/b', 'a*(b+c)'), ('a*(b+c)-c/b', 'c/b'),
... ('a*(b+c)', 'a'), ('a*(b+c)', 'b+c'),
... ('c/b', 'c'), ('c/b', 'b'),
... ('b+c', 'b'), ('b+c', 'c')]
>>> g = crea_digraf_exps(le)
>>> loa = ordre_avaluacio(g, 'b+c')
>>> loa in (
... ['c', 'b', 'b+c'],
... ['b', 'c', 'b+c'],
... )
True
>>> loa = ordre_avaluacio(g, 'a*(b+c)')
>>> loa in (
... ['a', 'b', 'c', 'b+c', 'a*(b+c)'],
... ['a', 'c', 'b', 'b+c', 'a*(b+c)'],
... ['b', 'a', 'c', 'b+c', 'a*(b+c)'],
... ['b', 'c', 'a', 'b+c', 'a*(b+c)'],
... ['c', 'a', 'b', 'b+c', 'a*(b+c)'],
... ['c', 'b', 'a', 'b+c', 'a*(b+c)'],
... ['b', 'c', 'b+c', 'a', 'a*(b+c)'],
... ['c', 'b', 'b+c', 'a', 'a*(b+c)'],
... )
True
>>> loa = ordre_avaluacio(g, 'a*(b+c)-c/b')
>>> loa in (
... ['a', 'b', 'c', 'c/b', 'b+c', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['a', 'c', 'b', 'c/b', 'b+c', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['b', 'a', 'c', 'c/b', 'b+c', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['c', 'a', 'b', 'c/b', 'b+c', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['b', 'c', 'a', 'c/b', 'b+c', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['c', 'b', 'a', 'c/b', 'b+c', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['b', 'c', 'c/b', 'a', 'b+c', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['c', 'b', 'c/b', 'a', 'b+c', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['b', 'c', 'c/b', 'b+c', 'a', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['c', 'b', 'c/b', 'b+c', 'a', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['a', 'b', 'c', 'b+c', 'c/b', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['a', 'c', 'b', 'b+c', 'c/b', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['b', 'a', 'c', 'b+c', 'c/b', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['c', 'a', 'b', 'b+c', 'c/b', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['b', 'c', 'a', 'b+c', 'c/b', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['c', 'b', 'a', 'b+c', 'c/b', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['b', 'c', 'b+c', 'a', 'c/b', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['c', 'b', 'b+c', 'a', 'c/b', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['b', 'c', 'b+c', 'c/b', 'a', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['c', 'b', 'b+c', 'c/b', 'a', 'a*(b+c)', 'a*(b+c)-c/b'],
... ['a', 'b', 'c', 'b+c', 'a*(b+c)', 'c/b', 'a*(b+c)-c/b'],
... ['a', 'c', 'b', 'b+c', 'a*(b+c)', 'c/b', 'a*(b+c)-c/b'],
... ['b', 'a', 'c', 'b+c', 'a*(b+c)', 'c/b', 'a*(b+c)-c/b'],
... ['c', 'a', 'b', 'b+c', 'a*(b+c)', 'c/b', 'a*(b+c)-c/b'],
... ['b', 'c', 'a', 'b+c', 'a*(b+c)', 'c/b', 'a*(b+c)-c/b'],
... ['c', 'b', 'a', 'b+c', 'a*(b+c)', 'c/b', 'a*(b+c)-c/b'],
... ['b', 'c', 'b+c', 'a', 'a*(b+c)', 'c/b', 'a*(b+c)-c/b'],
... ['c', 'b', 'b+c', 'a', 'a*(b+c)', 'c/b', 'a*(b+c)-c/b'],
... )
True