Python-сообщество

а есть ли модуль, который может работать с буквенными переменными. Чтобы уравнения типа b*a*2*c*2*d*6*c ровнялось 24*(c**2)*a*b*d (я мог чтото перепутать в решение)) и ** - этож степень вроде,?..)) . Или чегото по сложнее типа вынесения множителей 2*b+2*c=2*(c+b) или b*c+c*2= c(b+2) … никто такого не делала или не видел,? или чего то подобного,?… если нету, то посоветуйте, с какой стороны подойти, чтоб реализовать,? ато совершенно не знаю с какой стороны подойти..

http://code.google.com/p/sympy/

супер - пасибо