은 내가 노력하고있어 다음과 같은 시스템이 해결해야 할 최대

Question

의 변수에 주어진 제약 조건과 시스템을 해결 [x=-sqrt(3),x=sqrt(3)]. 여기서 x의 도메인이 모두 양의 실수가되도록 지정할 수 있습니까?

이 나를 위해 작동하는 것 같다

Answer 1

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

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