expression(NormalToricVariety) -- get the expression used to format for printing

Synopsis

• Function: expression
• Usage:
expression X
• Inputs:
• X, ,
• Outputs:
• , used to format X for printing

Description

This function is primarily called by << to format printing. It displays the minimal nonzero lattice points on each ray and the subsets of rays which determine the maximal cones in the fan.

 i1 : toricProjectiveSpace 3 o1 = normalToricVariety ({{-1, -1, -1}, {1, 0, 0}, {0, 1, 0}, {0, 0, 1}}, {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}}) o1 : NormalToricVariety i2 : expression toricProjectiveSpace 3 o2 = normalToricVariety ({{-1, -1, -1}, {1, 0, 0}, {0, 1, 0}, {0, 0, 1}}, {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}}) o2 : Expression of class Adjacent i3 : rays toricProjectiveSpace 3 o3 = {{-1, -1, -1}, {1, 0, 0}, {0, 1, 0}, {0, 0, 1}} o3 : List i4 : max toricProjectiveSpace 3 o4 = {{0, 1, 2}, {0, 1, 3}, {0, 2, 3}, {1, 2, 3}} o4 : List
 i5 : hirzebruchSurface 7 o5 = normalToricVariety ({{1, 0}, {0, 1}, {-1, 7}, {0, -1}}, {{0, 1}, {0, 3}, {1, 2}, {2, 3}}) o5 : NormalToricVariety i6 : expression hirzebruchSurface 7 o6 = normalToricVariety ({{1, 0}, {0, 1}, {-1, 7}, {0, -1}}, {{0, 1}, {0, 3}, {1, 2}, {2, 3}}) o6 : Expression of class Adjacent i7 : rays hirzebruchSurface 7 o7 = {{1, 0}, {0, 1}, {-1, 7}, {0, -1}} o7 : List i8 : max hirzebruchSurface 7 o8 = {{0, 1}, {0, 3}, {1, 2}, {2, 3}} o8 : List

After assignment to a global variable Macaulay2 knows the toric variety's name, and this name is used when printing.

 i9 : PP2 = toricProjectiveSpace 3 o9 = PP2 o9 : NormalToricVariety i10 : expression PP2 o10 = PP2 o10 : Expression of class Holder i11 : FF7 = hirzebruchSurface 7 o11 = FF7 o11 : NormalToricVariety i12 : expression FF7 o12 = FF7 o12 : Expression of class Holder