Struct MilnorProfile 

pub struct MilnorProfile {
    pub truncated: bool,
    pub q_part: u32,
    pub p_part: PPart,
}

Fields

truncated: bool

If true, unspecified p_part entries will be 0. Otherwise they will be infinity.

q_part: u32

A bitmask indicating which of the Q_k we want to include (1 = include). Defaults to !0. This is only relevant at odd primes.

p_part: PPart

The profile function for the Q part.

Implementations

impl MilnorProfile

pub fn is_trivial(&self) -> bool

pub fn get_p_part(&self, i: usize) -> PPartEntry

pub fn is_valid(&self) -> bool

Checks whether the profile function is valid

pub fn is_an(&self, generic: bool) -> bool

Whether the profile is that of A(n). This is relevant since A(n) is generated by P(p^n) and β but a general subalgebra is not.

Trait Implementations

impl Debug for MilnorProfile

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MilnorProfile

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MilnorProfile

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for MilnorProfile

fn eq(&self, other: &MilnorProfile) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for MilnorProfile

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for MilnorProfile

impl StructuralPartialEq for MilnorProfile