12-24-2019, 06:41 PM

Why 4?

VPN

__________________________________

CAS....................Function

__________________________________

purge(m0)............................................4

m0....................................................m0

assume({m0},DOM_INT)............DOM_INT

'm0=2*k0'................................m0=2*k0

m0...........................................DOM_INT

k0............................................DOM_INT

m0=2*k0.............................................4

__________________________________

VPN

__________________________________

CAS....................Function

__________________________________

purge(m0)............................................4

m0....................................................m0

assume({m0},DOM_INT)............DOM_INT

'm0=2*k0'................................m0=2*k0

m0...........................................DOM_INT

k0............................................DOM_INT

m0=2*k0.............................................4

__________________________________