数学
http://www.kurims.kyoto-u.ac.jp/EMIS/journals/JTNB/2004-1/Belabas.pdf Algorithm 5.3 (inversion) の気持ちがわかった。整数基底 {w_i} に対して T := (Tr(w_i w_j))_{ij} とし、B, B' を K 内の格子の基底を列ベクトルを並べたものとして表示したものとする。(列ベクトルは基底の各要素を {w_i} の線形結合として表した時の係数を並べたものとする。) このとき、B' が B の trace dual であることと {}^t B' T B = E であることは同値。この事実を認めればこのアルゴリズムはほとんど明らか。(有理数演算を避けるなどの注意点はあるが。)
