Это Вы о добавлении в систему? Тогда согласен.

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

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

А у меня такое пожелание. Я, конечно, только-только начинаю работать с системой, но уже заметил, что в ней не хватает пределов (lim). Может их как-нибудь туда можно ввести?