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])

这是您期望的结果。