def test_laurent_ramification(self):
R = PuiseuxSeriesRing(QQ, 'x')
x = R.gen()
y = R.laurent_series_ring().gen()
p = x
self.assertEqual(p.laurent_part, y)
self.assertEqual(p.ramification_index, 1)
p = x**2
self.assertEqual(p.laurent_part, y**2)
self.assertEqual(p.ramification_index, 1)
p = x**(QQ(1)/2)
self.assertEqual(p.laurent_part, y)
self.assertEqual(p.ramification_index, 2)
p = x**(QQ(2)/3)
self.assertEqual(p.laurent_part, y**2)
self.assertEqual(p.ramification_index, 3)
p = 1 + 42*x**(QQ(1)/2) + 99*x**(QQ(1)/3)
self.assertEqual(p.laurent_part, 1 + 99*y**2 + 42*y**3)
self.assertEqual(p.ramification_index, 6)
def test_laurent_ramification(self):
R = PuiseuxSeriesRing(QQ, 'x')
x = R.gen()
y = R.laurent_series_ring().gen()
p = x
self.assertEqual(p.laurent_part, y)
self.assertEqual(p.ramification_index, 1)
p = x**2
self.assertEqual(p.laurent_part, y**2)
self.assertEqual(p.ramification_index, 1)
p = x**(QQ(1) / 2)
self.assertEqual(p.laurent_part, y)
self.assertEqual(p.ramification_index, 2)
p = x**(QQ(2) / 3)
self.assertEqual(p.laurent_part, y**2)
self.assertEqual(p.ramification_index, 3)
p = 1 + 42 * x**(QQ(1) / 2) + 99 * x**(QQ(1) / 3)
self.assertEqual(p.laurent_part, 1 + 99 * y**2 + 42 * y**3)
self.assertEqual(p.ramification_index, 6)
