--等比级数 geometric progressiongp a q = a : gp (a*q) q--gp a q = map (/x -> a*q^x) [0..]   ap a d = a : ap (a+d) d -- ap a d = [a, a+d..]