Make your own free website on Tripod.com
slide 3

Structural Definition

A fraction consists of 3 components: A structural definition defines the values of a type by imposing an internal structure on them.

Parts may be further constrained:

Normalized representation:
numerator and denominator must have no common divisor