私は私が解決しようとしている以下のシステム持っている最大値

Question

内の変数に与えられた制約を持つシステムを解く：

assume(x>0); 
solve([x^2 = 3], x); 

を、私は答えは[x=sqrt(3)]だろうと予想、しかし最大値でも負のソリューションを提供します[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) 
    ) 
);