Giters

mlliarm / ia

An interval arithmetic library in Logtalk

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

interval_arithmeticp enhacements

mlliarm opened this issue · comments

commented

The enhacements of interval_arithmeticp protocol.

commented

Defined mid, wid, abs predicates, according to the paper of Shary[2008].