<div></div><div></div><div>GMP version: 4.3.0 (ATTENTION: this bug does not appear in version 4.2.4)</div><div>configure options: --disable-shared</div><div></div><div>OS: Mac OS X Leopard 10.5.6</div><div>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</div>
<div>compiler: gcc (both versions: 4.2.1 (Apple Inc. build 5566) and 4.0.1 (Apple Inc. build 5490) tested)</div><div>config.guess: core2-apple-darwin9.6.0</div><div>configfsf.guess: i386-apple-darwin9.6.0</div><div>ABI: 64 (default)</div>
<div>make check: All tests pass</div><div></div><div>BUG DESCRIPTION:</div><div></div><div>-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.</div>
<div></div><div>-NTL configure options: CFLAGS=&quot;-O2 -m64&quot; NTL_GMP_LIP=on</div><div></div><div>-When performing NTL self test (make test) the LLL test fails to pass.</div><div></div><div>This is what should happen:</div>
<div>---------------------------------------------------------------------------------------------------------------------------</div><div>making LLLTest<br>g++ -I../include -I.  -O2 -m64  -o LLLTest LLLTest.c ntl.a  -lgmp   -lm #LSTAT<br>
running LLLTest<br>LLL_FP...0.004357<br>LLL_QP...0.010303<br>LLL_XD...0.01135<br>LLL_RR...0.134876<br>G_LLL_FP...0.006789<br>G_LLL_QP...0.029973<br>G_LLL_XD...0.037486<br>G_LLL_RR...0.356805<br>LLL...0.010986<br>LLLTest OK<br>
---------------------------------------------------------------------------------------------------------------------------------</div><div><br>This is what happens instead:<br></div><div>-------------------------------------------------------------------------------------------------------------------------------------</div>
<div>making LLLTest<br>g++ -I../include -I.  -O2 -m64  -o LLLTest LLLTest.c ntl.a  -lgmp   -lm #LSTAT<br>running LLLTest<br>LLL_FP...0.00498<br>LLL_QP...0.014741<br>LLL_XD...0.012085<br>LLL_RR...0.134105<br>G_LLL_FP...0.006763<br>
G_LLL_QP...0.029863<br>G_LLL_XD...0.037451<br>G_LLL_RR...0.344583<br>LLL...0.010009<br>21,24c21,24<br>&lt; [-22117048472813176994875347828101305387293550214895606501003358101135210334068394449580864805940352220248517332813142578988 -18279971153388965686530819035296738863995571660269258101819838700402270808921084353631200820370004034839745390956452822471 29544842561630535712890793019318900007808587980735502535234502192462732717033133561978460445923201302436898584710276206134 29666573887645453112697654110484330350001370072767045692835234815647126523213288890253284796923663503332270539744803327905 19669683159677188798960263231644786099110027532095343767903682258204094675631884480030181452471900033489539925330180168942 -35612755701836589917921495062556867015004555824321588455786689080843739808468997518520593371195416420916411204499636305469 -54394845373870610503397620449033482420260203941017390088643571511435209674740068409128744611903771662523246103279225282068 -28218850505495055395660589517885697451038000251724874326228461657452272033777873828285530441692411930236185479405158630202 35883827534062743612589429882053733457206920424119942632628007680528194951667975107983313879820402638521836781467395056438 1800432279254412077703599795214671993551843480863000832326635952834581084031804049327845436546291016424861986110428000620 36123320567714852021751025728801862712513524254839960698773288322511012287887296070877005179411541641507107035848004560080 -1]<br>
&lt; [-22117166606901014177301086340411568093581905817287916639695379361739492189201997811813230546368112829301773405831348042392 -18280068792444219831708619720711682663123085309198671443565976085903977340477245799564385897166637561346227678610985698575 29545000369894626723627427241511523933426105566168338853451577011620725934731652927851790329554078816396454817051127715787 29666732346114709503433113959684112023063177976904148095491426462046126549286662155552317289422400595441883752529453901575 19669788221619833232434913661708164039754819870259264921387314546469765639635811053231186065837913131645829793301742637750 -35612945920726573196218011449822605137379181228767012886757213977178346105806174625217770146434273596601984532926208569321 -54395135913788230417471687605045612640905564165559122680768387349146030032490710459645792741829662428002159488437650395877 -28219001231219981044133793177605519746666363524702769906219962950670089100810085568806098294434896644817858174614762680179 35884019200832342371842418944972128195335515758208589624609699873117035496771900828280096442511835506650120767605022135282 1800441895927508570938843997022501724824711887183500436969837303761196401000932670272921228929876381626666252310105274919 36123513513691805624442792106744648572677954434147911571630188168062603848458792727833500729143222456206928982269721872345 -1]<br>
&lt; [22116973879673625551675041862070953045747766887883452655878367611944302586954362901974536297242602495629806200968401548711 18279909501381424209129357084690169114749586540612575340524656796400696346044933562990509634284951953884968043566108584682 -29544742917115720178488021372822734900239022035871519837077903779948049276561065793259039605916832670677181049799302433992 -29666473832573062485274771759170438024323453536204691112833485029613341332088470338476646083113163812687996115124628059302 -19669616820652672665169281148513328059348890004971410937472971928872811046483782073943559371710268734970735379443207743437 35612635592353665740830846395331112754550863232224045430996512681724052809045926799094740277265159129578192512106839998040 54394661918908397084070104020167326767281540228116912994955531936382366006416582198248874777815963039802576287749382144987 28218755333091905619982245621760863743037789524488922328613556317283306314388233900256166523024000218224232895416216035225 -35883706510348472763454070319947651051847058238541033061889036464882893583606258173222025773365920776019938323521780399036 -1800426207020297094772282745300102359645336719223383199705936094790434528757488941353579826902802455784185467294522332110 -36123198736273578052387566741391262102364836011753592233171486143193447115428000422947043564417916438823476430190922558741 1]<br>
&lt; [22117119574686528320562311087241712168598147243650262229054469591452184410466103893077670784544659752601831627534655278977 18280029919828593099834803508632134462296489047144015542588685735411933724646433105345945088459210117507326417868415072704 -29544937542371595449488488355795849150444231801996552954075944805589508202027996725768669058186269328373796474711258552028 -29666669259728302231406383210675212799219544561867188593279979694334271890401008949533965680696038810316153669355018550881 -19669746393762089377128344156958937204725111445748531205713838190939737618728172978239494745047593415265988092771420275751 35612870189700950130734217131818873062718105543325936955388234603658694621211371588743801945275662904249027877472767325046 54395020242384892235493638005685527002011650308192214118918146708514290185834904323592287215071425448153587171664338322547 28218941223437697156152276163125560808302285109023317916189117419422334153044456372686392102759998226292517193960402960290 -35883942893368657509543696847084343812359351996893171712571482408844081403299848799061688442311978212771404849971405607719 -1800438067282957321611582661259248292742513529140245567936305835316536466761371350123777763948321270744165350726695826669 -36123436696942818049156940443969426065979888079246338581932225756962649507848490205792574273615687581895126608768119646765 1]<br>
---<br>&gt; [22116948787709292451755413138721499937621477015550187399463111658534488617623454723953276983701528060983112260902487883503 18279888762611296054253726594245795436400797306449304779068322746822808728985535458880689650339032888184073615608554247606 -29544709398260946461414597289584781605061386839569616430645469198301621818162658212095774093091114089590446387689367730747 -29666440175613148096203192662539678219828408353830989207759006299227190283963653699949964146180299346173001374982331394381 -19669594505243413030854403906336544072742227946076287665009332770427542418819281578472395975271609929597793052771952543071 35612595189404014827312653100910247613374630671337597217249287386090047934406649015172875467311834692358198989187389340086 54394600207531234648367619575172013285723048867058373569710215719983131117417842202228289979502291925011129071688657031671 28218723318585481974291578652110737060825667769496011305732812951103464900898179952215567584889398988014847614759250794360 -35883665799865709812516319059015872398539390158641006272137020544727087216277289141230835824630860703705756254642536532272 -1800424164415806231290703180738687586416564250163791135791055881961473408487473823233110267368564458618532565323136728831 -36123157754084096828826529108520741951654074068994587072706523674892820260017731262804924516844091386422555031894574423151 1]<br>
&gt; [22116830653621455269329674626411237231333121413157877260771090397930206762489851361720911243273767451929856187884282420099 18279791123556041909075925908830851637273283657519891437322185361321102197429374012947504573542399361677591327954021371502 -29544551589996855450677963067392157679443869254136780112428394379143628600464138846222444209460236575630890155348516221094 -29666281717143891705467732813339896546766600449693886805102814652828190257890280434650931653681562254063388162197680820711 -19669489443300768597379753476273166132097435607912366511525700482161871454815355005271391361905596831441503184800390074263 35612404970514031549016136713644509491000005266892172786278762489755441637069471908475698692072977516672625660760817076234 54394309667613614734293552419159883065077688642516640977585399882272310759667200151711241849576401159532215686530231917862 28218572592860556325818374992390914765197304496518115725741311657885647833865968211694999732146914273433174919549646744383 -35883474133096111053263329996097477660410794824552359280155328352138246671173363420934053261939427835577472268504909453428 -1800414547742709738055458978930857855143695843843291531147854531034858091518345202288034474984979093416728299123459454532 -36122964808107143226134762730577956091489643889686636199849623829341228699446234605848428967112410571722733085472857110886 1]<br>
&gt; [-22117023380848843894955719104751852279167260342562341244588102147725396364737486271559605492399277785601823392747228913780 -18279950414618837531655188544852365185646782426105987540363504650824383191861686249521380836424084969138850962998898485395 29544809042775761995817368936080946712630952784433599128802067610816305258634725980815194933097482721350163922600341502889 29666540230685538723626075013853570545506324890393343787760756085260975475088472251726602859990799036817275799602506662984 19669660844267929164645385989468002112503365473200220495440043099758826047967383984559018056033241228116597598658924968576 -35612715298886939004403301768136001873828323263435140242039463785209734933829719734598728561242091983696417681580185647515 -54394783662493448067695136004038168938701712579958850663398255295035974785741328413108159813590100547731798887218500168752 -28218818490988631749969922548235570768825878496731963303347718291272430620287819880244931503557810700026800198748193389337 35883786823579980661651678621121954803899252344219915842875991760372388584339006075992123931085342566207654712588151189674 1800430236649921214222020230653257220323071011803408768411755740005619963761788931207375877012053019259209084139042397341 36123279585525370798189988095931342561802762312080955538308325854210385432477026910734886131837716589106185637551656424490 -1]<br>
&gt; [-22116877685835941126068449879581093156316879986795531671412000168217514541225745280456471005097220528629797966180975183514 -18279829996171668640949742120910399838099879919574547338299475711813145813260186707165945382249826805516492588696591997373 29544614417519886724816901953107832462425743018308566011804026585174846333167795048305565480828046063653548497688385384853 29666344803530298977494463562348795770610233864730846307314261420540044916775933640669283262407924039189118245372116171405 19669531271158512452686322981022392967127144032423100227199176837691899475722993080263082682695916547821344885330712436262 -35612480701539654614499931031648241565661080952333248717647741863275093121664274944949666893231588209025582316214258320509 -54394425339016952916271602018519968703971602499883549539435640522904050606323006287764747376334638139380788003303543991192 -28218632600642840213799892006870873703561382912197567715772157189133402781631597407814705923821812691958515900204006464272 35883550440559795915562052093985262043386958585867777192193545816411200764645415450152461262139285129456188186138525980991 1800418376387260987382720314694111287225894201886546400181385999479518025757906522437177939966534204299229200706868902782 36123041624856130801420614393353178598187710244588209189547586240441183040056537127889355422639945446034535458974459336466 -1]<br>
27c27<br>&lt; [22116770714405583336867438587978130702368702752014262764945658666304899551532009118612221229270747902589527602271134965837 18279741583169202203715651129587038521167645899404397859842108476778489241039522138753982999060488336935620040899427577372 -29544471520782449167745951513109429577257592114105833086362929311663060912731387758880886473320185112900474336840715792517 -29666201318026504138494316785877194683069391618012842079527372584383821236527517999055313594391973907365553674022229112269 -19669436136667811236743950401073198392575657825771282857141166518044879318491619320454612959234988429098288299583613103486 35612308456702325132541059476459993253084426957133901521555264050453932658286318119320711872726009080067870852146591080210 54394162252628148090202994103027474128613435632160019306871744590527421306760878837593365169194082391156915972750797956762 28218496117205398912354707363336055251223608389913084613567321114205541621152775593363018645644354090581443525938378253844 -35883376884655048980407460804281474021716080929361989874167453847470444492308893019844835412877289729701848913856249314677 -1800409668407242273704358957808914279157477701533917265553824810013632355843555477273419336438420579290272179792998639682 -36122866910618145957800030402604365296466685699966352482414146300777147745649209126461665945430677863183314455130330427022 1]<br>
---<br>&gt; [-22117226546116886109763322378844674622546324478431531135520811093364799400159840054921920560371132378642101991444495496654 -18280118332831059537068894499955495779228723067314165021046052970446590296867097673757907471648548586088198965665579492705 29545080439109033006559438795794252035612382706199285879517042079101293622464404015193348065694130279126870635558928144364 29666812745232097070406529987146813886760386808585192821066868530490495570649424591147935348711988942139718240704905610017 19669841528252790593070716736908131779276597652400348575771848510586757775959546738047964468508521533989044678518519608527 -35613042434538279612693088687007121375294759538525284151480712416479855084589328414372756965781242033206739341540434565345 -54395283328773697061562245921178021577369817175915744351482042640890919485397031773763669422211981196377459202217084356977 -28219077706875138457597460806660379260640059631307801018393953494350195313523278187138079380937456827669589568226031170718 35884116449273404444698288136788131834030229653398959030597574377784837675636371229369314291573973612525744122253682274033 1800446775262976035289944018144445300810930029492874702563867024782422136675722395287536367476434895753122371640566089769 36123611411180802892777524434718239367700912623868195289065665696626684802255818207220263750824955164746347612612248556209 -1]<br>
bad LLLTest</div><div><br>---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------<br>
</div><div></div><div></div><div>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.</div>
<div></div><div></div><div></div><div>I m afraid that&#39;s the only info I can give you, cause I really do not have a clue about what LLL class actually does.<br></div><div></div><div></div><div>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.</div>
<div>Or maybe there is a compiler bug that is not triggered by the previous GMP version...</div><div></div><div>Hope that this info will help you find out what is going wrong.</div><div></div><div></div><div>My best regards,<br>
</div><div>Nikolaos Karapanos<br></div>