>>306

主に高木の初等整数論講義です。
しかし、この本のこのあたりはあまり整理されていない。
２次形式もあまり表だっては使われていない。

２次形式まわりの定義(特に正定値２次形式)については Zagier の
数論入門(岩波) を参考にしました。
しかし、この本はこのあたりの証明はほとんど書いてないので
定義以外はあまり参考にならない。

写像 Φ+ の定義については Zagier と前に言及した Cohen の
A course in computational algebraic number thery
を参考にしました。

しかし、この本にも証明はほとんど書いてないです。