Module AltErgoLib__IntervalCalculus