If I restrict a variable x to x>0 via $Assumptions=x>0, is there a way I can get Mathematica to tell me that x>0? I would have guessed typing Attributes[x] would say something, but it gives {}.
$\begingroup$
$\endgroup$
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
1
I don't yet have the reputation for commenting, but perhaps this suffices as an answer as well: why not just evaluate $Assumptions to get a list of active global assumptions about variables?
$Assumtions=x>0
$Assumptions
(*x>0*)
-
1$\begingroup$ (+1) in case
#Assumptionsis a long list involving other variables, you can filter usingCases[_[___, x, ___]]@$AssumptionsorSelect[Not@*FreeQ[x]]@$Assumptions$\endgroup$– kglrFeb 18, 2021 at 5:19