2017-10-24 4 views

답변

0

는, (아직 다른 경우에 테스트하지) :

assume(x>0)$ 
sublist(
    solve(x^2=3,x), 
    lambda(
     [point], 
     facts: subst(point, facts(initial)), 
     every(lambda([fact], is(fact)), facts) 
    ) 
); 
+1

예, solve'이 솔루션에 가정을 적용하지 않는다 '때문에 이런 종류의 무언가가 필요하다; 이것은'solve'의 또 다른 한계입니다. –

관련 문제