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

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

какой результат вы ожидаете.