36.5 Points on schemes

Module: sage.schemes.generic.point

Points on schemes

Module-level Functions

is_SchemeRationalPoint( x)

is_SchemeTopologicalPoint( x)

Class: SchemePoint

class SchemePoint
SchemePoint( self, S)

Input:

S
- a scheme

Functions: scheme

Special Functions: __init__

Class: SchemeRationalPoint

class SchemeRationalPoint
SchemeRationalPoint( self, f)

Input:

f
- a morphism of schemes

Functions: morphism

Special Functions: __init__,$ \,$ _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: __init__,$ \,$ _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: __init__,$ \,$ _repr_

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