• [^] # Re: Ca marche aussi... Mais j'ai triché

    Posté par . En réponse au journal [Humour] vers un monde différent. Évalué à 3.

    les décimaux ne forment qu'un anneau et pas un corps

    mais les rationnels, eux, forment un corps :

    let i = Q.of_int 3 in
let j = Q.of_int 5 in
Q.(i * (j / i));;
- : Q.t = 5

    :-)

    et pour ceux qui aiment les grandes puissances :-P

    pow 2017 2017;;
- : Z.t =
3906579755433725744549801881596227303161113974786331742808014316352404207866781011779432579441775839856
9303675091317686485769854660061633900821022073493790844484206374523765685047888592941732567957896337356
8227616903361285861720928485319957896879451656212960334524148908182859288925011902051241977461866923828
5805141216845194646359692773930173890452130301484108603704907663185918027996588306289045733101837983728
0327741427585781943934907066383115733602932268165774793029250948453140731624523723322353528718052018269
2120301190715379956212549955472924854051368917564413054345164976023589951663964251322964845660608570604
8796166013211776531223294858858770618287202956153159070909025445244612929266907435405734058205954066196
6257944413954048938877964772886958563547919584266955161383320262256139624507335975998767755685814334472
7668109856905808726786650150176346749276701349195925308447304906625583450532575618820393030470662264833
6558516764477800855702247701966133115392119659229044822591905333270631043927666037528178491629195538568
4646233989829228655115524936994639184750912047564895374720764672140695409095592363173332472459576462404
5478715399572715756795527704408680018385825873357580378471551915354156980027304848137549295408442862472
0693653228246725934999526408544103045213286398414699798897380577563918878645812125863807732821991332107
8692725905849174024449511921146294190262906996085368959603576478405323143384080388379319554908856556731
5908088452296187414871507326380105914169781913896257814769011618619675396354441317274069735446648347083
9685322479279715610244075962909647201924726552325770866912670386908832937068991644217985561454518613500
7701134281137791471069061199195503527692941530730806868244125447916029477919365350907160212555600592600
7272962151491655468415250273052830341020248623946192353295309806703225240777982731701762090578986703739
2654445594383017249413223433802591420751864046339582968716946613883883630089289092850166742420098475615
2317270292569678698976098602918745091738269938053862716103474442695166725670001543967580405510009441047
9024451590607819278757744377853151071774880174452988351732344899456989727677340502177914005216463498939
1224975421083168091648327063033553252608930068052730798133922253562033497135729065886319850700135166684
4733145986594861443630941669140652635251193447008192851553865779612842872522984948643907872238326400270
9446351625648515268700769721875710891517353990646067011044373315111199657801536917591352152223077856196
7585937746338830459587033526143098022187621420524532754885931847288027594032004390130183176362334815608
9447394688706409250220073258561438553336541717486859130299187109664700107919273459900361576563360385933
3122333043348929219564612801024584337753852145099150440931873218035637881859414477740279483748996993268
2275112162153565809151704179070457180504206906398450192005390333618194565994404545750817781718292706125
0315795328152260735534962635462010401164107240551217025457278458627050670150520970059759320354286441883
9562193815774326236977529972966261410337323664706113705568867451193992124787596100597886820452817195495
5020000700127981453761067545668056756361891835461795143007732741778254730545511658948801939623478920322
8770082758023203322668981651809246482681180422142387309386716816318069955940334056256140580819497179850
3289109355115029124983991018380698424651876194056194282127149997079562496102454369536500984933908739935
9218078735267669384753478767335747571773444969818858147423712760105039603697963834693464702773990816319
6468633747558552065688014667143037574127092846695111905537504841894849764673682096326975021012366606664
0911512953157476533586025093593927262144788949918692089397761431261871877904288178513169823048344238328
2260926947373572812701186712470174863056734569600082502717603716470089407418211450488493170968284198629
6783490416745451108403140493810716002978244023457593747581792541662690908599087691849588468048336655885
3396587675219737345520051486671981990599704130000418965813007224733672096313749475119407724014818508929
5435174820956072871376082451787665388114475605020203864631818413786212782294741026763089059841440923141
7930945943586389649372607933085049704786949757073506895518158455729471986353589128929298803482871893326
4617496210897466235050589604540196335236324754935438515933094258601062968745635884513724512140377812087
9963194898376112183936544916070097706168459234442106763663835372336483086417102786616287430017146620033
9061917369717038449238804553048471167262994455769562518460603987773119867917673314811942882902518952778
4452428862612449080278884098946247489646956505581906115889044658676526114959262438720723867498045450888
6534081710593801600793606848908583050665498686794547787119719610041793592240855296660979007332421390030
6864863782743260903304031347797201921526690054472717597175870696793550292948276452471679162724097409195
9226574012956618385918903583572362462995750127092270563921014720062585125823141782751812643109647530407
8716782263312492623267010550372864203265543683594017627021586771839427413268536947121551554157057847039
0705555753425386733887289438493039753930209202288508301197091965403738469234797311845916566136505553919
5347218311488110187672218257397856026847785288284864740137044134948049741708836860375429551872331945923
3479018544074018576809852216096689981623517895747450086026777001537987227211508713435225975549765258124
8620911163696461283347058836782766473033926630818043689367183277879852758810482761319983832255793901827
2344962449422866729130494318349786441889312965949010199609058366877816005182554357929793751308237195750
8857847106213666743133998010213985877939816967416366993032326406723766280172424741817792379452453933339
1257817923012542366733267840996910829815897656293583783006983681960984012935500660931269066599266830614
9298048454144277912938192170665670364309688124177002766249617224562497248029025108484112804667962930792
7246554758514993911161605836359758869768035926923821402027569506890143101867597868188376534215289800688
4850534058152513832422421443657177753062012002238067078120526881695766025581633086349571371749861205684
2009287332050038500758131655474444270464394270810368067423747143094562220685933183169518338219129062478
9016636657171699043027493231137226070566921703173674515116874346577116337134958859551451311536998094430
8436603930597247181404703316361315782728069013669316656084882670461314916661537994490564226822718247595
6096597627288520629228771111807430370106408669790774313609604966005455290197434687532220849212300973638
4079162882379305241098491933927011736912353861798242466005141298986845754182687703787699360707018541512
82858987245060220859376040188961430411125280662489310010991839503913438177

    Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.