alice-math 0.1.0

A topology and algebra library from first principles
Documentation 
1
2
3
4
5
6
7
8
9
10

// modules + vector spaces 

use crate::core::ops::AbelianGroup;
use crate::core::ring::{Field, Ring};

pub trait Module<R: Ring>: AbelianGroup {
    fn scale(&self, r: &R) -> Self;
}

pub trait VectorSpace<F: Field>: Module<F> {}