1: #line 2265 "./lpsrc/flx_regress.pak" 2: //Check axiom checks:float 3: #import <flx.flxh> 4: axiom_check(-1.0); 5: axiom_check(0.0); 6: axiom_check(1.0); 7: 8: axiom_check(0.0,1.0); 9: axiom_check(1.0,0.0); 10: axiom_check(-1.0,0.0); 11: axiom_check(0.0,-1.0); 12: axiom_check(1.0,-1.0); 13: axiom_check(1.0,2.0); 14: axiom_check(3.0,4.0); 15: axiom_check(0.1,-0.4); 16: axiom_check(1.0,-8.0,9.0); 17: axiom_check(-1.0,8.0,-9.0); 18: axiom_check(-0.1,0.4,0.7); 19: