Nothing
#' @title Resultant of two polynomials
#' @description Resultant of two polynomials with rational coefficients.
#'
#' @param qspray1,qspray2 two \code{qspray} polynomials with at most nine
#' variables
#' @param var integer indicating with respect to which variable the resultant
#' is desired (e.g. \code{1} for \code{x} and \code{2} for \code{y})
#'
#' @return If both \code{qspray1} and \code{qspray2} are univariate polynomials,
#' the function returns a \code{bigq} rational number.
#' Otherwise, it returns a \code{qspray} polynomial that does not involve
#' the \code{var}-th variable.
#' @export
#' @importFrom qspray qsprayMaker numberOfVariables permuteVariables swapVariables showQsprayXYZ showQsprayX1X2X3 showQsprayOption<-
#' @importFrom gmp as.bigq
#'
#' @examples
#' library(resultant)
#' x <- qlone(1)
#' y <- qlone(2)
#' f <- x^4 - x^3 + x^2 - 2*x*y^2 + y^4
#' g <- x - 2*y^2
#' resultant(f, g, var = 1)
#' resultant(f, g, var = 2)
resultant <- function(qspray1, qspray2, var = 1) {
n1 <- numberOfVariables(qspray1)
n2 <- numberOfVariables(qspray2)
n <- max(1L, n1, n2)
if(n >= 10L) {
stop(
"Only polynomials with at most nine variables are allowed."
)
}
stopifnot(isPositiveInteger(var))
if(var > n) {
stop("Too large value of `var`.")
}
coeffs1 <- qspray1@coeffs
coeffs2 <- qspray2@coeffs
pows1 <- vapply(qspray1@powers, function(pwrs) {
out <- integer(n)
out[seq_along(pwrs)] <- pwrs
out
}, integer(n))
pows2 <- vapply(qspray2@powers, function(pwrs) {
out <- integer(n)
out[seq_along(pwrs)] <- pwrs
out
}, integer(n))
if(n == 1L) {
as.bigq(resultantCPP1(
pows1, coeffs1,
pows2, coeffs2
))
} else if(n == 2L){
coeffs <- resultantCPP2(
pows1, coeffs1,
pows2, coeffs2,
var == 1L
)
d <- length(coeffs) - 1L
qspray <- qsprayMaker(powers = as.list(0L:d), coeffs = coeffs)
if(var == 1L) {
swapVariables(qspray, 1L, 2L)
} else {
qspray
}
} else {
permutation <- makePermutation(n, var)
ipermutation <- inversePermutation(permutation) - 1L
if(n == 3L) {
R <- resultantCPP3(
pows1, coeffs1,
pows2, coeffs2,
ipermutation
)
} else if(n == 4L) {
R <- resultantCPP4(
pows1, coeffs1,
pows2, coeffs2,
ipermutation
)
} else if(n == 5L) {
R <- resultantCPP5(
pows1, coeffs1,
pows2, coeffs2,
ipermutation
)
} else if(n == 6L) {
R <- resultantCPP6(
pows1, coeffs1,
pows2, coeffs2,
ipermutation
)
} else if(n == 7L) {
R <- resultantCPP7(
pows1, coeffs1,
pows2, coeffs2,
ipermutation
)
} else if(n == 8L) {
R <- resultantCPP8(
pows1, coeffs1,
pows2, coeffs2,
ipermutation
)
} else if(n == 9L) {
R <- resultantCPP9(
pows1, coeffs1,
pows2, coeffs2,
ipermutation
)
}
if(n <= 3L) {
showFunc <- showQsprayXYZ()
} else {
showFunc <- showQsprayX1X2X3()
}
qspray <- qsprayMaker(
powers = Columns(R[["Powers"]]),
coeffs = R[["Coeffs"]]
)
qspray <- permuteVariables(qspray, permutation)
showQsprayOption(qspray, "showQspray") <- showFunc
qspray
}
}
Any scripts or data that you put into this service are public.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.