Suite de Sous-Résultants PRS
Définition
Une suite de restes polynomiaux (PRS) enrichie par des mises à l'échelle de coefficients qui produit des sous-résultants : des polynômes et invariants scalaires associés reflétant les mineurs principaux de matrices de type Sylvester et enregistrant de façon compacte le degré du pgcd et des informations partielles de facteur tout en contrôlant la croissance des coefficients.