Xu Qiyuan

This simple code does the calculation including comparison ```sml local open ratTheory fracTheory val l1 = [rat_0_def, rat_1_def, RAT_AINV_CALCULATE, RAT_MINV_CALCULATE, RAT_ADD_CALCULATE, RAT_MUL_CALCULATE, RAT_LES_CALCULATE, RAT_LEQ_CALCULATE, RAT_EQ_CALCULATE, RAT_SUB_ADDAINV, RAT_DIV_MULMINV] val l2 =...

Please... how can you assume the /tmp is on a normal disk (not on tmpfs) ?! Fedora, a VERY famous linux distribution mounts /tmp on tmpfs by default. I would...