# Singular

#### D.15.16.4 modfrWalk

Procedure from library `modwalk.lib` (see modwalk_lib).

Return:
a standard basis of I

Note:
The procedure computes a standard basis of I (over the rational numbers) by using modular methods.

Example:
 ```LIB "modwalk.lib"; ring R1 = 0, (x,y,z,t), dp; ideal I = 3x3+x2+1, 11y5+y3+2, 5z4+z2+4; I = std(I); ring R2 = 0, (x,y,z,t), lp; ideal I = fetch(R1, I); int radius = 2; ideal J = modfrWalk(I,radius); J; ==> J[1]=z4+1/5z2+4/5 ==> J[2]=y5+1/11y3+2/11 ==> J[3]=x3+1/3x2+1/3 ring S1 = 0, (a,b,c,d), Dp; ideal I = 5b2, ac2+9d3+3a2+5b, 2a2c+7abd+bcd+4a2, 2ad2+6b2d+7c3+8ad+4c; I = std(I); ring S2 = 0, (c,d,b,a), lp; ideal I = fetch(S1,I); // I is assumed to be a Dp-Groebner basis. // We compute a lp-Groebner basis. ideal J = modfrWalk(I,radius,"Dp"); J; ==> J[1]=a25+16a24+96a23+256a22+256a21+256/9a20+1024/3a19+2048a18+65536/9a17+\ 32768/3a16+16384/81a15+131072/81a14+1048576/81a13+1048576/27a12+1048576/9\ a11 ==> J[2]=ba11+1522867351997104938459/91668001658017308797687087104a24+4293036\ 9782248629690765/91668001658017308797687087104a23+80925218629630777478637\ /22917000414504327199421771776a22+7108535670237178684767/2864625051813040\ 899927721472a21-3255817194541612658349/89519532869157528122741296a20+5380\ 8965391546362724459/358078131476630112490965184a19+1534729815590907963215\ 01/358078131476630112490965184a18-260815719913165309506063/44759766434578\ 764061370648a17-1485276141860757031491027/89519532869157528122741296a16-4\ 92332725360316960775/22379883217289382030685324a15+7423992361030571232440\ /16784912412967036523013993a14-17640364913371983121693/167849124129670365\ 23013993a13-37723213977586186442564/5594970804322345507671331a12+92047580\ 41857159721472414/5594970804322345507671331a11 ==> J[3]=b2a6-1275460856846934902527/2619112706933760ba13-9203207900045442436\ 039/4583447237134080ba12-86229451659721876411/6261539941440ba11-63/2ba10-\ 176103105371/907641397248a21-306836641361771/103471119286272a20-556810728\ 2265313/181074458750976a19+463053737062394039071/32593402575175680a18+233\ 493474751858876283/2037087660948480a17+66864105293320847653/2910125229926\ 40a16-2870620980805387/101854383047424a15-9651151354818523/25463595761856\ a14-471264260028168789475/611126298284544a13-489585210177544137565/152781\ 574571136a12-4323891804194718805849/190976968213920a11+4/7a6 ==> J[4]=b3a5+1165198340059361507/60324030330315296b2a8+2834258341382482451/3\ 3932267060802354b2a7-3535202147650393/45243022747736472b2a6-1743263488518\ 66272086637/108100662351925010432ba13-180877903989284763838711/2702516558\ 7981252608ba12-2783949606995368438959121/60806622572957818368ba11+7423924\ 5100658253/30162015165157648ba10+4/7ba5+82576115266283735625891/172961059\ 7630800166912a18+2949131532722419989261/7721475882280357888a17+8257374787\ 8379091193883/108100662351925010432a16-194476798666289267/270251655879812\ 52608a15+10816123814459571297/6756291396995313152a14-13707944038216024518\ 9169/54050331175962505216a13-143935810252288492483523/1351258279399062630\ 4a12-108976370407053801898907/1447776727927567104a11+9/2a10+18a9+11651983\ 40059361507/105567053078051768a8+5668516682764964902/118762934712808239a7\ -3535202147650393/79175289808538826a6 ==> J[5]=b4-63/2b3a4+53590985045967705613474269749/1407238979545595225088b2a8\ +11625419776309240542435260807/58634957481066467712b2a7+12739505342603800\ 3554252983797/175904872443199403136b2a6+4/7b2-761164231440237277536357328\ 493047/700492292040474067599360ba13-104521491576210733019159653207691/250\ 17581858588359557120ba12-11826338279466524349922531923473911/394026914272\ 766663024640ba11+286749359828001390655523145503/39089971654044311808ba10-\ 61261515/8ba9-525086793/32ba8+3969/16ba7-19845/4ba6+9/2ba5+45295478141475\ 95860677850296017/138368847810464013352960a18+247345844501521328455296898\ 6663/9729059611673250938880a17+324025940290811430696988658749687/70049229\ 2040474067599360a16-4286410117811597590771586510563/350246146020237033799\ 68a15+4054710919870705842300540149/2918717883501975281664a14-394300742086\ 35887294045314648189/23349743068015802253312a13-1139723514755969617170188\ 24182045/17512307301011851689984a12-3226716701597602362857429388525683/65\ 671152378794443837440a11+771901337907/64a10-1701/4a9+80528689834593164587\ 767860213/2462668214204791643904a8+11625165236461787969048941667/10261117\ 5591866318496a7+127391998947868572673617154117/307833526775598955488a6 ==> J[6]=da+13042589597338317401292876694323783641/32769687632608435019205956\ 084751360b8-339347956624707128686162624470779591/136540365135868479246691\ 48368646400b7a+44776090034814931064318387941081165483/3276968763260843501\ 9205956084751360b7+72711086789965200830753309360861163/341350912839671198\ 1167287092161600b6a2+17945571338576304647577664032291913/1092322921086947\ 833973531869491712b6a+1005252013115630519751071456639664155699/5734695335\ 70647612836104231483148800b6+9615448034722990303485382435238901/136540365\ 13586847924669148368646400b5a3+663547630395349792235158387078347149/13654\ 036513586847924669148368646400b5a2-10588152408989285294663152330377654/37\ 3352560918390372940172025705175b5a+8954607782583032024373974051595847951/\ 5734695335706476128361042314831488b5-16768783292422657909931339309776827/\ 6827018256793423962334574184323200b4a4+507941899552434600769579126963767/\ 170675456419835599058364354608080b4a3+33005810917176973093954466999277846\ 9/6827018256793423962334574184323200b4a2+64107680452610290564228851734203\ 787/3413509128396711981167287092161600b4a+1376877864134098113390589464572\ 831613/853377282099177995291821773040400b4-643284910890587948236877864337\ 714771/9557825559510793547268403858052480b3a5-130190339942501750272181116\ 13508381/11947281949388491934085504822565600b3a4+137363543353185575764076\ 8919319843/3413509128396711981167287092161600b3a3+66354763039534979223515\ 8387078347149/23894563898776983868171009645131200b3a2-1380791010410641347\ 641955610911797/170675456419835599058364354608080b3a+30455774007493462026\ 8172466495764041/682701825679342396233457418432320b3+57088298465273022117\ 56158284190858113/95578255595107935472684038580524800b2a6+188328905241473\ 4766990421180196597/5973640974694245967042752411282800b2a5-20182594001309\ 76681444622383138147/11947281949388491934085504822565600b2a4+725631285074\ 90657252797018137681/42668864104958899764591088652020b2a3+352799606098503\ 36937362983980868571/1706754564198355990583643546080800b2a2+9160576385145\ 641871627802519827657/1706754564198355990583643546080800b2a+5063824837275\ 183915708779051981113317/11947281949388491934085504822565600b2+2139710638\ 608916733916466261891227/1365403651358684792466914836864640ba8-2207819314\ 4537153891260371881262339/546161460543473916986765934745856ba7-5451366058\ 15586548522667378314077621/3413509128396711981167287092161600ba6-65631655\ 441612907465368619382679107/1706754564198355990583643546080800ba5-189/200\ ba4-13233263602544734530107233305922887/682701825679342396233457418432320\ 0a9-3555188132635967197804852869818541/1365403651358684792466914836864640\ a8+230691784778909201021851072404959103/477891277975539677363420192902624\ 00a7-2239172271256758942944178285566542047/238945638987769838681710096451\ 31200a6+9/5a4 ==> J[7]=db2+27168629881138998278214605101276770835/1800336095813001708473756\ 2811777413434dba+491471906637994374111562338884716187596/4500840239532504\ 2711843907029443533585da2+2869014504205069356631324068220712761/300056015\ 9688336180789593801962902239da+4/7d-1897077401044693056678038097144471820\ 99/34292116110723842066166786308147454160b7a-5658327819535712436466574993\ 330286600457/122471843252585150236309951100526622000b7+113182841765429901\ 32449993783459998727469/2571908708304288154962508973111059062000b6a2-2253\ 0934741604865857767754519577491811561/17146058055361921033083393154073727\ 08000b6a-28490909495949003753054905391701315934163/5143817416608576309925\ 01794622211812400b6+163276752511472685450681124222320969/4898873730103406\ 0094523980440210648800b5a3+1147567905764537825599187468312120724677/12859\ 5435415214407748125448655552953100b5a2-4912488558205679461828306619738387\ 29409/60011203193766723615791876039258044780b5a-2432707710215176002654632\ 048907145876763/45926941219719431338616231662697483250b5-3344421008663233\ 279970959194674706231/12247184325258515023630995110052662200b4a4-14300645\ 742587052800896932744188700663/6123592162629257511815497555026331100b4a3+\ 18686441795456071650849593173135040994539/4500840239532504271184390702944\ 353358500b4a2-22563973604244056496552722465133853468563/15002800798441680\ 90394796900981451119500b4a-28424924011974492068513527513639082672303/4500\ 84023953250427118439070294435335850b4-16868448210344714519204977303940182\ 9737/12247184325258515023630995110052662200b3a5-8054343150103979756088591\ 5156427564921/85730290276809605165416965770368635400b3a4-2021296188976840\ 1048967087882194009871/21432572569202401291354241442592158850b3a3+1147567\ 905764537825599187468312120724677/225042011976625213559219535147217667925\ b3a2-8615460449031389729000767207411187066/300056015968833618078959380196\ 2902239b3a-17082924484405326727765123704709182473311/11252100598831260677\ 96097675736088339625b3+58378083696210014254623732708487441906557/24004481\ 27750668944631675041570321791200b2a6+730752004376098538134949140639236486\ 3/75014003992208404519739845049072555975b2a5-1422484057185129510002160996\ 280908909/8573029027680960516541696577036863540b2a4+498866956969510836132\ 1884554144242302/10716286284601200645677120721296079425b2a3+1432100606202\ 736932633547014514099566/1530898040657314377953874388756582775b2a2-922327\ 03946462233205459960859960061737/21432572569202401291354241442592158850b2\ a-1350425644190475256379626173122707114783/750140039922084045197398450490\ 72555975b2-32293044481548109001440278438930613005987/30005601596883361807\ 89593801962902239000ba7+32682158823966231260410559538958529214519/3000560\ 159688336180789593801962902239000ba6-570641550756452819672611948091956948\ 9863/750140039922084045197398450490725559750ba5+3153694723460303096873813\ 53216972006239/150028007984416809039479690098145111950ba4-27/50ba3-156464\ 120892409756516976517553184828379/85730290276809605165416965770368635400a\ 8-4055993575064692139179730619963358700739/150028007984416809039479690098\ 145111950a7-3837465521578008641979577565856688937979/12002240638753344723\ 1583752078516089560a6+1474415719913983122334687016654148562788/7501400399\ 2208404519739845049072555975a5+25821130537845624209681916613986414849/150\ 02800798441680903947969009814511195a4+36/35a3 ==> J[8]=d2 ==> J[9]=ca-80796665/1042771968d2b2a+80796665/521385984d2ba-456425375/6069043\ 2d2a-3048690575/30345216d2+91285075/182071296db4a+35/9216db4-1088785/5689\ 728db3a2+2258752616171/182071296db3a+24027/2528768db3-8162999/79656192db2\ a3-6539063/79656192db2a2+25495277/45517824db2a+5095/1264384db2-5243/15804\ 8dba4-753114969703/1486915584dba3-753467060575/2230373376dba2+30870844232\ 377/2230373376dba+24027/4425344db-7/256da5+5/96da3+342228711385/101380608\ da2+342235311685/25345152da+2645/2489256d-68441518085/57931776b6+8617/189\ 6576b5a-752908955671/318624768b5+7/256b4a2-2163/79024b4a-752734601911/111\ 5186688b4+529/316096b3a3+7/128b3a2-12811/59268b3a-752421061495/557593344b\ 3+311787/632192b2a4+529/158048b2a3+1/64b2a2-309/19756b2a+309/4939b2+68441\ 518085/22529024ba5+752978795959/61954816ba4+529/553168ba3+1/32ba2-1/8ba+1\ /2b+3/32a6+68445742277/11264512a5+68447062337/2816128a4+529/276584a3 ==> J[10]=cb-32663547/65203625ca+122451/1669212800d2b2a-122451/834606400d2ba+\ 15878499/166921280d2-23489436789/3338425600db4+1118544609/1669212800db3a2\ -3063359313/260814500db3a-33610801623/16692128000db3+324051/4173032000db2\ a3+4795316673/16692128000db2a2+398184633/2086516000db2a-1637653157/208651\ 600db2-228089169/8346064000dba4+193064067/521629000dba3+84177415/20030553\ 6dba2-205601467673/12519096000dba-41315573089/4173032000db+228644829/1669\ 2128000da5-10887849/417303200da3-1293758657/312977400da2-20863456247/1251\ 909600da-456425543/208651600d+3439781233/2503819200b6+76085289/4173032000\ b5a+2207013683/782443500b5-228644829/16692128000b4a2+228385521/4173032000\ b4a+110739377/195610875b4-1323/1043258000b3a3-228644829/8346064000b3a2+25\ 0383483/2086516000b3a+367273373/312977400b3-14385954051/8346064000b2a4-28\ 754809209/4173032000b2a3-32663547/4173032000b2a2+32626503/1043258000b2a-3\ 2626503/260814500b2-1474191957/417303200ba5-4713214737/260814500ba4-10269\ 57141/65203625ba3-32663547/2086516000ba2+32663547/521629000ba-32663547/13\ 0407250b-97990641/2086516000a6-3881275971/521629000a5-62590368741/2086516\ 000a4-4107829887/1043258000a3 ==> J[11]=cd+1148200/372848203cb-1524024/27175525ca+4534789049/1391386880d2b2\ a-2324463127/347846720d2ba+35/64d2b+5/96d2a2+5/24d2a+45245274457/10702976\ d2-7/192db5-6353027389387677/12174635200db3a-4497962717/18261952800db3+45\ 245274457/13111145600db2a3+228471973/42611223200db2a2-21815387/1521829400\ db2a-516999/43480840db2+750069/434808400dba4+907911207105139/42611223200d\ ba3+30252540938799/2130561160dba2-1771932852381621/3043658800dba-23707882\ 7/1521829400db+383841663/434808400da5+141/40da4+341903607/173923360da3-63\ 53027418401357/44741784360da2-12706055163515359/22370892180da-73857/10870\ 210d+1728714797635/34784672b6-5208/27175525b5a+6353027467398221/639168348\ 00b5-686156751/869616800b4a2+27783/16723400b4a+6173979975409/217404200b4-\ 69453/760914700b3a3-686156751/434808400b3a2+1321617/108702100b3a+12706043\ 95725157/22370892180b3-14003199/434808400b2a4-4652991/217404200b2a3-98022\ 393/217404200b2a2+3969/4180850b2a-7938/2090425b2-2222633311245/17392336ba\ 5-55565845783569/108702100ba4-9236529/190228675ba3-98022393/108702100ba2+\ 190503/27175525ba-762012/27175525b-571509/108702100a6-19059082255204071/7\ 4569640600a5-38118165490546077/37284820300a4-664713/54351050a3 ==> J[12]=c2+1/3cb2+5/3d+3a3 intvec w = 3,2,1,2; ring S3 = 0, (c,d,b,a), (a(w),lp); ideal I = fetch(S1,I); // I is assumed to be a Dp-Groebner basis. // We compute a (a(w),lp)-Groebner basis. ideal J = modfrWalk(I,radius,"Dp",w); J; ==> J[1]=d2 ==> J[2]=c2+3a3+1/3cb2+5/3d ==> J[3]=ca2+4ca+7/2b3+2b ==> J[4]=cda-6/7ba3-2/21cb3-12/7a3-4/21cb2+1/7dba-10/21db-20/21d ==> J[5]=db4a-192/49b2a3-64/147cb4+2db3a-768/49ba3-256/147cb3-4db4+60/49db2a-\ 768/49a3-256/147cb2-8db3+120/49dba-656/147db2-1952/147db-1280/147d ==> J[6]=db6+333576da3-189/4b8+15876b4a2-5186640/2401b2a3+1815960/49cdb2+8395\ 442084/7203cb4-2304/49cb2a-43215/7db5+199982018/49db3a-4664160/7dba2-126b\ 7+72/7b5a+31752b3a2-20742528/2401ba3-1012272/49cdb+16787427752/7203cb3-46\ 08/49cba-129552/49db4+864216/2401db2a-117b6+144/7b4a+9072b2a2-20738496/24\ 01a3-20160cd+4791470576/7203cb2-172796/49db3+5599841736/2401dba-1296/7b5+\ 288/49b3a+18144ba2+9326304/7cb-19529120/7203db2-1188/7b4+576/49b2a-345655\ 04/7203db-3168/49b3-34564160/7203d-3312/49b2 ==> J[7]=cb3a-5/8da3-245/1024b8-7/32b6a+2/343b2a3+5/112cdb2-108013/49392cb4+2\ 5/7cb2a-3/256db5-15431/2016db3a+5/4dba2-245/256b7-25/32b5a+8/343ba3+5/84c\ db-107981/24696cb3+16/7cba-47/2688db4+53/24696db2a-91/256b6-5/8b4a+8/343a\ 3-5/84cd-15403/12348cb2-12/7ca+1/192db3-12015/2744dba+65/32b5-1/14b3a-5/2\ cb-667/98784db2+85/64b4-2/7b2a+61/3087db-3/112b3+3/14ba+40/3087d+93/112b2\ -6/7b ==> J[8]=cb5-4/7db2a2+96/7b2a3-4/441cdb2+116/21cb4-8/7dba2+384/7ba3-8/441cdb+\ 32/3cb3+14db4-16/7db2a+384/7a3+176/21cb2+28db3-32/7dba+16/7cb+328/21db2+9\ 76/21db+640/21d ==> J[9]=cdb3+18da3+2cdb2+63cb4+441/2db3a-36dba2+126cb3+36cb2+126dba+72cb ==> J[10]=ba4+5/72da3+245/9216b8+7/288b6a-2/3087b2a3+2a4-5/1008cdb2+108013/44\ 4528cb4-11/63cb2a+1/768db5+15431/18144db3a-11/36dba2+245/2304b7+25/288b5a\ +12340/3087ba3-5/756cdb+206765/222264cb3-16/63cba+47/24192db4-53/222264db\ 2a+91/2304b6+5/72b4a+24688/3087a3+5/756cd+114187/111132cb2+4/21ca+7055/17\ 28db3+9271/24696dba-65/288b5+1/126b3a+5/18cb+667/889056db2+10/9da-85/576b\ 4+2/63b2a+126506/27783db+1/336b3-1/42ba+123440/27783d-31/336b2+2/21b ==> J[11]=b3a3+4/63db2a2+7203/64b8+52/21b2a3+18526/3969cdb2-32/189cb4-49/48db\ 5-1/6db3a+8/63dba2+7203/16b7-44/21ba3+37052/3969cdb-20/27cb3-259/72db4-5/\ 63db2a+9261/16b6-128/21a3-176/189cb2-113/36db3+32/63dba+1029/2b5-16/63cb-\ 257/378db2+2205/4b4-556/189db+147b3-640/189d+147b2 ==> J[12]=b5a2-4/441db2a2+129724da3-49/16b8+6178b4a2-864464/1029b2a3+302660/2\ 1cdb2+4197721018/9261cb4-128/7cb2a-28823/12db5+99991009/63db3a-114271928/\ 441dba2+49/4b7+4b5a+86468/7b3a2-3457184/1029ba3-506216/63cdb+8393713780/9\ 261cb3-256/7cba-129625/126db4+432008/3087db2a+133/4b6+8b4a+24712/7b2a2-34\ 56512/1029a3-494080/63cd+2395735192/9261cb2-86405/63db3+2799920668/3087db\ a-2b5+16/7b3a+49408/7ba2+518128cb-9766570/9261db2+9b4+32/7b2a-17280544/92\ 61db-36/7b3-17282560/9261d-44/7b2 ==> J[13]=b7a-296432/7da3+109/16b8+2b6a-2016b4a2+4610560/16807b2a3-14521796/3\ 087cdb2-22401156488/151263cb4+8000/343cb2a+1382867/1764db5-1600806884/308\ 7db3a+4148384/49dba2+77/4b7-194/49b5a-4032b3a2+18438656/16807ba3+8103808/\ 3087cdb-44793095440/151263cb3+13568/343cba+230189/686db4-6908840/151263db\ 2a+533/28b6-312/49b4a-1152b2a2+18435072/16807a3+7901200/3087cd-4261620128\ /50421cb2-4864/343ca+1382435/3087db3-4980595264/16807dba+2078/49b5+176/34\ 3b3a-2304ba2-8294976/49cb+52056614/151263db2+2435/49b4-1472/343b2a+921811\ 84/151263db+1900/343b3+608/343ba+30725120/50421d+8044/343b2-2432/343b ==> J[14]=b9+1037536/343da3+4b8+144b4a2-329408/16807b2a3+148256/441cdb2+15987\ 36592/151263cb4-24704/441db5+799730504/21609db3a-296064/49dba2+40/7b7+288\ b3a2-1317376/16807ba3-4047040/21609cdb+3196814624/151263cb3+2048/2401cba-\ 24db4+164704/50421db2a+40/7b6-64/343b4a+576/7b2a2-3840/49a3-3950080/21609\ cd+886720/147cb2+4096/2401ca-98816/3087db3+1036320/49dba+272/49b5-128/343\ b3a+1152/7ba2+592000/49cb-3721504/151263db2+1152/343b4-256/2401b2a-658688\ 0/151263db+1024/343b3-512/2401ba-6400/147d+1920/2401b2+2048/2401b ==> J[15]=dba3-7cb4-49/2db3a+4dba2-14cb3-4cb2-14dba-8cb ==> J[16]=db3a2+1323da3+63b4a2-60/7b2a3+147cdb2+194441/42cb4-49/2db5+64843/4d\ b3a-2646dba2+126b3a2-240/7ba3-82cdb+194401/21cb3-21/2db4+10/7db2a+36b2a2-\ 240/7a3-80cd+55486/21cb2-14db3+64847/7dba+72ba2+5292cb-226/21db2-400/21db\ -400/21d ==> J[17]=a5+4a4-7/6cb3+5/9da2-7/18b5-2/3cb+20/9da-2/9b3 ==> J[18]=da4-2/49b2a3-2/441cb4-1/63db3a-4/49ba3+10/63cdb-4/441cb3+32/7cba+1/\ 147db2a-b4a+20/63cd+64/7ca-2b3a-10/441db2+4b4-4/7b2a-20/441db+8b3-8/7ba+1\ 6/7b2+32/7b ```