is_subset_of_rationals_type

All rational types that can represent a subset of all rationals are marked with is_subset_of_rationals_type.

Collaboration diagram for is_subset_of_rationals_type:

All rational types that can represent a subset of all rationals are marked with is_subset_of_rationals_type.

It is assumed that a fractional representation is used and the restriction to a subset of all rationals is due to the type of the numerator and the denominator.