LINUX.ORG.RU

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


0

0

Добрый день!

Никто не знает о существовании алгебраических вычислительных систем,
где с помощью ООП были бы смоделированы все основные алгебраические
структуры? (вроде: множество -> манойд -> полугруппа -> группа ->
кольцо -> модуль -> поле -> векторное пространство; по принципу
наследования)


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

http://www.ginac.de

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

Die-Hard ★★★★★
()

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

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

dilmah ★★★★★
()

Есть такая штука как 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/

AiLr ★★
()
Ответ на: комментарий от AiLr

2AiLr:

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

Die-Hard ★★★★★
()

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

BottleHunter
()
Ответ на: комментарий от BottleHunter

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

dilmah ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.