relmath-rs 0.7.0

Relation-first mathematics and scientific computing in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! Core relation types and algorithms.

mod binary;
mod carrier;
mod nary;
mod unary;

/// Finite binary relation type.
pub use binary::BinaryRelation;
/// Deterministic explicit finite carrier distinct from inferred tuple support.
pub use carrier::FiniteCarrier;
/// Deterministic exact grouping of an n-ary relation.
pub use nary::GroupedRelation;
/// Deterministic exact n-ary relation with a named schema.
pub use nary::NaryRelation;
/// Errors returned by n-ary relation validation and schema-aware operations.
pub use nary::NaryRelationError;
/// Finite unary relation type.
pub use unary::UnaryRelation;