# NOT RUN {
if (has_4ti2()) {
# x + y > 0
# x + y < 0
mat <- rbind(
c( 1, 1),
c( 1, 1)
)
rel <- c(">", "<")
sign <- c(0, 0)
qsolve(mat, rel, sign, p = "arb")
qsolve(mat, rel, sign, p = "arb", quiet = FALSE)
qsolve(mat, rel, sign, p = "arb", shell = TRUE)
}
# }
Run the code above in your browser using DataLab