Trait feanor_math::rings::multivariate::MultivariatePolyRingStore

source · 
pub trait MultivariatePolyRingStore: RingStore
where
    Self::Type: MultivariatePolyRing,
{

Show 15 methods    // Provided methods
    fn indeterminate_len(&self) -> usize { ... }
    fn indeterminate(&self, i: usize) -> El<Self> { ... }
    fn monomial(
        &self,
        m: &Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>,
    ) -> El<Self> { ... }
    fn mul_monomial(
        &self,
        el: &mut El<Self>,
        m: &Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>,
    ) { ... }
    fn specialize(&self, f: &El<Self>, var: usize, val: &El<Self>) -> El<Self> { ... }
    fn appearing_variables(&self, f: &El<Self>) -> BTreeMap<usize, u16> { ... }
    fn coefficient_at<'a>(
        &'a self,
        f: &'a El<Self>,
        m: &Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>,
    ) -> &'a El<<Self::Type as RingExtension>::BaseRing> { ... }
    fn terms<'a>(
        &'a self,
        f: &'a El<Self>,
    ) -> <Self::Type as MultivariatePolyRing>::TermsIterator<'a> { ... }
    fn evaluate<R, V, H>(&self, f: &El<Self>, values: V, hom: &H) -> R::Element
       where R: ?Sized + RingBase,
             H: Homomorphism<<<Self::Type as RingExtension>::BaseRing as RingStore>::Type, R>,
             V: VectorView<R::Element> { ... }
    fn into_lifted_hom<P, H>(
        self,
        from: P,
        hom: H,
    ) -> CoefficientHom<P, Self, H>
       where P: MultivariatePolyRingStore,
             P::Type: MultivariatePolyRing,
             H: Homomorphism<<<P::Type as RingExtension>::BaseRing as RingStore>::Type, <<Self::Type as RingExtension>::BaseRing as RingStore>::Type> { ... }
    fn lifted_hom<'a, P, H>(
        &'a self,
        from: P,
        hom: H,
    ) -> CoefficientHom<P, &'a Self, H>
       where P: MultivariatePolyRingStore,
             P::Type: MultivariatePolyRing,
             H: Homomorphism<<<P::Type as RingExtension>::BaseRing as RingStore>::Type, <<Self::Type as RingExtension>::BaseRing as RingStore>::Type> { ... }
    fn from_terms<I>(&self, iter: I) -> El<Self>
       where I: Iterator<Item = (El<<Self::Type as RingExtension>::BaseRing>, Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>)> { ... }
    fn lm<'a, O>(
        &'a self,
        f: &'a El<Self>,
        order: O,
    ) -> Option<&'a Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>>
       where O: MonomialOrder { ... }
    fn lt<'a, O>(
        &'a self,
        f: &'a El<Self>,
        order: O,
    ) -> Option<(&'a El<<Self::Type as RingExtension>::BaseRing>, &'a Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>)>
       where O: MonomialOrder { ... }
    fn clone_monomial(
        &self,
        m: &Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>,
    ) -> Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector> { ... }

}

Provided Methods§

source

fn indeterminate_len(&self) -> usize

See MultivariatePolyRing::indeterminate_len()

source

fn indeterminate(&self, i: usize) -> El<Self>

See MultivariatePolyRing::indeterminate()

source

fn monomial( &self, m: &Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>, ) -> El<Self>

See MultivariatePolyRing::monomial()

source

fn mul_monomial( &self, el: &mut El<Self>, m: &Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>, )

See MultivariatePolyRing::mul_monomial()

source

fn specialize(&self, f: &El<Self>, var: usize, val: &El<Self>) -> El<Self>

See MultivariatePolyRing::specialize()

source

fn appearing_variables(&self, f: &El<Self>) -> BTreeMap<usize, u16>

See MultivariatePolyRing::appearing_variables()

source

fn coefficient_at<'a>( &'a self, f: &'a El<Self>, m: &Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>, ) -> &'a El<<Self::Type as RingExtension>::BaseRing>

source

fn terms<'a>( &'a self, f: &'a El<Self>, ) -> <Self::Type as MultivariatePolyRing>::TermsIterator<'a>

source

fn evaluate<R, V, H>(&self, f: &El<Self>, values: V, hom: &H) -> R::Element
where R: ?Sized + RingBase, H: Homomorphism<<<Self::Type as RingExtension>::BaseRing as RingStore>::Type, R>, V: VectorView<R::Element>,

source

fn into_lifted_hom<P, H>(self, from: P, hom: H) -> CoefficientHom<P, Self, H>
where P: MultivariatePolyRingStore, P::Type: MultivariatePolyRing, H: Homomorphism<<<P::Type as RingExtension>::BaseRing as RingStore>::Type, <<Self::Type as RingExtension>::BaseRing as RingStore>::Type>,

source

fn lifted_hom<'a, P, H>( &'a self, from: P, hom: H, ) -> CoefficientHom<P, &'a Self, H>
where P: MultivariatePolyRingStore, P::Type: MultivariatePolyRing, H: Homomorphism<<<P::Type as RingExtension>::BaseRing as RingStore>::Type, <<Self::Type as RingExtension>::BaseRing as RingStore>::Type>,

source

fn from_terms<I>(&self, iter: I) -> El<Self>
where I: Iterator<Item = (El<<Self::Type as RingExtension>::BaseRing>, Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>)>,

source

fn lm<'a, O>( &'a self, f: &'a El<Self>, order: O, ) -> Option<&'a Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>>
where O: MonomialOrder,

source

fn lt<'a, O>( &'a self, f: &'a El<Self>, order: O, ) -> Option<(&'a El<<Self::Type as RingExtension>::BaseRing>, &'a Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>)>
where O: MonomialOrder,

source

fn clone_monomial( &self, m: &Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>, ) -> Monomial<<Self::Type as MultivariatePolyRing>::MonomialVector>

Object Safety§

This trait is not object safe.

Implementors§