CurrentModule = Oscar

using Oscar

Rational Points on Affine Schemes

AbsAffineRationalPoint
AffineRationalPoint
coordinates(p::AffineRationalPoint)
ideal(P::AbsAffineRationalPoint)
scheme(P::AbsAffineRationalPoint)
closed_embedding(P::AbsAffineRationalPoint)
is_smooth(P::AbsAffineRationalPoint)
tangent_space(P::AbsAffineRationalPoint{<:FieldElem})

Some experimental methods are available too. Note that their interface is likely to change in the future.

is_du_val_singularity(P::AbsAffineRationalPoint{<:FieldElem})
decide_du_val_singularity(P::AbsAffineRationalPoint{<:FieldElem,<:Any})