def test_create_singular_free(self): free_matrix = "MM[1,1]=1\nMM[1,2]=0\nMM[1,3]=0\n" free_matrix = free_matrix + "MM[2,1]=0\nMM[2,2]=1\nMM[2,3]=0\n" free_matrix = free_matrix + "MM[3,1]=0\nMM[3,2]=0\nMM[3,3]=1\n" free_c = SingularModule.create_from_singular_matrix( self.poly_ring, free_matrix) free = SingularModule.create_free_module(3, self.poly_ring) self.assertTrue(free.equals(free_c))
def test_is_free_trivial(self): free = SingularModule.create_free_module(3, self.poly_ring) self.assertTrue(free.is_free())