Trait libbgs::markoff::FromChi

source ·
pub trait FromChi<S, const P: u128>: SylowDecomposable<S> {
    // Required methods
    fn from_chi<const L: usize>(
        chi: &SylowElem<S, L, Self>,
        decomp: &SylowDecomp<S, L, Self>
    ) -> FpNum<P>;
    fn from_chi_conj<const L: usize>(
        chi: &SylowElem<S, L, Self>,
        decomp: &SylowDecomp<S, L, Self>
    ) -> FpNum<P>;
}
Expand description

Common trait for the from_chi and from_chi_conj methods to be defined on both FpNum and QuadNum.

Required Methods§

source

fn from_chi<const L: usize>( chi: &SylowElem<S, L, Self>, decomp: &SylowDecomp<S, L, Self> ) -> FpNum<P>

Returns $\chi + \chi^{-1}$.

source

fn from_chi_conj<const L: usize>( chi: &SylowElem<S, L, Self>, decomp: &SylowDecomp<S, L, Self> ) -> FpNum<P>

Returns $\chi - \chi^{-1}$.

Implementors§

source§

impl<S, const P: u128> FromChi<S, P> for FpNum<P>where FpNum<P>: Factor<S>,

source§

impl<S, const P: u128> FromChi<S, P> for QuadNum<P>where QuadNum<P>: Factor<S>,