Coefficient certificate compatibility module

This module combines independently checked coefficient ranges.