############################################################################### # SAGE: System for Algebra and Geometry Experimentation # Copyright (C) 2006 William Stein <[email protected]> # Distributed under the terms of the GNU General Public License (GPL) # The full text of the GPL is available at: # http://www.gnu.org/licenses/ ############################################################################### cimport sage.structure.category_object cdef class AttributeErrorMessage: cdef type cls cdef str name cdef class Parent(category_object.CategoryObject): cdef public _element_constructor cdef public _convert_method_name cdef public bint _element_init_pass_parent cdef public dict __cached_methods cdef public _initial_coerce_list cdef public _initial_action_list cdef public _initial_convert_list cdef readonly bint _coercions_used cpdef bint is_coercion_cached(self, domain) cpdef bint is_conversion_cached(self, domain) cpdef register_coercion(self, mor) cpdef register_action(self, action) cpdef register_conversion(self, mor) cpdef register_embedding(self, embedding) cpdef bint _richcmp_helper(left, right, int op) except -2 cpdef bint is_exact(self) except -2 # Called from the __init__ method to set up coercion. cdef int init_coerce(self, bint warn=*) except -1 # returns whether or not there is a Morphism from S to self cpdef bint has_coerce_map_from(self, S) except -2 # returns a Morphism from S to self, or None cpdef coerce_map_from(self, S) cpdef _coerce_map_from_(self, S) # returns a Map from S to self, or None cpdef convert_map_from(self, S) cpdef _convert_map_from_(self, S) # returns the Action by/on self on/by S # corresponding to op and self_on_left cpdef get_action(self, other, op=*, bint self_on_left=*) cpdef _get_action_(self, other, op, bint self_on_left) # coerce x into self cpdef coerce(self, x) cpdef an_element(self) cdef public object __an_element # For internal use cpdef _generic_convert_map(self, S) cdef discover_coerce_map_from(self, S) cdef discover_convert_map_from(self, S) cdef discover_action(self, G, op, bint self_on_left) # List consisting of Morphisms (from anything to self) # and Parents for which the __call__ method of self # results in natural coercion. # Initialized at ring creation. cdef _coerce_from_list # Hashtable of everything we've (possibly recursively) discovered so far. cdef _coerce_from_hash # List consisting of Actions (either by or on self) # and Parents for which self._rmul_ and/or self._lmul_ # do the correct thing. # Initialized at ring creation. cdef _action_list # Hashtable of everything we've (possibly recursively) discovered so far. cdef _action_hash # List consisting of Morphisms (from anything to self) # and Parents for which the __call__ method of self # does not result in type errors # Initialized at ring creation. cdef _convert_from_list # Hashtable of everything we've (possibly recursively) discovered so far. cdef _convert_from_hash # An optional single Morphism that describes a canonical coercion out of self cdef _embedding
