Simp123

算法流程paper在此：https://eprint.iacr.org/2015/612.pdfx ⋘\lll⋘ c denotes the cyclic shift of x to the left by c bits.x & y is the bitwise AND of x and y.x⊕yx \oplus yx⊕y is the exclusive-or (XOR) of x and y.github代码在此：https://github.com/bozhu/Simeck

新建一个a.sage。以下的代码就生成了Points的凸包不等式。Points = [[0,2],[1,-32],[0,20],[23,233]]poly = Polyhedron ( vertices = Points)for l in poly.inequality_generator(): print(l)保存，终端运行：sage a.sgae > temp_res.txt输出的格式我们不是很满意，想转化成元组的格式vim trans2tuple.pyw