Maxima 中的 Solve() 和 Assume()

Question

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

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

预期结果：

[t=%pi]

我得到的：

[t=0]

Answer 1

可以使用 to_poly_solve 包；见 docs.

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

产生

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

这是你期望的结果。