Struct ChowRing 

pub struct ChowRing { /* private fields */ }

The integral Chow ring of a product of projective spaces.

For dimensions n_1, ..., n_r, this is represented as Z[h_1, ..., h_r] / (h_1^(n_1+1), ..., h_r^(n_r+1)).

Implementations

impl ChowRing

pub fn new( projective_dimensions: impl Into<Vec<usize>>, ) -> Result<Self, IntersectionTheoryError>

Construct the Chow ring of P^(n_1) x ... x P^(n_r).

pub fn projective_dimensions(&self) -> &[usize]

Dimensions of the projective-space factors.

pub fn factor_count(&self) -> usize

Number of projective-space factors.

pub fn dimension(&self) -> usize

Dimension of the ambient product.

pub fn zero(&self) -> ChowClass

Additive zero.

pub fn one(&self) -> ChowClass

Multiplicative unit.

pub fn generator( &self, factor: usize, ) -> Result<ChowClass, IntersectionTheoryError>

Hyperplane class pulled back from one projective-space factor.

pub fn generators(&self) -> Vec<ChowClass>

All hyperplane generators in factor order.

pub fn from_terms( &self, terms: impl IntoIterator<Item = (Vec<usize>, Integer)>, ) -> Result<ChowClass, IntersectionTheoryError>

Construct and canonicalize an integral class from sparse terms.

pub fn from_rational_terms( &self, terms: impl IntoIterator<Item = (Vec<usize>, Rational)>, ) -> Result<RationalChowClass, IntersectionTheoryError>

Construct and canonicalize a rational class from sparse terms.

pub fn integrate( &self, class: &ChowClass, ) -> Result<Integer, IntersectionTheoryError>

Integrate the top-degree component of an integral ambient class.

pub fn integrate_rational( &self, class: &RationalChowClass, ) -> Result<Rational, IntersectionTheoryError>

Integrate the top-degree component of a rational ambient class.

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

Serialize this ring to canonical typed JSON.

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

Deserialize and validate a Chow ring from canonical JSON.

Trait Implementations

impl Clone for ChowRing

fn clone(&self) -> ChowRing

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChowRing

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ChowRing

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for ChowRing

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ChowRing

fn eq(&self, other: &ChowRing) -> 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 ChowRing

const TYPE_ID: &'static str = "noether/commalg/ChowRing@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 Serialize for ChowRing

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

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ChowRing

impl StructuralPartialEq for ChowRing