библиотека работы с матрицами над кольцом

NTL

над кольцом в общем виде? а зачем?

О, спасибо, посмотрю, вроде выглядит похоже на то, что надо.

Я полагаю, речь была всё-таки про поле. Иначе только велосипедить. И нужно помнить, что если кольцо не коммутативное, там два разных ранга будут (по строкам и столбцам).

у меня коммутативное

У меня есть свое хитрое кольцо, многочлены, состоящие из произведений дельта-функций, мне надо считать ранг матрицы.

Черт, я тут подумал, все еще гораздо сложнее, чем показалось вначале.

Полностью задача выглядит как поиск абелевого идеала в алгебре, причем элементы алгебры зависят от непрерывного параметра (x), т.е. на самом деле алгебра бесконечномерная, а коммутаторы генераторов дают дельта-функции. Соответственно, я выписал форму Киллинга, и каждый элемент зависит от координат.