Struct AffineSpace 

pub struct AffineSpace<R: CommutativeRing> { /* private fields */ }

Affine space with one explicit base and coordinate-ring context.

Implementations

impl<R: CommutativeRing + Display> AffineSpace<R>

pub fn base_change<M>( &self, map: &M, ) -> Result<AffineSpace<M::Target>, BaseChangeError>

where M: CoefficientMap<Source = R>,

Extend the base while preserving the exact affine coordinate-ring presentation.

impl<R: CommutativeRing> AffineSpace<R>

pub fn new(base: R, dimension: usize) -> Result<Self, SchemeError>

Construct standard affine dimension-space with coordinates x1, ....

pub fn with_names<I, S>( base: R, dimension: usize, names: I, ) -> Result<Self, SchemeError>

where I: IntoIterator<Item = S>, S: Into<String>,

Construct affine space with explicit ordered coordinate names.

pub fn base(&self) -> &R

Base coefficient context.

pub fn dimension(&self) -> usize

Affine dimension.

pub fn coordinates(&self) -> &[String]

Ordered coordinate names.

pub fn coordinate_ring(&self) -> &PolynomialRing<R>

Exact polynomial coordinate ring.

impl AffineSpace<RationalField>

pub fn closed_subscheme( &self, ideal: Ideal<PolynomialRing<RationalField>>, ) -> Result<Scheme<RationalField>, SchemeError>

Construct a closed subscheme from an ideal in this coordinate ring.

pub fn to_json(&self) -> Result<String, NoetherError>

Serialize this ambient context.

pub fn from_json(value: &str) -> Result<Self, NoetherError>

Restore and validate this ambient context.

impl AffineSpace<FiniteField>

pub fn closed_subscheme( &self, ideal: Ideal<PolynomialRing<FiniteField>>, ) -> Result<Scheme<FiniteField>, SchemeError>

Construct a closed subscheme from an ideal in this coordinate ring.

pub fn to_json(&self) -> Result<String, NoetherError>

Serialize this ambient context.

pub fn from_json(value: &str) -> Result<Self, NoetherError>

Restore and validate this ambient context.

Trait Implementations

impl<R: Clone + CommutativeRing> Clone for AffineSpace<R>

fn clone(&self) -> AffineSpace<R>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<R> Debug for AffineSpace<R>

where R: CommutativeRing,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AffineSpace<FiniteField>

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'de> Deserialize<'de> for AffineSpace<RationalField>

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<R> Display for AffineSpace<R>

where R: CommutativeRing,

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<R: PartialEq + CommutativeRing> PartialEq for AffineSpace<R>

fn eq(&self, other: &AffineSpace<R>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl SemanticType for AffineSpace<FiniteField>

const TYPE_ID: &'static str = "noether/commalg/AffineSpace@1"

Versioned, language-neutral semantic identity.

fn canonical_bytes(&self) -> Result<Vec<u8>, NoetherError>

Serialize without backend- or language-specific identity.

fn describe() -> &'static TypeDescription

Return static discovery metadata for the type.

impl SemanticType for AffineSpace<RationalField>

const TYPE_ID: &'static str = "noether/commalg/AffineSpace@1"

Versioned, language-neutral semantic identity.

fn canonical_bytes(&self) -> Result<Vec<u8>, NoetherError>

Serialize without backend- or language-specific identity.

fn describe() -> &'static TypeDescription

Return static discovery metadata for the type.

impl<R> Serialize for AffineSpace<R>

where R: CommutativeRing + Serialize,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl<R: Eq + CommutativeRing> Eq for AffineSpace<R>

impl<R: CommutativeRing> StructuralPartialEq for AffineSpace<R>