Bug report for GMP-4.3.0

Fri Apr 24 17:42:48 CEST 2009

On Fri, Apr 24, 2009 at 04:25:34PM +0300, Nikolaos Karapanos wrote:
> GMP version: 4.3.0 (ATTENTION: this bug does not appear in version 4.2.4)
> configure options: --disable-shared
> OS: Mac OS X Leopard 10.5.6
> uname -a: Darwin macbook.lan 9.6.0 Darwin Kernel Version 9.6.0: Mon Nov 24
> 17:37:00 PST 2008; root:xnu-1228.9.59~1/RELEASE_I386 i386
> compiler: gcc (both versions: 4.2.1 (Apple Inc. build 5566) and 4.0.1 (Apple
> Inc. build 5490) tested)
> config.guess: core2-apple-darwin9.6.0
> configfsf.guess: i386-apple-darwin9.6.0
> ABI: 64 (default)
> make check: All tests pass
> BUG DESCRIPTION:
> -The bug appears only when using NTL (both version 5.4.2 and 5.5) with
> GMP-4.3.0 as the primary long integer library. It  does not appear when
> using GMP-4.2.4 or when not using GMP at all.
> -NTL configure options: CFLAGS="-O2 -m64" NTL_GMP_LIP=on
> -When performing NTL self test (make test) the LLL test fails to pass.
> This is what should happen:
> ---------------------------------------------------------------------------------------------------------------------------
> making LLLTest
> g++ -I../include -I. -O2 -m64 -o LLLTest LLLTest.c ntl.a -lgmp -lm #LSTAT
> running LLLTest
> LLL_FP...0.004357
> LLL_QP...0.010303
> LLL_XD...0.01135
> LLL_RR...0.134876
> G_LLL_FP...0.006789
> G_LLL_QP...0.029973
> G_LLL_XD...0.037486
> G_LLL_RR...0.356805
> LLL...0.010986
> LLLTest OK
> ---------------------------------------------------------------------------------------------------------------------------------
> 
> This is what happens instead:
> -------------------------------------------------------------------------------------------------------------------------------------
> making LLLTest
> g++ -I../include -I. -O2 -m64 -o LLLTest LLLTest.c ntl.a -lgmp -lm #LSTAT
> running LLLTest
> LLL_FP...0.00498
> LLL_QP...0.014741
> LLL_XD...0.012085
> LLL_RR...0.134105
> G_LLL_FP...0.006763
> G_LLL_QP...0.029863
> G_LLL_XD...0.037451
> G_LLL_RR...0.344583
> LLL...0.010009
> 21,24c21,24
> <
> [-22117048472813176994875347828101305387293550214895606501003358101135210334068394449580864805940352220248517332813142578988
> -18279971153388965686530819035296738863995571660269258101819838700402270808921084353631200820370004034839745390956452822471
> 29544842561630535712890793019318900007808587980735502535234502192462732717033133561978460445923201302436898584710276206134
> 29666573887645453112697654110484330350001370072767045692835234815647126523213288890253284796923663503332270539744803327905
> 19669683159677188798960263231644786099110027532095343767903682258204094675631884480030181452471900033489539925330180168942
> -35612755701836589917921495062556867015004555824321588455786689080843739808468997518520593371195416420916411204499636305469
> -54394845373870610503397620449033482420260203941017390088643571511435209674740068409128744611903771662523246103279225282068
> -28218850505495055395660589517885697451038000251724874326228461657452272033777873828285530441692411930236185479405158630202
> 35883827534062743612589429882053733457206920424119942632628007680528194951667975107983313879820402638521836781467395056438
> 1800432279254412077703599795214671993551843480863000832326635952834581084031804049327845436546291016424861986110428000620
> 36123320567714852021751025728801862712513524254839960698773288322511012287887296070877005179411541641507107035848004560080
> -1]
> <
> [-22117166606901014177301086340411568093581905817287916639695379361739492189201997811813230546368112829301773405831348042392
> -18280068792444219831708619720711682663123085309198671443565976085903977340477245799564385897166637561346227678610985698575
> 29545000369894626723627427241511523933426105566168338853451577011620725934731652927851790329554078816396454817051127715787
> 29666732346114709503433113959684112023063177976904148095491426462046126549286662155552317289422400595441883752529453901575
> 19669788221619833232434913661708164039754819870259264921387314546469765639635811053231186065837913131645829793301742637750
> -35612945920726573196218011449822605137379181228767012886757213977178346105806174625217770146434273596601984532926208569321
> -54395135913788230417471687605045612640905564165559122680768387349146030032490710459645792741829662428002159488437650395877
> -28219001231219981044133793177605519746666363524702769906219962950670089100810085568806098294434896644817858174614762680179
> 35884019200832342371842418944972128195335515758208589624609699873117035496771900828280096442511835506650120767605022135282
> 1800441895927508570938843997022501724824711887183500436969837303761196401000932670272921228929876381626666252310105274919
> 36123513513691805624442792106744648572677954434147911571630188168062603848458792727833500729143222456206928982269721872345
> -1]
> <
> [22116973879673625551675041862070953045747766887883452655878367611944302586954362901974536297242602495629806200968401548711
> 18279909501381424209129357084690169114749586540612575340524656796400696346044933562990509634284951953884968043566108584682
> -29544742917115720178488021372822734900239022035871519837077903779948049276561065793259039605916832670677181049799302433992
> -29666473832573062485274771759170438024323453536204691112833485029613341332088470338476646083113163812687996115124628059302
> -19669616820652672665169281148513328059348890004971410937472971928872811046483782073943559371710268734970735379443207743437
> 35612635592353665740830846395331112754550863232224045430996512681724052809045926799094740277265159129578192512106839998040
> 54394661918908397084070104020167326767281540228116912994955531936382366006416582198248874777815963039802576287749382144987
> 28218755333091905619982245621760863743037789524488922328613556317283306314388233900256166523024000218224232895416216035225
> -35883706510348472763454070319947651051847058238541033061889036464882893583606258173222025773365920776019938323521780399036
> -1800426207020297094772282745300102359645336719223383199705936094790434528757488941353579826902802455784185467294522332110
> -36123198736273578052387566741391262102364836011753592233171486143193447115428000422947043564417916438823476430190922558741
> 1]
> <
> [22117119574686528320562311087241712168598147243650262229054469591452184410466103893077670784544659752601831627534655278977
> 18280029919828593099834803508632134462296489047144015542588685735411933724646433105345945088459210117507326417868415072704
> -29544937542371595449488488355795849150444231801996552954075944805589508202027996725768669058186269328373796474711258552028
> -29666669259728302231406383210675212799219544561867188593279979694334271890401008949533965680696038810316153669355018550881
> -19669746393762089377128344156958937204725111445748531205713838190939737618728172978239494745047593415265988092771420275751
> 35612870189700950130734217131818873062718105543325936955388234603658694621211371588743801945275662904249027877472767325046
> 54395020242384892235493638005685527002011650308192214118918146708514290185834904323592287215071425448153587171664338322547
> 28218941223437697156152276163125560808302285109023317916189117419422334153044456372686392102759998226292517193960402960290
> -35883942893368657509543696847084343812359351996893171712571482408844081403299848799061688442311978212771404849971405607719
> -1800438067282957321611582661259248292742513529140245567936305835316536466761371350123777763948321270744165350726695826669
> -36123436696942818049156940443969426065979888079246338581932225756962649507848490205792574273615687581895126608768119646765
> 1]
> ---
> >
> [22116948787709292451755413138721499937621477015550187399463111658534488617623454723953276983701528060983112260902487883503
> 18279888762611296054253726594245795436400797306449304779068322746822808728985535458880689650339032888184073615608554247606
> -29544709398260946461414597289584781605061386839569616430645469198301621818162658212095774093091114089590446387689367730747
> -29666440175613148096203192662539678219828408353830989207759006299227190283963653699949964146180299346173001374982331394381
> -19669594505243413030854403906336544072742227946076287665009332770427542418819281578472395975271609929597793052771952543071
> 35612595189404014827312653100910247613374630671337597217249287386090047934406649015172875467311834692358198989187389340086
> 54394600207531234648367619575172013285723048867058373569710215719983131117417842202228289979502291925011129071688657031671
> 28218723318585481974291578652110737060825667769496011305732812951103464900898179952215567584889398988014847614759250794360
> -35883665799865709812516319059015872398539390158641006272137020544727087216277289141230835824630860703705756254642536532272
> -1800424164415806231290703180738687586416564250163791135791055881961473408487473823233110267368564458618532565323136728831
> -36123157754084096828826529108520741951654074068994587072706523674892820260017731262804924516844091386422555031894574423151
> 1]
> >
> [22116830653621455269329674626411237231333121413157877260771090397930206762489851361720911243273767451929856187884282420099
> 18279791123556041909075925908830851637273283657519891437322185361321102197429374012947504573542399361677591327954021371502
> -29544551589996855450677963067392157679443869254136780112428394379143628600464138846222444209460236575630890155348516221094
> -29666281717143891705467732813339896546766600449693886805102814652828190257890280434650931653681562254063388162197680820711
> -19669489443300768597379753476273166132097435607912366511525700482161871454815355005271391361905596831441503184800390074263
> 35612404970514031549016136713644509491000005266892172786278762489755441637069471908475698692072977516672625660760817076234
> 54394309667613614734293552419159883065077688642516640977585399882272310759667200151711241849576401159532215686530231917862
> 28218572592860556325818374992390914765197304496518115725741311657885647833865968211694999732146914273433174919549646744383
> -35883474133096111053263329996097477660410794824552359280155328352138246671173363420934053261939427835577472268504909453428
> -1800414547742709738055458978930857855143695843843291531147854531034858091518345202288034474984979093416728299123459454532
> -36122964808107143226134762730577956091489643889686636199849623829341228699446234605848428967112410571722733085472857110886
> 1]
> >
> [-22117023380848843894955719104751852279167260342562341244588102147725396364737486271559605492399277785601823392747228913780
> -18279950414618837531655188544852365185646782426105987540363504650824383191861686249521380836424084969138850962998898485395
> 29544809042775761995817368936080946712630952784433599128802067610816305258634725980815194933097482721350163922600341502889
> 29666540230685538723626075013853570545506324890393343787760756085260975475088472251726602859990799036817275799602506662984
> 19669660844267929164645385989468002112503365473200220495440043099758826047967383984559018056033241228116597598658924968576
> -35612715298886939004403301768136001873828323263435140242039463785209734933829719734598728561242091983696417681580185647515
> -54394783662493448067695136004038168938701712579958850663398255295035974785741328413108159813590100547731798887218500168752
> -28218818490988631749969922548235570768825878496731963303347718291272430620287819880244931503557810700026800198748193389337
> 35883786823579980661651678621121954803899252344219915842875991760372388584339006075992123931085342566207654712588151189674
> 1800430236649921214222020230653257220323071011803408768411755740005619963761788931207375877012053019259209084139042397341
> 36123279585525370798189988095931342561802762312080955538308325854210385432477026910734886131837716589106185637551656424490
> -1]
> >
> [-22116877685835941126068449879581093156316879986795531671412000168217514541225745280456471005097220528629797966180975183514
> -18279829996171668640949742120910399838099879919574547338299475711813145813260186707165945382249826805516492588696591997373
> 29544614417519886724816901953107832462425743018308566011804026585174846333167795048305565480828046063653548497688385384853
> 29666344803530298977494463562348795770610233864730846307314261420540044916775933640669283262407924039189118245372116171405
> 19669531271158512452686322981022392967127144032423100227199176837691899475722993080263082682695916547821344885330712436262
> -35612480701539654614499931031648241565661080952333248717647741863275093121664274944949666893231588209025582316214258320509
> -54394425339016952916271602018519968703971602499883549539435640522904050606323006287764747376334638139380788003303543991192
> -28218632600642840213799892006870873703561382912197567715772157189133402781631597407814705923821812691958515900204006464272
> 35883550440559795915562052093985262043386958585867777192193545816411200764645415450152461262139285129456188186138525980991
> 1800418376387260987382720314694111287225894201886546400181385999479518025757906522437177939966534204299229200706868902782
> 36123041624856130801420614393353178598187710244588209189547586240441183040056537127889355422639945446034535458974459336466
> -1]
> 27c27
> <
> [22116770714405583336867438587978130702368702752014262764945658666304899551532009118612221229270747902589527602271134965837
> 18279741583169202203715651129587038521167645899404397859842108476778489241039522138753982999060488336935620040899427577372
> -29544471520782449167745951513109429577257592114105833086362929311663060912731387758880886473320185112900474336840715792517
> -29666201318026504138494316785877194683069391618012842079527372584383821236527517999055313594391973907365553674022229112269
> -19669436136667811236743950401073198392575657825771282857141166518044879318491619320454612959234988429098288299583613103486
> 35612308456702325132541059476459993253084426957133901521555264050453932658286318119320711872726009080067870852146591080210
> 54394162252628148090202994103027474128613435632160019306871744590527421306760878837593365169194082391156915972750797956762
> 28218496117205398912354707363336055251223608389913084613567321114205541621152775593363018645644354090581443525938378253844
> -35883376884655048980407460804281474021716080929361989874167453847470444492308893019844835412877289729701848913856249314677
> -1800409668407242273704358957808914279157477701533917265553824810013632355843555477273419336438420579290272179792998639682
> -36122866910618145957800030402604365296466685699966352482414146300777147745649209126461665945430677863183314455130330427022
> 1]
> ---
> >
> [-22117226546116886109763322378844674622546324478431531135520811093364799400159840054921920560371132378642101991444495496654
> -18280118332831059537068894499955495779228723067314165021046052970446590296867097673757907471648548586088198965665579492705
> 29545080439109033006559438795794252035612382706199285879517042079101293622464404015193348065694130279126870635558928144364
> 29666812745232097070406529987146813886760386808585192821066868530490495570649424591147935348711988942139718240704905610017
> 19669841528252790593070716736908131779276597652400348575771848510586757775959546738047964468508521533989044678518519608527
> -35613042434538279612693088687007121375294759538525284151480712416479855084589328414372756965781242033206739341540434565345
> -54395283328773697061562245921178021577369817175915744351482042640890919485397031773763669422211981196377459202217084356977
> -28219077706875138457597460806660379260640059631307801018393953494350195313523278187138079380937456827669589568226031170718
> 35884116449273404444698288136788131834030229653398959030597574377784837675636371229369314291573973612525744122253682274033
> 1800446775262976035289944018144445300810930029492874702563867024782422136675722395287536367476434895753122371640566089769
> 36123611411180802892777524434718239367700912623868195289065665696626684802255818207220263750824955164746347612612248556209
> -1]
> bad LLLTest
> 
> ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
> NTL LLL: routines for performing lattice basis reduction, including very
> fast and robust implementations of the Schnorr-Euchner LLL and Block Korkin
> Zolotarev reduction algorithm, as well as an integer-only reduction
> algorithm. Also, there are routines here for computing the kernel and image
> of an integer matrix, as well as finding integer solutions to linear systems
> of equations over the integers.
> I m afraid that's the only info I can give you, cause I really do not have a
> clue about what LLL class actually does.
> It seems to be a bug in the new release of GMP (4.3.0) as the NTL LLL test
> passes correctly when using GMP-4.2.4 or even when not using GMP at all.
> Or maybe there is a compiler bug that is not triggered by the previous GMP
> version...
> Hope that this info will help you find out what is going wrong.
> My best regards,
> Nikolaos Karapanos

> _______________________________________________
> gmp-bugs mailing list
> gmp-bugs at gmplib.org
> https://gmplib.org/mailman/listinfo/gmp-bugs


Nikolaos,
     Did your build of gmp 4.3.0 complete all of its tests
without errors? I have been seeing four errors here in both
the gmp 4.3.0 release and in the gmp patched 4.3.0 mercurial
on Intel Darwin9. See my previous messages on the gmp-bugs
mailing list.
                                Jack