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§
sourcefn from_chi<const L: usize>(
chi: &SylowElem<S, L, Self>,
decomp: &SylowDecomp<S, L, Self>
) -> FpNum<P>
fn from_chi<const L: usize>( chi: &SylowElem<S, L, Self>, decomp: &SylowDecomp<S, L, Self> ) -> FpNum<P>
Returns $\chi + \chi^{-1}$.
sourcefn from_chi_conj<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>
Returns $\chi - \chi^{-1}$.