search

mlliarm / ia

An interval arithmetic library in Logtalk
Apache License 2.0
2 stars 0 forks source link

Radius predicate #16

Closed mlliarm closed 2 years ago

mlliarm commented 2 years ago

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.

mlliarm commented 2 years ago

Done at cadd643279f35b9f08fcf898104b11b66e553f95.

Closing.