We give an algorithmic method for computing a presentation of any finitely generated submonoid of a finitely generated commutative monoid. We use this method also for calculating the intersection of two congruences on Np and for deciding whether or not a given finitely generated commutative monoid is t-torsion free and/or separative. The last section is devoted to the resolution of some simple ...

Hypothermia and venous thrombosis can cause complications during perioperative and postoperative periods which can even be fatal to patients' conditions. Separative devices have currently been used to prevent those two problems. The device proposed here is to combine in a simple unobtrusive fashion the desirable effects of both temperature control and deep venous thrombosis prophylaxis in perio...