이 번역 페이지는 최신 내용을 담고 있지 않습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
변수나 표현식의 가능한 값 범위를 제한하려면 가정을 사용하십시오. 자세한 내용은 Use Assumptions on Symbolic Variables 항목을 참조하십시오. 조건이 성립하는지 확인하려면 isAlways
를 사용하십시오.
Use Assumptions on Symbolic Variables
Model your problem and get simpler results by using assumptions.
Clear Assumptions and Reset the Symbolic Engine
Remove assumptions and reset the state of the engine.