AlgebraicCircumscriptions 专注于解决代数约束,并提供方便的 Swift 接口。它的目标是实现高效、可靠且模块化的代数计算,可用于矩阵运算、概率和度量理论。ACVector 和 ACMatrix 构成了代数计算的核心,并遵循 Euclidean 协议。