Ticket #1951: 1951-residues-1.patch

File 1951-residues-1.patch, 1.3 KB (added by cremona, 14 years ago)
  • sage/rings/number_field/number_field.py

    # 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  
    29612961            self.__regulator = float(s) # sage.rings.real_mpfr.create_RealNumber(s)
    29622962        return self.__regulator
    29632963
    2964     def residue_field(self, prime, names = None, check = False):
     2964    def residue_field(self, prime, names = None, check = True):
    29652965        """
    29662966        Return the residue field of this number field at a given prime, ie $O_K / p O_K$.
    29672967
     
    29982998        from sage.rings.number_field.number_field_ideal import is_NumberFieldIdeal
    29992999        if not is_NumberFieldIdeal(prime) or prime.number_field() is not self:
    30003000            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)
    30033003
    30043004    def signature(self):
    30053005        """