Ticket #3738: 3738-cardinality.patch

File 3738-cardinality.patch, 661 bytes (added by robertwb, 11 years ago)
  • sage/sets/set.py

    # HG changeset patch
    # User Robert Bradshaw <robertwb@math.washington.edu>
    # Date 1218688399 25200
    # Node ID 50458646300f67023940837312a34d144101336a
    # Parent  c120a9e26a35af799e2cd90fd0baa7ce31b50ea8
    Fix bug in set cardinality.
    
    diff -r c120a9e26a35 -r 50458646300f sage/sets/set.py
    a b class Set_object(Set_generic): 
    449449            25
    450450        """
    451451        try:
    452             if self.is_finite():
     452            if not self.is_finite():
    453453                return sage.rings.infinity.infinity
    454454        except AttributeError:
    455455            pass