def test_check_negationexpression(self):
m = self.m
t = IndexTemplate(m.t)
e = -m.dv[t] == m.v[t]
temp = _check_negationexpression(e, 0)
self.assertIs(e.arg(0).arg(0), temp[0])
self.assertIs(e.arg(1), temp[1].arg(0))
self.assertIs(m.dv, temp[0].arg(0))
self.assertIs(m.v, temp[1].arg(0).arg(0))
temp = _check_negationexpression(e, 1)
self.assertIsNone(temp)
e = m.v[t] == -m.dv[t]
temp = _check_negationexpression(e, 1)
self.assertIs(e.arg(0), temp[1].arg(0))
self.assertIs(e.arg(1).arg(0), temp[0])
self.assertIs(m.dv, temp[0].arg(0))
self.assertIs(m.v, temp[1].arg(0).arg(0))
temp = _check_negationexpression(e, 0)
self.assertIsNone(temp)
e = -m.v[t] == -m.v[t]
temp = _check_negationexpression(e, 0)
self.assertIsNone(temp)
temp = _check_negationexpression(e, 1)
self.assertIsNone(temp)
def test_check_negationexpression(self):
m = self.m
t = IndexTemplate(m.t)
e = -m.dv[t] == m.v[t]
temp = _check_negationexpression(e, 0)
self.assertIs(e.arg(0).arg(0), temp[0])
self.assertIs(e.arg(1), temp[1].arg(0))
self.assertIs(m.dv, temp[0]._base)
self.assertIs(m.v, temp[1].arg(0)._base)
temp = _check_negationexpression(e, 1)
self.assertIsNone(temp)
e = m.v[t] == -m.dv[t]
temp = _check_negationexpression(e, 1)
self.assertIs(e.arg(0), temp[1].arg(0))
self.assertIs(e.arg(1).arg(0), temp[0])
self.assertIs(m.dv, temp[0]._base)
self.assertIs(m.v, temp[1].arg(0)._base)
temp = _check_negationexpression(e, 0)
self.assertIsNone(temp)
e = -m.v[t] == -m.v[t]
temp = _check_negationexpression(e, 0)
self.assertIsNone(temp)
temp = _check_negationexpression(e, 1)
self.assertIsNone(temp)