R-linear invariant

R-linear invariant

给定一组实数向量的集合S，S的affine hull定义为：

这在形式上就具有R-linear invariant的形式。Affine hull的意义是包含这些向量的最小仿射集。因此，如果一个整数系统的可达集合是O，O的affine hull就是这个系统的strongest R-linear invariant。

计算affine hull的方法是Karr’s algorithm