Решить () и предположить () в максимумах

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

, что является ожидаемым результатом.