Magma V2.19-8 Wed Jan 22 2014 00:57:57 on localhost [Seed = 3848858132] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation m036 geometric_solution 3.17729328 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 4 1 2 2 3 0132 0132 3120 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.419643377607 0.606290729207 0 2 3 3 0132 2031 2031 1230 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404256058023 0.254425889416 1 0 0 3 1302 0132 3120 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419643377607 0.606290729207 1 2 0 1 3012 2310 0132 1302 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419643377607 0.606290729207 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_1002_0'], 'c_1020_3' : d['c_0210_2'] * d['u'] ** 2, 'c_1020_0' : d['c_1002_2'], 'c_1020_1' : d['c_0012_1'], 'c_0201_0' : d['c_0021_3'], 'c_0201_1' : d['c_0012_0'] * d['u'] ** 1, 'c_0201_2' : d['c_0012_1'], 'c_0201_3' : d['c_0012_0'] * d['u'] ** 1, 'c_2100_0' : d['c_0012_0'] * d['u'] ** 2, 'c_2100_1' : d['c_0210_2'] * d['u'] ** 2, 'c_2100_2' : d['c_0012_3'] * d['u'] ** 2, 'c_2100_3' : d['c_0012_0'] * d['u'] ** 1, 'c_2010_2' : d['c_1002_2'], 'c_2010_3' : d['c_0120_2'] * d['u'] ** 1, 'c_2010_0' : d['c_1002_0'], 'c_2010_1' : d['c_0012_0'] * d['u'] ** 1, 'c_0102_0' : d['c_0012_3'], 'c_0102_1' : d['c_0012_1'], 'c_0102_2' : d['c_0012_0'] * d['u'] ** 1, 'c_0102_3' : d['c_0012_1'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : negation(d['c_1101_0']) * d['u'] ** 2, 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0021_3'] * d['u'] ** 1, 'c_1200_3' : d['c_0012_1'], 'c_1200_0' : d['c_0012_1'] * d['u'] ** 2, 'c_1200_1' : d['c_0120_2'] * d['u'] ** 1, 'c_1110_2' : negation(d['c_1011_3']) * d['u'] ** 2, 'c_1110_3' : d['c_1101_1'], 'c_1110_0' : d['c_1101_3'] * d['u'] ** 1, 'c_1110_1' : d['c_0111_3'], 'c_0120_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0120_1' : d['c_0012_3'], 'c_0120_2' : d['c_0120_2'], 'c_0120_3' : d['c_0120_2'] * d['u'] ** 1, 'c_2001_0' : d['c_1002_2'], 'c_2001_1' : d['c_0120_2'] * d['u'] ** 1, 'c_2001_2' : d['c_1002_0'], 'c_2001_3' : d['c_1002_0'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 1, 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 1, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0210_2'], 'c_0210_3' : d['c_0210_2'] * d['u'] ** 2, 'c_0210_0' : d['c_0012_0'], 'c_0210_1' : d['c_0021_3'], 'c_1002_2' : d['c_1002_2'], 'c_1002_3' : d['c_1002_2'], 'c_1002_0' : d['c_1002_0'], 'c_1002_1' : d['c_0210_2'] * d['u'] ** 2, 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_0111_2'] * d['u'] ** 2, 'c_0021_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 1, 'c_0021_2' : d['c_0012_0'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE Status: Computed Groebner Basis Status: Saturated 1 / 17 Status: Saturated 2 / 17 Status: Saturated 3 / 17 Status: Saturated 4 / 17 Status: Saturated 5 / 17 Status: Saturated 6 / 17 Status: Saturated 7 / 17 Status: Saturated 8 / 17 Status: Saturated 9 / 17 Status: Saturated 10 / 17 Status: Saturated 11 / 17 Status: Saturated 12 / 17 Status: Saturated 13 / 17 Status: Saturated 14 / 17 Status: Saturated 15 / 17 Status: Saturated 16 / 17 Status: Saturated 17 / 17 DECOMPOSITION=TYPE: Radicals of Primary Decomposition computed in several steps IDEAL=DECOMPOSITION=TIME: 24.060 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0111_0, c_0111_2, c_0111_3, c_0120_2, c_0210_2, c_1002_0, c_1002_2, c_1011_0, c_1011_3, c_1101_0, c_1101_1, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0012_0 - 1, c_0012_1 + 105825740332670689101826277399052083111656938364191/17900342\ 627284853225734791176545267867365646960675*c_1101_3^29*u - 1524407871944201357846251881477625842272440055341358/17900342627284\ 853225734791176545267867365646960675*c_1101_3^29 - 12000409539901568977303400395988056442754266635805397/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^26*u + 22666598426076037921766448901363651854776166701815106/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^26 + 98572454598619904716519608971887284208081982604406428/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^23*u - 23359912170813337578127219263840682802641384292147964/3580068525456\ 970645146958235309053573473129392135*c_1101_3^23 - 250782763409163532199156458134857653545572788593345451/179003426272\ 84853225734791176545267867365646960675*c_1101_3^20*u + 293983335261515013834944662862847237807168523388596169/179003426272\ 84853225734791176545267867365646960675*c_1101_3^20 + 142972126829980129127071265598160168375456202067983092/179003426272\ 84853225734791176545267867365646960675*c_1101_3^17*u - 456188688689075429558703154788241597894084138386535502/179003426272\ 84853225734791176545267867365646960675*c_1101_3^17 + 203537917801805254060837918092654506757670502155576079/179003426272\ 84853225734791176545267867365646960675*c_1101_3^14*u + 420444494668781848852367749176830700210522997302023404/179003426272\ 84853225734791176545267867365646960675*c_1101_3^14 - 204368995224223618443373242887819256617109678134968726/179003426272\ 84853225734791176545267867365646960675*c_1101_3^11*u - 4816881804979709494579140694051683144742378541487926/71601370509139\ 4129029391647061810714694625878427*c_1101_3^11 + 14988606992336179687565660639828942901889664578268831/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^8*u - 6637608885645694577906559364981572406423920542300397/35800685254569\ 70645146958235309053573473129392135*c_1101_3^8 + 858253923777082449811789368257056844518701708956118/255719180389783\ 6175104970168077895409623663851525*c_1101_3^5*u + 145473924455745381749915019836782505547527221656129/511438360779567\ 235020994033615579081924732770305*c_1101_3^5 - 152600039959808810220406500301505830799797989588107/179003426272848\ 53225734791176545267867365646960675*c_1101_3^2*u + 10400113492734528343634122111232575466300471790412/7160137050913941\ 29029391647061810714694625878427*c_1101_3^2, c_0012_3 - 1800676208278518212732120562663026152730479742130587/1790034\ 2627284853225734791176545267867365646960675*c_1101_3^28*u + 953589449455073872326500157585553200321514296046603/179003426272848\ 53225734791176545267867365646960675*c_1101_3^28 + 45246488992648142125060340609947675419081170462940374/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^25*u - 2865304824798804150241276706216184150875137568616271/17900342627284\ 853225734791176545267867365646960675*c_1101_3^25 - 298294943184118788262585589692103588537817344383623257/179003426272\ 84853225734791176545267867365646960675*c_1101_3^22*u - 27770919334042768000281539556591930898503820143961928/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^22 + 755712636963856826812780921618231354905490029520183838/179003426272\ 84853225734791176545267867365646960675*c_1101_3^19*u + 89335144625021174286407597308531909705922680650165759/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^19 - 148157365586254058745681330884311888340123073873819751/358006852545\ 6970645146958235309053573473129392135*c_1101_3^16*u + 94724052392276275155937112367758036831920468922470359/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^16 + 111737293901381999163925939666183422720837960566302578/179003426272\ 84853225734791176545267867365646960675*c_1101_3^13*u - 422174548148974736289357098828426811488355724991056841/179003426272\ 84853225734791176545267867365646960675*c_1101_3^13 + 186392851826788187482438694472660931558101927686579594/179003426272\ 84853225734791176545267867365646960675*c_1101_3^10*u + 251900343588941999522315397559896941183207124306320446/179003426272\ 84853225734791176545267867365646960675*c_1101_3^10 - 38814605210016372458050593758640772612597752804418149/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^7*u + 10044449285024062849221407811301962312356163367194554/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^7 - 551609889887248244693502273823875688524108322038197/255719180389783\ 6175104970168077895409623663851525*c_1101_3^4*u - 778127316339133868015511330194419840373267344031543/255719180389783\ 6175104970168077895409623663851525*c_1101_3^4 + 115267579253916039259857912678753469973324759542103/179003426272848\ 53225734791176545267867365646960675*c_1101_3*u - 91710613535091725400689158420405930421113782826528/1790034262728485\ 3225734791176545267867365646960675*c_1101_3, c_0021_3 - 1403207754013983251848598484032822868297700848673379/1790034\ 2627284853225734791176545267867365646960675*c_1101_3^28*u + 704977999015504726653617546532105960133032950607854/179003426272848\ 53225734791176545267867365646960675*c_1101_3^28 + 35045214610036860143852638580614055095290201385371978/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^25*u - 1716647376051867168858844875770802146779924058717658/17900342627284\ 853225734791176545267867365646960675*c_1101_3^25 - 231411209939147724622046566470940279203111510117742778/179003426272\ 84853225734791176545267867365646960675*c_1101_3^22*u - 23871042004828109320369212355732629255382518802092408/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^22 + 118265283925403070802550247758879795550600932660037263/358006852545\ 6970645146958235309053573473129392135*c_1101_3^19*u + 73765980220501385033271621820364148520159938964554836/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^19 - 594764371102172024630015885137959329969627398361472044/179003426272\ 84853225734791176545267867365646960675*c_1101_3^16*u + 70248599805211576771498839006534675003744622688353258/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^16 + 21893208952225413507672794767522864624605453946260356/3580068525456\ 970645146958235309053573473129392135*c_1101_3^13*u - 333422640550102410070864767446279400552513184458633829/179003426272\ 84853225734791176545267867365646960675*c_1101_3^13 + 143583150861077175461692488966429586855508574995456856/179003426272\ 84853225734791176545267867365646960675*c_1101_3^10*u + 211237045372409423782564940400976683805092837080126121/179003426272\ 84853225734791176545267867365646960675*c_1101_3^10 - 37647886550741586324021944650391872132372025852678446/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^7*u + 364064283823556996675535320565737193066210851860449/179003426272848\ 53225734791176545267867365646960675*c_1101_3^7 - 337902806675486014864510033862548327878830887868193/255719180389783\ 6175104970168077895409623663851525*c_1101_3^4*u - 721161756481617273488892194811446685776914804679848/255719180389783\ 6175104970168077895409623663851525*c_1101_3^4 + 182959554328666363553094109113712231069537700855452/179003426272848\ 53225734791176545267867365646960675*c_1101_3*u + 6960749369432472850422438255594280265581186911377/17900342627284853\ 225734791176545267867365646960675*c_1101_3, c_0111_0 - 1, c_0111_2 - 18598425453586037016016845683648164137748061637588/511438360\ 779567235020994033615579081924732770305*c_1101_3^28*u - 17576744433036558174048163512196744630297448154619/5114383607795672\ 35020994033615579081924732770305*c_1101_3^28 + 288643125853801538628895441551147964078138555444061/511438360779567\ 235020994033615579081924732770305*c_1101_3^25*u + 386376236220643418941505006250889173475093893219327/511438360779567\ 235020994033615579081924732770305*c_1101_3^25 - 1503361875135892762827980890722010021754017124647853/51143836077956\ 7235020994033615579081924732770305*c_1101_3^22*u - 2406732028488790762022662108731389073961484542432109/51143836077956\ 7235020994033615579081924732770305*c_1101_3^22 + 3623953603081719877767510787403552767213995924468049/51143836077956\ 7235020994033615579081924732770305*c_1101_3^19*u + 1187080035718017512272183358496548899777880210786019/10228767215591\ 3447004198806723115816384946554061*c_1101_3^19 - 1002879630237610201105542834266751934867510098012412/10228767215591\ 3447004198806723115816384946554061*c_1101_3^16*u - 1197095601567197056838021391925823401137681980056712/10228767215591\ 3447004198806723115816384946554061*c_1101_3^16 + 3981954580043479737651349873208924340095584773003904/51143836077956\ 7235020994033615579081924732770305*c_1101_3^13*u + 1463744560013596155877591879813338160399703957365961/51143836077956\ 7235020994033615579081924732770305*c_1101_3^13 - 150320298469248590999331963874150567038335833224289/102287672155913\ 447004198806723115816384946554061*c_1101_3^10*u + 1177534810233162194564339404426812749021651349565113/51143836077956\ 7235020994033615579081924732770305*c_1101_3^10 - 83870797631933329438689859797248683077685124241906/1022876721559134\ 47004198806723115816384946554061*c_1101_3^7*u - 337418522030122795858332915072133095508891212400238/511438360779567\ 235020994033615579081924732770305*c_1101_3^7 + 1769141934257229204099916345242264837484694041245/10228767215591344\ 7004198806723115816384946554061*c_1101_3^4*u - 41471410809829690892160852925907759934180448114054/5114383607795672\ 35020994033615579081924732770305*c_1101_3^4 + 3908467557600443535008736386050852914864710354102/51143836077956723\ 5020994033615579081924732770305*c_1101_3*u + 560975609800323031330369665207697912663531760291/511438360779567235\ 020994033615579081924732770305*c_1101_3, c_0111_3 - 51138843780650433910490565355603265988564461886326/511438360\ 779567235020994033615579081924732770305*c_1101_3^29*u - 1169254888758478022952033149038893433973332568940956/25571918038978\ 36175104970168077895409623663851525*c_1101_3^29 - 403745928253713396490633103379084298685002594217783/511438360779567\ 235020994033615579081924732770305*c_1101_3^26*u + 19419956476795253301306682039567224211412213794291107/2557191803897\ 836175104970168077895409623663851525*c_1101_3^26 + 31716239808945840376273559779498635824268976794153533/2557191803897\ 836175104970168077895409623663851525*c_1101_3^23*u - 105750809254590028708922330429543103007105248382317266/255719180389\ 7836175104970168077895409623663851525*c_1101_3^23 - 86247289296675208054815327618446591863873313464696053/2557191803897\ 836175104970168077895409623663851525*c_1101_3^20*u + 257457831657481518059566514967791559975116032658680274/255719180389\ 7836175104970168077895409623663851525*c_1101_3^20 + 7507377699985261377712984418530780447775581657985613/25571918038978\ 36175104970168077895409623663851525*c_1101_3^17*u - 66757748226291252051034284622451838446945527466926613/5114383607795\ 67235020994033615579081924732770305*c_1101_3^17 + 165564243229485944364121087075034065521204720011469337/255719180389\ 7836175104970168077895409623663851525*c_1101_3^14*u + 232801285967009497644897147203844862746543146892898099/255719180389\ 7836175104970168077895409623663851525*c_1101_3^14 - 110081557103486397449926302313516306235675654448255431/255719180389\ 7836175104970168077895409623663851525*c_1101_3^11*u - 34680027802713669297760295031534347336121104511672483/2557191803897\ 836175104970168077895409623663851525*c_1101_3^11 - 5428949277417249530162740631282348103124493435581684/25571918038978\ 36175104970168077895409623663851525*c_1101_3^8*u - 22897537340128997277002464316209818442848734438679807/2557191803897\ 836175104970168077895409623663851525*c_1101_3^8 + 2645321548384834246222726666271594969341714507740521/25571918038978\ 36175104970168077895409623663851525*c_1101_3^5*u + 488773097026558747379888282304128957645138065136348/255719180389783\ 6175104970168077895409623663851525*c_1101_3^5 + 99265704129095879855092316198287406444193964326113/2557191803897836\ 175104970168077895409623663851525*c_1101_3^2*u + 128881074471490531315517077484059831128787367989514/255719180389783\ 6175104970168077895409623663851525*c_1101_3^2, c_0120_2 + 1596983494753970602848656400977960366770812323913036/1790034\ 2627284853225734791176545267867365646960675*c_1101_3^29*u + 9099464249050438968853351127278754054226338166514818/17900342627284\ 853225734791176545267867365646960675*c_1101_3^29 + 23529529193621622760955439569335003095165352855071688/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^26*u - 148457383483487627195235760396570245229056435405386246/179003426272\ 84853225734791176545267867365646960675*c_1101_3^26 - 56761962016857178855407232841743439030681760366448849/3580068525456\ 970645146958235309053573473129392135*c_1101_3^23*u + 803212298382126079469964294738048966436594297096677431/179003426272\ 84853225734791176545267867365646960675*c_1101_3^23 + 700552150240786747685960189532890293099417489727929982/179003426272\ 84853225734791176545267867365646960675*c_1101_3^20*u - 395126666490692453614677684907298154909176051989649011/358006852545\ 6970645146958235309053573473129392135*c_1101_3^20 + 65102598210721163205805907186929822097463086757051274/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^17*u + 2650012169144380831373466343960949525792638726114892103/17900342627\ 284853225734791176545267867365646960675*c_1101_3^17 - 1524487029229112425388592906058367165983151917312360128/17900342627\ 284853225734791176545267867365646960675*c_1101_3^14*u - 380506203809604315073188947303155609971789395016506998/358006852545\ 6970645146958235309053573473129392135*c_1101_3^14 + 192960302795864145406265784466146960795327005093732811/358006852545\ 6970645146958235309053573473129392135*c_1101_3^11*u + 221925685997655257726787434069863210819233941536921663/179003426272\ 84853225734791176545267867365646960675*c_1101_3^11 + 13773481702316013439088023619199775216681151882787498/3580068525456\ 970645146958235309053573473129392135*c_1101_3^8*u + 256046370802946702019526112157043435644528120645442992/179003426272\ 84853225734791176545267867365646960675*c_1101_3^8 - 937032254956580319925278021437429267989521817776502/511438360779567\ 235020994033615579081924732770305*c_1101_3^5*u - 1100746696739994813864649269035807933690201375735399/25571918038978\ 36175104970168077895409623663851525*c_1101_3^5 - 234696688732930016109582147856764606555400687271982/358006852545697\ 0645146958235309053573473129392135*c_1101_3^2*u - 2087190255540064164003201993493741222054001845571104/17900342627284\ 853225734791176545267867365646960675*c_1101_3^2, c_0210_2 + 24363175626838307490366818916178295947878015427951/511438360\ 779567235020994033615579081924732770305*c_1101_3^27*u + 230560387855708262289302875165596997692715687024913/255719180389783\ 6175104970168077895409623663851525*c_1101_3^27 - 228438950916530318222605062301592201214764414847659/511438360779567\ 235020994033615579081924732770305*c_1101_3^24*u - 4312550820350676690144867943970313191718565303371036/25571918038978\ 36175104970168077895409623663851525*c_1101_3^24 + 3084389253037222566459666255188577450398207248671921/25571918038978\ 36175104970168077895409623663851525*c_1101_3^21*u + 25182993335787772258213673329520955966088223501382243/2557191803897\ 836175104970168077895409623663851525*c_1101_3^21 - 4819948511310928757667079007084088008467202989116061/25571918038978\ 36175104970168077895409623663851525*c_1101_3^18*u - 62604344190559979151521956298016312822551151087290122/2557191803897\ 836175104970168077895409623663851525*c_1101_3^18 + 18011126163324245456683859783608283542257406011399741/2557191803897\ 836175104970168077895409623663851525*c_1101_3^15*u + 14960519647263485506614315977644397134733896213799154/5114383607795\ 67235020994033615579081924732770305*c_1101_3^15 - 35618629180118865892520062635658020655025240013393746/2557191803897\ 836175104970168077895409623663851525*c_1101_3^12*u - 42385311580206740005752411343435650951343210033006772/2557191803897\ 836175104970168077895409623663851525*c_1101_3^12 + 19080443534264990431461670003100739467458167133552313/2557191803897\ 836175104970168077895409623663851525*c_1101_3^9*u + 4596764546004967964101622090204766221492066493870344/25571918038978\ 36175104970168077895409623663851525*c_1101_3^9 + 123276590585914246906624880898776130950776848613857/255719180389783\ 6175104970168077895409623663851525*c_1101_3^6*u + 2558382449343913142953878156262197319041269461620126/25571918038978\ 36175104970168077895409623663851525*c_1101_3^6 - 244890796713085032525069678867830709290810792465543/255719180389783\ 6175104970168077895409623663851525*c_1101_3^3*u - 149494631817205457179334293032900737292042299386689/255719180389783\ 6175104970168077895409623663851525*c_1101_3^3 + 14089851063055580613220491120508867869363541388181/2557191803897836\ 175104970168077895409623663851525*u + 10903995795201335858791546226837899014828079273803/2557191803897836\ 175104970168077895409623663851525, c_1002_0 + 746564118182000618776932193200106360247008031910302/17900342\ 627284853225734791176545267867365646960675*c_1101_3^29*u + 1589721535103183633261899549079700072243513832815848/17900342627284\ 853225734791176545267867365646960675*c_1101_3^29 - 5737781961491097214563937159979361381839759754854259/17900342627284\ 853225734791176545267867365646960675*c_1101_3^26*u - 28748739595320058330517332940363788676169627319369241/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^26 + 8695755130551480649893577192969271461048699754201844/17900342627284\ 853225734791176545267867365646960675*c_1101_3^23*u + 161786941953761234075022800672368892230059170548757319/179003426272\ 84853225734791176545267867365646960675*c_1101_3^23 - 1733066058303038499567802675493903788170148023115329/35800685254569\ 70645146958235309053573473129392135*c_1101_3^20*u - 381651491882348357888288117172101029743247494640333568/179003426272\ 84853225734791176545267867365646960675*c_1101_3^20 + 112896364474623359587127418467075055111706778517152327/179003426272\ 84853225734791176545267867365646960675*c_1101_3^17*u + 420521275603222556016067025712794055659591409075439061/179003426272\ 84853225734791176545267867365646960675*c_1101_3^17 - 47294905072756565704848175282863297858588758752790339/3580068525456\ 970645146958235309053573473129392135*c_1101_3^14*u - 195360633730277187781954199346422515648026441508073653/179003426272\ 84853225734791176545267867365646960675*c_1101_3^14 + 88732494911203476238510778759251562124194962046629112/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^11*u - 28620458058591304066331497537100036443515902305363383/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^11 + 30553833501073602423857188831379121423364405611945583/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^8*u + 28967456632522218784202723200090928284385024769697248/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^8 - 125425576335517429696321674774093199167060085459796/255719180389783\ 6175104970168077895409623663851525*c_1101_3^5*u + 481000020571476361506626573753184435622592740507819/255719180389783\ 6175104970168077895409623663851525*c_1101_3^5 - 272735937521276343188441089505497877583205492894246/179003426272848\ 53225734791176545267867365646960675*c_1101_3^2*u - 53940918301439953096382511398851703736645931207811/1790034262728485\ 3225734791176545267867365646960675*c_1101_3^2, c_1002_2 - 19887767928377619590325804312728046014741089308273/358006852\ 5456970645146958235309053573473129392135*c_1101_3^27*u - 6456836470838714094712893179687067609150725043293/17900342627284853\ 225734791176545267867365646960675*c_1101_3^27 + 432921534112130841596188544149288314792033687767712/358006852545697\ 0645146958235309053573473129392135*c_1101_3^24*u + 778481250791947207083881378761072973412430236173516/179003426272848\ 53225734791176545267867365646960675*c_1101_3^24 - 13916026302368114314158066278841115457999961930298676/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^21*u - 7045352267569072266503643996696098826086049191696168/17900342627284\ 853225734791176545267867365646960675*c_1101_3^21 + 37222755204968967487766827472948515716674665728422516/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^18*u + 21774204912616886003262818830548478480861893681454697/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^18 - 45724944965120552900960655162052634111792388874097861/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^15*u - 4962259203177597163161447981191144978652606516691488/35800685254569\ 70645146958235309053573473129392135*c_1101_3^15 + 25050947484846676972911723282268268967428013498640056/1790034262728\ 4853225734791176545267867365646960675*c_1101_3^12*u + 4102294996956038619965467830215212080993094321554827/17900342627284\ 853225734791176545267867365646960675*c_1101_3^12 - 4111096748672290202512093905345204955277927147751778/17900342627284\ 853225734791176545267867365646960675*c_1101_3^9*u + 7541841281546437288805934385812931491897461085089011/17900342627284\ 853225734791176545267867365646960675*c_1101_3^9 - 633185938770936917072467514646424230329127439796167/179003426272848\ 53225734791176545267867365646960675*c_1101_3^6*u - 2771748903719858949561692214084262542280799825576931/17900342627284\ 853225734791176545267867365646960675*c_1101_3^6 + 67151034187894743716251144984879925178581849704354/2557191803897836\ 175104970168077895409623663851525*c_1101_3^3*u + 16162339696030550505611727185411806372042425867572/2557191803897836\ 175104970168077895409623663851525*c_1101_3^3 - 3645202337339654249180054240101422885338387735061/17900342627284853\ 225734791176545267867365646960675*u + 16908132824181442526127300024918855940853306185397/1790034262728485\ 3225734791176545267867365646960675, c_1011_0 + 29020067829472672451184916373860390461377449030029/255719180\ 3897836175104970168077895409623663851525*c_1101_3^28*u + 12335628983398595673846611934953165912991973016919/5114383607795672\ 35020994033615579081924732770305*c_1101_3^28 - 214884830153425570265590524863311353524381498075473/255719180389783\ 6175104970168077895409623663851525*c_1101_3^25*u - 44712665650173074567819099856691287155361541898016/1022876721559134\ 47004198806723115816384946554061*c_1101_3^25 + 138087211047961267127368830889298019398491654633566/255719180389783\ 6175104970168077895409623663851525*c_1101_3^22*u + 6253127698683418328016729802357968227192147686913967/25571918038978\ 36175104970168077895409623663851525*c_1101_3^22 + 961848227594409898502306122127685577458816259775812/255719180389783\ 6175104970168077895409623663851525*c_1101_3^19*u - 14459575325123720407419915232338885843725928102004447/2557191803897\ 836175104970168077895409623663851525*c_1101_3^19 + 1128333387988938186673224125723493122932891441378407/25571918038978\ 36175104970168077895409623663851525*c_1101_3^16*u + 15329633864626593338755704886712133464965456746959222/2557191803897\ 836175104970168077895409623663851525*c_1101_3^16 - 5946029236508771362842302450949769052368353888568418/25571918038978\ 36175104970168077895409623663851525*c_1101_3^13*u - 7228825506895318246471845867940296791003527177067952/25571918038978\ 36175104970168077895409623663851525*c_1101_3^13 + 2751093803454197794040972514697425659252950430363743/25571918038978\ 36175104970168077895409623663851525*c_1101_3^10*u + 215746005789285314906756738140448531591756922341416/255719180389783\ 6175104970168077895409623663851525*c_1101_3^10 + 586799340234082357686763642510600482413604600872057/255719180389783\ 6175104970168077895409623663851525*c_1101_3^7*u + 195329544951398492364539706501263210632072726117024/255719180389783\ 6175104970168077895409623663851525*c_1101_3^7 + 80908706370961384641626396463394020574180815246747/2557191803897836\ 175104970168077895409623663851525*c_1101_3^4*u + 75170521108044046347773630105885877817001574615234/2557191803897836\ 175104970168077895409623663851525*c_1101_3^4 - 728415890041068738344054903548744846020108788959/255719180389783617\ 5104970168077895409623663851525*c_1101_3*u + 6546639077596565103138400326414965562744948577937/25571918038978361\ 75104970168077895409623663851525*c_1101_3, c_1011_3 - 18396000207720772054988115505933447979035441178791/511438360\ 779567235020994033615579081924732770305*c_1101_3^27*u - 30868580667536666153435829075962156229447374231259/5114383607795672\ 35020994033615579081924732770305*c_1101_3^27 + 199151592684319714304249731662930473306365727869583/511438360779567\ 235020994033615579081924732770305*c_1101_3^24*u + 589312449904019261124347327764526966932250733079544/511438360779567\ 235020994033615579081924732770305*c_1101_3^24 - 726658025719378452309579030381332547659629311037101/511438360779567\ 235020994033615579081924732770305*c_1101_3^21*u - 3472716453847798167790081177647320148012031294975439/51143836077956\ 7235020994033615579081924732770305*c_1101_3^21 + 315472465811479405262877273937089450428930321809352/102287672155913\ 447004198806723115816384946554061*c_1101_3^18*u + 8627976112446491590316221747266067513579648795922549/51143836077956\ 7235020994033615579081924732770305*c_1101_3^18 - 750124738346448722385743528063316448504004509268776/102287672155913\ 447004198806723115816384946554061*c_1101_3^15*u - 2013370274952475765551142901435845873491749951567914/10228767215591\ 3447004198806723115816384946554061*c_1101_3^15 + 5562803582375419893289712104098828724261376967191189/51143836077956\ 7235020994033615579081924732770305*c_1101_3^12*u + 5148925998019135789487134533749798677910474826093498/51143836077956\ 7235020994033615579081924732770305*c_1101_3^12 - 2456596473115099985794598997295368084084630828251663/51143836077956\ 7235020994033615579081924732770305*c_1101_3^9*u + 34837646250189070536266407357984536684661710488552/5114383607795672\ 35020994033615579081924732770305*c_1101_3^9 - 240947717498635034597342888829543341790335068642537/511438360779567\ 235020994033615579081924732770305*c_1101_3^6*u - 543912155578938126121729835738064123346572776675812/511438360779567\ 235020994033615579081924732770305*c_1101_3^6 + 53193304652331925980596030077699715576690462268579/5114383607795672\ 35020994033615579081924732770305*c_1101_3^3*u + 4224066123455023237566049884871079896372952102034/51143836077956723\ 5020994033615579081924732770305*c_1101_3^3 + 1073095174024655913088400375462573802174405742884/51143836077956723\ 5020994033615579081924732770305*u + 1837475829822397931005510027459366634972201966616/51143836077956723\ 5020994033615579081924732770305, c_1101_0 + 3335873606201637832319795137641731349475964251085/1022876721\ 55913447004198806723115816384946554061*c_1101_3^29*u - 6486453093225394145699419281253001631039889858062/51143836077956723\ 5020994033615579081924732770305*c_1101_3^29 - 402721816000362554027000987286320153922684535493558/511438360779567\ 235020994033615579081924732770305*c_1101_3^26*u - 2161180823195732827330224475784838844341531701437/10228767215591344\ 7004198806723115816384946554061*c_1101_3^26 + 518517754744302442348807187405738491054411827742346/102287672155913\ 447004198806723115816384946554061*c_1101_3^23*u + 458262699613175200425453176567130885194931601502758/511438360779567\ 235020994033615579081924732770305*c_1101_3^23 - 6387917261285684432700998688891074040733605741343866/51143836077956\ 7235020994033615579081924732770305*c_1101_3^20*u - 1330294884466765942247146222762688182864667180521277/51143836077956\ 7235020994033615579081924732770305*c_1101_3^20 + 1193281612676046696244637539178585183310216472361656/10228767215591\ 3447004198806723115816384946554061*c_1101_3^17*u - 25122539525048766032905915705385350285216811960266/1022876721559134\ 47004198806723115816384946554061*c_1101_3^17 - 641262589784217964481742631630372099000498768226063/511438360779567\ 235020994033615579081924732770305*c_1101_3^14*u + 3069729488738557921519024492758910580852149297575587/51143836077956\ 7235020994033615579081924732770305*c_1101_3^14 - 1507661446090299686960173311906999476256434327215111/51143836077956\ 7235020994033615579081924732770305*c_1101_3^11*u - 1703891450324179839508507526568640253055953154219608/51143836077956\ 7235020994033615579081924732770305*c_1101_3^11 + 137825897323904869461848089887135636951960971229626/511438360779567\ 235020994033615579081924732770305*c_1101_3^8*u - 300821853423516178659328937552712365761064041059782/511438360779567\ 235020994033615579081924732770305*c_1101_3^8 + 68822134494519130025038587647002833967910438293798/5114383607795672\ 35020994033615579081924732770305*c_1101_3^5*u + 41403701035426094760459152957880802219553057438544/5114383607795672\ 35020994033615579081924732770305*c_1101_3^5 + 480023042052167530789607896701122490591744461807/102287672155913447\ 004198806723115816384946554061*c_1101_3^2*u + 6561237798557304435947584113388799611079202385513/51143836077956723\ 5020994033615579081924732770305*c_1101_3^2, c_1101_1 - 72624383591676756625233773450828764198130961308796/255719180\ 3897836175104970168077895409623663851525*c_1101_3^28*u - 21480383022881611109930472649377482893695323618643/5114383607795672\ 35020994033615579081924732770305*c_1101_3^28 + 845887500696944047702988383085906631245802277756792/255719180389783\ 6175104970168077895409623663851525*c_1101_3^25*u + 418175408888882764174104797218529400332737619338567/511438360779567\ 235020994033615579081924732770305*c_1101_3^25 - 3056254274000500024752413429564474638836181415775789/25571918038978\ 36175104970168077895409623663851525*c_1101_3^22*u - 12118338190533700385895835865490721982034241551720048/2557191803897\ 836175104970168077895409623663851525*c_1101_3^22 + 4693108653934536559211513474912254205057699002072582/25571918038978\ 36175104970168077895409623663851525*c_1101_3^19*u + 28142915036748556083345498420516846527475740442045818/2557191803897\ 836175104970168077895409623663851525*c_1101_3^19 - 7015724176904295917861903192412060404724986853411998/25571918038978\ 36175104970168077895409623663851525*c_1101_3^16*u - 27646295205770136882287516103179176453232733619048108/2557191803897\ 836175104970168077895409623663851525*c_1101_3^16 + 9762827916335131959182109431369281239097299759958812/25571918038978\ 36175104970168077895409623663851525*c_1101_3^13*u + 9354182098936400597787866723410893208220956320078648/25571918038978\ 36175104970168077895409623663851525*c_1101_3^13 - 2583579222905883705967492170233977166906720136079647/25571918038978\ 36175104970168077895409623663851525*c_1101_3^10*u + 1264337462839650996646726382200927349121053815875756/25571918038978\ 36175104970168077895409623663851525*c_1101_3^10 - 1187138522820242035318413599948767050371078790117853/25571918038978\ 36175104970168077895409623663851525*c_1101_3^7*u + 421085089414242079443514604973836709751009953491209/255719180389783\ 6175104970168077895409623663851525*c_1101_3^7 - 289664387121409813486345172269280012088359458096398/255719180389783\ 6175104970168077895409623663851525*c_1101_3^4*u - 248794902398826981148984561035729134166790020123991/255719180389783\ 6175104970168077895409623663851525*c_1101_3^4 + 2389406390614027631206625902500712062276850297636/25571918038978361\ 75104970168077895409623663851525*c_1101_3*u - 38314794652040054224776865690422283160804436522328/2557191803897836\ 175104970168077895409623663851525*c_1101_3, c_1101_3^30 + 756639/117649*c_1101_3^27*u - 1782932/117649*c_1101_3^27 - 6543520/117649*c_1101_3^24*u + 9135792/117649*c_1101_3^24 + 16516230/117649*c_1101_3^21*u - 21956388/117649*c_1101_3^21 - 7742047/117649*c_1101_3^18*u + 31102984/117649*c_1101_3^18 - 2259032/16807*c_1101_3^15*u - 3647422/16807*c_1101_3^15 + 254531/2401*c_1101_3^12*u + 95829/2401*c_1101_3^12 + 100955/16807*c_1101_3^9*u + 435356/16807*c_1101_3^9 - 58934/16807*c_1101_3^6*u - 11513/16807*c_1101_3^6 - 19406/117649*c_1101_3^3*u - 29830/117649*c_1101_3^3 + 323/117649*u - 37/117649, u^2 + u + 1 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 24.060 Total time: 25.410 seconds, Total memory usage: 32.09MB