We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9e60083 commit af84e4dCopy full SHA for af84e4d
1 file changed
experimental/GaloisGrp/src/Subfields.jl
@@ -5,6 +5,10 @@ using Oscar.GaloisGrp
5
import Oscar.GaloisGrp: POSet, POSetElem, GaloisCtx, find_prime,
6
primitive_by_shape, bound_to_precision
7
8
+if isdefined(Oscar, :subfield)
9
+ import Oscar: subfield
10
+end
11
+
12
13
function embedding_hom(k, K)
14
return MapFromFunc(k, K, K)
0 commit comments