新しいPairingに取り掛かろうかと思ったが
その前にWeilPairingを完成させようと途中までやりかけてた、
拡大体の割り算を定義した。
拡張ユークリッドが使えない分数式から定義する必要があって、
項数の多い式で組むのがめんどかったんだけど、何とか終わらせた。
そしたら、案の定Weilできねぇでやんの。
EtaTもできないし、ここまでやって動いてるのがTateだけ…
ひどいな。
で、気分を取り直して新しく組むことになった
超楕円PairingでのDivisor被約因子演算をするクラスを作った。
あとは、まだアルゴリズムがわからんので明日話を聞いてみよう。
