Struct ChowClass 

pub struct ChowClass {
    pub dimension: usize,
    pub degree: Rational64,
    pub invariants: HashMap<String, Rational64>,
}

Represents a Chow class in the intersection ring

Fields

dimension: usize

Dimension of the class (codimension in the ambient space)

degree: Rational64

Degree of the class

invariants: HashMap<String, Rational64>

Additional numerical invariants

Implementations

impl ChowClass

pub fn new(dimension: usize, degree: Rational64) -> Self

Create a new Chow class

pub fn hypersurface(degree: i64) -> Self

Create a hypersurface class of given degree

pub fn point() -> Self

Create a point class

pub fn linear_subspace(codimension: usize) -> Self

Create a linear subspace class

pub fn plane_curve(degree: i64) -> Self

Create a plane curve class

pub fn arithmetic_genus(&self) -> i64

Compute the arithmetic genus

pub fn power(&self, n: usize) -> Self

Raise this class to a power

pub fn is_zero(&self) -> bool

Check if this class is zero

pub fn is_zero_in_projective_space(&self, ambient_dim: usize) -> bool

Check if this class is zero in a specific projective space

pub fn multiply(&self, other: &Self) -> Self

Multiply two Chow classes

Trait Implementations

impl Clone for ChowClass

fn clone(&self) -> ChowClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChowClass

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

Formats the value using the given formatter.

impl PartialEq for ChowClass

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