CurrentModule = Oscar

using Oscar

Affine Varieties

An affine variety is an algebraic set such that $X(K)$ is irreducible for $k \subseteq K$ an algebraic closure. See Affine Algebraic Sets.

In Oscar varieties are implemented as special instances of Affine schemes and more formally defined as follows.

AbsAffineVariety

Functionality which is not (yet) provided by a variety-specific implementation, falls back to the appropriate functionality of schemes.

Constructors

variety(I::MPolyIdeal; check=true)
variety(X::AbsAffineScheme{<:Field}; is_reduced=false, check::Bool=true)
variety(R::MPolyAnyRing; check=true)

So far all are inherited from Affine Algebraic Sets and Affine schemes.

So far all are inherited from Affine Algebraic Sets and Affine schemes.

So far all are inherited from Affine Algebraic Sets and Affine schemes.