From 3f71c4bc3809646226ee91df33a751dc1743c2c3 Mon Sep 17 00:00:00 2001
From: Griffin Edwards <griffinedwards@gatech.edu>
Date: Wed, 5 Jun 2024 12:04:40 -0400
Subject: [PATCH] Fixed small indexing bug in demo

---
 demo.m2 | 57 +++------------------------------------------------------
 1 file changed, 3 insertions(+), 54 deletions(-)

diff --git a/demo.m2 b/demo.m2
index 67a6e12..321775a 100644
--- a/demo.m2
+++ b/demo.m2
@@ -24,65 +24,14 @@ X = P1 ** P1;
 T = ring X;
 mons1 = {T_{0,2,2,0},T_{0,2,0,2},T_{2,0,0,2},T_{2,0,2,0}}
 linSeries1 = toricLinearSeries mons1;
-isComplete linSeries2
-isBasepointFree linSeries2
-g = toricMap linSeries2
+isComplete linSeries1
+isBasepointFree linSeries1
+g = toricMap linSeries1
 isWellDefined g
 
 
 -- projectivation of line bundles
 
-rayListPP1 = {{1} , {-1}}
-coneListPP1 = {{1}, {0}}
-PP1 = normalToricVariety (rayListPP1, coneListPP1)
-D0PP1 = toricDivisor ( { 0 , 0}, PP1)
-D1PP1 = toricDivisor ( {0 , 7} , PP1)
-testH7 = projectivizationOfBundle({D0PP1, D1PP1})
-H7 = hirzebruchSurface 7
-
-rays testH7
-rays H7
-max testH7
-max H7
-
-assert(isWellDefined testH7)
-assert(isSmooth testH7)
-assert(isProjective testH7)
-
-rayListPP2 = {{1 , 0}, {0 , 1}, {-1, -1}}
-coneListPP2 = {{0, 1}, {1, 2}, {2 , 0}}
-PP2 = normalToricVariety (rayListPP2, coneListPP2)
-D0PP2 = toricDivisor ( { 9, 3 , 2}, PP2)
-D1PP2 = toricDivisor ( {1 , 4, 7} , PP2)
-Y = projectivizationOfBundle({D0PP2, D1PP2})
-rays Y
-max Y
-
-assert(isWellDefined Y)
-assert(isSmooth Y)
-assert(isProjective Y)
 
 -- Batyrev classification for smooth, projective toric varieties of Picard rank 3
 V = batyrevConstructor({1,1,1,1,1}, {0}, {})
-isWellDefined V
-dim V
-isSmooth V
-isProjective V
-picardGroup V
-
-
-V = batyrevConstructor({2,1,1,1,1}, {1}, {})
-isWellDefined V
-dim V
-isSmooth V
-isProjective V
-picardGroup V
-isFano(V)
-
-degreeOfThreefold = X -> (
-    K := toricDivisor X;
-    c := chern(1, OO (-K));
-    integral (c*c*c)
-)
-
-degreeOfThreefold V