RingToFinitelyFreeModuleSignature

algebraeon_rings::module::finitely_free_module

Trait RingToFinitelyFreeModuleSignature 

Source 
pub trait RingToFinitelyFreeModuleSignature: RingSignature {
    // Provided methods
    fn free_module(&self, n: usize) -> FinitelyFreeModuleStructure<Self, &Self> { ... }
    fn into_free_module(
        self,
        n: usize,
    ) -> FinitelyFreeModuleStructure<Self, Self> { ... }
}

Provided Methods§

Source

fn free_module(&self, n: usize) -> FinitelyFreeModuleStructure<Self, &Self>

Source

fn into_free_module(self, n: usize) -> FinitelyFreeModuleStructure<Self, Self>

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§