diffable 0.1.2

a differential geometry framework for 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

#![cfg(feature = "testing")]

#[macro_use]
mod common;

use common::*;
use diffable::{
    discrete::{N, Z},
    test_cmonoid, test_ring, test_tangent_bundle,
};
use proptest::prelude::*;

test_cmonoid!(
    cmonoid_n,
    N,
    arb_z().prop_map(|x| N(x.0.abs().try_into().unwrap()))
);
test_tangent_bundle!(
    tangent_bundle_z,
    _,
    Z<_>,
    arb_z(),
    arb_vec::<1>(),
    arb_scalar()
);
test_ring!(ring_z, Z<_>, arb_z());