### Program Information

`Name:`

Trap

`Domain:`

Calculus

`Functionality:`

Computes the approximate area under the curve f(x) between X axis.

`Input:`

F: The function to be intergrated (Type: Function)
M: The fisrt x coordinate (Type: Real)
N: The second x coordinate (Type: Real)

`Output:`

K: Area under the curve F(x) between x = M and x = N (Type: Real).

####
Reference

Semi-Proving: an Integrated Method Based on Global Symbolic Evaluation and Metamorphic Testing http://dx.doi.org/10.1145/566171.566202

###
MR Information

#### MR1

`Source input:`

<Fs, Ms, Ns> ;
`Source output:`

Ks

`Follow-up input:`

<Ff, Mf, Nf> ;
`Follow-up output:`

Kf

`Input relation:`

let Ff(x) = Fs(x) + C, C is a positive constant, and Mf = Ms, Nf = Ns

`Output relation:`

Kf = Ks + C * |Ms – Ns|.