Struct ChowGroup 

pub struct ChowGroup {
    pub variety: String,
    pub codimension: usize,
    pub generators: Vec<String>,
}

A Chow group CH^n(X) of codimension-n algebraic cycles modulo rational equivalence.

Fields

variety: String

The algebraic variety X (name).

codimension: usize

The codimension n.

generators: Vec<String>

A list of generator descriptions.

Implementations

impl ChowGroup

pub fn new(variety: impl Into<String>, codimension: usize) -> Self

Create the Chow group CH^n(X).

pub fn ch0(variety: impl Into<String>) -> Self

CH^0(X) = Z (free on connected components).

pub fn pic(variety: impl Into<String>) -> Self

CH^1(X) = Pic(X), the Picard group.

pub fn add_generator(&mut self, gen: impl Into<String>)

Add a cycle class generator.

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

The intersection product CH^p × CH^q → CH^{p+q} (placeholder).

pub fn rank(&self) -> usize

Rank of the Chow group (number of generators in this model).

Trait Implementations

impl Clone for ChowGroup

fn clone(&self) -> ChowGroup

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChowGroup

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

Formats the value using the given formatter.

impl Display for ChowGroup

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

Formats the value using the given formatter.