i1 : PP2 = projectiveSpace 2; |
i2 : polytope (-PP2_0) Warning: This method is deprecated. Please consider using polyhedronFromHData instead. o2 = Polyhedron{...1...} o2 : Polyhedron |
i3 : polytope (0*PP2_0) Warning: This method is deprecated. Please consider using polyhedronFromHData instead. o3 = Polyhedron{...1...} o3 : Polyhedron |
i4 : P = polytope (PP2_0) Warning: This method is deprecated. Please consider using polyhedronFromHData instead. o4 = P o4 : Polyhedron |
i5 : vertices P o5 = | 0 1 0 | | 0 0 1 | 2 3 o5 : Matrix QQ <--- QQ |
i6 : Y = normalToricVariety matrix {{0,1,0,0,1},{0,0,1,0,1},{0,0,0,1,1},{0,0,0,0,3}}; |
i7 : isCartier Y_0 o7 = false |
i8 : isQQCartier Y_0 o8 = true |
i9 : polytope Y_0 Warning: This method is deprecated. Please consider using polyhedronFromHData instead. o9 = Polyhedron{...1...} o9 : Polyhedron |
i10 : vertices polytope Y_0 Warning: This method is deprecated. Please consider using polyhedronFromHData instead. o10 = | 0 1/3 0 0 1/3 | | 0 0 1/3 0 1/3 | | 0 0 0 1/3 1/3 | | 0 0 0 0 1 | 4 5 o10 : Matrix QQ <--- QQ |
i11 : Z = normalToricVariety({{1,0},{1,1},{0,1}},{{0,1},{1,2}}); |
i12 : isComplete Z o12 = false |
i13 : D = - toricDivisor Z o13 = Z + Z + Z 0 1 2 o13 : ToricDivisor on Z |
i14 : P = polytope D Warning: This method is deprecated. Please consider using polyhedronFromHData instead. o14 = P o14 : Polyhedron |
i15 : rays P o15 = | 1 0 | | 0 1 | 2 2 o15 : Matrix QQ <--- QQ |
i16 : vertices P o16 = | -1 0 | | 0 -1 | 2 2 o16 : Matrix QQ <--- QQ |