symbolics_01.py

from sympy import Symbol, pi
from lpython import S

def main0():
    x: S = Symbol('x')
    y: S = Symbol('y')
    x = pi
    z: S = x + y
    x = z
    print(x)
    print(z)
    assert(x == z)
    assert(z == pi + y)
    assert(z != S(2)*pi + y)

    # testing PR 2404
    p: S = Symbol('pi')
    print(p)
    print(p != pi)
    assert(p != pi)

main0()