Last active
April 26, 2017 14:28
-
-
Save gfredericks/b6b59f1c531dc36017e45f2f0beeff9e to your computer and use it in GitHub Desktop.
Proposed distribution for a bigint generator in test.check.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; goals: | |
| ;; - unbounded distribution (arbitrarily large bigints can be generated, | |
| ;; even for small `size`) | |
| ;; - but respects `size` -- with larger `size`, larger numbers are likely | |
| ;; to be generated | |
| ;; - has a roughly 0.1% chance of generating an integer larger than | |
| ;; Double/MAX_VALUE (2^1024) | |
| ;; sizing background: https://github.com/clojure/test.check/blob/master/doc/growth-and-shrinking.md | |
| (sample gen/bigint 200) | |
| ;; note that the `size` for the numbers listed here increases from 0 to 199 | |
| ;; => | |
| [ | |
| ⇰ 0 | |
| ⇰ -1 | |
| ⇰ 0 | |
| ⇰ 0 | |
| ⇰ -2 | |
| ⇰ 0 | |
| ⇰ -122 | |
| ⇰ -108952 | |
| ⇰ 0 | |
| ⇰ 6 | |
| ⇰ -5502438 | |
| ⇰ -3 | |
| ⇰ -2 | |
| ⇰ 14 | |
| ⇰ -2060091 | |
| ⇰ -9118681 | |
| ⇰ -32917317366393212103814 | |
| ⇰ -21535 | |
| ⇰ 6 | |
| ⇰ -7183015976645151 | |
| ⇰ 9 | |
| ⇰ -58936185 | |
| ⇰ -17726067119 | |
| ⇰ 76 | |
| ⇰ 4092073960623 | |
| ⇰ -120776159108 | |
| ⇰ -50769158387 | |
| ⇰ -1845 | |
| ⇰ -1117084924 | |
| ⇰ 591 | |
| ⇰ -1040856618530 | |
| ⇰ 2631005007570719766591997772022681493005143178984598 | |
| ⇰ 95206 | |
| ⇰ 7 | |
| ⇰ -686176 | |
| ⇰ -6 | |
| ⇰ 33399567699598843984899 | |
| ⇰ -235062803520645 | |
| ⇰ -366 | |
| ⇰ -288265637526816552401 | |
| ⇰ -14985883701066223017474927 | |
| ⇰ 4397572116125352 | |
| ⇰ 6676 | |
| ⇰ 1490556 | |
| ⇰ 509982039086837619010 | |
| ⇰ -43003 | |
| ⇰ 2 | |
| ⇰ 137156 | |
| ⇰ -1780156 | |
| ⇰ 123763292079 | |
| ⇰ 755298849013321631001 | |
| ⇰ -1 | |
| ⇰ 0 | |
| ⇰ -3561875178412680284851 | |
| ⇰ 928802156721257 | |
| ⇰ -2419440371937608046950 | |
| ⇰ -5744095448016139848839022266653662670675404037032684 | |
| ⇰ -1 | |
| ⇰ 28892564098 | |
| ⇰ -651409 | |
| ⇰ 37474046578743766728197175 | |
| ⇰ 464204587 | |
| ⇰ 3497144 | |
| ⇰ 4 | |
| ⇰ -760497478582296969463171692826687790 | |
| ⇰ -1 | |
| ⇰ 24644501808 | |
| ⇰ 21275 | |
| ⇰ -8922 | |
| ⇰ 9 | |
| ⇰ -4248691420160285523160 | |
| ⇰ 230614542 | |
| ⇰ -33225705275468 | |
| ⇰ -21 | |
| ⇰ -1281344086172683 | |
| ⇰ -766978708033 | |
| ⇰ 15963808829322 | |
| ⇰ -69427076635392397325771055074807269078098184982441112609440495461643005 | |
| 79232250557565980613362845719245740168062029969590845621029496914696143 | |
| ⇰ -221097547988830334228339084720180024384294635294361622274334591896539 | |
| ⇰ 0 | |
| ⇰ -94567124945711028939805463552129976380206007342389 | |
| ⇰ -619 | |
| ⇰ -7508 | |
| ⇰ -3206898776564 | |
| ⇰ 26012786272049605677780843797150326846144867 | |
| ⇰ -19673776965 | |
| ⇰ -487996945027934940 | |
| ⇰ -3930217219136692438315309 | |
| ⇰ 8933663 | |
| ⇰ 423639245069127861336076814685063832979530797707840720674642464120104358 | |
| 55611485538652199809774106 | |
| ⇰ -23708731 | |
| ⇰ 1084495221070382779938772465007482621598263 | |
| ⇰ 285532442947440470476143818986 | |
| ⇰ 794212084474784676931058235947126617723926026420961761905888208504053389 | |
| 515625 | |
| ⇰ -18 | |
| ⇰ 12676387044 | |
| ⇰ 84 | |
| ⇰ 84 | |
| ⇰ 1493278 | |
| ⇰ 58 | |
| ⇰ 10795645623418208488147895516132960897920570541072848 | |
| ⇰ 11952561035990456140645444167153878678185509577220 | |
| ⇰ -204457338059902010522795 | |
| ⇰ 744331187853881238630957384500748092931639842139256923257240 | |
| ⇰ -936128047889047186479234 | |
| ⇰ -7654561982 | |
| ⇰ 5923762713757 | |
| ⇰ -121997128286633 | |
| ⇰ 542226170694507919726291391043304 | |
| ⇰ 67300158941185627339841002868691331658826 | |
| ⇰ 6118318283620492247787585681683 | |
| ⇰ 439578753744214218210601482611191973875664355309519838024172765900183400 | |
| 89102904819 | |
| ⇰ -6909519252 | |
| ⇰ -18613455428275706622931 | |
| ⇰ 2904247944366901315301314508382224 | |
| ⇰ 1113587031702725665588395503 | |
| ⇰ 32968328314692929243019583342500863667065481 | |
| ⇰ -1069744580209654150224780846203187865865540838486 | |
| ⇰ 642151637758355246327423489658742261001323500839877195566830485360467703 | |
| 028087332741464087774636099319963175972965315740967333212085825698900868 | |
| 43234974439410494738438376262836677920 | |
| ⇰ -2792513948 | |
| ⇰ -162220955141 | |
| ⇰ -1499917605481018807 | |
| ⇰ -909627898926866718112098 | |
| ⇰ -2820571508048705281356029009269743956456141834956577659285388 | |
| ⇰ -10660 | |
| ⇰ 4976735301250070063271985760472373881 | |
| ⇰ 5666530682793359256093389039628435320417485012445 | |
| ⇰ 84705262411436766580174245590058972239 | |
| ⇰ -854588500035265324708697518121778 | |
| ⇰ 644396205764553903468466643910428 | |
| ⇰ -32061602008592940478 | |
| ⇰ -1 | |
| ⇰ 11770242263668646508608172523725 | |
| ⇰ 197306301479242089798999727884954991202962027286933986880139324 | |
| ⇰ -3916456751247515 | |
| ⇰ 79770857121579477980729482118026497362692 | |
| ⇰ -49059382420854218788604892722367890524205791713 | |
| ⇰ 87437158271780537907388248310276730775408670534044355659691 | |
| ⇰ -44607809671937580566 | |
| ⇰ 37982485236739229598917044 | |
| ⇰ 5198501 | |
| ⇰ 303881251398303065048889457824896948130250204130451182945583067654830328 | |
| 49666837971070360882675 | |
| ⇰ -51833918686542285886279978310960433581317110797203782235944242875219030 | |
| 655769168549997725117615822516754073602137401988624622812918782717476646404 | |
| ⇰ 585762305006263572421479758870864002861534950589035693946384678316570670 | |
| 000510733470481121948915965035365723148852254500 | |
| ⇰ -2283 | |
| ⇰ -195211265894306578006858044344205132201760 | |
| ⇰ -18498365769826240319892496752710189132516176018347113964787302571796019 | |
| 04317581950580864805024279942566943204 | |
| ⇰ -6301398436375233537434498294550 | |
| ⇰ 229134398075 | |
| ⇰ 17199845334041899633657961585186318826 | |
| ⇰ -242118323808308293 | |
| ⇰ -6855013 | |
| ⇰ 289670196 | |
| ⇰ -18691384356942455579086674380536565441357448920633168 | |
| ⇰ -6330153235197 | |
| ⇰ 0 | |
| ⇰ -92948230 | |
| ⇰ -71705673542696743834514610075266899412032426779785168 | |
| ⇰ -14 | |
| ⇰ 8 | |
| ⇰ 16189792351185535803287486026704181614832843920413927520 | |
| ⇰ 1264776652342341279120587336086959 | |
| ⇰ -9000044376174125374409451864008958428225892068503613256 | |
| ⇰ 43376626878075877385 | |
| ⇰ -4107499540 | |
| ⇰ -424209600944377206385988240676116669435896859202881426293250737853593444 | |
| ⇰ -154041703814001550144857201033 | |
| ⇰ 14814238944043493687919470325946351515286597 | |
| ⇰ 2391497581563089032615292284683275609046908918065153124910077509 | |
| ⇰ -41480331698848462647 | |
| ⇰ -54262586387834713622452814478807267631104708033880106525992 | |
| ⇰ 22126988095356 | |
| ⇰ 68059547776720 | |
| ⇰ 97182498010667613257669548055796354110 | |
| ⇰ -42451909604469023540179282940818759838225944115984517417418762935614233 | |
| 544290320879259112214294325146811346345418484863970325961367547887067073 | |
| 6352232606051375 | |
| ⇰ -28928580283 | |
| ⇰ 119475591865248877729416 | |
| ⇰ -38766551080916901869276203244270794520920430265246472554804447600962634 | |
| 8774221 | |
| ⇰ 467458321687160914752101227 | |
| ⇰ 8742 | |
| ⇰ 893992202 | |
| ⇰ -10675395282600823621122569154556851603174377728323780537237472406529547 | |
| 30207191548480 | |
| ⇰ 29924713701143653016 | |
| ⇰ -171974509198104 | |
| ⇰ 521413405520644506471621256900675264000921820286252753253243293043618468 | |
| 86563340290954201937227 | |
| ⇰ -1122719472874273683330656497192378192391463227323157 | |
| ⇰ 456370370941917135664756024958964860235433423595523370124258004631955000 | |
| 90077473231951679908747197194842818 | |
| ⇰ -405236715540762563038714631127292 | |
| ⇰ -43905233134238811425237094535334508585424098677990 | |
| ⇰ 8 | |
| ⇰ 14678765808026287909481093810393897204530 | |
| ⇰ 469891713114897966594000734216430581763398854150536337690031757187673633 | |
| 089765194870872124998490796780354824365246974096944010270889138456085972 | |
| 858028101655104596202431945110612957603113574155772038931231769911979506 | |
| 030654441992225865682026943289046312194476370122157589887512710832189749 | |
| 42101880822112128593661983070496517251545108229043374881053118692371227986 | |
| ⇰ -101081733635685453657872353238151115008582393810234779796306422 | |
| ⇰ 123902427722835799206943901514505088588305723220682502133102386092566687 | |
| 2742296541492025929304832 | |
| ⇰ -151853146740910022041358304697844375581404563464 | |
| ⇰ 74860984228275857894916 | |
| ⇰ 210316771876211210073401300 | |
| ⇰ 2533757192193785124231697275124 | |
| ⇰ -420292904979567457169704067381128531876657877956573 | |
| ⇰ -20990751250596705560338583331350236112030225800900260125743730619205225 | |
| 628585969432987809463963686765261347308173021058216067434573720318930529 | |
| 529087291971292609522939951160471485436538462474517968217982391085077130 | |
| 967479618192965696531 | |
| ] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment