pub fn evaluate_aX<P>(
poly_ring: P,
f: &El<P>,
a: &El<<P::Type as RingExtension>::BaseRing>,
) -> El<P>where
P: RingStore,
P::Type: PolyRing,
<<P::Type as RingExtension>::BaseRing as RingStore>::Type: DivisibilityRing + Domain,
Available on crate feature
unstable-enable
only.Expand description
Computes the map
R[X] -> R[X], f(X) -> a^(deg(f) - 1) f(X / a)
that can be used to make polynomials over a domain monic (when setting a = lc(f)
).
ยง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.