file for demo

Macaulay2 · Jun 5, 2024 · b8644d8 · b8644d8
1 parent 8e57922
commit b8644d8
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/demo.m2 b/demo.m2
@@ -0,0 +1,22 @@
+loadPackage "Divisor"
+loadPackage "RuledSurfaces"
+
+P1 = Proj QQ[x,y]
+E = OO_P1^2
+PE = projectiveBundle E
+peek PE
+X11 = imageOfLinearSeries(PE,OO_P1(1),1)
+ideal X11
+X22 = imageOfLinearSeries(PE,OO_P1(2),2)
+(dim X22, dim ambient X22, degree X22)
+
+S = (ZZ/101)[x,y,z]
+C = Proj quotient ideal(x^3+y^3+z^3)
+E = OO_C^1++OO_C(1)
+PE = projectiveBundle E
+
+imageOfLinearSeries(PE,OO_C(0),1)
+imageOfLinearSeries(PE,OO_C(1),1)
+minimalEmbedding PE
+
+