pub struct DualComplex {
pub primal: CwComplex,
pub ambient_dim: usize,
}Expand description
Dual cell decomposition of a CW complex.
Each k-cell of the primal complex corresponds to an (n-k)-cell of the dual. For a 2-complex: primal vertices ↔ dual faces, primal edges ↔ dual edges, primal faces ↔ dual vertices.
Fields§
§primal: CwComplexPrimal complex.
ambient_dim: usizeAmbient dimension n.
Implementations§
Source§impl DualComplex
impl DualComplex
Sourcepub fn new(primal: CwComplex, ambient_dim: usize) -> Self
pub fn new(primal: CwComplex, ambient_dim: usize) -> Self
Create the dual of a CW complex embedded in n-dimensional space.
Sourcepub fn dual_dim(&self, primal_dim: usize) -> usize
pub fn dual_dim(&self, primal_dim: usize) -> usize
Dimension of the dual cell corresponding to a primal k-cell: n - k.
Sourcepub fn dual_count(&self, k: usize) -> usize
pub fn dual_count(&self, k: usize) -> usize
Number of dual k-cells = number of primal (n-k)-cells.
Sourcepub fn euler_characteristic(&self) -> i64
pub fn euler_characteristic(&self) -> i64
Euler characteristic of the dual (equals that of the primal).
Sourcepub fn hodge_star_count(&self, k: usize) -> usize
pub fn hodge_star_count(&self, k: usize) -> usize
Hodge star: maps a k-cochain to an (n-k)-chain (dimension count). Returns the number of (n-k)-cells.
Trait Implementations§
Source§impl Clone for DualComplex
impl Clone for DualComplex
Source§fn clone(&self) -> DualComplex
fn clone(&self) -> DualComplex
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for DualComplex
impl RefUnwindSafe for DualComplex
impl Send for DualComplex
impl Sync for DualComplex
impl Unpin for DualComplex
impl UnsafeUnpin for DualComplex
impl UnwindSafe for DualComplex
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.