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