# HG changeset patch
# User John Cremona <john.cremona@gmail.com>
# Date 1221042769 3600
# Node ID 35ada700aca1c40802e0dbbdb051b006b5622476
# Parent 33977df30cc2e15578d113cadf18b8ef826f5f6a
Extra small patch for #1951
diff r 33977df30cc2 r 35ada700aca1 sage/rings/number_field/number_field.py
a

b


2961  2961  self.__regulator = float(s) # sage.rings.real_mpfr.create_RealNumber(s) 
2962  2962  return self.__regulator 
2963  2963  
2964   def residue_field(self, prime, names = None, check = False): 
 2964  def residue_field(self, prime, names = None, check = True): 
2965  2965  """ 
2966  2966  Return the residue field of this number field at a given prime, ie $O_K / p O_K$. 
2967  2967  
… 
… 

2998  2998  from sage.rings.number_field.number_field_ideal import is_NumberFieldIdeal 
2999  2999  if not is_NumberFieldIdeal(prime) or prime.number_field() is not self: 
3000  3000  raise ValueError, "prime must be a prime ideal of self" 
3001   import sage.rings.residue_field 
3002   return sage.rings.residue_field.ResidueField(prime, names = names) 
 3001  from sage.rings.residue_field import ResidueField 
 3002  return ResidueField(prime, names = names, check = check) 
3003  3003  
3004  3004  def signature(self): 
3005  3005  """ 