Коммутаторная ширина элементов свободной метабелевой алгебры Ли

Пусть $M(A)$ – свободная метабелева алгебра Ли с конечным множеством порождающих $A$ над алгебраически замкнутым полем $F$ характеристики 0, в котором алгоритмически решается вопрос о существовании решения систем линейных уравнений, а $M'(A)$ – производная этой алгебры. Приводится алгоритм для нахождения ширины элементов из $M'(A)$.