昼過ぎに起きて、腹ごしらえをして、が、眠いぞ、ということでまた横に成ってしまった。3時半くらいに何とか起きて、床屋へ向かう。相撲は途中からだが見られそうだ。が、床屋に着くと店長が何やら詫びている。4時から6時くらいまで予約でいっぱい、とのこと。む。仕方ないのですごすごと引き上げてきた。途中 DCM でティッシュペーパー(再生紙100%利用)と体温計と、多分水曜日の朝に数回使うだけの計量カップを買って帰宅。
もう4時を過ぎていたので、相撲は途中から。今日の結果次第では優勝が決まる。明日は卒業式で相撲を見られないから、今日中に決まると嬉しいが。まず3敗の琴勝峰が新三役の熱海富士に負けて脱落。結び前に霧島は安青錦と。安青錦は負ければ初の負け越しだから必死。で安青錦が勝って、霧島が優勝するには豊昇龍が琴櫻に負けないと。が何と豊昇龍負けた。八角理事長曰く「情けない負け方」で。結局優勝の可能性のある3人が揃って負けて優勝が決まるという、何か変な決まり方だった。霧島は14場所振り3度目の優勝。先々場所が平幕だったとはいえ、これで3場所連続の二桁勝利。明日勝って13番にすると大関返り咲きは決定的。明日は琴櫻が相手。どうなるでしょうか?安青錦は結びで横綱と。明日勝てば8勝7敗、負ければ7勝8敗の天国と地獄。横綱も意地があるだろうし、どうなるのか。見たいが仕方ない。あ、義ノ富士が負け越して、入門以来初とか。何もかも順調にはいきませんな。義ノ富士の来場所以降の巻き返しに期待。
前に木村巌さんに PARI/GP のコンファレンスか何かで使われたスライドがあるページに沢山置いてあるのを教えてもらって、ダウンロードしていたが、 その内の一つを見て、楕円曲線の Mordell-Weil 群の生成元を求めている。もう3時間以上点を探し続けてる。生成元の height は相当でかいのだな。Zagier の面積157の直角三角形の3辺の件で有名な y2=x3-1572x の生成元はその方法で割とすぐ見付かったがな。終わるまでやらせておこう。あ、Bremner-Cassels の例もあったな。今やってる計算が終わったらやらせてみるか。明日に成っても終わってなかったら明日職場でやろう。因みに Magma Calculator は後者の生成元は数秒で返してくれた。Magma 凄いな。高いだけのことはある。やはり欲しいな。購入を考慮した方がいいかも、という気に成ってる。年度が変わるまで逡巡しよう。