7/13 やろうと思ったこと
・リーマン面。楕円関数論の、周期一致なら代数関係、とかは、トーラスの上の関数と思えばわかったりするのだろうか。特に、n倍角や虚数乗法は有限次元の被覆として考えられるのだろうか。
・合成に可換な有理式の族を見つけるプログラム。
・有理式の変換。上の計算を減らすために。累乗x^nとチェビシェフの実質の同等性みたいなやつ。
・可換な有理式の族を芋ずる式に見つける方法。cos(pi/5)はcos2x=cos3xでわかる。そのように、低次の組み合わせで高次についての情報を取り出す。