from spec import Spec, is_Spec
from affine_space import AffineSpace, is_AffineSpace
from algebraic_scheme import is_AlgebraicScheme
from ambient_space import is_AmbientSpace
from morphism import is_SchemeMorphism
from projective_space import ProjectiveSpace, is_ProjectiveSpace
from scheme import is_Scheme, is_AffineScheme
from hypersurface import ProjectiveHypersurface, AffineHypersurface