feanor_math::local

Trait PrincipalLocalRingStore

Source 
pub trait PrincipalLocalRingStore: EuclideanRingStore
where
    Self::Type: PrincipalLocalRing,
{
    // Provided methods
    fn max_ideal_gen(&self) -> &El<Self> { ... }
    fn valuation(&self, x: &El<Self>) -> Option<usize> { ... }
    fn nilpotent_power(&self) -> Option<usize> { ... }
}
Expand description

RingStore for PrincipalLocalRing

§Availability

This API is marked as unstable and is only available when the unstable-enable crate feature is enabled. This comes with no stability guarantees, and could be changed or removed at any time.

Provided Methods§

Source

fn max_ideal_gen(&self) -> &El<Self>

See PrincipalLocalRing::max_ideal_gen()

Source

fn valuation(&self, x: &El<Self>) -> Option<usize>

See PrincipalLocalRing::valuation()

Source

fn nilpotent_power(&self) -> Option<usize>

See PrincipalLocalRing::nilpotent_power()

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§