PositiveReals
利用可能
Domain of positive real numbers
PositiveReals
Element[Pi ^ E, PositiveReals]
→ Element[Pi^E, PositiveReals]Simplify[E^Sin[x]∈PositiveReals, x∈ℝ]
→ Element[E^Sin[x], PositiveReals]Reduce[x ^ 5 - 2x + 1 == 0, x, PositiveReals]
→ x == 1 || x == Root[-1 + #1 + #1^2 + #1^3 + #1^4 & , 1, 0] || x == Root[-1 + #1 + #1^2 + #1^3 + #1^4 & , 2, 0] || x == Root[-1 + #1 + #1^2 + #1^3 + #1^4 & , 3, 0] || x == Root[-1 + #1 + #1^2 + #1^3 + #1^4 & , 4, 0] 全 6300 関数 ·
MCPクライアントから使う