Set of all objects of a given Python class

sage.sets.pythonclass.Set_PythonType(typ)

Return the (unique) Parent that represents the set of Python objects of a specified type.

EXAMPLES:

sage: from sage.sets.pythonclass import Set_PythonType
sage: Set_PythonType(list)
Set of Python objects of class 'list'
sage: Set_PythonType(list) is Set_PythonType(list)
True
sage: S = Set_PythonType(tuple)
sage: S([1,2,3])
(1, 2, 3)

S is a parent which models the set of all lists:

sage: S.category()
Category of sets

class sage.sets.pythonclass.Set_PythonType_class

Bases: sage.structure.parent.Set_generic

The set of Python objects of a given class.

The elements of this set are not instances of Element; they are instances of the given class.

INPUT:

• typ – a Python (new-style) class

EXAMPLES:

sage: from sage.sets.pythonclass import Set_PythonType
sage: S = Set_PythonType(int); S
Set of Python objects of class 'int'
sage: int('1') in S
True
sage: Integer('1') in S
False

sage: Set_PythonType(2)
Traceback (most recent call last):
...
TypeError: must be initialized with a class, not 2

cardinality()

EXAMPLES:

sage: from sage.sets.pythonclass import Set_PythonType
sage: S = Set_PythonType(bool)
sage: S.cardinality()
2
sage: S = Set_PythonType(int)
sage: S.cardinality()
+Infinity

object()

EXAMPLES:

sage: from sage.sets.pythonclass import Set_PythonType
sage: Set_PythonType(tuple).object()
<... 'tuple'>