Author: A. David Leach

Famborough, Hampshire, England

Source Language: PAL-8

Memory Required: 4K

Abstract: The art of Campanology, or church-bell ringing in the

English manner, uses a traditional form of music based on mathematical

rules. One of the rules is that no permutation of the bells may occur more

than once in a composition. To prove this by hand can be a long, tedious

process.

PROVE can handle compositions of up to 500 leads in any single-hunt

method, plain or otherwise, on up to 12 bells.

A composition is entered in the standard format on the teletype, and

the PDP-8 interrupts to print the details of any repetition.

Media Price Code: A3, B4, F5

Catalog: August 1978