Can now always coerce something that was coercible to a base field.

cjdoris · Aug 20, 2018 · 0960922 · 0960922
1 parent cf4f4d2
commit 0960922
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/FldPad.mag b/FldPad.mag
@@ -601,6 +601,12 @@ intrinsic IsCoercible(F :: FldPadExact, X) -> BoolElt, .
       return true, Y @ F`completion_map;
     end if;
   end if;
+  if not IsPrimeField(F) then
+    ok, Y := IsCoercible(BaseField(F), X);
+    if ok then
+      return true, F ! Y;
+    end if;
+  end if;
   return false, "wrong type";
 end intrinsic;