R/assumptions.R
ask.Rd
Ask for a symbol's property
ask(x, property)
symbol
property, e.g. 'positive'
if (has_sympy()) { x <- symbol("x", positive = TRUE) ask(x, "positive") } #> [1] TRUE