Minimal_polynomial_(field_theory) loading ...