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]])
