Assumptions

利用可能

Specify assumptions for symbolic computation

形式

Assumptions

検証済みの例Refine[Sqrt[x ^ 2], Assumptions -> x < 0] → -x Integrate[x ^ a, {x, 0, 1}, Assumptions -> a > 0] → (1 + a)^(-1)Limit[x ^ a, x -> Infinity, Assumptions -> a < 0] → Limit[x^a, x -> Infinity, Assumptions -> a < 0]

Qurakで実行リファレンスを検索

トピック

Algebraic Transformations - Simplification Control
Assumptions And Domains - Domains
Function Properties - Options
Series Expansions - General

関連

Assuming GenerateConditions VerifyConvergence Integrate DSolve Refine Limit Booleans Coefficient CoefficientList Complexes ComplexityFunction

全 6300 関数 · MCPクライアントから使う