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
20
21
22
23
24

//! Common imports for relation-first programming.

/// Finite binary relation type.
pub use crate::core::BinaryRelation;
/// Deterministic explicit finite carrier distinct from inferred tuple support.
pub use crate::core::FiniteCarrier;
/// 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 exact-support capability for add-on relation surfaces.
pub use crate::traits::ExactSupport;
/// Shared trait for finite relations.
pub use crate::traits::FiniteRelation;
/// Shared read-only view for deterministic exact relation iteration.
pub use crate::traits::RelationView;
/// Shared binary exact-support materialization capability.
pub use crate::traits::ToExactBinaryRelation;
/// Shared n-ary exact-support materialization capability.
pub use crate::traits::ToExactNaryRelation;
/// Shared unary exact-support materialization capability.
pub use crate::traits::ToExactUnaryRelation;