Home Online Manual
Top
Back: coDim
Forward: modVStd
FastBack:
FastForward:
Up: classifyMapGerms_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.5.3 vStd

Procedure from library classifyMapGerms.lib (see classifyMapGerms_lib).

Usage:
vStd(M, N, I, bound);M is a submodule in A^r over the basering=:A, N ist a submodule in R^r over the subring R of the basering genrated by the entries of I

Compute:
a standard basis of M+N+maxideal(bound)*A^r

Return:
a list whose ist entry gives a list where each entry is a genrator of standard basis and second entry gives a list of generators after the reduced echelon form

Example:
 
LIB "classifyMapGerms.lib";
ring R=0,(x,y),(c,ds);
poly f1=x;
poly f2=xy+y5+y7;
poly f11=f1+f2*f1;
poly f22=f2+f1^2;
map phi=basering,x+y,y+y2;
f1=phi(f11);
f2=phi(f22);
ideal I=f1,f2;
module M=maxideal(1)*jacob(I);
module N=I*freemodule(2);
vStd(M,N,I,15);
==> [1]:
==>    _[1]=[x+x3+4x2y+3xy2+2x3y+6x2y2+4xy3+5x2y4+6xy5+30x2y5+35xy6+77x2y6+88\
   xy7+136x2y7+153xy8+234x2y8+260xy9+360x2y9+396xy10+385x2y10+420xy11+252x2y\
   11+273xy12+91x2y12+98xy13+14x2y13+15xy14,3x2+4xy+2x2y+3xy2+5xy4+30xy5+77x\
   y6+136xy7+234xy8+360xy9+385xy10+252xy11+91xy12+14xy13]
==>    _[2]=[y+x2y+4xy2+3y3+2x2y2+6xy3+4y4+5xy5+6y6+30xy6+35y7+77xy7+88y8+136\
   xy8+153y9+234xy9+260y10+360xy10+396y11+385xy11+420y12+252xy12+273y13+91xy\
   13+98y14+14xy14+15y15,3xy+4y2+2xy2+3y3+5y5+30y6+77y7+136y8+234y9+360y10+3\
   85y11+252y12+91y13+14y14]
==>    _[3]=[0,36200241918436258666427374984354490488701583014810763500799640\
   217463646618220452x2+8035856076792905437341008252258785899893543992700127\
   4879285662359088597883320904xy+441583188494927957069827075382333685102338\
   56912190511378486022141624951265100452y2-12168541735238412614834127370934\
   22663372594795185815987872258114391555856973312x3-80128290556229107240472\
   6095028720713615485988824254793406334032089396045463164633x2y-15945044934\
   85343790469392100337122599592789362267972267053195631528816518567376530xy\
   2-79443844209657655932614941804549530864067596823890328963473385755381202\
   8961185209y3-724004838368725173328547499687089809774031660296215270015992\
   80434927293236440904x4-30229072594889590776353928323077564115059030720231\
   2591705168249748322331110851580x3y-64037256345646994117946972694997382287\
   2311437350694996140858866680579218287870890x2y2-5323798636463221386247075\
   73505133023277487167385104415478660852951023493207985956xy3-1218975423018\
   75587875922379817225860578362871207100484041370955583839312794525742y4+24\
   3370834704768252296682547418684532674518959037163197574451622878311171394\
   6624x5+160621637364515366859390242826872169522108976203406703477628483852\
   1966758497249202x4y+56515983032074452945623849696893455891632205234509696\
   72239871636933016905394448563x3y2+960858204298224279213338534542517287703\
   7924552091271096969608386803550323301921788x2y3+8558235582733260502366947\
   804919395067309048344239526133030288583921823321576965835xy4+303725956231\
   5639703927788489158427319647661112642428044888443421378912780120590032y5+\
   6594575731545804603487398646507290337322935660775550288839600875550839097\
   9096832x5y+64726178487018508374852094560329396912914308157744620883518214\
   5224070781590645580x4y2+8062187186325397820006344762655011390551160063929\
   60767130269538721689211948176601x3y3+982993532059947857231143825111343938\
   30917596005312711536952697817470554603613335x2y4-323544315886988640440349\
   4749301588250075322885206313446249770192955204674513532918xy5-29276245067\
   83603552250465706062672211936068566865861780070233558502317790902754400y6\
   -426470069158487929630233924149806719582193092645283568516127585506810587\
   90015680x5y2-473364332920030604571866539342931025537410667628763205622988\
   6027090832623100003518x4y3-1629540748302590439844420378448593093278163922\
   4804004993348846716922569888231976567x3y4-2107016380434273363158526871579\
   9131718541035588982805252185331763057593815591253850x2y5-2712753700556723\
   3548563793286096257634736026320672219442554361516546592978138603437xy6-16\
   6236453093064181321791768662078194711778645862284978284783476400170455038\
   69298816y7-22462580489002698890433637219784330210530427214792451283350598\
   1811605816503156544x5y3-2525993733524834176653909739877411673764944008814\
   873834891914447337016986355178992x4y4+17201007003760048743651399429355760\
   05118968660407248061255704088802708357745470873x3y5+344080412053657256128\
   0999794614866609535365717150295839842851780931017404306291199x2y6-2709680\
   3755172591765452808090668954763775651169235437031274034869589810243240310\
   539xy7-247267989024660062085743410263904820235758607885459118736592152660\
   33012881835530817y8+19896684488050786680787823518626060910842191835123320\
   4681938840749151389529122944x5y4+1268094120866087493081378876883927577098\
   848536145770101493748197034222042058187258x4y5+34081370285041024307277262\
   846402432839759113247786083098221134062815424310614057471x3y6+72310569966\
   133150794172076258509553480300124405678811107513872235037389583475861507x\
   2y7+479146133456814092788747446518150779366321978746645097706516801034958\
   96053211297113xy8+8616286388603703165706430598010290328100760098977244864\
   547132574988860127820428763y9-2199259594746955029413054842313835254351718\
   7654258217105512080427797106068510720x5y5+2032276182023560708144664632281\
   2063635168669994756687724061447964331916607660811908x4y6+1111681674324529\
   44756413433871522598601726444844372668986742835479678142716211588221x3y7+\
   1656835328496245088783015706358167539487399021206218217073417188222513508\
   62946657597x2y8+828135032309779658058556113366038778866240380859960065349\
   62194803728752421265317423xy9+7993173782278607737429474363843914942006054\
   996822806612584783326016637084035325419y10+109962979737347751470652742115\
   69176271758593827129108552756040213898553034255360x4y7-103810785367750869\
   72776123632260497380879214937505247706611808261277642472456775778x3y8-538\
   2455492925062701854397128603717627623134850212032305142753697781246338236\
   4236228x2y9-7680546744094131492663613932021281988489087396947970766859249\
   8046273961982758803427xy10-3299282010894863133641231771817796785660122251\
   8334773418854359891831776392835834337y11+10446248212896863605853285506632\
   2978559118926308347652190620920787182894234786944x3y9+6397723657842261861\
   978522049352610303262270390953012131732278925874034782464421296x2y10-1773\
   6652722812159948092348293452683292142761379510717304587194980969150700013\
   348171xy11-21648004043585490238348105166600872737923911611945206412329816\
   768286605765675723023y12+210419076104515403420153886280080566991346374983\
   611037558350880045935976114644224x3y10+4474630785433975229581366780744686\
   309294261988261036105549742782501750613281905040x2y11-1219237501662523856\
   43340914660458591334273119150304768107450845197302177103772187267xy12-116\
   5381212725529352830899083069102845544941878031827652305259927665831889091\
   85468983y13+1699246740245260913628159790480763631286813879899641353605366\
   093130456279556824128x3y11-6717085688663586771951129601267760718890209857\
   343282973400977449349317357085492176x2y12-5953208660216712176462904477424\
   23084862149212012151428734823220813694715237150681151xy13-564743825378574\
   869290582813438277493609135692981551278442652814070806661955952981643y14+\
   1433878482657909527566695006980497415544113666641100842367699582875423940\
   6739907584x3y12+299605655305965541701628742774217156664070128731617533054\
   12468414082363775502423344x2y13-14235067204377575006951571088182725384594\
   58268998918535705186603861966378223141538882xy14-133223136222406334831635\
   1273214745985463585116633396174659328304118590750871513503366y15]
==>    _[4]=[0,13931943131582340770912852949915453026787668378663836567494955\
   5000xy+139319431315823407709128529499154530267876683786638365674949555000\
   y2-21303065164905409355910746821643349934000694346271714545358765232x3-12\
   383447741211908993680181433262864291868537072554923863943935148949x2y-247\
   73543381794238558879609013100650724098477681742811225092640516152xy2-1241\
   1398705747234974555338326659429782163941303534159075694064132435y3-830962\
   811772260024920477884851476648380281203104881224150089436944x3y-487411142\
   4037166292027217183353262511573411834969422537249624134592x2y2-4741804097\
   781986980382227974870927301576534280457934293247509748402xy3-698655485517\
   080713275488676369141438383403648593392980147975050754y4+4260613032981081\
   8711821493643286699868001388692543429090717530464x5+248308046779185342154\
   28095106990658633539076228148662871523946593594x4y+8704620416861650389784\
   5557002987836357618225043132600605507566479447x3y2+1484194910694401893580\
   11749187282707122839152159360672672867185366626x2y3+129690875082230637137\
   950680400874694709358932510858238174423875965117xy4+442259867903973453196\
   13857250728224661806313974107238493005775789808y5+11046478982812264190044\
   41651706335175689055671063208985600380653888x5y+9990697317173032726113900\
   802452839134067639644321003181604964934784x4y2+10992048980777511641009030\
   467695016787996751828526502655918650601939x3y3+34349649164520994348527186\
   74724440297203196761895683826623843433879x2y4-535758734608666540298548392\
   74020388382412234229618122839462899517878xy5-5247123566344226397456030797\
   7012486195456757558871224096877918100464y6-654942232454788779379767860352\
   597367763315535271869697890242470128x5y2-75041329977893339040317743680181\
   816767648346639884126272800055730838x4y3-25172776163090560207174166573703\
   5915455315010149425221764835844253281x3y4-3286878042921553313164722228488\
   79867599400341098345065605361508868616x2y5-451625257842369564594876968857\
   655863970925605492620308538466553898751xy6-283967498799420727351156384388\
   905179728164689631586825865867521716956y7-3885760581204356750013501001210\
   537800485242842329279907775404107192x5y3-50985550847662346883652513013374\
   636207226299565077057985110699251072x4y4+11197537473954069016233608966174\
   257402622820220668202993811700156667x3y5+55893720513081539807339034836247\
   563815590447396968650077460312842655x2y6-44286116804176561614294173767931\
   5261579577498907888134555291346676635xy7-40975817533747935979239202790549\
   5121708057780529185890901989678885143y8+320313967369527509295116230370887\
   6949301545552350059765341231800616x5y4+4276446948871629699025913413360173\
   3446463415269456118348670977957610x4y5+6488339452626821470939781957813243\
   22388404747014315457004007505629741x3y6+130991807505346256819574340818231\
   0230916280920024139066689143912165033x2y7+8508146842786427885159089788549\
   43992718583652909741589227723055849403xy8+1501692246728413455168357946240\
   65227693545610182811920959256903157117y9+39881361062399044562540709872293\
   7743188691892992327539959010781616x5y5+3212710065978859005115948578562282\
   67991100718643383365605514894710444x4y6+178528239307575411827078182979564\
   2643866951489787329489947684852740879x3y7+2664786673159464299081021373204\
   820967665477618032556009617347981304943x2y8+13128671107962111960414806946\
   28798927861719700512669052046486656739745xy9+1131872348818182222038173431\
   09611046466620928935984686139642392021853y10-1994068053119952228127035493\
   61468871594345946496163769979505390808x4y7-164194064491321758357747609358\
   226636892595480471921070228562886986384x3y8-87307474644040614422647345474\
   0024461613888740838954751325409404553200x2y9-1281101492267754833486875242\
   467723120825769959117798884375885275683345xy10-56610481457847208304636080\
   1644301134321644930132229206257890755320471y11+17716270649866274103554611\
   26244615457619578516603112269381664499296x3y9+107001388808513925877623349\
   992108088907129198212066490326585619068948x2y10-3646418545145425900645260\
   34018365955136164354894304983284057232670117xy11-433729703139485122588501\
   408950779268449447675287132498425501614757769y12+360410315934694561074114\
   4653259856402227059134963120205061334644400x3y10+693712669211924509432239\
   69818501233031933209624614816341277674789936x2y11-21796077810439590846040\
   88846772531793073092013249389053280019350781109xy12-209450712981380244886\
   4294900410605997058384026396302049186189878056545y13+18190583354114291530\
   298563451821524423499661653123317256140270862832x3y11-1699476738863209814\
   27026767707210461506221842114484304541012959187244x2y12-10361752615643532\
   895528364702773341687030309957197647412580478560294969xy13-98641487846078\
   64553628846890859655440498342258055057496966587459993601y14+2153413383420\
   64203237724900368360311357267361567094896515055823975160x3y12+39561393186\
   8229667642625657783981682236828187985466575178797954569236x2y13-241810069\
   54550610168202557367476669472219588419182001193498265782381544xy14-226448\
   69248012390569132461126480909721726229549315543455587071226705994y15]
==>    _[5]=[0,y15]
==> [2]:
==>    _[1]=[0,y14]
==>    _[2]=[0,y13+483/16y14]
==>    _[3]=[0,y12+4484/375y13+8614/125y14]
==>    _[4]=[0,y11+11y12+58y13+363/2y14]
==>    _[5]=[0,y10+10y11+48y12+287/2y13+991/4y14]
==>    _[6]=[0,y9+9y10+389/10y11+2193/20y12+1063/5y13+3781/20y14]
==>    _[7]=[0,y8+8y9+154/5y10+84y11+4949/25y12+10188/25y13+16034/25y14]
==>    _[8]=[0,y7+89/2y8+321y9+1140y10+2685y11+10109/2y12+8409y13+14614y14]
==>    _[9]=[0,y6+6y7+33/2y8+63/4y9-357/4y10-1065/2y11-1609y12-13131/4y13-807\
   9/2y14]
==>    _[10]=[0,y5+5y6+23/2y7+57/4y8-27/2y9-139y10-945/2y11-4823/4y12-5173/2y\
   13-4657y14]
==>    _[11]=[0,x+y+20y9+180y10+778y11+2318y12+5752y13+12636y14]