Package sage :: Package schemes :: Package generic :: Module algebraic_scheme :: Class AlgebraicScheme

Class AlgebraicScheme

                      object --+                
                               |                
structure.sage_object.SageObject --+            
                                   |            
             structure.parent.Parent --+        
                                       |        
    structure.parent_base.ParentWithBase --+    
                                           |    
                               scheme.Scheme --+
                                               |
                                              AlgebraicScheme

Known Subclasses:: AlgebraicScheme_subscheme, AlgebraicScheme_quasi


An algebraic scheme presented as a subscheme in an ambient space.

Instance Methods

[hide private]

__init__(self, A)

source code

coordinate_ring(self)
Return the coordinate ring of this scheme, if defined.

source code

ambient_space(self)

source code

ngens(self)

source code

_repr_(self)

source code

_homset_class(self, *args, **kwds)

source code

_point_class(self, *args, **kwds)

source code

Inherited from scheme.Scheme: _Hom_, __add__, __call__, __cmp__, __div__, base_extend, base_morphism, base_ring, base_scheme, category, count_points, dimension, hom, identity_morphism, point, point_homset, point_set, structure_morphism, zeta_series

Inherited from scheme.Scheme (private): _point_morphism_class

Inherited from structure.parent_base.ParentWithBase: Hom, __new__, base, base_extend_canonical, base_extend_canonical_sym, base_extend_recursive

Inherited from structure.parent.Parent: __contains__, _coerce_, coerce_map_from, coerce_map_from_impl, construction, get_action, get_action_impl, has_coerce_map_from, has_coerce_map_from_impl, init_coerce

Inherited from structure.parent.Parent (private): _an_element, _an_element_impl, _coerce_impl, _coerce_self, _coerce_try

Inherited from structure.sage_object.SageObject: __hash__, __repr__, _axiom_, _axiom_init_, _gap_, _gap_init_, _gp_, _gp_init_, _interface_, _interface_init_, _interface_is_cached_, _kash_, _kash_init_, _macaulay2_, _macaulay2_init_, _magma_, _magma_init_, _maple_, _maple_init_, _mathematica_, _mathematica_init_, _maxima_, _maxima_init_, _octave_, _octave_init_, _pari_, _pari_init_, _r_init_, _sage_, _singular_, _singular_init_, db, dump, dumps, plot, rename, reset_name, save, version

Inherited from object: __delattr__, __getattribute__, __reduce__, __reduce_ex__, __setattr__, __str__

Properties

[hide private]

Inherited from structure.parent.Parent (private): _has_coerce_map_from

Inherited from object: __class__

Method Details

[hide private]

init(self, A)
(Constructor)

source code

Overrides: scheme.Scheme.__init__

coordinate_ring(self)

source code


Return the coordinate ring of this scheme, if defined.  Otherwise raise
a ValueError.

Overrides: scheme.Scheme.coordinate_ring: (inherited documentation)

_homset_class(self, *args, **kwds)

source code

Overrides: scheme.Scheme._homset_class

_point_class(self, *args, **kwds)

source code

Overrides: scheme.Scheme._point_class

Class AlgebraicScheme

__init__(self, A) (Constructor)

coordinate_ring(self)

_homset_class(self, *args, **kwds)

_point_class(self, *args, **kwds)

init(self, A)
(Constructor)