def test_contained_in_ambient(self): x = self.x y = self.y z = self.z smA = SingularModule([[x, y**3, z + x], [z, x, x**2]]) am = smA.ambient_free_module() self.assertTrue(am.contains(smA))
def test_ambient_free_module(self): x = self.x y = self.y z = self.z one = self.poly_ring.one() zero = self.poly_ring.zero() sm1 = SingularModule([[x, y + z, z**3 - 2 * y], [x, y, z], [x, y, z**2]]) self.assertEqual( sm1.ambient_free_module().gens, [[one, zero, zero], [zero, one, zero], [zero, zero, one]])