generate_canonical : 実装のバグを記載。