You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
459 lines
15 KiB
459 lines
15 KiB
#include "exam.h"
|
|
#include <cln/lfloat.h>
|
|
#include <cln/lfloat_io.h>
|
|
#include <cln/integer.h>
|
|
#include <cln/integer_io.h>
|
|
|
|
static floor_test lfloat_floor_tests[] = {
|
|
|
|
{ "-0.9677507664075728311L0", "0.09829392666835353511L0",
|
|
"-10", "0.015188500275962520004L0" },
|
|
|
|
{ "-0.084596576622269801105L0", "-0.78271578747309396924L0",
|
|
"0", "-0.084596576622269801105L0" },
|
|
|
|
{ "0.97785517019559092334L0", "-0.24687352093087197807L0",
|
|
"-4", "-0.009638913527896988987L0" },
|
|
|
|
{ "0.36348468689259258175L0", "0.5156866254701831051L0",
|
|
"0", "0.36348468689259258175L0" },
|
|
|
|
{ "-0.51463186192345608164L0", "0.8683136279312965567L0",
|
|
"-1", "0.35368176600784047506L0" },
|
|
|
|
{ "0.36128372948365635348L0", "-0.5061584717303788097L0",
|
|
"-1", "-0.1448747422467224562L0" },
|
|
|
|
{ "-0.83188875677783952054L0", "-6.988497329115560525L9",
|
|
"0", "-0.83188875677783952054L0" },
|
|
|
|
{ "-0.09110744229488624391L0", "-9.792597852253288497L9",
|
|
"0", "-0.09110744229488624391L0" },
|
|
|
|
{ "0.23616060202132526459L0", "-1.5882829404848723914L9",
|
|
"-1", "-1.5882829402487117894L9" },
|
|
|
|
{ "-0.09652925723903261584L0", "6.2261024177069773893L9",
|
|
"-1", "6.226102417610448132L9" },
|
|
|
|
{ "0.5413601234707634158L0", "9.144943549323542538L9",
|
|
"0", "0.5413601234707634158L0" },
|
|
|
|
{ "-0.57037258938648310115L0", "4.436821091919698621L9",
|
|
"-1", "4.4368210913493260317L9" },
|
|
|
|
{ "-0.9973297751770725278L0", "3.4051851548139874998L-11",
|
|
"-29288562291", "1.4506986275662661537L-11" },
|
|
|
|
{ "0.6604979952397203417L0", "-4.3497555374342239963L-11",
|
|
"-15184715315", "-1.8114827519649365006L-11" },
|
|
|
|
{ "0.38589975187928444138L0", "1.0289103184336123803L-12",
|
|
"375056742036", "3.5046726009323829848L-13" },
|
|
|
|
{ "0.9402638162334174371L0", "4.2262799834524861567L-11",
|
|
"22248024738", "1.7766010468098603481L-11" },
|
|
|
|
{ "-0.8642082843541437474L0", "8.911777256338402297L-11",
|
|
"-9697373033", "6.304376014060421794L-11" },
|
|
|
|
{ "0.7435773981922973139L0", "5.910629837324535378L-11",
|
|
"12580341159", "1.1224045374678474888L-11" },
|
|
|
|
{ "0.7898063255151059068L0", "1.2757118849664610875L18",
|
|
"0", "0.7898063255151059068L0" },
|
|
|
|
{ "0.19544684487626281231L0", "-3.6071314846523434156L19",
|
|
"-1", "-3.6071314846523434156L19" },
|
|
|
|
{ "-0.032130218136830583316L0", "-3.367647816525978896L18",
|
|
"0", "-0.032130218136830583316L0" },
|
|
|
|
{ "-0.25693079625787854222L0", "2.3815464531684079734L19",
|
|
"-1", "2.3815464531684079734L19" },
|
|
|
|
{ "-0.3975875412090936933L0", "3.9957351306215043416L19",
|
|
"-1", "3.9957351306215043416L19" },
|
|
|
|
{ "0.16223305219726616216L0", "-5.3922124894358790612L19",
|
|
"-1", "-5.3922124894358790612L19" },
|
|
|
|
{ "0.14869268750642991106L0", "-4.676414410846522305L-21",
|
|
"-31796302560686368198", "0.0L0" },
|
|
|
|
{ "0.4848921957991629974L0", "7.275052251851656838L-21",
|
|
"66651369504012501536", "0.0L0" },
|
|
|
|
{ "0.44996459510190342355L0", "-3.96515259272563559L-21",
|
|
"-113479767696052002376", "0.0L0" },
|
|
|
|
{ "0.7246909129638354568L0", "-1.2540349367528059089L-21",
|
|
"-577887339279675740320", "0.0L0" },
|
|
|
|
{ "0.83383904440522878455L0", "3.5186204165781412753L-21",
|
|
"236978970643311773536", "0.0L0" },
|
|
|
|
{ "0.26779759740636464572L0", "-6.954613119627800336L-21",
|
|
"-38506469418200611672", "0.0L0" },
|
|
|
|
{ "-7.4845680268023566543L9", "-0.2629469688312594538L0",
|
|
"28464173061", "-0.1240146549242767677L0" },
|
|
|
|
{ "6.1612132433805581187L9", "-0.09975641287987705455L0",
|
|
"-61762578120", "-0.083822638930812785824L0" },
|
|
|
|
{ "-3.6629628120558108524L9", "0.35361739315194823028L0",
|
|
"-10358548203", "0.32784699422401302726L0" },
|
|
|
|
{ "-6.999024858613990497L9", "-0.6086338795192380592L0",
|
|
"11499564999", "-0.48897756390533489348L0" },
|
|
|
|
{ "4.2927999071819381092L9", "-0.8483437666321241058L0",
|
|
"-5060212707", "-0.6341788853647631104L0" },
|
|
|
|
{ "-4.377925687006929662L9", "0.3220507356662819166L0",
|
|
"-13593900595", "0.18712780555802854961L0" },
|
|
|
|
{ "-9.5387759396672939425L9", "7.7154581598602048657L9",
|
|
"-2", "5.892140380053115789L9" },
|
|
|
|
{ "-5.64339842966998351L9", "4.025489717604319313L9",
|
|
"-2", "2.4075810055386551162L9" },
|
|
|
|
{ "-4.811594948157823536L9", "-7.834071766040306942L9",
|
|
"0", "-4.811594948157823536L9" },
|
|
|
|
{ "4.4476035118893197435L9", "3.0450117757143498866L9",
|
|
"1", "1.4025917361749698569L9" },
|
|
|
|
{ "-7.3465328576805684287L9", "-4.603589573313564281L9",
|
|
"1", "-2.7429432843670041477L9" },
|
|
|
|
{ "4.956277095163508632L9", "-6.664438280281275845L9",
|
|
"-1", "-1.708161185117767213L9" },
|
|
|
|
{ "4.367757792316331005L9", "-7.8163461329531150714L-11",
|
|
"-55879789840705743024", "0.0L0" },
|
|
|
|
{ "-4.7778036898247465523L8", "3.4933422750724630952L-11",
|
|
"-13676883951274541565", "0.0L0" },
|
|
|
|
{ "-6.667353710605079077L9", "5.3863219342714070564L-11",
|
|
"-123783052553596643928", "0.0L0" },
|
|
|
|
{ "-6.6004002390836614547L9", "-9.313678706634845693L-11",
|
|
"70867811173061956036", "0.0L0" },
|
|
|
|
{ "-9.439278803200832958L9", "-6.7075776392225367144L-11",
|
|
"140725598880953434976", "0.0L0" },
|
|
|
|
{ "-9.207319097846486017L9", "-5.7812820689283059893L-11",
|
|
"159260852317369718528", "0.0L0" },
|
|
|
|
{ "-7.564134292866958547L9", "6.4508269927189105468L19",
|
|
"-1", "6.4508269919624971176L19" },
|
|
|
|
{ "-5.7520914080101070246L9", "-4.4901662701989554116L17",
|
|
"0", "-5.7520914080101070246L9" },
|
|
|
|
{ "-9.801170739094381102L9", "9.482698257311007893L19",
|
|
"-1", "9.482698256330890819L19" },
|
|
|
|
{ "7.471594576665974082L8", "3.1667053210759199935L18",
|
|
"0", "7.471594576665974081L8" },
|
|
|
|
{ "-6.4762144691604037974L9", "-8.2417624342716462896L19",
|
|
"0", "-6.4762144691604037974L9" },
|
|
|
|
{ "-5.5263312844382694187L9", "9.5950716135522835064L19",
|
|
"-1", "9.5950716129996503776L19" },
|
|
|
|
{ "3.1312033848911460338L9", "-8.61316266389637687L-21",
|
|
"-363537008074414891396807786496", "0.0L0" },
|
|
|
|
{ "2.6279029713558476835L9", "-4.516664720059022692L-21",
|
|
"-581823786849847663134534270976", "0.0L0" },
|
|
|
|
{ "4.502075635961923785L9", "-9.685834626464620576L-21",
|
|
"-464810293545679143271024033792", "0.0L0" },
|
|
|
|
{ "1.4031562604294053729L9", "3.412866773725220897L-21",
|
|
"411137132932332056394984325120", "0.0L0" },
|
|
|
|
{ "-4.3024038761755407723L9", "2.485284435684751149L-21",
|
|
"-1731151498959165530746191347712", "0.0L0" },
|
|
|
|
{ "6.136473603422627364L9", "5.6959828635137213127L-21",
|
|
"1077333578850898685241017237504", "0.0L0" },
|
|
|
|
{ "-8.202208473677937235L-11", "0.12393605769441814725L0",
|
|
"-1", "0.123936057612396062516L0" },
|
|
|
|
{ "-8.6757073154686102475L-11", "-0.37237633673270687662L0",
|
|
"0", "-8.675707315468610247L-11" },
|
|
|
|
{ "5.6028622390057924218L-11", "0.6499341232771672055L0",
|
|
"0", "5.6028622390057924218L-11" },
|
|
|
|
{ "4.5783899320025937576L-11", "-0.7229560019811405793L0",
|
|
"-1", "-0.7229560019353566799L0" },
|
|
|
|
{ "7.224213822400873615L-11", "-0.87051303270552073176L0",
|
|
"-1", "-0.87051303263327859354L0" },
|
|
|
|
{ "-5.5008008233955830292L-11", "-0.45974678868400245752L0",
|
|
"0", "-5.5008008233955830295L-11" },
|
|
|
|
{ "-5.949553569817051437L-11", "-4.9088361621296460857L9",
|
|
"0", "-5.949553569817051437L-11" },
|
|
|
|
{ "9.068981360820356321L-11", "3.9567179334666110438L9",
|
|
"0", "9.068981360820356321L-11" },
|
|
|
|
{ "3.4621680776088405294L-13", "4.3691679646970805987L9",
|
|
"0", "3.4621680776088405294L-13" },
|
|
|
|
{ "4.005939678622022073L-11", "-9.2132271371400602936L8",
|
|
"-1", "-9.213227137140060293L8" },
|
|
|
|
{ "6.8015601712459487755L-11", "-4.769849366969915586L9",
|
|
"-1", "-4.769849366969915586L9" },
|
|
|
|
{ "8.736177705951390388L-11", "8.3701230195943479203L9",
|
|
"0", "8.736177705951390388L-11" },
|
|
|
|
{ "-8.8368349664293751446L-11", "1.7247862508910726963L-11",
|
|
"-6", "1.5118825389170610328L-11" },
|
|
|
|
{ "-2.0922301210797840822L-11", "2.9157326021078492393L-11",
|
|
"-1", "8.235024810280651572L-12" },
|
|
|
|
{ "-9.929248815922456709L-11", "-6.9934608623319373425L-11",
|
|
"1", "-2.9357879535905193665L-11" },
|
|
|
|
{ "8.809298490106908006L-11", "2.521478295865126635L-11",
|
|
"3", "1.244863602511528101L-11" },
|
|
|
|
{ "7.3620267190952160604L-11", "-5.0806267993123045533L-11",
|
|
"-2", "-2.7992268795293930463L-11" },
|
|
|
|
{ "-9.070716461299934103L-11", "1.372581158818204212L-11",
|
|
"-7", "5.3735165042749538097L-12" },
|
|
|
|
{ "-7.459630170957188741L-11", "-3.429772398019229389L19",
|
|
"0", "-7.459630170957188741L-11" },
|
|
|
|
{ "1.9725650506989118904L-11", "-1.7770668980460508816L19",
|
|
"-1", "-1.7770668980460508816L19" },
|
|
|
|
{ "6.3974118251214889016L-12", "-5.69117448017374684L19",
|
|
"-1", "-5.69117448017374684L19" },
|
|
|
|
{ "9.080192761938897539L-11", "5.1550284925054312868L19",
|
|
"0", "9.080192761938897539L-11" },
|
|
|
|
{ "7.694299339180548789L-11", "3.1601030797220572842L19",
|
|
"0", "7.694299339180548789L-11" },
|
|
|
|
{ "5.5788554873601060938L-11", "5.5699367746931070664L19",
|
|
"0", "5.5788554873601060938L-11" },
|
|
|
|
{ "-4.087371164243010522L-11", "1.7025318283693090775L-21",
|
|
"-24007605005", "1.5007203773756006028L-21" },
|
|
|
|
{ "-7.3575974688385316083L-11", "-1.6670029902289832508L-21",
|
|
"44136678290", "-1.8066891019200848581L-22" },
|
|
|
|
{ "1.0850282868697332469L-11", "5.7344803128377181472L-21",
|
|
"1892112672", "1.4425616831217755076L-21" },
|
|
|
|
{ "-9.848519351300913193L-11", "-7.121687974823219785L-21",
|
|
"13828911609", "-2.300608125189343731L-21" },
|
|
|
|
{ "3.0260591554314098406L-12", "1.7303586387117179437L-22",
|
|
"17488046048", "9.689796116124082976L-23" },
|
|
|
|
{ "5.867643793784483945L-11", "2.9831220978672803306L-21",
|
|
"19669472456", "9.594326475082730988L-22" },
|
|
|
|
{ "9.453252855247919707L19", "0.3964594556008910194L0",
|
|
"238441856328540902016", "0.0L0" },
|
|
|
|
{ "1.9865852464762410773L17", "0.8745495786051183551L0",
|
|
"227155245977568008", "0.08198902299422984579L0" },
|
|
|
|
{ "5.8003655986843771616L19", "-0.57075967601329721915L0",
|
|
"-101625357264188433960", "0.0L0" },
|
|
|
|
{ "6.5463855676706502812L19", "0.5124698839969514896L0",
|
|
"127741859026189966704", "0.0L0" },
|
|
|
|
{ "8.053368905864221505L19", "0.40679331708739617821L0",
|
|
"197972006116659527920", "0.0L0" },
|
|
|
|
{ "8.5722362029533885376L19", "0.1793174966141533504L0",
|
|
"478047952085719142240", "0.0L0" },
|
|
|
|
{ "-6.6056603867132043536L19", "1.8364346532401849241L9",
|
|
"-35970026895", "8.274070785684816422L8" },
|
|
|
|
{ "2.473965171745108034L19", "5.5749126908032718576L9",
|
|
"4437675186", "5.356910410798194379L9" },
|
|
|
|
{ "-4.405924011882179756L19", "-6.4568556406242929674L9",
|
|
"6823637165", "-4.1798826632701602209L8" },
|
|
|
|
{ "2.1093676314099077168L19", "5.727620773112868108L8",
|
|
"36827990451", "1.8408274540307780489L8" },
|
|
|
|
{ "-1.0962340119185741432L19", "-8.173187675545835245L9",
|
|
"1341256380", "-4.422519927692124746L9" },
|
|
|
|
{ "-9.664836922872330681L19", "-4.5461452948374001435L9",
|
|
"21259410546", "-4.0088028420210172099L9" },
|
|
|
|
{ "9.9654629946168490416L19", "-6.27691916031617149L-11",
|
|
"-1587636026543136775574879469568", "0.0L0" },
|
|
|
|
{ "-1.2700534905234296955L19", "-7.6392648594402208417L-11",
|
|
"166253365198349054807791108096", "0.0L0" },
|
|
|
|
{ "-7.837735447773461618L18", "-8.6041613252133785413L-11",
|
|
"91092381366746282195935035392", "0.0L0" },
|
|
|
|
{ "4.849306367034469812L19", "-8.744903371098252931L-11",
|
|
"-554529439749024491444258209792", "0.0L0" },
|
|
|
|
{ "-6.3895751736590951245L18", "-8.9218106166526971406L-11",
|
|
"71617471477514379195326660608", "0.0L0" },
|
|
|
|
{ "-1.1249006547358954392L19", "-3.749899421128778124L-11",
|
|
"299981553744522252727485464576", "0.0L0" },
|
|
|
|
{ "-4.8298889769606521412L19", "3.2897859420995047714L19",
|
|
"-2", "1.7496829072383574016L19" },
|
|
|
|
{ "-7.618272569239742257L19", "-2.4246730847406800364L19",
|
|
"3", "-3.4425331501770214745L18" },
|
|
|
|
{ "-9.9344217376670949096L19", "-2.187787768895506888L19",
|
|
"4", "-1.1832706620850673572L19" },
|
|
|
|
{ "3.9222824564168688912L19", "-9.476307993509074433L19",
|
|
"-1", "-5.5540255370922055412L19" },
|
|
|
|
{ "-2.012988112115775752L19", "-1.01146191266402097525L18",
|
|
"19", "-9.1210478054135899006L17" },
|
|
|
|
{ "8.6136075623649245696L19", "-9.374471951386232653L19",
|
|
"-1", "-7.6086438902130808345L18" },
|
|
|
|
{ "-4.0954879593227223964L19", "3.4785793369902262412L-21",
|
|
"-11773449913223093127289481096658923028480", "0.0L0" },
|
|
|
|
{ "-5.7633820540313762628L19", "-6.9799216943629666126L-21",
|
|
"8257086979479904139315172946770002968576", "0.0L0" },
|
|
|
|
{ "-4.5945941433359568196L19", "-9.26874309885338918L-21",
|
|
"4957084357969034092339972319162935541760", "0.0L0" },
|
|
|
|
{ "9.069653875532044557L19", "1.1607862998892810815L-21",
|
|
"78133708817868823323292026086376001765376", "0.0L0" },
|
|
|
|
{ "1.9663881236128118596L19", "-7.53224056983834607L-21",
|
|
"-2610628411799403924128603371383036051456", "0.0L0" },
|
|
|
|
{ "3.8155182638858600344L19", "-9.78280482738867461L-21",
|
|
"-3900229362854759958152852242692868931584", "0.0L0" },
|
|
|
|
{ "2.0785751397779279812L-21", "0.84874462118484074924L0",
|
|
"0", "2.0785751397779279812L-21" },
|
|
|
|
{ "9.468679817093889512L-22", "-0.14230041428757812886L0",
|
|
"-1", "-0.14230041428757812886L0" },
|
|
|
|
{ "-3.5329587582370771722L-21", "-0.75145077780984780047L0",
|
|
"0", "-3.5329587582370771722L-21" },
|
|
|
|
{ "1.0147425004279850959L-21", "0.55049889413410685307L0",
|
|
"0", "1.0147425004279850959L-21" },
|
|
|
|
{ "-9.214176537319943048L-21", "-0.45008902557926736644L0",
|
|
"0", "-9.214176537319943048L-21" },
|
|
|
|
{ "-1.146684367801419132L-21", "0.3317375182580383851L0",
|
|
"-1", "0.3317375182580383851L0" },
|
|
|
|
{ "9.8958965362796452575L-23", "-8742129.925142999928L0",
|
|
"-1", "-8742129.925142999928L0" },
|
|
|
|
{ "-8.629925553125559817L-22", "1.4904768761159059732L9",
|
|
"-1", "1.4904768761159059732L9" },
|
|
|
|
{ "-1.7636696713810751494L-21", "1.2803675755746476424L9",
|
|
"-1", "1.2803675755746476424L9" },
|
|
|
|
{ "7.8572218293550540256L-21", "7.311951574932556098L9",
|
|
"0", "7.8572218293550540256L-21" },
|
|
|
|
{ "5.8831628670454666175L-21", "-2.430599936529262355L9",
|
|
"-1", "-2.430599936529262355L9" },
|
|
|
|
{ "5.891885696934149925L-21", "6.0077688200842341403L9",
|
|
"0", "5.891885696934149925L-21" },
|
|
|
|
{ "-5.5378511525885539255L-21", "-4.317564477957860586L-11",
|
|
"0", "-5.5378511525885539255L-21" },
|
|
|
|
{ "-1.9525004120740256159L-21", "9.454884961900014292L-11",
|
|
"-1", "9.454884961704764251L-11" },
|
|
|
|
{ "5.461359828153347278L-21", "-9.7061135180917529105L-11",
|
|
"-1", "-9.706113517545616928L-11" },
|
|
|
|
{ "9.644530490453124287L-21", "8.28693431641614359L-11",
|
|
"0", "9.644530490453124287L-21" },
|
|
|
|
{ "8.997549905605484822L-21", "5.2672865249640494307L-11",
|
|
"0", "8.997549905605484822L-21" },
|
|
|
|
{ "-1.55338435917637846L-21", "5.9708770769690056966L-11",
|
|
"-1", "5.9708770768136672606L-11" },
|
|
|
|
{ "3.9285675924255819076L-21", "5.674913585946206864L19",
|
|
"0", "3.9285675924255819076L-21" },
|
|
|
|
{ "-3.6185336116295331734L-21", "-9.043926006483480333L19",
|
|
"0", "-3.6185336116295331734L-21" },
|
|
|
|
{ "-7.32672036508508268L-21", "1.205614654464109627L19",
|
|
"-1", "1.205614654464109627L19" },
|
|
|
|
{ "-3.3565132746900103151L-21", "8.585503247975515849L19",
|
|
"-1", "8.585503247975515849L19" },
|
|
|
|
{ "-6.9204354176156616745L-21", "-3.6158709669328356396L19",
|
|
"0", "-6.9204354176156616745L-21" },
|
|
|
|
{ "-7.5176747956103960436L-21", "9.3440027997860057096L19",
|
|
"-1", "9.3440027997860057096L19" },
|
|
|
|
{ "-6.302622462978502841L-21", "8.1107309029375862425L-21",
|
|
"-1", "1.8081084399590834014L-21" },
|
|
|
|
{ "1.4803054325001667241L-22", "6.3345497995208400772L-21",
|
|
"0", "1.4803054325001667241L-22" },
|
|
|
|
{ "-5.7089861270321677843L-21", "9.540482421100450586L-21",
|
|
"-1", "3.831496294068282802L-21" },
|
|
|
|
{ "3.3765199428161524112L-21", "9.669802014415968729L-21",
|
|
"0", "3.3765199428161524112L-21" },
|
|
|
|
{ "7.52101063082155294L-21", "8.827949370572986921L-21",
|
|
"0", "7.52101063082155294L-21" },
|
|
|
|
{ "4.196504310402249954L-23", "3.785428476220113075L-21",
|
|
"0", "4.196504310402249954L-23" },
|
|
|
|
};
|