Алгебраические структуры + ООП

Про чисто алгебру не в курсе, но вокруг кое-что есть. Посмотри (немного не то, но, может чего найдешь полезного или ссылки):

http://www.ginac.de

http://www.shoup.net/ntl/

[off] когда прочел тему совсем о другом подумалось.. У меня есть одно из занятий -- на досуге продумывать как мне обустроить собственный язык программирования. И его нужно строить на базовых алгбраических и теорвероятностных конструкциях.

Например -- наследование это тот же гомоморфизм. Или идея взятия фактора -- она должна найти отражение в языке. [/off]

Есть такая штука как Axiom, описание которой начинаеца так: Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. The Axiom Language provides a very high level way to express abstract mathematical concepts that are collected in the Axiom Library which defines over 1,000 strongly-typed mathematical domains and categories. Хотя сам я с ней не работал.

Может будет полезно...

См. http://www.axiom-developer.org/

2AiLr:

Axiom это CAS (Comp. Algebra System), коих немерянно (Mathematica, Reduce, Maxima, etc.). И язык не ООП (хотя некое сродство имеется).

Вообще забавно. Однако я не догнал зачем оно надо? Наследование оправдано когда есть полиморфизм. Типа есть потребность в полиморфизме для этих мат объектов ? Или просто наращивание структуры и функциональности этих объектов через наследование ? Аффтар, расскжи!

объекты это категории, а наследование это функторы:)