added some asserts

Macaulay2 · Jun 5, 2024 · 57a0607 · 57a0607
1 parent 0b2af8f
commit 57a0607
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/demo.m2 b/demo.m2
@@ -38,6 +38,10 @@ 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