Алгебраическая система, на мой взгляд, логически не подходит для совмещения матриц. Она должна применяться для совмещения выражений, содержащих утверждения со знаком присвоения, т.е. пересечение областей решений.
В принципе, можно было бы совместить оба наших подхода, они ведь не исключают друг друга. Вообще же, по-моему, можно было бы написать специальный драйвер типа HPGL, который был бы встроен в компонент. Подумать, как представить матрицы с данными, чтобы удовлетворять языку драйвера, хотя бы примитивным его командам. Далее написать библиотеку элементарных функций на основе матричного подхода для работы с графическими примитивами.

Кое-что такое Андрей мне уже показал, правда этот инструмент предназначен немного для другого. Вот выйдет новая версия, там можно будет поглядеть и поговорить на этот счёт более подробно.