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
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

#![forbid(unsafe_code)]
#![deny(missing_docs)]
#![doc = include_str!("../README.md")]

/// Additive annotation domains and deterministic annotated relation support.
pub mod annotated;
/// Core unary, binary, and n-ary relation types.
pub mod core;
/// Prelude with the most commonly used imports.
pub mod prelude;
/// Deterministic provenance support for exact facts.
pub mod provenance;
/// Deterministic temporal interval and valid-time foundations.
pub mod temporal;
/// Traits shared by relation types.
pub mod traits;

/// 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;
/// Errors returned by n-ary relation validation and schema-aware operations.
pub use crate::core::NaryRelationError;
/// Finite unary relation type.
pub use crate::core::UnaryRelation;
/// Shared trait for finite relations.
pub use crate::traits::FiniteRelation;