diffable 0.5.1

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

#![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());
test_ring!(ring_z, Z<_>, arb_z());