Initial resultant recurrence for order-seven branch zero #
This file checks the first primitive pseudo-remainder recurrence over the bivariate polynomial ring. The internal coefficient identities are exact ring certificates for the thirty-four outer coefficients.