Некоторое копание в src/mactex.lisp
дает следующее, которое, похоже, работает. Сначала удалите свойства TEX
и TEX-RBP
(сила привязки справа - имеет отношение к приоритету). Затем удалите функцию, которая использует триггоподобные функции в особых случаях для TEX-MEXPT (обрабатывает экспоненты).
(%i1) :lisp (mapcar #'(lambda (x) (setf (get x 'tex) nil) (setf (get x 'tex-rbp) nil)) *tex-mexpt-trig-like-fns*)
(%i1) :lisp (defun maybe-tex-mexpt-trig-like (&rest a) (declare (ignore a)))
Давайте посмотрим, что Maxima считает списком тригоподобных функций.
Хорошо, давайте go рассмотрим их и посмотрим, какой вывод TeX мы получим.
(%i1) for f in [sin, cos, tan, sinh, cosh, tanh, asin, acos, atan, asinh, acosh, atanh]
do tex(f(x)^2);
$$\sin \left(x\right)^2$$
$$\cos \left(x\right)^2$$
$$\tan \left(x\right)^2$$
$$\sinh \left(x\right)^2$$
$$\cosh \left(x\right)^2$$
$$\tanh \left(x\right)^2$$
$$\arcsin \left(x\right)^2$$
$$\arccos \left(x\right)^2$$
$$\arctan \left(x\right)^2$$
$${\rm asinh}\; \left(x\right)^2$$
$${\rm acosh}\; \left(x\right)^2$$
$${\rm atanh}\; \left(x\right)^2$$
(%o1) done
Я предполагаю, что результат \;
для asinh
et c. немного бородавка. Мы можем исправить и это, если вам это нужно.
Выходной код tex
представляет собой совокупность эвристик, которые работают большую часть времени. Как видите, не всегда очевидно, как получить другой результат.