maxima - Maxima 中的 Solve() 和 Assume()

Question

我试图解决一个假设自变量为正值的三角函数。然而，Maxima 似乎没有考虑到求解例程的这种假设。

assume(t >0);
solve(sin(t) = 0);

预期结果：

[t=%pi]

我得到什么：

[t=0]

Answer 1

一个可以使用to_poly_solve包；请参阅文档。

load(to_poly_solve);
to_poly_solve(sin(t), t);

产生

%union([t = %pi %z0])

这是您期望的结果。