>
|
|
>
|
|
Define a ring of polynomials.
>
|
|
| |
Define random dense polynomial and regular chain of R.
>
|
|
| |
| (2) |
Compute the (numerator) of the iterated resultant
>
|
|
| (3) |
Compare with the generic algorithm (non-fast and non-modular algorithm) of the command IteratedResultant.
>
|
|
| (4) |
Check that the two results are equal, since here all initials are equal to 1.