`(random-between low high)`

- Generates a random number uniformly chosen between
`low`

and`high`

, inclusive. `(random-natural)`

- Generates a random natural number (above zero).
`(random-positive)`

- Generates a random positive number (above one).
`(random-integer)`

- Generates a random integer.
`(random-rational)`

- Generates a random rational number (by dividing two random integers)
`(random-complex)`

- Generates a random complex number (using two random rationals)
`(random-number)`

- Randomly generates either an integer, a rational, or a complex number.
`(random-data-size)`

- Generates a random natural number, but favors smaller numbers. Appropriate if this value is going to determine the amount of data in a structure.
`(random-natural-list)`

- Generates a list of
`(random-natural)`

values, using a length determined by`(random-data-size)`

. `(random-natural-list-of-length ln)`

- Generates a list of
`(random-natural)`

values of a specified length.`ln`

must be either a fixed natural number (such as 10) or a variable. So, for instance,`(random-natural-list-of-length (random-natural))`

will give an error. Instead, generate the length separately:`(n :value (random-natural) xs :value (random-natural-list-of-length n))`

`(random-integer-list)`

and`(random-integer-list-of-length ln)`

- similar to above
`(random-digit-list)`

and`(random-digit-list-of-length ln)`

- random lists of numbers between 0 and 9
`(random-between-list low high)`

and`(random-between-list-of-length low high ln)`

- similar to above; generates values between
`low`

and`high`

inclusive (using`(random-between low high)`

). `(random-increasing-list)`

- A list of values that strictly go up (a sorted list).

**Note:** The below `random-list-of`

versions of the above functions are included in Proof Pad for compatibility with DrACuLa; They don’t add any functionality over the above forms. Additionally, unlike in DrACuLa, the parameters to `random-list-of`

must match one of the below templates, or they won’t work. I recommend that you use the above generators instead.

`(random-list-of (random-natural))`

- Alternate syntax for
`(random-natural-list)`

`(random-list-of (random-natural) :size ln)`

- Alternate syntax for
`(random-natural-list-of-length ln)`

`(random-list-of (random-integer))`

- Alternate syntax for
`(random-integer-list)`

`(random-list-of (random-integer) :size ln)`

- Alternate syntax for
`(random-integer-list-of-length ln)`

`(random-list-of (random-between low high))`

- Alternate syntax for
`(random-between-list low high)`

`(random-list-of (random-between low high) :size ln)`

- Alternate syntax for
`(random-between-list-of-length low high ln)`