Nemo.jl icon indicating copy to clipboard operation
Nemo.jl copied to clipboard

Generate random polys whose prs is not normal

Open wbhart opened this issue 6 years ago • 0 comments

Given polynomials f and g, their polynomial remainder sequence is said to be normal if all the differences of degree are 1. For polynomials f and g whose prs is not normal, different paths are hit in the resultant and gcd algorithms. However, hitting such polynomials randomly is very hard. We should add a rand_nonnormal which constructs a pair of such polynomials (by reversing the prs algorithm). This should then be used to test all the gcd and resultant functionality.

wbhart avatar Nov 24 '17 12:11 wbhart