|
|
#include "exam.h"
#include <cln/ffloat.h>
#include <cln/ffloat_io.h>
#include <cln/integer.h>
#include <cln/integer_io.h>
static floor_test ffloat_floor_tests[] = {
{ "-0.8227301", "-0.25283414", "3", "-0.06422769" },
{ "-0.6686161", "0.4833234", "-2", "0.29803064" },
{ "-0.57436657", "0.52642506", "-2", "0.47848356" },
{ "0.60395426", "-0.61624163", "-1", "-0.012287392" },
{ "-0.21636301", "0.90365344", "-1", "0.68729043" },
{ "0.8705054", "-0.7953333", "-2", "-0.72016126" },
{ "0.4544462", "-9.890925E9", "-1", "-9.890925E9" },
{ "-0.4954149", "-3.8786918E9", "0", "-0.49541488" },
{ "-0.692049", "6.4791506E9", "-1", "6.4791506E9" },
{ "0.75464755", "-3.618496E9", "-1", "-3.618496E9" },
{ "-0.5929247", "-5.442471E9", "0", "-0.5929247" },
{ "-0.30383867", "9.262864E9", "-1", "9.262864E9" },
{ "0.9345329", "3.26737E-11", "28601991168", "0.0" },
{ "0.3772617", "-7.991702E-11", "-4720667648", "0.0" },
{ "0.74438447", "-1.0977978E-11", "-67807064064", "0.0" },
{ "-0.9220973", "-1.2655998E-11", "72858525696", "0.0" },
{ "-0.4615329", "6.48833E-11", "-7113276928", "0.0" },
{ "0.2851941", "-8.262349E-11", "-3451731456", "0.0" },
{ "0.61539984", "3.5826177E19", "0", "0.61539984" },
{ "-0.8195054", "8.793426E19", "-1", "8.793426E19" },
{ "-0.26412165", "7.015103E18", "-1", "7.015103E18" },
{ "-0.527393", "8.434833E19", "-1", "8.434833E19" },
{ "-0.1846056", "1.8252128E19", "-1", "1.8252128E19" },
{ "-0.6079822", "6.106683E19", "-1", "6.106683E19" },
{ "0.5564819", "5.953872E-21", "93465542827563810816", "0.0" },
{ "-0.52575815", "-1.8358678E-21", "286381261476583178240", "0.0" },
{ "-0.6321403", "-5.830945E-21", "108411292344853200896", "0.0" },
{ "-0.9675891", "-9.936226E-21", "97379936163841703936", "0.0" },
{ "-0.63503754", "-5.0137436E-21", "126659359065470140416", "0.0" },
{ "0.8053654", "-3.4055888E-22", "-2364834534832713236480", "0.0" },
{ "8.784645E9", "0.9775517", "8986374144", "0.0" },
{ "-9.314413E9", "-0.8318871", "11196726272", "0.0" },
{ "8.4695936E9", "-0.9823455", "-8621807616", "0.0" },
{ "-5.8406625E9", "-0.031723082", "184113971200", "0.0" },
{ "-7.325545E9", "0.93169844", "-7862571008", "0.0" },
{ "-5.2999526E9", "0.11515945", "-46022733824", "0.0" },
{ "6.680458E9", "7.170729E9", "0", "6.680458E9" },
{ "-2.2146278E9", "5.2909993E9", "-1", "3.0763715E9" },
{ "6.4947005E9", "3.1265188E9", "2", "2.4166298E8" },
{ "7.947109E9", "2.464481E9", "3", "5.53666E8" },
{ "8.899791E9", "3.5788132E9", "2", "1.7421644E9" },
{ "5.272568E9", "-5.3260964E9", "-1", "-5.3528532E7" },
{ "9.729838E8", "8.6379175E-11", "11264101901890748416", "0.0" },
{ "1.210882E9", "-4.412428E-11", "-27442532596777484288", "0.0" },
{ "9.169561E9", "-9.41537E-11", "-97389277614631288832", "0.0" },
{ "9.289745E9", "3.1269442E-11", "297087021478284623872", "0.0" },
{ "-5.334722E9", "2.0158666E-11", "-264636651022615314432", "0.0" },
{ "9.910798E9", "-2.985589E-11", "-331954558296456691712", "0.0" },
{ "-1.7169357E9", "2.220112E19", "-1", "2.220112E19" },
{ "4.9906683E9", "6.857979E19", "0", "4.9906683E9" },
{ "-9.90463E9", "-2.342953E19", "0", "-9.90463E9" },
{ "-5.4878054E8", "5.438576E19", "-1", "5.438576E19" },
{ "-6.1080986E9", "9.25119E19", "-1", "9.25119E19" },
{ "-8.4138286E9", "-9.682224E19", "0", "-8.4138286E9" },
{ "2.7084977E9", "2.542436E-23", "106531597407755826831748572905472", "0.0" },
{ "-5.720767E9", "9.438407E-21", "-606115738076318963177881600000", "0.0" },
{ "-3.4958034E9", "9.250327E-21", "-377911344579488968728001904640", "0.0" },
{ "-8.3702047E9", "6.0186186E-21", "-1390718493086361392338557730816", "0.0" },
{ "-7.517619E9", "-9.417701E-21", "798243593937800371539149848576", "0.0" },
{ "-2.1220838E9", "3.931208E-21", "-539804494597454582830132625408", "0.0" },
{ "-3.9606828E-11", "0.34267086", "-1", "0.34267086" },
{ "2.495503E-11", "-0.4518087", "-1", "-0.4518087" },
{ "-7.98698E-11", "-0.5665642", "0", "-7.98698E-11" },
{ "2.1465689E-11", "0.17276591", "0", "2.146569E-11" },
{ "4.9463066E-11", "-0.5659616", "-1", "-0.5659616" },
{ "-1.8961567E-11", "-0.7758364", "0", "-1.8961567E-11" },
{ "7.8871874E-11", "-5.768549E9", "-1", "-5.768549E9" },
{ "-9.079439E-11", "-3.807195E9", "0", "-9.079439E-11" },
{ "7.879919E-12", "-1.9198149E9", "-1", "-1.9198149E9" },
{ "4.389072E-11", "-8.657572E9", "-1", "-8.657572E9" },
{ "7.430157E-11", "-3.8599355E9", "-1", "-3.8599355E9" },
{ "-5.8839114E-11", "-5.3409536E9", "0", "-5.8839114E-11" },
{ "-3.3353615E-11", "8.9096924E-11", "-1", "5.574331E-11" },
{ "6.335122E-11", "3.606541E-11", "1", "2.7285809E-11" },
{ "-5.6885465E-11", "7.070333E-12", "-9", "6.7475353E-12" },
{ "-7.581576E-11", "-3.4334775E-11", "2", "-7.1462155E-12" },
{ "3.6686505E-11", "-1.9221425E-11", "-2", "-1.7563462E-12" },
{ "3.066395E-11", "-2.3198866E-11", "-2", "-1.573378E-11" },
{ "9.1089344E-11", "7.429058E19", "0", "9.1089344E-11" },
{ "-7.2265194E-11", "-6.5831596E19", "0", "-7.2265194E-11" },
{ "-4.9087675E-11", "1.9182038E19", "-1", "1.9182038E19" },
{ "-7.907188E-11", "4.405831E19", "-1", "4.405831E19" },
{ "6.118759E-11", "3.4342181E19", "0", "6.118759E-11" },
{ "5.4731882E-11", "-5.861447E19", "-1", "-5.861447E19" },
{ "6.121101E-11", "-1.8234462E-21", "-33568860160", "0.0" },
{ "9.788758E-11", "-2.65478E-21", "-36872200192", "0.0" },
{ "7.827001E-11", "-8.5754775E-21", "-9127189504", "0.0" },
{ "-3.738018E-11", "-7.810784E-21", "4785714176", "0.0" },
{ "7.31308E-11", "-2.0431058E-21", "-35793936384", "0.0" },
{ "9.4578095E-11", "-3.0466443E-21", "-31043366912", "0.0" },
{ "-4.8186137E19", "-0.95250696", "50588749896299315200", "0.0" },
{ "9.548003E18", "-0.9061317", "-10537102614582001664", "0.0" },
{ "5.5254813E19", "0.51959753", "106341562860634636288", "0.0" },
{ "-4.2787504E19", "0.14769173", "-289708190148186865664", "0.0" },
{ "-4.27109E17", "-0.03677529", "11614021477430460416", "0.0" },
{ "-3.9238043E19", "0.26663417", "-147160597790283792384", "0.0" },
{ "-2.0174873E19", "-6.7035556E7", "300957794304", "0.0" },
{ "1.6296811E19", "-7.2014956E9", "-2262976000", "0.0" },
{ "7.794499E19", "-7.412829E9", "-10514876416", "0.0" },
{ "-1.2546485E19", "6.1565005E9", "-2037924864", "0.0" },
{ "5.4549757E18", "-4.778849E9", "-1141483264", "0.0" },
{ "-8.9214324E18", "3.0002557E9", "-2973557248", "0.0" },
{ "8.790958E19", "-8.224902E-11", "-1068822197453670185020302557184", "0.0" },
{ "9.029222E18", "1.3127345E-11", "687817816164697187548814901248", "0.0" },
{ "6.7356843E19", "-9.1816894E-11", "-733599685837775742566290948096", "0.0" },
{ "4.0346153E19", "2.0593792E-11", "1959141510822234462049892564992", "0.0" },
{ "1.3402778E19", "-4.8733902E-11", "-275019611403690085233016700928", "0.0" },
{ "-1.3005549E19", "5.6579824E-11", "-229861963021783171398467846144", "0.0" },
{ "8.550302E19", "6.4624324E19", "1", "2.0878699E19" },
{ "4.7897585E19", "-1.5724218E19", "-4", "-1.4999288E19" },
{ "-8.6050445E19", "1.4007867E19", "-7", "1.2004627E19" },
{ "-6.0799387E19", "-5.667626E19", "1", "-4.1231221E18" },
{ "-7.847746E19", "-3.972193E19", "1", "-3.875553E19" },
{ "-6.425414E19", "3.0601436E19", "-3", "2.7550168E19" },
{ "2.8220074E-21", "-0.9401483", "-1", "-0.9401483" },
{ "9.867747E-21", "0.86288685", "0", "9.867747E-21" },
{ "6.2856053E-21", "-0.5235996", "-1", "-0.5235996" },
{ "8.709991E-22", "0.42678982", "0", "8.709991E-22" },
{ "1.0493481E-21", "0.9355661", "0", "1.0493481E-21" },
{ "-6.137466E-21", "0.4328317", "-1", "0.4328317" },
{ "6.5872774E-21", "-8.80464E9", "-1", "-8.80464E9" },
{ "-1.0479629E-22", "-9.353607E9", "0", "-1.0479629E-22" },
{ "-2.636932E-21", "9.794678E9", "-1", "9.794678E9" },
{ "-7.912024E-21", "-2.9102356E9", "0", "-7.912024E-21" },
{ "1.0071349E-21", "8.762459E9", "0", "1.0071349E-21" },
{ "-6.795979E-21", "-9.445545E9", "0", "-6.795979E-21" },
{ "6.0598967E-22", "-3.961637E-11", "-1", "-3.961637E-11" },
{ "3.481348E-21", "-7.485006E-11", "-1", "-7.485006E-11" },
{ "-5.610974E-21", "-4.073898E-11", "0", "-5.610974E-21" },
{ "-6.2362584E-21", "8.403202E-11", "-1", "8.403202E-11" },
{ "4.2029927E-21", "7.823452E-11", "0", "4.2029927E-21" },
{ "-7.765272E-21", "-8.502908E-11", "0", "-7.765272E-21" },
{ "2.7845436E-21", "3.490416E-21", "0", "2.7845436E-21" },
{ "-1.4630091E-21", "9.193901E-21", "-1", "7.730892E-21" },
{ "-8.1823826E-21", "8.941324E-21", "-1", "7.5894165E-22" },
{ "-1.8218875E-21", "3.8057304E-21", "-1", "1.9838427E-21" },
{ "5.8037763E-21", "-5.1721612E-21", "-2", "-4.5405462E-21" },
{ "-8.179982E-21", "6.2204556E-21", "-2", "4.2609293E-21" },
};
|
