Example #1
0
def my_compare(a, b):
   main_var = s
   p1, p2, p3 = Wild("p1"), Wild("p2"), Wild("p3")
   r_a = a.match(p1 * s**p3)
   r_b = b.match(p1 * s**p3)
   if r_a is not None and r_b is not None:
       c = Basic.compare(r_a[p3], r_b[p3])
       if c!=0:
           return c

   return Basic._compare_pretty(a,b)
Example #2
0
def test_issue_6082():
    assert Basic.compare(Max(x, 1), Max(x, 2)) == -1
    assert Basic.compare(Max(x, 2), Max(x, 1)) == 1
    assert Basic.compare(Max(x, 1), Max(x, 1)) == 0
    assert Basic.compare(Max(1, x), frozenset((1, x))) == -1
Example #3
0
def test_issue_6082():
    assert Basic.compare(Max(x, 1), Max(x, 2)) == -1
    assert Basic.compare(Max(x, 2), Max(x, 1)) == 1
    assert Basic.compare(Max(x, 1), Max(x, 1)) == 0
    assert Basic.compare(Max(1, x), frozenset((1, x))) == -1