next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
RandomObjects :: RandomObjects

RandomObjects -- a Framework for the construction of random points of unirational moduli spaces

Description

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 φ is explicilty given it can be translated into a construction function that computes φ(P) for a given P ∈ℙn. If P is chosen randomly (over a finite field Fq or over a subset of limited by a given height) it may not lie in the open subset of n where φ is defined. This can be remedied by calling the function several times, i.e. allowing a certain number of Attempts. One is also interested in certifying the constructed object meaning that it satisfies certain reasonable properties.

Authors

Version

This documentation describes version 0.2 of RandomObjects.

Source code

The source code from which this documentation is derived is in the file RandomObjects.m2.

Exports

  • Types
  • Functions and commands
  • Methods
  • 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