[][src]Crate diffgeom

diffgeom is a crate aiming to leverage the Rust type system to provide a type-safe API for tensor calculus on arbitrary manifolds.

What is tensor calculus?

Tensors are, in a way, a generalized idea similar to vectors and matrices. They are multidimensional arrays of numbers, but not all such arrays are tensors. What makes them tensors is how they behave in coordinate transformations. The details are a topic for a whole academic lecture, so I won't go into them. What's important is that tensors can be used for describing properties of curved spaces and it is the intended use case of this crate.


Unfortunately, Rust currently doesn't support generics over static values, so another representation of type-level numbers is required. In this crate one provided by typenum is being used. This makes it necessary to use a lot of trait bounds, which break the compiler in a few ways, so some operations require the usage of a pretty cumbersome syntax.


Below you can see a code sample presenting some simple operations.

use std::ops::Mul;
use generic_array::{GenericArray, ArrayLength};
use diffgeom::coordinates::{CoordinateSystem, Point};
use diffgeom::tensors::{Vector, Covector, Matrix, InnerProduct};
use generic_array::arr;
use generic_array::typenum::consts::{U0, U1, U2};

fn main() {
    // First, a coordinate system must be defined
    struct SomeSystem;
    impl CoordinateSystem for SomeSystem {
        type Dimension = U2;    // a two-dimensional coordinate system

    // Each tensor should be anchored at a point, so let's create one
    let point = Point::<SomeSystem>::new(arr![f64; 0.0, 0.0]);

    // A vector can be defined like that:
    let vector = Vector::<SomeSystem>::new(point, arr![f64; 1.0, 2.0]);

    // There are also covectors
    let covector = Covector::<SomeSystem>::new(point, arr![f64; 2.0, 0.5]);

    // They can be multiplied, yielding a matrix
    let matrix = <Vector<SomeSystem> as Mul<Covector<SomeSystem>>>::mul(vector, covector);
    // Unfortunately this causes infinite recursion in the compiler:
    // let matrix = vector * covector;

    // They can be contracted
    let scalar = <Vector<SomeSystem> as InnerProduct<Covector<SomeSystem>, U0, U1>>
        ::inner_product(vector, covector);

    // scalars returned by tensor functions need to be dereffed to f64
    assert_eq!(*scalar, *matrix.trace::<U0, U1>());


pub extern crate generic_array;
pub use generic_array::typenum;



Module containing basic types representing coordinate systems.


Module containing definitions of tensors and operations on them.