参见 Wolfram 文档 reference.wolfram.com/language/ref/LatticeReduce.html
从 5 个实数开始
1, ArcTan[1], ArcTan[1/5], ArcTan[1/239], 1 乘以 10^20 并舍入为整数
{100000000000000000000,
78539816339744830962,
19739555984988075837,
418407600207472386,
100000000000000000000} 写出平凡的线性关系
a0 - 100000000000000000000 a4= 0
a1 - 78539816339744830962 a4 = 0
a2 - 19739555984988075837 a4 = 0
a3 - 418407600207472386 a4 = 0 {{1,0,0,0,-100000000000000000000},
{0,1,0,0,-78539816339744830962},
{0,0,1,0,-19739555984988075837},
{0,0,0,1,-418407600207472386}} 执行函数 LatticeReduce 为
{{0,1,-4,1,0},
{-325302,315725,367312,1153518,928458},
{-381213,314234,633857,2221192,-2330529},
{-3210817,4041574,249764,-3042512,306976}} 第1条{0,1,-4,1,0}最优（系数最小）
Pi/4+ArcTan[1/239]-4 ArcTan[1/5] | 
