pub struct ToExtRingMap<'a, R>where
R: ?Sized + InterpolationBaseRing,{ /* private fields */ }Expand description
The inclusion map R -> S for a ring R and one of its extensions S
as given by InterpolationBaseRing.
§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.
Implementations§
Source§impl<'a, R> ToExtRingMap<'a, R>where
R: ?Sized + InterpolationBaseRing,
impl<'a, R> ToExtRingMap<'a, R>where
R: ?Sized + InterpolationBaseRing,
Sourcepub fn for_interpolation(
ring: &'a R,
point_count: usize,
) -> (Self, Vec<El<R::ExtendedRing<'a>>>)
pub fn for_interpolation( ring: &'a R, point_count: usize, ) -> (Self, Vec<El<R::ExtendedRing<'a>>>)
§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.
Sourcepub fn as_base_ring_el(&self, el: El<R::ExtendedRing<'a>>) -> R::Element
pub fn as_base_ring_el(&self, el: El<R::ExtendedRing<'a>>) -> R::Element
§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.
Trait Implementations§
Source§impl<'a, R> Homomorphism<R, <R as InterpolationBaseRing>::ExtendedRingBase<'a>> for ToExtRingMap<'a, R>where
R: ?Sized + InterpolationBaseRing,
impl<'a, R> Homomorphism<R, <R as InterpolationBaseRing>::ExtendedRingBase<'a>> for ToExtRingMap<'a, R>where
R: ?Sized + InterpolationBaseRing,
type CodomainStore = <R as InterpolationBaseRing>::ExtendedRing<'a>
type DomainStore = RingRef<'a, R>
fn codomain<'b>(&'b self) -> &'b Self::CodomainStore
fn domain<'b>(&'b self) -> &'b Self::DomainStore
fn map( &self, x: <R as RingBase>::Element, ) -> <R::ExtendedRingBase<'a> as RingBase>::Element
fn map_ref(&self, x: &Domain::Element) -> Codomain::Element
fn mul_assign_map(&self, lhs: &mut Codomain::Element, rhs: Domain::Element)
fn mul_assign_ref_map(&self, lhs: &mut Codomain::Element, rhs: &Domain::Element)
fn mul_map( &self, lhs: Codomain::Element, rhs: Domain::Element, ) -> Codomain::Element
fn mul_ref_fst_map( &self, lhs: &Codomain::Element, rhs: Domain::Element, ) -> Codomain::Element
fn mul_ref_snd_map( &self, lhs: Codomain::Element, rhs: &Domain::Element, ) -> Codomain::Element
fn mul_ref_map( &self, lhs: &Codomain::Element, rhs: &Domain::Element, ) -> Codomain::Element
fn compose<F, PrevDomain: ?Sized + RingBase>(
self,
prev: F,
) -> ComposedHom<PrevDomain, Domain, Codomain, F, Self>where
Self: Sized,
F: Homomorphism<PrevDomain, Domain>,
Auto Trait Implementations§
impl<'a, R> Freeze for ToExtRingMap<'a, R>
impl<'a, R> RefUnwindSafe for ToExtRingMap<'a, R>
impl<'a, R> Send for ToExtRingMap<'a, R>
impl<'a, R> Sync for ToExtRingMap<'a, R>
impl<'a, R> Unpin for ToExtRingMap<'a, R>
impl<'a, R> UnwindSafe for ToExtRingMap<'a, R>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more