Hamilton's_characteristic_function loading ...