23.5 Points on schemes

Module: sage.schemes.generic.point

Module-level Functions

is_SchemeRationalPoint( x)

is_SchemeTopologicalPoint( x)

Class: SchemePoint

class SchemePoint
SchemePoint( self, S)

INPUT:
    S -- a scheme

Functions: scheme

Class: SchemeRationalPoint

class SchemeRationalPoint
SchemeRationalPoint( self, f)

INPUT:
    f -- a morphism of schemes

Functions: morphism

Special Functions: _repr_

Class: SchemeTopologicalPoint

class SchemeTopologicalPoint

Class: SchemeTopologicalPoint_affine_open

class SchemeTopologicalPoint_affine_open
SchemeTopologicalPoint_affine_open( self, u, x)

INPUT:
    u -- morphism with domain U an affine scheme
    x -- point on U

Functions: affine_open,$  $ embedding_of_affine_open,$  $ point_on_affine

affine_open( self)

Return the affine open subset U.

embedding_of_affine_open( self)

Return the embedding from the affine open subset U into this scheme.

point_on_affine( self)

Return the scheme point on the affine open U.

Special Functions: _repr_

Class: SchemeTopologicalPoint_prime_ideal

class SchemeTopologicalPoint_prime_ideal
SchemeTopologicalPoint_prime_ideal( self, S, P)

INPUT:
    S -- an affine scheme
    P -- a prime ideal of the coordinate ring of S

Functions: prime_ideal

Special Functions: _repr_

See About this document... for information on suggesting changes.