cln_mirror/tests/exam_LF_floor.cc

#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"