|
|
#include "exam.h"
#include <cln/sfloat.h>
#include <cln/sfloat_io.h>
#include <cln/integer.h>
#include <cln/integer_io.h>
static floor_test sfloat_floor_tests[] = {
{ "-0.403114s0", "0.64293s0", "-1", "0.239813s0" },
{ "-0.538574s0", "0.74157s0", "-1", "0.202993s0" },
{ "0.59919s0", "-0.433258s0", "-2", "-0.26733s0" },
{ "-0.62148s0", "-0.185875s0", "3", "-0.063861s0" },
{ "0.298317s0", "-0.79534s0", "-1", "-0.49703s0" },
{ "0.84822s0", "9.519s9", "0", "0.84822s0" },
{ "0.185059s0", "-4.4452s9", "-1", "-4.4452s9" },
{ "-0.442635s0", "-4.64486s9", "0", "-0.442635s0" },
{ "0.78401s0", "-8.4401s9", "-1", "-8.4401s9" },
{ "0.300156s0", "-4.4083s9", "-1", "-4.4083s9" },
{ "0.67763s0", "2.54755s9", "0", "0.67763s0" },
{ "-0.189995s0", "-1.9236s-13", "987708260352", "0.0s0" },
{ "0.442696s0", "-4.184s-15", "-105806519336960", "0.0s0" },
{ "0.175987s0", "-5.055s-15", "-34814468030464", "0.0s0" },
{ "0.30565s0", "-4.296s-14", "-7114747543552", "0.0s0" },
{ "0.256264s0", "4.541s-14", "5643318591488", "0.0s0" },
{ "-0.51656s0", "4.057s-14", "-12732698984448", "0.0s0" },
{ "-0.221672s0", "-5.9783s19", "0", "-0.221672s0" },
{ "-0.441925s0", "-8.1227s19", "0", "-0.441925s0" },
{ "0.73287s0", "-3.99683s19", "-1", "-3.99683s19" },
{ "-0.376198s0", "9.1146s19", "-1", "9.1146s19" },
{ "0.61628s0", "-5.83824s19", "-1", "-5.83824s19" },
{ "-0.072037s0", "4.40705s19", "-1", "4.40705s19" },
{ "0.378708s0", "3.258s-24", "116238699015966918967296", "0.0s0" },
{ "0.98937s0", "-7.698s-24", "-128524230569057480343552", "0.0s0" },
{ "-0.94075s0", "-1.0053s-23", "93579179764423948500992", "0.0s0" },
{ "0.263123s0", "-3.060s-24", "-85988344578092468011008", "0.0s0" },
{ "-0.58892s0", "-1.1106s-23", "53027471682887319814144", "0.0s0" },
{ "-0.38977s0", "-2.812s-24", "138609987891358177689600", "0.0s0" },
{ "-1.46599s9", "0.338676s0", "-4328587264", "0.0s0" },
{ "-6.326s9", "0.91743s0", "-6895370240", "0.0s0" },
{ "-3.63617s9", "-0.569855s0", "6380847104", "0.0s0" },
{ "-1.45737s9", "0.9508s0", "-1532788736", "0.0s0" },
{ "5.24714s9", "0.45768s0", "11464605696", "0.0s0" },
{ "8.1693s9", "0.69472s0", "11759255552", "0.0s0" },
{ "-2.7664s9", "-1.9246s9", "1", "-8.418s8" },
{ "8.29057s9", "-7.18694s9", "-2", "-6.0833s9" },
{ "6.7409s9", "8.9158s9", "0", "6.7409s9" },
{ "9.4039s9", "-1.80932s9", "-6", "-1.45206s9" },
{ "4.4432s9", "-7.587s9", "-1", "-3.14373s9" },
{ "-4.8365s9", "-3.4401s8", "14", "-2.03249s7" },
{ "4.70575s9", "2.813s-15", "1672861433068424397848576", "0.0s0" },
{ "8.37706s8", "1.1696s-13", "7162308674587923054592", "0.0s0" },
{ "4.9421s9", "3.384s-15", "1460410281571511491887104", "0.0s0" },
{ "9.4391s8", "6.964s-14", "13554177553722320617472", "0.0s0" },
{ "3.56217s8", "3.380s-14", "10538999588799264063488", "0.0s0" },
{ "7.53166s9", "7.011s-14", "107426919956256787529728", "0.0s0" },
{ "-5.3385s9", "-7.8903s19", "0", "-5.3385s9" },
{ "-5.5786s8", "-6.5112s19", "0", "-5.5786s8" },
{ "-7.0502s9", "-2.57187s18", "0", "-7.0502s9" },
{ "3.48724s9", "3.0864s19", "0", "3.48724s9" },
{ "-1.195s9", "6.9068s19", "-1", "6.9068s19" },
{ "6.40785s9", "6.1696s19", "0", "6.40785s9" },
{ "-9.9772s9", "-3.455s-24", "2887787295482420840947083445796864", "0.0s0" },
{ "6.3337s9", "-2.757s-24", "-2297319607304237298946798769930240", "0.0s0" },
{ "2.24916s9", "8.958s-24", "251078998767860827355040375111680", "0.0s0" },
{ "-4.695s9", "-9.695s-24", "484267288087969338977238606938112", "0.0s0" },
{ "-5.84457s9", "-7.7713s-22", "7520717852416051178813723246592", "0.0s0" },
{ "-2.01576s9", "6.682s-24", "-301671132293375748429617783898112", "0.0s0" },
{ "1.7042s-13", "-0.80732s0", "-1", "-0.80732s0" },
{ "4.959s-14", "0.9918s0", "0", "4.959s-14" },
{ "2.0820s-13", "0.75837s0", "0", "2.08202s-13" },
{ "4.808s-14", "0.89121s0", "0", "4.808s-14" },
{ "-4.005s-14", "0.71084s0", "-1", "0.71084s0" },
{ "4.497s-14", "-0.83223s0", "-1", "-0.83223s0" },
{ "-4.538s-14", "3.81524s9", "-1", "3.81524s9" },
{ "-1.0888s-13", "2.5705s9", "-1", "2.5705s9" },
{ "-1.0445s-15", "3.9579s9", "-1", "3.9579s9" },
{ "-3.399s-14", "3.8115s9", "-1", "3.8115s9" },
{ "8.889s-14", "1.02951s9", "0", "8.889s-14" },
{ "-4.408s-14", "-5.5562s9", "0", "-4.40806s-14" },
{ "1.4679s-13", "-1.9105s-13", "-1", "-4.426s-14" },
{ "1.2740s-14", "-4.935s-14", "-1", "-3.661s-14" },
{ "-4.321s-14", "-8.355s-14", "0", "-4.32102s-14" },
{ "-1.1228s-13", "-3.641s-14", "3", "-3.0501s-15" },
{ "4.643s-14", "9.809s-14", "0", "4.643s-14" },
{ "6.832s-14", "1.2918s-13", "0", "6.832s-14" },
{ "-3.186s-15", "7.2502s19", "-1", "7.2502s19" },
{ "7.570s-14", "-6.8838s19", "-1", "-6.8838s19" },
{ "-1.5446s-14", "-8.6798s19", "0", "-1.5446s-14" },
{ "-1.2496s-13", "-8.0029s19", "0", "-1.24963s-13" },
{ "-3.303s-15", "-9.7969s19", "0", "-3.303s-15" },
{ "-3.832s-14", "5.17976s19", "-1", "5.17976s19" },
{ "-1.1039s-13", "1.1031s-23", "-10007216128", "0.0s0" },
{ "-3.303s-14", "-1.61171s-21", "20493824", "0.0s0" },
{ "3.660s-14", "-1.3664s-23", "-2678554624", "0.0s0" },
{ "-1.9574s-13", "-6.864s-24", "28516810752", "0.0s0" },
{ "3.285s-14", "-3.329s-24", "-9867755520", "0.0s0" },
{ "-3.291s-15", "4.2038s-23", "-78285824", "0.0s0" },
{ "-7.18707s19", "0.231445s0", "-310527697906823069696", "0.0s0" },
{ "9.5173s19", "-0.0566254s0", "-1680761395333178589184", "0.0s0" },
{ "-6.6524s19", "-0.697136s0", "95424520704539754496", "0.0s0" },
{ "3.42423s19", "0.68306s0", "50130693352167833600", "0.0s0" },
{ "-7.2388s19", "0.0522995s0", "-1384100280679029276672", "0.0s0" },
{ "5.9235s18", "-0.24643s0", "-24037400061136601088", "0.0s0" },
{ "-2.63137s18", "-1.6819s9", "1564524544", "0.0s0" },
{ "2.4749s19", "-2.36457s9", "-10466623488", "0.0s0" },
{ "-2.07847s19", "6.4981s9", "-3198582784", "0.0s0" },
{ "-2.54907s19", "4.4446s9", "-5735186432", "0.0s0" },
{ "2.34573s19", "3.0757s9", "7626620928", "0.0s0" },
{ "-1.93055s19", "4.8192s9", "-4005953536", "0.0s0" },
{ "4.4928s19", "9.588s-14", "468585063670302141654816501268480", "0.0s0" },
{ "-2.17698s19", "-3.259s-14", "667992445198391196335567431270400", "0.0s0" },
{ "-8.3605s19", "-1.2702s-13", "658197863607565267600565560410112", "0.0s0" },
{ "5.2775s19", "3.555s-15", "14845297722947765992252704150257664", "0.0s0" },
{ "-5.0371s19", "6.922s-15", "-7276948270610150879291824750460928", "0.0s0" },
{ "8.3107s18", "-1.0201s-13", "-81468833985370875891111365181440", "0.0s0" },
{ "-3.8796s19", "3.8685s19", "-2", "3.85733s19" },
{ "4.11224s18", "-7.757s19", "-1", "-7.34577s19" },
{ "-1.7228s19", "-6.0107s19", "0", "-1.72278s19" },
{ "9.1191s19", "-4.49645s19", "-3", "-4.3702s19" },
{ "4.2755s19", "8.9417s19", "0", "4.2755s19" },
{ "-4.3237s19", "-1.9687s19", "2", "-3.86314s18" },
{ "3.109s-24", "0.00614166s0", "0", "3.109s-24" },
{ "-6.2027s-23", "0.0328217s0", "-1", "0.0328217s0" },
{ "-6.017s-24", "0.76966s0", "-1", "0.76966s0" },
{ "-7.628s-24", "0.47249s0", "-1", "0.47249s0" },
{ "3.323s-24", "-0.86671s0", "-1", "-0.86671s0" },
{ "-5.302s-24", "0.0245514s0", "-1", "0.0245514s0" },
{ "5.342s-24", "6.0717s9", "0", "5.34194s-24" },
{ "-2.664s-24", "5.573s9", "-1", "5.573s9" },
{ "-2.830s-24", "7.0363s9", "-1", "7.0363s9" },
{ "-3.176s-24", "1.12686s9", "-1", "1.12686s9" },
{ "-2.2026s-22", "-3.99255s9", "0", "-2.2026s-22" },
{ "6.994s-24", "5.81167s9", "0", "6.994s-24" },
{ "6.054s-24", "-8.915s-14", "-1", "-8.915s-14" },
{ "2.875s-24", "3.652s-14", "0", "2.875s-24" },
{ "-1.57853s-22", "-4.501s-14", "0", "-1.57853s-22" },
{ "-1.3880s-23", "-1.0479s-13", "0", "-1.388s-23" },
{ "-8.879s-24", "3.974s-14", "-1", "3.974s-14" },
{ "-1.14395s-21", "-4.527s-14", "0", "-1.14395s-21" },
{ "6.149s-24", "9.418s-24", "0", "6.149s-24" },
{ "7.661s-24", "-2.956s-24", "-3", "-1.20701s-24" },
{ "3.254s-24", "1.2764s-22", "0", "3.254s-24" },
{ "-5.4542s-22", "5.574s-24", "-98", "8.2738s-25" },
{ "-1.4523s-23", "3.091s-24", "-5", "9.3198s-25" },
{ "-5.913s-24", "8.419s-24", "-1", "2.506s-24" },
};
|
