一年前,我既编写了我的 C++ 部分,又研究了一些初学者群体理论,我对此感到好奇......
是否有任何特别流行的基于模板(面向对象)的设计模式来系统地编程与群论相关的任何类型的东西?
一年前,我既编写了我的 C++ 部分,又研究了一些初学者群体理论,我对此感到好奇......
是否有任何特别流行的基于模板(面向对象)的设计模式来系统地编程与群论相关的任何类型的东西?
Stepanov 和 Rose 的《从数学到泛型编程》一书的第 6 章和第 7 章准确地处理了您提出的问题。第一作者是C++标准模板库的设计者。
Stepanov 处理抽象代数(包括群)的较早替代方法是 Barton 和 Nackman 的“科学与工程 C++”中给出的替代方法。
在更现代的 c++ 中,boost 概念检查库似乎是模块化代数类型(半群、幺半群、群等)层次结构的一种非常自然的方法。