The call ResultantBySpecializationCube(f1, f2, v, SCube, R) returns the resultant of f1 and f2 w.r.t. v. It is computed by interpolating the data in SCube. See the command SubresultantChainSpecializationCube to learn how to build this data-structure.

f1 and f2 must have main variable v and  must hold.

R must have a prime characteristic  such that FFT-based polynomial arithmetic can be used for this computation. The higher the degrees of f1 and f2 are, the larger  must be such that  divides .  If the degree of  f1 or f2 is too large, then an error is raised.