harness-space 0.7.0

The library for topological and other spaces
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

#![doc = include_str!("../README.md")]
#![warn(missing_docs)]

pub mod cloud;
pub mod complexes;
pub mod definitions;
pub mod filtration;
pub mod graph;
pub mod homology;
pub mod lattice;
pub mod set;
pub mod sheaf;

use harness_algebra::prelude::*;

pub mod prelude {
  //! The prelude for the `space` crate.
  //!
  //! This module re-exports the most commonly used types and traits from the `space` crate.
  //! It provides a convenient way to import these types and traits into your code without
  //! having to specify the crate name each time.
  pub use crate::{
    complexes::ComplexElement,
    definitions::{MetricSpace, NormedSpace, Topology},
    set::{Collection, Poset},
  };
}