+
+class TestDummy(unittest.TestCase):
+
+ def setUp(self):
+ self.x = Dummy('x')
+
+ def test_new(self):
+ self.assertEqual(self.x.name, 'x')
+ self.assertTrue(Dummy().name.startswith('Dummy'))
+
+ def test_eq(self):
+ self.assertEqual(self.x, self.x)
+ self.assertNotEqual(self.x, Symbol('x'))
+ self.assertNotEqual(Symbol('x'), self.x)
+ self.assertNotEqual(self.x, Dummy('x'))
+ self.assertNotEqual(Dummy(), Dummy())
+
+
+class TestSymbols(unittest.TestCase):
+
+ def setUp(self):
+ self.x = Symbol('x')
+ self.y = Symbol('y')
+
+ def test(self):