>
|
|
>
|
|
Define a ring of polynomials.
>
|
|
| |
Define two polynomials of R.
| (2) |
| (3) |
Compute images of the subresultant chain of sufficiently many points in order to interpolate. Multi-dimensional TFT (Truncated Fourier Transform) is used to evaluate and interpolate since 1 is passed as fifth argument
>
|
|
| (4) |
Interpolate the resultant from the SCube
>
|
|
| (5) |
Define a regular chain with r2. Note that r2 is not required to be square free.
>
|
|
Compute a regular GCD of f1 and f2 modulo rc
>
|
|
| (7) |