Hom(MultiprojectiveVariety,MultiprojectiveVariety) -- get the hom-set of rational maps between two multi-projective varieties

i1 : K = ZZ/3;

i2 : X = random({1,1},0_(PP_K^{1,1}));

o2 : ProjectiveVariety, curve in PP^1 x PP^1

i3 : Y = PP_K^{2,1,3};

o3 : ProjectiveVariety, PP^2 x PP^1 x PP^3

i4 : Hom(X,Y)

o4 = Hom-set of rational maps
     from curve in PP^1 x PP^1 defined by a multi-form of multi-degree (1,1)
     to PP^2 x PP^1 x PP^3

o4 : Hom(X,Y)

i5 : Hom(X,)

o5 = Class of rational maps
     from curve in PP^1 x PP^1 defined by a multi-form of multi-degree (1,1)
     to any variety

o5 : Hom(X,*)

i6 : Hom(,Y)

o6 = Class of rational maps
     from any variety
     to PP^2 x PP^1 x PP^3

o6 : Hom(*,Y)

i7 : Hom(,)

o7 = Class of rational maps
     from any variety
     to any variety

o7 : Hom(*,*)

i8 : Hom(X,Dominant)

o8 = Class of dominant rational maps
     from curve in PP^1 x PP^1 defined by a multi-form of multi-degree (1,1)
     to any variety

o8 : Hom(X,*,Dominant)

i9 : Hom(,Dominant)

o9 = Class of dominant rational maps
     from any variety
     to any variety

o9 : Hom(*,*,Dominant)