Как в maxima вынести выражение за скобки

[scratchboom]

Допустим у меня есть выражение
$a \cdot x+a \cdot y+a \cdot z+b \cdot x+b \cdot y+b \cdot z +2a + 3b$

хотелось бы автоматически вынести множитель $(a+b)$, там где это возможно.
То есть представить выражение в таком виде:
$(a+b)(x+y+z) + 2a + 3b$

Как это можно сделать в maxima?

[nestoklon]

scratchboom в сообщении #466939 писал(а):

Как это можно сделать ...?

Разделить с остатком на $(a+b)$?

[scratchboom]

nestoklon в сообщении #466942 писал(а):

scratchboom в сообщении #466939 писал(а):

Как это можно сделать ...?

Разделить с остатком на $(a+b)$?

Вы хотите сказать, что функцию для преобразования выражения придётся писать самому?
В maxima есть много всяких функций типа rat, combine, expand,expandwrt итд. Хотелось бы использовать их, а не изобретать велосипед.

[Vince Diesel]

Неплохо бы поточнее задачу формулировать, а то ведь можно и так вынести: $(a+b)(x+y+z+2)+b$. A можно еще как-нибудь.

[scratchboom]

Vince Diesel в сообщении #466957 писал(а):

Неплохо бы поточнее задачу формулировать, а то ведь можно и так вынести: $(a+b)(x+y+z+2)+b$. A можно еще как-нибудь.

Да, действительно, я не подумал об этом. Впринципе не так важно, в каком виде будет записано. Главная задача - вынести (a+b)общим множителем, там где можно.

Пользуясь советом пользователя nestoklon, сделал вот такую функцию group, использующую divide(деление многочлена на многочлен с остатком):

group(expr,outexpr):=(outexpr)*divide(expr,outexpr)[1]+divide(expr,outexpr)[2];
group(a*x+a*y+a*z+b*x+b*y+b*z+2*a+3*b,a+b);
(b+a)*(z+y+x+3)-a

Впринципе - это то, что нужно. Если можно сделать как то проще, напишите - буду знать.

[Evgueni]

Спросите describe(factor);

(%i5) factor(a*x+a*y+a*z+b*x+b*y+b*z);
(%o5)                         (b + a) (z + y + x)