SageMathというのはオープンソースの数式処理システムで、Pythonと周辺のライブラリをうまく拡張して作られていて便利なので、CTFの特にCrypto分野では重宝します。 Half-GCDというのは（特に上の）2つの一変数多項式のGCDを求めるアルゴリズムで、愚直なユ…