# HG changeset patch
# User Niles Johnson <nilesj@gmail.com>
# Date 1278470946 14400
# Node ID fc272599c568ff13aa5d6aa4b3319243c792dac9
# Parent  b258f047cf52e34f3d40ccfd1681c3cd42f674f6
[mq]: inf_poly_ring_int_domain_fix

diff -r b258f047cf52 -r fc272599c568 sage/rings/polynomial/infinite_polynomial_ring.py
--- a/sage/rings/polynomial/infinite_polynomial_ring.py	Tue Jul 06 22:45:17 2010 -0400
+++ b/sage/rings/polynomial/infinite_polynomial_ring.py	Tue Jul 06 22:49:06 2010 -0400
@@ -1201,7 +1201,7 @@
         """
         return self._base.characteristic()
 
-    def is_field(self):
+    def is_field(self, proof=False):
         """
         Return ``False``, since an infinite polynomial ring has at least one
         generator, hence, infinitely many variables.
@@ -1214,7 +1214,7 @@
         """
         return False
 
-    def is_integral_domain(self):
+    def is_integral_domain(self, proof=False):
         """
         An infinite polynomial ring is an integral domain if and only if the 
         base ring is.
@@ -1225,7 +1225,7 @@
             sage: R.is_integral_domain()
             True
         """
-        return self._base.is_integral_domain()
+        return self._base.is_integral_domain(proof)
 
     def is_noetherian(self):
         """