Ejemplos de Times.args en Python

Ejemplo n.º 1

 def test_times_one(self):
     r = Symbol("r", REAL)
     f = Times(r, r, Real(1))
     f = f.simplify()
     self.assertNotIn(Real(1), f.args())

Ejemplo n.º 2

Archivo: test_simplify.py Proyecto: agriggio/pysmt

 def test_times_one(self):
     r = Symbol("r", REAL)
     f = Times(r, r, Real(1))
     f = f.simplify()
     self.assertNotIn(Real(1), f.args())