AbstractVariety / AbstractVariety -- get a structure map

Synopsis

Operator: /
Usage:

X/S
Inputs:
- X, an abstract variety
- S, an abstract variety
Outputs:
- an abstract variety map, the structure map or composition of structure maps $X \rightarrow{} S$

i1 : X = abstractProjectiveSpace_3 point

o1 = X

o1 : a flag bundle with subquotient ranks {1, 3}

i2 : Y = abstractProjectiveSpace_2 X

o2 = Y

o2 : a flag bundle with subquotient ranks {1..2}

i3 : Z = abstractProjectiveSpace_1 Y

o3 = Z

o3 : a flag bundle with subquotient ranks {2:1}

i4 : Z/Z

o4 = a variety map

o4 : a map to Z from Z

i5 : Z/Y

o5 = a variety map

o5 : a map to Y from Z

i6 : Z/X

o6 = a variety map

o6 : a map to X from Z

i7 : Z/point

o7 = a variety map

o7 : a map to point from Z