1）

barvinok是一個用于計算整數點數的庫
在參數和非參數多面體以及投影中
這樣的集合。
對于參數多面體，計數由以下任一表示
顯式函數或生成函數。
第一種是分段階躍多項式的形式。
這是Ehrhart擬多項式的推廣
以及向量分割函數。
第二個是Ehrhart級數的推廣。

The library includes?isl?and?PolyLib?and uses?NTL.

這玩意 不知道 是干嘛的？

2）isl是一個用于操縱由線性約束約束約束的整數點的集合和關系的庫。支持的集合操作包括交集、并集、集差、空校驗、凸包、（整數）仿射包、整數投影，以及使用參數整數規劃計算字典最小值。它還包括一個基于廣義基約化的ILP求解器。isl是在MIT許可下發布的。

https://repo.or.cz/w/isl.git

這個知道，但是今天下載不了

isl是一個用于操縱由線性約束約束約束的整數點的集合和關系的庫。支持的集合操作包括交集、并集、集差、空校驗、凸包、（整數）仿射包、整數投影、使用參數整數規劃計算字典最小值、合并和參數頂點枚舉。它還包括一個基于廣義基約簡的ILP求解器、映射上的傳遞閉包（可以編碼無限圖）、依賴性分析和分段步長多項式的邊界。有關更多信息，請參閱在線用戶手冊（html）或完整手冊（pdf）。有關基本概念的介紹，請參閱Presburger公式和多面體編譯。barvinok包包含一個iscc計算器，它公開了isl支持的一些操作。

3）下面這個是對的

for (i = 0; i < 3; ++i)
? ? for (j = 0; j < 3; ++j)
? ? ? ? A[i][j] = i * j;

這個是對的，后面就不知道啥意思了