水
装好 Sage Math 了, 望周知.
More CG to come.
也许过两天会写 Factorization homo?
不知道.