1:- module(mcint, []). 2
3:- reexport(interval). 4:- reexport(rint). 5
9interval:int_hook(frac/2).
10interval:int_hook(frac(A, B), Res, Opt) :-
11 interval(A / B, Res, Opt).
12
13interval:int_hook(dfrac/2).
14interval:int_hook(dfrac(A, B), Res, Opt) :-
15 interval(A / B, Res), Opt.
16
20interval:int_hook(tstat/1).
21interval:int_hook(tstat(A), Res, Opt) :-
22 interval(A, Res, [digits(2) | Opt]).
23
27interval:int_hook(omit_left/1).
28interval:int_hook(omit_left(Expr), Res, Opt) :-
29 Expr =.. [_Op, _L, R],
30 interval(R, Res, Opt).
31
32interval:int_hook(omit_right/1).
33interval:int_hook(omit_right(Expr), Res, Opt) :-
34 Expr =.. [_Op, L, _R],
35 interval(L, Res, Opt)