************ Operations are: **************
*** Operations of entity FinLib:
static query bsd1(s: double,x: double,dt: double,r: double,sigma: double): double
pre: x > 0 & dt > 0 & sigma > 0
post: result = ( ( s / x )->log() + ( r + sigma.sqr / 2.0 ) * dt ) / sigma * dt.sqrt


static query bsd2(s: double,x: double,dt: double,r: double,sigma: double): double
pre: x > 0 & dt > 0 & sigma > 0
post: result = FinLib.bsd1(s,x,dt,r,sigma) - sigma * dt.sqrt