tests/testthat/test-SturmHabicht.R

In resultant: Utilities for Multivariate Polynomials with Rational Coefficients

test_that("SturmHabicht", {
  x <- qlone(1)
  y <- qlone(2)
  p <- x^3*y^4 + x^2*y^2 + 3*y - 6
  sh1 <- SturmHabicht(p, 1)
  sh2 <- SturmHabicht(p, 2)
  expect_length(sh1, 4L)
  expect_length(sh2, 5L)
  expect_true(sh1[[2L]] == -27*y^9 + 2*y^8*x + 54*y^8)
  expect_true(sh2[[3L]] == -8*x^8*y^2 - 36*x^6*y + 96*x^6)
})