pub fn make_primitive<P>(
poly_ring: P,
f: &El<P>,
) -> (El<P>, El<<P::Type as RingExtension>::BaseRing>)where
P: RingStore,
P::Type: PolyRing,
<<P::Type as RingExtension>::BaseRing as RingStore>::Type: PrincipalIdealRing + Domain,
Available on crate feature
unstable-enable
only.Expand description
Given a polynomial f
over a PID, returns (f/cont(f), cont(f))
, where cont(f)
is the content of f
, i.e. the gcd of all coefficients of 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.