Avé à tous,
Voila tous est dans le titre, je cherche comment on peut augmenter le nombre de digits dans Caml light.
Merci d’avance.
S,
T’as question n’a aucun sens pour un langage fonctionnel.
aux alentours de là, tu le verra écris en clair : “En Caml, le typage est à la charge du compilateur”.
@+
Ok merci 
[quote=“Zoox”]Avé à tous,
Voila tous est dans le titre, je cherche comment on peut augmenter le nombre de digits dans Caml light.
Merci d’avance.[/quote]
- Pourquoi utilisez-vous Caml light ?
- OCaml a un module Big_int qui permet de manipuler des entiers en précision arbitraire
il existe aussi le module Int64 pour manipuler des entiers sur 64 bits.
Parcve que camllight est au programme des prépas et remplit parfaitement son rôle.
Le module num est l’arithmétique infini pour les entiers et existe sous camllight et ocaml. Par contre si il s’agit d’augmenter la précision des réels, il n’y a pas de solution à part se définir un type personnel.
Le plus simple dans la dernière version de camllight consiste à faire
$ camllight caml_all
qui charge toutes les librairies.
Pour fran.b
Quand tu dit qu’il faut que je définisse un type personnel, je ne vois pas comment faire à par créé un type ou je mettrais les décimales de mes nombres (qui appartient à [0;1]) dans un tableau rangé par puissance de 1/10. Mais cela augmenterais considérablement mon temps de calcul (mon programme me permet de tracé des diagrammes de bifurcation qui nécessite le calcul d’un grand nombre d’itération de la suite étudié).
PS : Sait tu comment on peut enregistrer la sortie graphique comme image ?
Pourquoi décimale par décimale, il te suffit de gérer tes nombres flottants en base 32768 si tu travailles en 32 bits et en base 2147483648 si tu travailles en 64 bits. Il te suffit d’un tableau de taille 23 pour 100 10 décimales en 32 bits et de taille 11 en 64 bits. (Tu peux aussi travailler en base 10^k avec k comme tu veux)
Pour ta deuxième question, soit tu captures la fenêtre, soit tu fais appel à une primtive d’une bibliothèque graphique de manipulation d’image (ppm, bpm, jpg) cf sur internet, tu en trouveras.
Bon, j’en ai fait un TP (un peu trop compliqué) pour les élèves, résultat d’un calcul en 1h15’ (24576 décimales):
Pi = 3,14159265358979323846264338327950288419716939937510582097494459230781640628620899
86280348253421170679821480865132823066470938446095505822317253594081284811174502
84102701938521105559644622948954930381964428810975665933446128475648233786783165
27120190914564856692346034861045432664821339360726024914127372458700660631558817
48815209209628292540917153643678925903600113305305488204665213841469519415116094
33057270365759591953092186117381932611793105118548074462379962749567351885752724
89122793818301194912983367336244065664308602139494639522473719070217986094370277
05392171762931767523846748184676694051320005681271452635608277857713427577896091
73637178721468440901224953430146549585371050792279689258923542019956112129021960
86403441815981362977477130996051870721134999999837297804995105973173281609631859
50244594553469083026425223082533446850352619311881710100031378387528865875332083
81420617177669147303598253490428755468731159562863882353787593751957781857780532
17122680661300192787661119590921642019893809525720106548586327886593615338182796
82303019520353018529689957736225994138912497217752834791315155748572424541506959
50829533116861727855889075098381754637464939319255060400927701671139009848824012
85836160356370766010471018194295559619894676783744944825537977472684710404753464
62080466842590694912933136770289891521047521620569660240580381501935112533824300
35587640247496473263914199272604269922796782354781636009341721641219924586315030
28618297455570674983850549458858692699569092721079750930295532116534498720275596
02364806654991198818347977535663698074265425278625518184175746728909777727938000
81647060016145249192173217214772350141441973568548161361157352552133475741849468
43852332390739414333454776241686251898356948556209921922218427255025425688767179
04946016534668049886272327917860857843838279679766814541009538837863609506800642
25125205117392984896084128488626945604241965285022210661186306744278622039194945
04712371378696095636437191728746776465757396241389086583264599581339047802759009
94657640789512694683983525957098258226205224894077267194782684826014769909026401
36394437455305068203496252451749399651431429809190659250937221696461515709858387
41059788595977297549893016175392846813826868386894277415599185592524595395943104
99725246808459872736446958486538367362226260991246080512438843904512441365497627
80797715691435997700129616089441694868555848406353422072225828488648158456028506
01684273945226746767889525213852254995466672782398645659611635488623057745649803
55936345681743241125150760694794510965960940252288797108931456691368672287489405
60101503308617928680920874760917824938589009714909675985261365549781893129784821
68299894872265880485756401427047755513237964145152374623436454285844479526586782
10511413547357395231134271661021359695362314429524849371871101457654035902799344
03742007310578539062198387447808478489683321445713868751943506430218453191048481
00537061468067491927819119793995206141966342875444064374512371819217999839101591
95618146751426912397489409071864942319615679452080951465502252316038819301420937
62137855956638937787083039069792077346722182562599661501421503068038447734549202
60541466592520149744285073251866600213243408819071048633173464965145390579626856
10055081066587969981635747363840525714591028970641401109712062804390397595156771
57700420337869936007230558763176359421873125147120532928191826186125867321579198
41484882916447060957527069572209175671167229109816909152801735067127485832228718
35209353965725121083579151369882091444210067510334671103141267111369908658516398
31501970165151168517143765761835155650884909989859982387345528331635507647918535
89322618548963213293308985706420467525907091548141654985946163718027098199430992
44889575712828905923233260972997120844335732654893823911932597463667305836041428
13883032038249037589852437441702913276561809377344403070746921120191302033038019
76211011004492932151608424448596376698389522868478312355265821314495768572624334
41893039686426243410773226978028073189154411010446823252716201052652272111660396
66557309254711055785376346682065310989652691862056476931257058635662018558100729
36065987648611791045334885034611365768675324944166803962657978771855608455296541
26654085306143444318586769751456614068007002378776591344017127494704205622305389
94561314071127000407854733269939081454664645880797270826683063432858785698305235
80893306575740679545716377525420211495576158140025012622859413021647155097925923
09907965473761255176567513575178296664547791745011299614890304639947132962107340
43751895735961458901938971311179042978285647503203198691514028708085990480109412
14722131794764777262241425485454033215718530614228813758504306332175182979866223
71721591607716692547487389866549494501146540628433663937900397692656721463853067
36096571209180763832716641627488880078692560290228472104031721186082041900042296
61711963779213375751149595015660496318629472654736425230817703675159067350235072
83540567040386743513622224771589150495309844489333096340878076932599397805419341
44737744184263129860809988868741326047215695162396586457302163159819319516735381
29741677294786724229246543668009806769282382806899640048243540370141631496589794
09243237896907069779422362508221688957383798623001593776471651228935786015881617
55782973523344604281512627203734314653197777416031990665541876397929334419521541
34189948544473456738316249934191318148092777710386387734317720754565453220777092
12019051660962804909263601975988281613323166636528619326686336062735676303544776
28035045077723554710585954870279081435624014517180624643626794561275318134078330
33625423278394497538243720583531147711992606381334677687969597030983391307710987
04085913374641442822772634659470474587847787201927715280731767907707157213444730
60570073349243693113835049316312840425121925651798069411352801314701304781643788
51852909285452011658393419656213491434159562586586557055269049652098580338507224
26482939728584783163057777560688876446248246857926039535277348030480290058760758
25104747091643961362676044925627420420832085661190625454337213153595845068772460
29016187667952406163425225771954291629919306455377991403734043287526288896399587
94757291746426357455254079091451357111369410911939325191076020825202618798531887
70584297259167781314969900901921169717372784768472686084900337702424291651300500
51683233643503895170298939223345172201381280696501178440874519601212285993716231
30171144484640903890644954440061986907548516026327505298349187407866808818338510
22833450850486082503930213321971551843063545500766828294930413776552793975175461
39539846833936383047461199665385815384205685338621867252334028308711232827892125
07712629463229563989898935821167456270102183564622013496715188190973038119800497
34072396103685406643193950979019069963955245300545058068550195673022921913933918
56803449039820595510022635353619204199474553859381023439554495977837790237421617
27111723643435439478221818528624085140066604433258885698670543154706965747458550
33232334210730154594051655379068662733379958511562578432298827372319898757141595
78111963583300594087306812160287649628674460477464915995054973742562690104903778
19868359381465741268049256487985561453723478673303904688383436346553794986419270
56387293174872332083760112302991136793862708943879936201629515413371424892830722
01269014754668476535761647737946752004907571555278196536213239264061601363581559
07422020203187277605277219005561484255518792530343513984425322341576233610642506
39049750086562710953591946589751413103482276930624743536325691607815478181152843
66795706110861533150445212747392454494542368288606134084148637767009612071512491
40430272538607648236341433462351897576645216413767969031495019108575984423919862
91642193994907236234646844117394032659184044378051333894525742399508296591228508
55582157250310712570126683024029295252201187267675622041542051618416348475651699
98116141010029960783869092916030288400269104140792886215078424516709087000699282
12066041837180653556725253256753286129104248776182582976515795984703562226293486
00341587229805349896502262917487882027342092222453398562647669149055628425039127
57710284027998066365825488926488025456610172967026640765590429099456815065265305
37182941270336931378517860904070866711496558343434769338578171138645587367812301
45876871266034891390956200993936103102916161528813843790990423174733639480457593
14931405297634757481193567091101377517210080315590248530906692037671922033229094
33467685142214477379393751703443661991040337511173547191855046449026365512816228
82446257591633303910722538374218214088350865739177150968288747826569959957449066
17583441375223970968340800535598491754173818839994469748676265516582765848358845
31427756879002909517028352971634456212964043523117600665101241200659755851276178
58382920419748442360800719304576189323492292796501987518721272675079812554709589
04556357921221033346697499235630254947802490114195212382815309114079073860251522
74299581807247162591668545133312394804947079119153267343028244186041426363954800
04480026704962482017928964766975831832713142517029692348896276684403232609275249
60357996469256504936818360900323809293459588970695365349406034021665443755890045
63288225054525564056448246515187547119621844396582533754388569094113031509526179
37800297412076651479394259029896959469955657612186561967337862362561252163208628
69222103274889218654364802296780705765615144632046927906821207388377814233562823
60896320806822246801224826117718589638140918390367367222088832151375560037279839
40041529700287830766709444745601345564172543709069793961225714298946715435784687
88614445812314593571984922528471605049221242470141214780573455105008019086996033
02763478708108175450119307141223390866393833952942578690507643100638351983438934
15961318543475464955697810382930971646514384070070736041123735998434522516105070
27056235266012764848308407611830130527932054274628654036036745328651057065874882
25698157936789766974220575059683440869735020141020672358502007245225632651341055
92401902742162484391403599895353945909440704691209140938700126456001623742880210
92764579310657922955249887275846101264836999892256959688159205600101655256375678
56672279661988578279484885583439751874454551296563443480396642055798293680435220
27709842942325330225763418070394769941597915945300697521482933665556615678736400
53666564165473217043903521329543529169414599041608753201868379370234888689479151
07163785290234529244077365949563051007421087142613497459561513849871375704710178
79573104229690666702144986374645952808243694457897723300487647652413390759204340
19634039114732023380715095222010682563427471646024335440051521266932493419673977
04159568375355516673027390074972973635496453328886984406119649616277344951827369
55882207573551766515898551909866653935494810688732068599075407923424023009259007
01731960362254756478940647548346647760411463233905651343306844953979070903023460
46147096169688688501408347040546074295869913829668246818571031887906528703665083
24319744047718556789348230894310682870272280973624809399627060747264553992539944
28081137369433887294063079261595995462624629707062594845569034711972996409089418
05953439325123623550813494900436427852713831591256898929519642728757394691427253
43669415323610045373048819855170659412173524625895487301676002988659257866285612
49665523533829428785425340483083307016537228563559152534784459818313411290019992
05981352205117336585640782648494276441137639386692480311836445369858917544264739
98822846218449008777697763127957226726555625962825427653183001340709223343657791
60128093179401718598599933849235495640057099558561134980252499066984233017350358
04408116855265311709957089942732870925848789443646005041089226691783525870785951
29834417295351953788553457374260859029081765155780390594640873506123226112009373
10804854852635722825768203416050484662775045003126200800799804925485346941469775
16493270950493463938243222718851597405470214828971117779237612257887347718819682
54629812686858170507402725502633290449762778944236216741191862694396506715157795
86756482399391760426017633870454990176143641204692182370764887834196896861181558
15873606293860381017121585527266830082383404656475880405138080163363887421637140
64354955618689641122821407533026551004241048967835285882902436709048871181909094
94533144218287661810310073547705498159680772009474696134360928614849417850171807
79306810854690009445899527942439813921350558642219648349151263901280383200109773
86806628779239718014613432445726400973742570073592100315415089367930081699805365
20276007277496745840028362405346037263416554259027601834840306811381855105979705
66400750942608788573579603732451414678670368809880609716425849759513806930944940
15154222219432913021739125383559150310033303251117491569691745027149433151558854
03922164097229101129035521815762823283182342548326111912800928252561902052630163
91147724733148573910777587442538761174657867116941477642144111126358355387136101
10232679877564102468240322648346417663698066378576813492045302240819727856471983
96308781543221166912246415911776732253264335686146186545222681268872684459684424
16107854016768142080885028005414361314623082102594173756238994207571362751674573
18918945628352570441335437585753426986994725470316566139919996826282472706413362
22178923903176085428943733935618891651250424404008952719837873864805847268954624
38823437517885201439560057104811949884239060613695734231559079670346149143447886
36041031823507365027785908975782727313050488939890099239135033732508559826558670
89242612429473670193907727130706869170926462548423240748550366080136046689511840
09366860954632500214585293095000090715105823626729326453738210493872499669933942
46855164832611341461106802674466373343753407642940266829738652209357016263846485
28514903629320199199688285171839536691345222444708045923966028171565515656661113
59823112250628905854914509715755390024393153519090210711945730024388017661503527
08626025378817975194780610137150044899172100222013350131060163915415895780371177
92775225978742891917915522417189585361680594741234193398420218745649256443462392
53195313510331147639491199507285843065836193536932969928983791494193940608572486
39688369032655643642166442576079147108699843157337496488352927693282207629472823
81537409961545598798259891093717126218283025848112389011968221429457667580718653
80650648702613389282299497257453033283896381843944770779402284359883410035838542
38973542439564755568409522484455413923941000162076936368467764130178196593799715
57468541946334893748439129742391433659360410035234377706588867781139498616478747
14079326385873862473288964564359877466763847946650407411182565837887845485814896
29612739984134427260860618724554523606431537101127468097787044640947582803487697
58948328241239292960582948619196670918958089833201210318430340128495116203534280
14412761728583024355983003204202451207287253558119584014918096925339507577840006
74655260314461670508276827722235341911026341631571474061238504258459884199076112
87258059113935689601431668283176323567325417073420817332230462987992804908514094
79036887868789493054695570307261900950207643349335910602454508645362893545686295
85313153371838682656178622736371697577418302398600659148161640494496501173213138
95747062088474802365371031150898427992754426853277974311395143574172219759799359
68525228574526379628961269157235798662057340837576687388426640599099350500081337
54324546359675048442352848747014435454195762584735642161981340734685411176688311
86544893776979566517279662326714810338643913751865946730024434500544995399742372
32871249483470604406347160632583064982979551010954183623503030945309733583446283
94763047756450150085075789495489313939448992161255255977014368589435858775263796
25597081677643800125436502371412783467926101995585224717220177723700417808419423
94872540680155603599839054898572354674564239058585021671903139526294455439131663
13453089390620467843877850542393905247313620129476918749751910114723152893267725
33918146607300089027768963114810902209724520759167297007850580717186381054967973
10016787085069420709223290807038326345345203802786099055690013413718236837099194
95164896007550493412678764367463849020639640197666855923356546391383631857456981
47196210841080961884605456039038455343729141446513474940784884423772175154334260
30669883176833100113310869042193903108014378433415137092435301367763108491351615
64226984750743032971674696406665315270353254671126675224605511995818319637637076
17991919203579582007595605302346267757943936307463056901080114942714100939136913
81072581378135789400559950018354251184172136055727522103526803735726527922417373
60575112788721819084490061780138897107708229310027976659358387589093956881485602
63224393726562472776037890814458837855019702843779362407825052704875816470324581
29087839523245323789602984166922548964971560698119218658492677040395648127810217
99132174163058105545988013004845629976511212415363745150056350701278159267142413
42103301566165356024733807843028655257222753049998837015348793008062601809623815
16136690334111138653851091936739383522934588832255088706450753947395204396807906
70868064450969865488016828743437861264538158342807530618454859037982179945996811
54419742536344399602902510015888272164745006820704193761584547123183460072629339
55054823955713725684023226821301247679452264482091023564775272308208106351889915
26928891084555711266039650343978962782500161101532351605196559042118449499077899
92007329476905868577878720982901352956613978884860509786085957017731298155314951
68146717695976099421003618355913877781769845875810446628399880600616229848616935
33738657877359833616133841338536842119789389001852956919678045544828584837011709
67212535338758621582310133103877668272115726949518179589754693992642197915523385
76623167627547570354699414892904130186386119439196283887054367774322427680913236
54494853667680000010652624854730558615989991401707698385483188750142938908995068
54530765116803337322265175662207526951791442252808165171667766727930354851542040
23817460892328391703275425750867655117859395002793389592057668278967764453184040
41855401043513483895312013263783692835808271937831265496174599705674507183320650
34556644034490453627560011250184335607361222765949278393706478426456763388188075
65612168960504161139039063960162022153684941092605387688714837989559999112099164
64644119185682770045742434340216722764455893301277815868695250694993646101756850
60167145354315814801054588605645501332037586454858403240298717093480910556211671
54684847780394475697980426318099175642280987399876697323769573701580806822904599
21236616890259627304306793165311494017647376938735140933618332161428021497633991
89835484875625298752423873077559555955465196394401821840998412489826236737714672
26061633643296406335728107078875816404381485018841143188598827694490119321296827
15888413386943468285900666408063140777577257056307294004929403024204984165654797
36705485580445865720227637840466823379852827105784319753541795011347273625774080
21347682604502285157979579764746702284099956160156910890384582450267926594205550
39587922981852648007068376504183656209455543461351341525700659748819163413595567
19649654032187271602648593049039787489589066127250794828276938953521753621850796
29778514618843271922322381015874445052866523802253284389137527384589238442253547
26530981715784478342158223270206902872323300538621634798850946954720047952311201
50432932266282727632177908840087861480221475376578105819702226309717495072127248
47947816957296142365859578209083073323356034846531873029302665964501371837542889
75579714499246540386817992138934692447419850973346267933210726868707680626399193
61965044099542167627840914669856925715074315740793805323925239477557441591845821
56251819215523370960748332923492103451462643744980559610330799414534778457469999
21285999993996122816152193148887693880222810830019860165494165426169685867883726
09587745676182507275992950893180521872924610867639958916145855058397274209809097
81729323930106766386824040111304024700735085782872462713494636853181546969046696
86939254725194139929146524238577625500474852954768147954670070503479995888676950
16124972282040303995463278830695976249361510102436555352230690612949388599015734
66102371223547891129254769617600504797492806072126803922691102777226102544149221
57650450812067717357120271802429681062037765788371669091094180744878140490755178
20385653909910477594141321543284406250301802757169650820964273484146957263978842
56008453121406593580904127113592004197598513625479616063228873618136737324450607
92441176399759746193835845749159880976674470930065463424234606342374746660804317
01260052055928493695941434081468529815053947178900451835755154125223590590687264
87863575254191128887737176637486027660634960353679470269232297186832771739323619
20077745221262475186983349515101986426988784717193966497690708252174233656627259
28440620430214113719922785269984698847702323823840055655517889087661360130477098
43861168705231055314916251728373272867600724817298763756981633541507460883866364
06934704372066886512756882661497307886570156850169186474885416791545965072342877
30699853713904300266530783987763850323818215535597323530686043010675760838908627
04984188859513809103042359578249514398859011318583584066747237029714978508414585
30857813391562707603563907639473114554958322669457024941398316343323789759556808
56836297253867913275055542524491943589128405045226953812179131914513500993846311
77401797151228378546011603595540286440590249646693070776905548102885020808580087
81157738171917417760173307385547580060560143377432990127286772530431825197579167
92969965041460706645712588834697979642931622965520168797300035646304579308840327
48077181155533090988702550520768046303460865816539487695196004408482065967379473
16808641564565053004988161649057883115434548505266006982309315777650037807046612
64706021457505793270962047825615247145918965223608396645624105195510522357239739
51288181640597859142791481654263289200428160913693777372229998332708208296995573
77273756676155271139225880552018988762011416800546873655806334716037342917039079
86396522961312801782679717289822936070288069087768660593252746378405397691848082
04102194471971386925608416245112398062011318454124478205011079876071715568315407
88654390412108730324020106853419472304766667217498698685470767812051247367924791
93150856444775379853799732234456122785843296846647513336573692387201464723679427
87004250325558992688434959287612400755875694641370562514001179713316620715371543
60068764773186755871487839890810742953094106059694431584775397009439883949144323
53668539209946879645066533985738887866147629443414010498889931600512076781035886
11660202961193639682134960750111649832785635316145168457695687109002999769841263
26650234771672865737857908574664607722834154031144152941880478254387617707904300
01566986776795760909966936075594965152736349811896413043311662774712338817406037
31743970540670310967676574869535878967003192586625941051053358438465602339179674
92678447637084749783336555790073841914731988627135259546251816043422537299628632
67496824058060296421146386436864224724887283434170441573482481833301640566959668
86676956349141632842641497453334999948000266998758881593507357815195889900539512
08535103572613736403436753471410483601754648830040784641674521673719048310967671
13443494819262681110739948250607394950735031690197318521195526356325843390998224
98624067031076831844660729124874754031617969941139738776589986855417031884778867
59290260700432126661791922352093822787888098863359911608192353555704646349113208
59189796132791319756490976000139962344455350143464268604644958624769094347048293
29414041114654092398834443515913320107739441118407410768498106634724104823935827
40194493566516108846312567852977697346843030614624180358529331597345830384554103
37010916767763742762102137013548544509263071901147318485749233181672072137279355
67952844392548156091372812840633303937356242001604566455741458816605216660873874
80472433912129558777639069690370788285277538940524607584962315743691711317613478
38827194168606625721036851321566478001476752310393578606896111259960281839309548
70905907386135191459181951029732787557104972901148717189718004696169777001791391
96137914171627070189584692143436967629274591099400600849835684252019155937037010
11049747339493877885989417433031785348707603221982970579751191440510994235883034
54635349234982688362404332726741554030161950568065418093940998202060999414021689
09007082133072308966211977553066591881411915778362729274615618571037217247100952
14236964830864102592887457999322374955191221951903424452307535133806856807354464
99512720317448719540397610730806026990625807602029273145525207807991418429063884
43734996814582733720726639176702011830046481900024130835088465841521489912761065
13741539435657211390328574918769094413702090517031487773461652879848235338297260
13611098451484182380812054099612527458088109948697221612852489742555551607637167
50548961730168096138038119143611439921063800508321409876045993093248510251682944
66999735…