def
Hex.DensePoly.disc
{R : Type u}
[Zero R]
[DecidableEq R]
[One R]
[Add R]
[Sub R]
[Mul R]
[Div R]
[NatCast R]
(f : DensePoly R)
:
R
Standard polynomial discriminant, with value one for zero and constants.
The leading-coefficient gap power promotes the derivative's default-degree
resultant to formal derivative degree n - 1. This matters in positive
characteristic, where the derivative's actual degree can drop.
Equations
- One or more equations did not get rendered due to their size.