Maxima missing очевидные упрощения

Question

Я разрабатываю некоторые уравнения для перехода на встроенный контроллер и, таким образом, пытаюсь свести их к самым простым (наименьшим терминам) возможным. К сожалению, то, что wxmaxima выплевывает, составляет почти половину страницы, для каждого из 5 уравнений, которые мне нужны. Меня раздражает то, что их очевидные упрощения, которые я не могу заставить wxmaxima выполнять. Например:

-8*m5*sin(Te)*Te'^2*L1^2-8*m4*sin(Te)*Te'^2*L1^2 

может быть уменьшен до:

-8*sin(Te)*L1^2*Te'^2*(m4+m5) 

Опять же, это одна небольшой части длинного выражения, заполненного подобными потенциальных упрощения. Все переменные являются вещественными константами, за исключением терминов Te, Ts и Tw, которые включают Te ', Te "и т. Д. ..., которые являются реальными переменными. Я пробовал фактор (не работает, если применяется к целому выражению) radcan , ratsimp, fullratsimp, комбинировать collectterms, но ничего не похоже на работу Одним из выражений ниже, вам необходимо следующее декларирует, чтобы апостроф и двойные кавычки, которые будут использоваться в качестве части переменной:.

declare("w'", alphabetic)$ 
declare("e'", alphabetic)$ 
declare("s'", alphabetic)$ 
declare("w\"", alphabetic)$ 
declare("e\"", alphabetic)$ 
declare("s\"", alphabetic)$ 

вот один из полных выражений:

(2*m5*Ts"*L2^2-m5*Te"*L2^2+8*m5*cos(Te/2)*Te'*Ts'*L1*L2+16*m5*sin(Te/2)*Ts"*L1*L2-4*m5*cos(Te/2)*Te'^2*L1*L2-8*m5*sin(Te/2)*Te"*L1*L2-2*m5*pcx5*sin(Tw)*Tw'^2* 
L2-4*m5*pcx5*Ts'*sin(Tw)*Tw'*L2+2*m5*pcx5*Te'*sin(Tw)*Tw'*L2+2*m5*pcx5*cos(Tw)*Tw"*L2+4*m5*pcx5*Ts"*cos(Tw)*L2-2*m5*pcx5*Te"*cos(Tw)*L2+16*m5*sin(Te)*Te' 
*Ts'*L1^2+16*m4*sin(Te)*Te'*Ts'*L1^2+8*m3*sin(Te)*Te'*Ts'*L1^2-16*m5*cos(Te)*Ts"*L1^2-16*m4*cos(Te)*Ts"*L1^2-8*m3*cos(Te)*Ts"*L1^2+16*m5*Ts"*L1^2+16*m4*Ts"*L1^2+ 
10*m3*Ts"*L1^2+2*m2*Ts"*L1^2-8*m5*sin(Te)*Te'^2*L1^2-8*m4*sin(Te)*Te'^2*L1^2-4*m3*sin(Te)*Te'^2*L1^2+8*m5*cos(Te)*Te"*L1^2+8*m4*cos(Te)*Te"*L1^2+4*m3*cos(Te)*Te"* 
L1^2-8*m5*Te"*L1^2-8*m4*Te"*L1^2-8*m3*Te"*L1^2+4*m5*pcx5*cos((2*Tw+Te)/2)*Tw'^2*L1-4*m5*pcx5*cos((2*Tw-Te)/2)*Tw'^2*L1+8*m5*pcx5*Ts'*cos((2*Tw+Te)/2)*Tw'*L1-4*m5*pcx5*Te'* 
cos((2*Tw+Te)/2)*Tw'*L1-8*m5*pcx5*Ts'*cos((2*Tw-Te)/2)*Tw'*L1+4*m5*pcx5*Te'*cos((2*Tw-Te)/2)*Tw'*L1+4*m5*pcx5*sin((2*Tw+Te)/2)*Tw"*L1-4*m5*pcx5*sin((2*Tw-Te)/2)*Tw"*L1+8*m5* 
pcx5*Ts"*sin((2*Tw+Te)/2)*L1-6*m5*pcx5*Te"*sin((2*Tw+Te)/2)*L1+4*m5*pcx5*Te'*Ts'*cos((2*Tw+Te)/2)*L1-3*m5*pcx5*Te'^2*cos((2*Tw+Te)/2)*L1-8*m5*pcx5*Ts"*sin((2*Tw-Te)/2)*L1+2*m5* 
pcx5*Te"*sin((2*Tw-Te)/2)*L1+4*m5*pcx5*Te'*Ts'*cos((2*Tw-Te)/2)*L1-m5*pcx5*Te'^2*cos((2*Tw-Te)/2)*L1+8*m3*pcx3*sin(Te)*Te'*Ts'*L1+4*m2*pcx2*sin(Te)*Te'*Ts'*L1+8*m4* 
pcx4*cos(Te/2)*Te'*Ts'*L1-8*m3*pcx3*cos(Te)*Ts"*L1-4*m2*pcx2*cos(Te)*Ts"*L1+16*m4*pcx4*sin(Te/2)*Ts"*L1+4*m3*pcx3*Ts"*L1-4*m3*pcx3*sin(Te)*Te'^2*L1-2*m2*pcx2* 
sin(Te)*Te'^2*L1-4*m4*pcx4*cos(Te/2)*Te'^2*L1+4*m3*pcx3*cos(Te)*Te"*L1+2*m2*pcx2*cos(Te)*Te"*L1-8*m4*pcx4*sin(Te/2)*Te"*L1+2*m5*pcx5^2*Tw"+2*Izz5*Tw"+2*m1* 
pcy1^2*Ts"+2*m5*pcx5^2*Ts"+2*m4*pcx4^2*Ts"+2*m3*pcx3^2*Ts"+2*m2*pcx2^2*Ts"+2*m1*pcx1^2*Ts"+2*Izz5*Ts"+2*Izz4*Ts"+2*Izz3*Ts"+2*Izz2*Ts"+2*Izz1*Ts"- 
(m5*pcx5^2+m4*pcx4^2+2*(m2*pcx2^2+Izz2)+Izz5+Izz4)*Te")/(2) 

Answer 1

Вы можете попробовать

load (scifac); 
declare("`", alphabetic); 
expr: (-8*m5*sin(Te)*Te`^2*L1^2-8*m4*sin(Te)*Te`^2*L1^2); 
gcfac(expr); 
               2 2 
(%o2)     - 8 (m5 + m4) sin(Te) Te` L1 

Я использую `(backtick) не '(апостроф).

Может быть, optimize может пригодиться.

Answer 2

Я не знаю, является ли мой метод является стандартным, но всякий раз, когда я делаю вычисления в максимумах я использовать команду

ratsimp(); 

так в вашем примере я сделал бы

load(scifac)$ 
declare("`", alphabetic)$ 
ratsimp(-8*m5*sin(Te)*Te'^2*L1^2-8*m4*sin(Te)*Te'^2*L1^2); 

это формирует выходной сигнал

(-8*m5-8*m4)*sin(Te)*Te`^2*L1^2 

я использовал обратные одиночные кавычки, а, но только потому, что я считаю 'является г eserved; и после объявления обратного хода мне не пришлось объявлять все переменные.