Struct FloerComplex 

pub struct FloerComplex {
    pub generators: Vec<String>,
    pub differentials: Vec<(usize, usize, i32)>,
}

A Floer complex CF*(H) generated by periodic orbits of a Hamiltonian H.

Fields

generators: Vec<String>

Generators: the periodic Hamiltonian orbits (labelled by Conley-Zehnder index)

differentials: Vec<(usize, usize, i32)>

Differentials: (source index, target index, count with sign)

Implementations

impl FloerComplex

pub fn new() -> Self

Create a simple Floer complex with two generators (the minimal case).

pub fn num_generators(&self) -> usize

Number of generators (= number of periodic orbits counted with multiplicity).

pub fn euler_characteristic(&self) -> i64

Euler characteristic χ = Σ (-1)^k rank CF^k(H). By the Arnold conjecture, χ(M) ≤ #(1-periodic orbits).

Trait Implementations

impl Default for FloerComplex

fn default() -> Self

Returns the “default value” for a type.