Ticket #11530: 11530_pari_init-v2.patch

sage/rings/finite_rings/element_base.pyx

@@ -338 +338 @@
             'Mod(b, Mod(1, 5)*b^2 + Mod(4, 5)*b + Mod(2, 5))'
             sage: (2*b+3)._pari_init_()
             'Mod(2*b + 3, Mod(1, 5)*b^2 + Mod(4, 5)*b + Mod(2, 5))'        
+
+        TESTS:
+
+        The following tests against a bug fixed in trac ticket #11530::
+
+            sage: F.<d> = GF(3^2)
+            sage: d._pari_()
+            Mod(d, Mod(1, 3)*d^2 + Mod(2, 3)*d + Mod(2, 3))
+            sage: d._pari_init_("p")
+            'Mod(p, Mod(1, 3)*p^2 + Mod(2, 3)*p + Mod(2, 3))'
+            sage: d._pari_init_("M")
+            'Mod(M, Mod(1, 3)*M^2 + Mod(2, 3)*M + Mod(2, 3))'
+            sage: d._pari_init_("b")
+            'Mod(b, Mod(1, 3)*b^2 + Mod(2, 3)*b + Mod(2, 3))'
+
         """
-        g = self.parent()._finite_field_ext_pari_modulus_as_str()
-        f = str(self.polynomial())
-        s = 'Mod(%s, %s)'%(f, g)
         if var is None:
-            return s
-        return s.replace(self.parent().variable_name(), var)
+            var = self.parent().variable_name()
+        g = repr(self.parent().modulus()._pari_with_name(var))
+        f = str(self.polynomial(var))
+        return 'Mod({0}, {1})'.format(f, g)
 
     def charpoly(self, var='x', algorithm='matrix'):
         """