Objects of this type are created by Hom.

- Hom(MultiprojectiveVariety,MultiprojectiveVariety) -- get the hom-set of rational maps between two multi-projective varieties
- RAT List -- define a multi-rational map

- isMember(MultirationalMap,RAT) -- test membership in a hom-set of rational maps
- RAT List -- define a multi-rational map
- RAT MultiprojectiveVariety -- rational map defined by a linear system of hypersurfaces through a variety
- RAT Sequence -- see RAT MultiprojectiveVariety -- rational map defined by a linear system of hypersurfaces through a variety
- RAT Tally -- rational map defined by an effective divisor