deep_causality_algebra 0.2.0

Abstract algebra traits (groups, rings, fields, algebras) and isomorphism markers for deep_causality.
Documentation

DeepCausality Algebra

Crates.io Docs.rs MIT licensed

Summary

Abstract algebra traits for the DeepCausality project. The crate defines the trait tower that the numeric and physics crates build on:

  • Structure traits: Magma, Semigroup, Monoid, Group, Ring, Field, and the algebra-over-a-ring traits.
  • Scalar traits: Real, Scalar, RealField, ComplexField, Normed, NormedScalar, and ConjugateScalar.
  • Marker traits: Associative, Commutative, Distributive, Idempotent, and the semilattice markers.
  • Isomorphism markers: GroupIso, RingIso, FieldIso, AlgebraIso, and DivisionAlgebraIso, plus their witness-typed Tier 2 counterparts.

Blanket implementations cover the real primitives (f32, f64, Float106) through the Float trait from deep_causality_num. The concrete number types implement these traits in their own crates: Complex, Quaternion, and Octonion in deep_causality_num_complex, and Dual in deep_causality_num_dual.

The implementation is macro-free and unsafe-free. Its only dependency is deep_causality_num.

Reference documentation

  • Algebraic Traits — the full trait hierarchy, from Magma to Field, with the laws each trait promises and the types that implement it.
  • Isomorphism Traits — the three-tier iso vocabulary (From-based markers, witness-typed isos, and the HKT bridge in deep_causality_haft).

Dependency

Add the crate to your Cargo.toml:

[dependencies]
deep_causality_algebra = "0.1"

License

This project is licensed under the MIT license.