Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/third_party/rust/rand_distr/src/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 24 kB image not shown  

Quelle  ziggurat_tables.rs   Sprache: unbekannt

 
Spracherkennung für: .rs vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

// Copyright 2018 Developers of the Rand project.
// Copyright 2013 The Rust Project Developers.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// https://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

// Tables for distributions which are sampled using the ziggurat
// algorithm. Autogenerated by `ziggurat_tables.py`.

pub type ZigTable = &'static [f64; 257];
pub const ZIG_NORM_R: f64 = 3.654152885361008796;
#[rustfmt::skip]
pub static ZIG_NORM_X: [f64; 257] =
    [3.9107579595370900453.6541528853610087963.4492782985609644623.320244733839166074,
     3.2245750520470291003.1478892895171499693.0835261320012330443.027837791768635434,
     2.9786032798808448342.9343668672078542242.8941210536123480602.857138730872132548,
     2.8228773968253251252.7909211740007857652.7609440052788225552.732685359042827056,
     2.7059336561218581002.6805146432845221582.6562830375755024372.633116393630324570,
     2.6109105184875485152.5895759867069951812.5690354526805365692.549221550323460761,
     2.5300752321585169292.5115444416253422942.4935830412696806672.476149939669143318,
     2.4592083743333112982.4427253181989567742.4266709849357259722.411018413899685520,
     2.3957431197804806012.3808227951706260052.3662370567158186322.351967227377659952,
     2.3379961487950313702.3243080188696230162.3108882505998500362.297723348901329565,
     2.2848008027229460562.2721089902268238882.2596370951722177802.247375032945807760,
     2.2353133849283279842.2234433400909057182.2117566428825443662.200245546609647995,
     2.1889027716247206892.1777214677386416142.1666951803526459662.155817819875063268,
     2.1450836340462036132.1344871828443201522.1240233156878156612.113687150684933957,
     2.1034740557131468292.0933796311370502792.0833996939965517832.073530263516978778,
     2.0637675478099564152.0541079316488648492.0445479652157327882.035084353727808715,
     2.0257139478620329602.0164337349043717222.0072408305586848521.998132471356564244,
     1.9891060076155713251.9801588968985983641.9712886979317696401.962493064942461896,
     1.9537697423827340431.9451165600067539251.9365314282737589041.928012334050718257,
     1.9195573365912288471.9111645637692822321.9028322085484463691.894558525668710081,
     1.8863418285347763881.8781804862909776691.8700729210692368381.862017605397632281,
     1.8540130597581481191.8460578502831197501.8381505865807286071.830289919680666566,
     1.8224745400917832241.8147031759641676361.8069745913486934261.799287584547580199,
     1.7916409865500100281.7840336595472763291.7764644955223449771.768932414909077933,
     1.7614363653167066651.7539753203154551111.7465482782794929941.739154261283669012,
     1.7317923140507072161.7244615029457757151.7171609150155406901.709889657069006086,
     1.7026468547976139071.6954316519322385481.6882432094348587271.681080704722823338,
     1.6739433309237603531.6668302961592866841.6597408228557894991.652674147080648526,
     1.6456295179023603391.6386061967731111461.6316034569324220361.624620582830568427,
     1.6176568695705342281.6107116223673336731.6037841560235830411.596873794420261339,
     1.5899798700216485341.5831017233934714381.5762387027333328861.569390163412534456,
     1.5625554675284396571.5557339834665548931.5489250854715355121.542128153226347553,
     1.5353425714388431181.5285677294350246141.5218030207582931011.515047842773992404,
     1.5083015962785719651.5015636851127065481.4948335157777183911.488110497054654369,
     1.4813940396253757471.4746835556950255161.4679784586152309081.461278162507407830,
     1.4545820818855232931.4478896312776696751.4412002248457980171.434513276002946425,
     1.4278281970272903581.4211443986723231171.4144612897724646581.407778276843371534,
     1.4010947636762025591.3944101509250712571.3877238356868846211.381035211072741964,
     1.3743436657700305311.3676485835943179571.3609493430301018441.354245316759430606,
     1.3475358711773592901.3408203658931521221.3340981532160836041.327368577624624679,
     1.3206309752177300961.3138846731468689641.3071289890273538601.300363230327433728,
     1.2935866937335176451.2867986644897864151.2799984157103332371.273185207661843732,
     1.2663582870146883331.2595168860601442251.2526602218912978871.245787495544997903,
     1.2388978911020274151.2319905747424451101.2250646937528080201.218119375481726552,
     1.2111537262399112441.2041668301405601401.1971577478755859311.190125515422801650,
     1.1830691426787607321.1759876120114898251.1688798767268338001.161744859441574240,
     1.1545814503558518021.1473885054167338731.1401648443639957891.132909248648336975,
     1.1256204592112943891.1182971741150629091.1109380460092495021.103541679420268151,
     1.0961066278476034871.0886313906495141971.0811144096988893891.073554065787871714,
     1.0659486747575066531.0582964833260064541.0505956645862071231.042844313139370538,
     1.0350404398286052741.0271819660307512921.0192667174605292151.011292417434978441,
     1.0032566795395914120.9951569996299430840.9869907470938462660.978755155288937750,
     0.9704473110588646150.9620641432176052500.9536024098755726540.945058684462571130,
     0.9364293402808968600.9277105333962347710.9188981836437349890.909987953490768997,
     0.9009752244551745280.8918550707267923760.8826222295789101220.873271068082494550,
     0.8637955455468269150.8541891710015605540.8444449549024236610.834555354079518752,
     0.8245122087452886330.8143066701280643470.8039291169826648930.793369058833152785,
     0.7826150232995887630.7716544242167393540.7604734064220831650.749056662009581653,
     0.7373872114258386290.7254461409013035490.7132122851820227320.700661841097584448,
     0.6877678927862577170.6744998228274364790.6608225742342059840.646695714884388928,
     0.6320722363750246320.6168969899962355450.6011046177439404170.584616766093722262,
     0.5673382570404730260.5491517023130267900.5299097206464951080.509423329585933393,
     0.4874439661217543350.4636343367717632450.4375184021866626580.408389134588000746,
     0.3751213328504657270.3357375191804594650.2861745917472605090.215241895913273806,
     0.000000000000000000];
#[rustfmt::skip]
pub static ZIG_NORM_F: [f64; 257] =
    [0.0004774677645866550.0012602859304985980.0026090727461063630.004037972593371872,
     0.0055224032992647540.0070508754713921100.0086165827694229170.010214971439731100,
     0.0118427578579431040.0134974506017808070.0151770883079820720.016880083152595839,
     0.0186051212757833500.0203510962301093540.0221170627073799220.023902203305873237,
     0.0257058040086326560.0275272356696933150.0293659397582301110.031221417192023690,
     0.0330932194586886980.0349809414618330730.0368842156886911510.038802707404656918,
     0.0407361106560787530.0426841449166193780.0446465522514465360.046623094902089664,
     0.0486135532160351450.0506177238611217880.0526354182769736490.054666461325077916,
     0.0567106901063994670.0587679529211379840.0608381083497518060.062921024437977854,
     0.0650165779714704380.0671246538280239890.0692451443972502690.071377949059141965,
     0.0735229737142409910.0756801303591949640.0778493367023722070.080030515814947509,
     0.0822235958134956840.0844285095706546610.0866451944508677820.088873592068594229,
     0.0911136480667007340.0933653119130266190.0956285367133533350.097903279039215627,
     0.1001894987691720200.1024871589423062700.1047962256228670560.107116667775072880,
     0.1094484571472100210.1117915681642455830.1141459778282552100.116511665626037014,
     0.1188886134433456980.1212768054852354370.1236762282020514030.126086870220650349,
     0.1285087222804736360.1309417771741281660.1333860296921628440.135841476571757352,
     0.1383081164490643220.1407859498149683090.1432749789740471180.145775208006537926,
     0.1482866427331287210.1508092906824101690.1533431610608376740.155888264725064563,
     0.1584446141565202250.1610122234381176630.1635911082329829510.166181285765110071,
     0.1687827748018503330.1713955956381556230.1740197700824993590.176655321444406654,
     0.1793022745235303970.1819606556002164870.1846304924275045390.187311814224516926,
     0.1900046516711930700.1927090369043288070.1954250035148855920.198152586546538112,
     0.2008918224954313330.2036427493111215010.2064054063986792980.209179834621935651,
     0.2119660763078529410.2147641752520084990.2175741767251783700.220396127481011589,
     0.2232300757647895930.2260760713232648770.2289341654155774840.231804410825248525,
     0.2346868618732526890.2375815744321736760.2404886059414491070.243408015423711988,
     0.2463398635022387710.2492842124195167040.2522411260569437650.255210669955677150,
     0.2581929113386480230.2611879191337637130.2641957639983175680.267216518344631837,
     0.2702502563669599840.2732970540696758040.2763569892967812640.279430141762765316,
     0.2825165930848493880.2856164268166581090.2887297284833539310.291856585618280984,
     0.2949970878011625720.2981513266979013420.3013193961020341200.304501391977896274,
     0.3076974125055537690.3109075581275637100.3141319315976301430.317370638031222396,
     0.3206237849582301290.3238914823777320210.3271738428149585930.330470981380537099,
     0.3337830158321085090.3371100666384128090.3404522570459454500.343809713148291340,
     0.3471825639582514780.3505709414828812040.3539749808015692500.357394820147290515,
     0.3608306009911757540.3642824681305495970.3677505697805962260.371235057669821344,
     0.3747360871394914140.3782538172472381110.3817884108750313480.385340034841733958,
     0.3889088600204645970.3924950614610107640.3960988185175470800.399720314981931668,
     0.4033597392228688850.4070172843312479530.4106931482719832220.414387534042706784,
     0.4181006498396845910.4218327092313532980.4255839313399005790.429354541031341519,
     0.4331447691145740580.4369548525499292730.4407850346677699150.444635565397727750,
     0.4485067015092140670.4523987068638825050.4563118526807735660.460246417814923481,
     0.4642026890502788380.4681809614078221720.4721815384698832550.476204732721683788,
     0.4802508659112497140.4843202694289115980.4884132847077120590.492530263646148658,
     0.4966715690547963140.5008375751284821490.5050286679458287910.509245245998136142,
     0.5134877207497430260.5177565172322006190.5220520746747948640.526374847174186700,
     0.5307253044061939210.5351039323830195650.5395112342595446140.543947731192649941,
     0.5484139632579211330.5529104904285199180.5574378936214863240.561996775817277916,
     0.5665877632589517710.5712115067380749700.5758686829752105440.580559996103683473,
     0.5852861792663003330.5900479963357919690.5948462437709912680.599681752622167719,
     0.6045553907005495330.6094680649288953810.6144207238920768030.619414360609039205,
     0.6244500155502742400.6295287799281282790.6346517992909600500.639820277456438991,
     0.6450354808242518830.6502987431142945860.6556114705832246650.660975147780241357,
     0.6663913439123806400.6718617199007663740.6773880362225130900.682972161648791376,
     0.6886160830085270580.6943219161300325790.7000919181404900990.705928501336797409,
     0.7118342488823584670.7178119326349013950.7238645334728815990.729995264565802437,
     0.7362075981312666830.7425052963446362450.7488924472237267200.755373506511754500,
     0.7619533468415464750.7686373158033348310.7754313049861383260.782341832659861902,
     0.7893761435711985630.7965423304282546190.8038494831763894900.811307874318219935,
     0.8189291916094147970.8267268339520942310.8347162929929303750.842915653118441077,
     0.8513462584651236840.8600336212030086360.8690086880437931650.878309655816146839,
     0.8879846607633998800.8980959219063040510.9087264400605629120.919991505048360247,
     0.9320600759689902090.9451989534530780280.9598790918124159300.977101701282731328,
     1.000000000000000000];
pub const ZIG_EXP_R: f64 = 7.697117470131050077;
#[rustfmt::skip]
pub static ZIG_EXP_X: [f64; 257] =
    [8.6971174701310527417.6971174701310500776.9410336293772125776.478378493832569696,
     6.1441646657724726675.8821443157953998695.6664101674540336975.482890627526062488,
     5.3230905057543980165.1814872813015000475.0542884899813040894.938777085901250530,
     4.8329397410251120354.7352429966017410834.6444918854200851754.559737061707351380,
     4.4802117465284219124.4052876934735731854.3344436803172730074.267242480277365857,
     4.2033137137351843654.1423408656640514644.0840513104082978304.028208544647936762,
     3.9746060666737887963.9230625001354897393.8734176703995091273.825529418522336744,
     3.7792709924116678623.7345288940397973753.6912010902374188253.649195515760853770,
     3.6084288131289095073.5688252656483370203.5303158891293433543.492837654774059608,
     3.4563328211327601913.4207483572511199203.3860354424603009703.352149030900109405,
     3.3190474709707480373.2866921715990686793.2550473085704498823.224079565286264160,
     3.1937579032122402903.1640533580259728733.1349388580844403943.106389062339824481,
     3.0783802152540902243.0508900166154551143.0238975044556766212.997382949516130601,
     2.9713277599210896622.9457143948950457182.9205262865127408212.895747768600141825,
     2.8713640120155363712.8473609656351888122.8237253024500352792.800444370250737780,
     2.7775061464397565742.7548991965623446102.7326126361947000732.710636095867928752,
     2.6889596887418036892.6675739807732665732.6464699631518091572.625639026797788489,
     2.6050729387408355642.5847638202141407502.5647041263169052532.544886627111869970,
     2.5253043900378280282.5059507635285940272.4868193617402094552.467904050297364815,
     2.4491989329782497542.4306983392644196942.4123968126888706292.394289099921457886,
     2.3763701405361405962.3586350574093373212.3410791477030343802.323697874390196372,
     2.3064868582835797992.2894418705322694412.2725588255531548042.255833774367219213,
     2.2392628983129090342.2228425031110368162.2065690132576638582.190438966723220027,
     2.1744490099377746792.1585958930438859942.1428764653998420012.127287671317368289,
     2.1118265460190421832.0964902118017150202.0812758743932251452.066180819490575526,
     2.0512024094685847862.0363380802487696112.0215853383189261732.006941757894518563,
     1.9924049782135766501.9779727009573604411.9636426877895483131.949412758007184943,
     1.9352807862970513591.9212447005915280761.9073024800183875361.893452152939308242,
     1.8796917950722111801.8660195276928279731.8524335159111755541.838931967018879954,
     1.8255131289035197991.8121752885263906491.7989167704602908591.785735935484126014,
     1.7726311792313056431.7596009308890747661.7466436519460744051.733757834985571566,
     1.7209420025219352991.7081947058780577731.6955145241015379121.682900062917553896,
     1.6703499537164521181.6578628525741727631.6454374393037236591.633072416535991334,
     1.6207665088282579011.6085184617988583791.5963270412864833951.584191032532688892,
     1.5721092393862297071.5600804835278880841.5481036037145134991.536177455041032092,
     1.5243009082192262581.5124728488721170821.5006921768428167501.488957805516746058,
     1.4772686611561338671.4656236822457453521.4540218188487934461.442462031972012504,
     1.4309432929388796741.4194645827699832191.4080248915695356971.396623217917042137,
     1.3852585682631219921.3739299563284905761.3626364025050867751.351376933258335189,
     1.3401505805295046431.3289563811371165601.3177933761763247491.306660610415174117,
     1.2955571316866010271.2844819902750126421.2734342382962411391.262412929069615330,
     1.2514171164808525211.2404458543344065721.2294981956938491051.218573192208790124,
     1.2076698934267611211.1967873460884030921.1859245934042021991.175080674310911677,
     1.1642546227056789211.1534454666557747431.1426522275816728411.131873919411078511,
     1.1211095477013302001.1103581087274110311.0996185885325973081.088889961938546813,
     1.0781711915113723071.0674612264799676621.0567590016025514291.046063435977044209,
     1.0353734317905285421.0246878730026172111.0140056239570964801.003325527915696735,
     0.9926464055072758970.9819670530850626020.9712862409839032600.960602711668666509,
     0.9499151777640759690.9392223199552622860.9285227847472103950.917815182070044311,
     0.9070980827156902570.8963700155898899350.8856294647617515280.874874866291025066,
     0.8641046048110044840.8533170098423733530.8425103518103684850.831682837734273206,
     0.8208326065544118140.8099577240574182820.7990561773554871740.788125868869492430,
     0.7771646097591297100.7661701127354346720.7551399841819822490.744071715500508102,
     0.7329626735843653980.7218100903087562030.7106110509096550400.699362481103231959,
     0.6880611327737478080.6767035680295225840.6652861413926779430.653804979847664947,
     0.6422559604245363650.6306346849334902860.6189364513948760750.607156221620300030,
     0.5952885842915028870.5833277127487694890.5712673165325883320.559100585511540626,
     0.5468201251633105770.5344178812371656040.5218850515921350520.509211982443654398,
     0.4963880455186711620.4834014916534618570.4702392750821690060.456886840931420235,
     0.4433278660735524010.4295439402254107030.4155141696003563640.401214678896277765,
     0.3866179779411195730.3716921453299172340.3563997602583938160.340696481064849122,
     0.3245291170169094520.3078329546749321580.2905279554912303940.272513185478464703,
     0.2536583633859120220.2337904830596747310.2126715106309666200.189958689622431842,
     0.1651276225641872820.1373049809400125890.1048385075658187780.063852163815001570,
     0.000000000000000000];
#[rustfmt::skip]
pub static ZIG_EXP_F: [f64; 257] =
    [0.0001670666923079630.0004541343538414970.0009672692823271740.001536299780301573,
     0.0021459677437189070.0027887987935740760.0034602647778369040.004157295120833797,
     0.0048776559835423960.0056196422072054890.0063819059373191830.007163353183634991,
     0.0079630774380170430.0087803149858089770.0096144136425022120.010464810181029981,
     0.0113310135978346000.0122125924262553780.0131091649312549910.014020391403181943,
     0.0149459680116911480.0158856218399731560.0168391068260399410.017806200410911355,
     0.0187867007446960240.0197804243380097400.0207872040725781140.021806887504283581,
     0.0228393354063852400.0238844205115581740.0249420264197317870.026012046645134221,
     0.0270943837809558030.0281889487639786460.0292956602246374110.030414443910466622,
     0.0315452321728936220.0326879635089595550.0338425821508743580.035009037697397431,
     0.0361872847819314430.0373772827729593820.0385789955030748710.039792391023374139,
     0.0410174413804148400.0422541224133162540.0435024135688881970.044762297732943289,
     0.0460337610761751840.0473167929131815610.0486113855733795040.049917534282706379,
     0.0512352370551262810.0525644945930716850.0539053101960460800.055257689676697030,
     0.0566216412837428700.0579971756312006590.0593843056334202800.060783046445479660,
     0.0621934154085410360.0636154319998073760.0650491177867538050.066494496385339816,
     0.0679515934219366430.0694204364987287830.0709010551623718430.072393480875708752,
     0.0738977469923647460.0754138887340584100.0769419431704805170.078481949201606435,
     0.0800339475423199050.0815979807092374190.0831740930096323970.084762330532368146,
     0.0863627411407569270.0879753744672702310.0896002819100328860.091237516631040197,
     0.0928871335560435690.0945491893760558730.0962237425504328250.097910853311492213,
     0.0996105836706371320.1013229974259536310.1030481601712577020.104786139306570145,
     0.1065370040500016320.1083008254510337550.1100776764051853570.111867631670056283,
     0.1136707678827442860.1154871635786335060.1173168992115555250.119160057175327641,
     0.1210167218266747920.1228869795095451080.1247709185808309330.126668629437510671,
     0.1285802045452281990.1305057384683307730.1324453279013874940.134399071702213602,
     0.1363670709264288290.1383494288635801760.1403462510748623990.142357645432472146,
     0.1443837221606347200.1464245938783448890.1484803756438667350.150551185001039839,
     0.1526371420274428010.1547383693844680270.1568549923693651480.158987138969314129,
     0.1611349399175919520.1632985287519017340.1654780418749359220.167673618617250081,
     0.1698854013025275500.1721135353153199770.1743581691713534110.176619454590494829,
     0.1788975465724782780.1811926034754962610.1835047870977674360.185834262762197083,
     0.1881811994042542620.1905457696631953630.1929281499767712960.195328520679563189,
     0.1977470661050988180.2001839746919112100.2026394390937089620.205113656293837654,
     0.2076068277242219820.2101191593889882300.2126508619929782240.215202151075378628,
     0.2177732471487004720.2203643758433594390.2229757680581201110.225607660116683956,
     0.2282602939307166180.2309339171696273560.2336287834374332910.236345152457059560,
     0.2390832902624490940.2418434693988771310.2446259691318920240.247431075665327543,
     0.2502590823688622400.2531102900156294020.2559850070304153240.258883549749016173,
     0.2618062426893629220.2647534188350621490.2677254199320447390.270722596799059967,
     0.2737453096528029150.2767939284485173010.2798688332369728690.282970414538780746,
     0.2860990737370768260.2892552234896776930.2924392881618926300.295651704281261252,
     0.2988929210155818470.3021634006756935280.3054636192445902560.308794066934560185,
     0.3121552487741796060.3155476852271289490.3189719128449572390.322428484956089223,
     0.3259179723935563540.3294409642641364380.3329980687618090960.336589914028677717,
     0.3402171490667801890.3438804447045025750.3475804946216371480.351318016437483449,
     0.3550937528667876260.3589084729487500010.3627629733548179970.366658079781514379,
     0.3705946484351462230.3745735676159023810.3785957594095810670.382662181496010056,
     0.3867738290841379320.3909317369847973840.3951369818332904350.399390684475231350,
     0.4036940125305305550.4080481831520326730.4124544659971614570.416914186433003209,
     0.4214287289976169080.4259995411430346770.4306281372884591670.435316103215636907,
     0.4400651008423541730.4448768734145488460.4497532511627553300.454696157474615836,
     0.4597076156421380230.4647897562504265110.4699448252839603100.475175193037377708,
     0.4804833639304545430.4858719873418852480.4913438695940328670.496901987241549881,
     0.5025495018413480560.5082897764106432130.5141263938147488940.520063177368233931,
     0.5261042139836200620.5322538802630436550.5385168720028622460.544898237672440056,
     0.5514034165406417330.5580382822625878920.5648091929124006150.571723048664826150,
     0.5787873586028453590.5860103184772683660.5934009016917337620.600968966365232560,
     0.6087253820796223460.6166821809152078780.6248527387036662000.633251994214366398,
     0.6418967164272664230.6508058334145714330.6600008410790001450.669506316731925177,
     0.6793505722647658060.6895664961170784310.7001926550827886060.711274760805076456,
     0.7228676595935724650.7350380924314240390.7478686219851956580.761463388849896838,
     0.7759568520401162180.7915276369724962850.8084216515230090440.826993296643051101,
     0.8477855006239904960.8717043323812047050.9004699299257477030.938143680862176477,
     1.000000000000000000];

[Dauer der Verarbeitung: 0.25 Sekunden, vorverarbeitet 2026-06-06]