relmath-rs 0.5.0

Relation-first mathematics and scientific computing in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! Common imports for relation-first programming.

/// Finite binary relation type.
pub use crate::core::BinaryRelation;
/// Deterministic exact grouping of an n-ary relation.
pub use crate::core::GroupedRelation;
/// Deterministic exact n-ary relation with a named schema.
pub use crate::core::NaryRelation;
/// Finite unary relation type.
pub use crate::core::UnaryRelation;
/// Shared trait for finite relations.
pub use crate::traits::FiniteRelation;