Struct HirzebruchRiemannRochResult 

pub struct HirzebruchRiemannRochResult { /* private fields */ }

Exact HRR output with an independently computed Koszul witness.

Implementations

impl HirzebruchRiemannRochResult

pub fn complete_intersection(&self) -> &ProjectiveCompleteIntersection

Complete-intersection input.

pub fn line_bundle_multidegree(&self) -> &[i64]

Multidegree of the line bundle.

pub fn value(&self) -> &Integer

Exact Euler characteristic.

pub fn hrr_integral(&self) -> &Rational

Exact rational HRR integral before its integrality check.

pub fn koszul_value(&self) -> &Integer

Independent Koszul inclusion–exclusion value.

pub fn validity(&self) -> MathematicalValidity

Logical validity inherited from the complete-intersection hypothesis.

pub fn verify(&self) -> Result<(), IntersectionTheoryError>

Replay HRR and Koszul calculations from retained inputs.

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

Serialize this result to canonical typed JSON.

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

Deserialize and verify a canonical HRR result.

Trait Implementations

impl Clone for HirzebruchRiemannRochResult

fn clone(&self) -> HirzebruchRiemannRochResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HirzebruchRiemannRochResult

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for HirzebruchRiemannRochResult

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for HirzebruchRiemannRochResult

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

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

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 HirzebruchRiemannRochResult

impl StructuralPartialEq for HirzebruchRiemannRochResult