区間演算
3次元多様体の双曲性を判定するために区間演算が活用されている。