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