求解对最大值中的变量具有给定约束的系统

Question

我有以下系统正在尝试解决：

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

我预计答案会是[x=sqrt(3)]，但 maxima 也给出了否定解[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)
    )
);