mlliarm / ia

An interval arithmetic library in Logtalk

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Radius predicate

mlliarm opened this issue · comments

This is defined in Shary2021 page 35 for an interval X = [Xa, Xb]:

rad(X) = (Xb - Xa)/2.

This is an easy one, I'll do it now.

Done at cadd643.

Closing.