made numberFieldExtension type

Macaulay2 · Jun 2, 2024 · 7760e15 · 7760e15
1 parent 30bfc82
commit 7760e15
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/NumberFields/NumberFields.m2 b/NumberFields/NumberFields.m2
@@ -9,7 +9,9 @@ newPackage(
 
 export{
    "NumberField", 
-   "numberField"
+   "numberField",
+   "NumberFieldExtension",
+   "numberFieldExtension"
 };
 
 NumberField = new Type of Ring
@@ -29,6 +31,14 @@ numberField(RingElement) := opts -> f1 -> (
 	new NumberField from (R1/ideal(f1))
 )
 
+NumberFieldExtension = new Type of RingMap
+
+numberFieldExtension = method(Options => {})
+numberFieldExtension(RingMap) := opts -> phi1 -> (
+	new NumberFieldExtension from ph1
+);
+
+
 end
 
 loadPackage ("NumberFields", Reload=>true)