This package provides the framework for the implementation of unirationality constructions.

A moduli space *M* of objects is unirational if there exists a dominant rational map *φ:ℙ ^{n} --> M*. If the function

- Types
- RandomObject -- framework for creation of random objects

- Functions and commands
- randomObjectTemplate -- a template for the implementation of a random object

- Methods
- random(RandomObject) -- returns a function that constructs a random object

- Symbols
- Attempts -- number of attempts in the construction of a random object
- Certify -- whether to certify the object
- Construction -- key of randomObject that contains the construction function