Magma V2.19-8 Tue Aug 20 2013 16:18:43 on localhost [Seed = 1065263692] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2891 geometric_solution 6.10025714 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 0 0 0 0 0 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 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.255984741750 0.717897958975 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.085268255965 0.967296603594 3 0 4 5 0132 0132 0132 2310 0 0 0 0 0 1 -1 0 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 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 0 0 0 0 0 0 0.085268255965 0.967296603594 2 1 6 6 0132 0132 0132 2310 0 0 0 0 0 1 -1 0 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 1 -1 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 0 0 -0.689410265489 1.208649597009 4 4 1 2 1230 3012 0132 0132 0 0 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 0 0 0 0 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 0 0 0 0 0 0 0.944138984380 1.324885689232 2 5 5 1 3201 3201 2310 0132 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 0 0 0 0 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.305392148848 0.747403210928 3 6 6 3 3201 3201 2310 0132 0 0 0 0 0 0 -1 1 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 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.425792744257 0.733060479884 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 94892882469914601787305536281179217889923815631863/5765397251008192\ 641102970014236093014520589241019*c_0101_3^22 + 440651642519228860664192270426299002226531615359480/576539725100819\ 2641102970014236093014520589241019*c_0101_3^21 - 27622302481754858438903493005169747132303569107161916/5765397251008\ 192641102970014236093014520589241019*c_0101_3^20 - 8936371760905277833998461396240603269825655277678576/57653972510081\ 92641102970014236093014520589241019*c_0101_3^19 + 82811402293233781607483472927393713515778667002553521/5765397251008\ 192641102970014236093014520589241019*c_0101_3^18 + 86451043494570083580965465918068571672151387935537957/5765397251008\ 192641102970014236093014520589241019*c_0101_3^17 + 6586525644668422967598832823081985519926483007072951/57653972510081\ 92641102970014236093014520589241019*c_0101_3^16 - 75764745529938242610633098897475794282703196248921829/5765397251008\ 192641102970014236093014520589241019*c_0101_3^15 - 34590525862070816668069985464897401255579925532435861/5765397251008\ 192641102970014236093014520589241019*c_0101_3^14 - 25163697878633645971070679690978211551319368478765539/5765397251008\ 192641102970014236093014520589241019*c_0101_3^13 - 18631586361444473488015923283162560994165512762975326/5765397251008\ 192641102970014236093014520589241019*c_0101_3^12 - 19295672129084092197771260490348922509004733025579213/5765397251008\ 192641102970014236093014520589241019*c_0101_3^11 - 14824121032337499471912345056262038079384264536898893/5765397251008\ 192641102970014236093014520589241019*c_0101_3^10 + 9647815821767345240328716061503735286085056316199305/57653972510081\ 92641102970014236093014520589241019*c_0101_3^9 + 6466267663340985074609130765407661916344648346005808/57653972510081\ 92641102970014236093014520589241019*c_0101_3^8 + 8741994943492299114128624352820967292481839413529728/57653972510081\ 92641102970014236093014520589241019*c_0101_3^7 - 8286804961700638802084227117750086159179687379433401/57653972510081\ 92641102970014236093014520589241019*c_0101_3^6 + 907002373620533313060979487095656744312043387580124/576539725100819\ 2641102970014236093014520589241019*c_0101_3^5 + 478508764496686046795991835074084106949895563373947/576539725100819\ 2641102970014236093014520589241019*c_0101_3^4 - 743923086608613220979745434188330521639500256804363/576539725100819\ 2641102970014236093014520589241019*c_0101_3^3 - 41988560744713513531647439345058830263980734962592/5765397251008192\ 641102970014236093014520589241019*c_0101_3^2 - 115052509316127727412374263712145054450307191875941/576539725100819\ 2641102970014236093014520589241019*c_0101_3 + 131125995803774486636821163584938110391489784866554/576539725100819\ 2641102970014236093014520589241019, c_0011_0 - 1, c_0011_4 - 1718521854741407931056308177109297769390012/6473000411266210\ 87582583452360157516546621*c_0101_3^22 - 7323087037652364174806351952849822476922315/64730004112662108758258\ 3452360157516546621*c_0101_3^21 + 502237205367681415176407272668873\ 559395046512/647300041126621087582583452360157516546621*c_0101_3^20 - 34887395726524000450071428709506637282129222/64730004112662108758\ 2583452360157516546621*c_0101_3^19 - 1255634134531669372981835198538218532425406303/64730004112662108758\ 2583452360157516546621*c_0101_3^18 - 739921189639952857889739115869636482566228082/647300041126621087582\ 583452360157516546621*c_0101_3^17 - 537553158364517869490751531609478275815918782/647300041126621087582\ 583452360157516546621*c_0101_3^16 + 188759069431429777835085717248858903564421053/647300041126621087582\ 583452360157516546621*c_0101_3^15 + 6970005263119087217077270477530928779844765/64730004112662108758258\ 3452360157516546621*c_0101_3^14 + 669712856891409127858045114564229\ 389106079594/647300041126621087582583452360157516546621*c_0101_3^13 + 533168217198657884894858096393742538180846205/6473000411266210875\ 82583452360157516546621*c_0101_3^12 + 560284331247595851630899801489120154951222219/647300041126621087582\ 583452360157516546621*c_0101_3^11 + 676572947044093541466162828165548973218786113/647300041126621087582\ 583452360157516546621*c_0101_3^10 + 1623265966098075623105973947954386680729158/34068423217190583556978\ 076440008290344559*c_0101_3^9 + 29252643483772783223846390806409572\ 2876647722/647300041126621087582583452360157516546621*c_0101_3^8 - 7547760393025001823101395718563499103092726/64730004112662108758258\ 3452360157516546621*c_0101_3^7 + 6436121569057511172904605192314822\ 0093827526/647300041126621087582583452360157516546621*c_0101_3^6 - 10263497971764028894118548805646597602006127/6473000411266210875825\ 83452360157516546621*c_0101_3^5 - 178419366842577546757092189439486\ 654376958/34068423217190583556978076440008290344559*c_0101_3^4 + 4640770070789508011502522225166937863454801/64730004112662108758258\ 3452360157516546621*c_0101_3^3 - 3586397635220701650589785607183429\ 183266040/647300041126621087582583452360157516546621*c_0101_3^2 + 92091589316204103586450995090735523387684/6473000411266210875825834\ 52360157516546621*c_0101_3 - 50081665208285820444459986326789256167\ 4621/647300041126621087582583452360157516546621, c_0011_5 + 7482967809045290562845789245029272335046084367513/5765397251\ 008192641102970014236093014520589241019*c_0101_3^22 + 29334820462156706948853074557613885077951618330890/5765397251008192\ 641102970014236093014520589241019*c_0101_3^21 - 2198853322459731993781301263472437200662697212480794/57653972510081\ 92641102970014236093014520589241019*c_0101_3^20 + 892428059498703314044710206108922663288887493368852/576539725100819\ 2641102970014236093014520589241019*c_0101_3^19 + 5729462769378236908964427335974160713511227217884505/57653972510081\ 92641102970014236093014520589241019*c_0101_3^18 + 1546977908975145754317678166655979399271633157373289/57653972510081\ 92641102970014236093014520589241019*c_0101_3^17 + 411986149987254982214458037595650080816246565773984/576539725100819\ 2641102970014236093014520589241019*c_0101_3^16 - 2775555299476401575762465266050471667173453623126807/57653972510081\ 92641102970014236093014520589241019*c_0101_3^15 - 365568948368445512923565796513628512386764783894061/576539725100819\ 2641102970014236093014520589241019*c_0101_3^14 - 2546448958786873307266454728217379687449859854713309/57653972510081\ 92641102970014236093014520589241019*c_0101_3^13 - 858236890635040005644774455396108740824289156253446/576539725100819\ 2641102970014236093014520589241019*c_0101_3^12 - 1034908850103172580757630928103058392452659885782100/57653972510081\ 92641102970014236093014520589241019*c_0101_3^11 - 1582648707439990989797427140147673648281337297330525/57653972510081\ 92641102970014236093014520589241019*c_0101_3^10 + 1335669965686975602433171378354583707184125025918524/57653972510081\ 92641102970014236093014520589241019*c_0101_3^9 - 826970774147841729089704957092198949627214809982713/576539725100819\ 2641102970014236093014520589241019*c_0101_3^8 + 534707120359643261609375706314527863027280350418892/576539725100819\ 2641102970014236093014520589241019*c_0101_3^7 - 321372724631688317188541707978043543225459558798039/576539725100819\ 2641102970014236093014520589241019*c_0101_3^6 + 19113879780139680449583009406802582476282491862300/5765397251008192\ 641102970014236093014520589241019*c_0101_3^5 - 4769510040665468351600903365568123226284367238346/57653972510081926\ 41102970014236093014520589241019*c_0101_3^4 - 54941284746470690431895801100510098242639917506484/5765397251008192\ 641102970014236093014520589241019*c_0101_3^3 + 16462976951468364288436558488696550375504137769884/5765397251008192\ 641102970014236093014520589241019*c_0101_3^2 - 11736474723073612043233109503229267507296621771301/5765397251008192\ 641102970014236093014520589241019*c_0101_3 + 4820149179106259574670146595246930950579386166419/57653972510081926\ 41102970014236093014520589241019, c_0011_6 - 137912020616337631772726075752359130975452/64730004112662108\ 7582583452360157516546621*c_0101_3^22 - 728096994013137051646365021467618854110357/647300041126621087582583\ 452360157516546621*c_0101_3^21 + 3976252515654093157046703770035019\ 8169645546/647300041126621087582583452360157516546621*c_0101_3^20 + 38531950981593897116828217368015910217548896/6473000411266210875825\ 83452360157516546621*c_0101_3^19 - 119787570241795363103647542775779462356971412/647300041126621087582\ 583452360157516546621*c_0101_3^18 - 177118889393770299610401033498201821151143747/647300041126621087582\ 583452360157516546621*c_0101_3^17 - 62002961225904266505011420700047784252749282/6473000411266210875825\ 83452360157516546621*c_0101_3^16 + 38363061628827247818934853739234075208897546/6473000411266210875825\ 83452360157516546621*c_0101_3^15 + 57989919656816659637526259759372134922252029/6473000411266210875825\ 83452360157516546621*c_0101_3^14 + 60544088613990048701332150813783254641481105/6473000411266210875825\ 83452360157516546621*c_0101_3^13 + 90276849359498770262646748245065627556247275/6473000411266210875825\ 83452360157516546621*c_0101_3^12 + 66080829199201094024106210335585883728588128/6473000411266210875825\ 83452360157516546621*c_0101_3^11 + 63147555034392812875483757271505991837346728/6473000411266210875825\ 83452360157516546621*c_0101_3^10 + 1128207130129851279653567245094214961330578/34068423217190583556978\ 076440008290344559*c_0101_3^9 - 11393229119488766929300988328398481\ 042558241/647300041126621087582583452360157516546621*c_0101_3^8 + 1535561222643385360931081671259215859516534/64730004112662108758258\ 3452360157516546621*c_0101_3^7 - 5460459693372408630929336310357596\ 889392945/647300041126621087582583452360157516546621*c_0101_3^6 - 3450613454964799822536240195957761434305868/64730004112662108758258\ 3452360157516546621*c_0101_3^5 - 2521887509187426956164416895837163\ 92043692/34068423217190583556978076440008290344559*c_0101_3^4 - 1316291568639085246869299652956878307645491/64730004112662108758258\ 3452360157516546621*c_0101_3^3 + 1445179936607750722316926596224950\ 83418152/647300041126621087582583452360157516546621*c_0101_3^2 - 300392008406523483009827764212860533142676/647300041126621087582583\ 452360157516546621*c_0101_3 - 4485251650760541251482401076680811014\ 69938/647300041126621087582583452360157516546621, c_0101_0 - 4399354367785323757795546634168899595305512727200/5765397251\ 008192641102970014236093014520589241019*c_0101_3^22 - 16034810562128483138198257880314177985818382063973/5765397251008192\ 641102970014236093014520589241019*c_0101_3^21 + 1300131288029509263766306850984994433991618048763399/57653972510081\ 92641102970014236093014520589241019*c_0101_3^20 - 868420733535814791017730982967000340807627754606509/576539725100819\ 2641102970014236093014520589241019*c_0101_3^19 - 3990528109702157697010197467790075092578643468987936/57653972510081\ 92641102970014236093014520589241019*c_0101_3^18 - 222194336114132061392650012571322112825304200303977/576539725100819\ 2641102970014236093014520589241019*c_0101_3^17 + 1681526329935644458839677952130991528568583903856790/57653972510081\ 92641102970014236093014520589241019*c_0101_3^16 + 3547778426220188654934934780299229033019858985115346/57653972510081\ 92641102970014236093014520589241019*c_0101_3^15 + 1847656122914793628366593461439519331744449932906785/57653972510081\ 92641102970014236093014520589241019*c_0101_3^14 + 2046883429237458138633162368881243041517087521906015/57653972510081\ 92641102970014236093014520589241019*c_0101_3^13 + 28973712352077012092068475641739597158987875683271/5765397251008192\ 641102970014236093014520589241019*c_0101_3^12 - 932076597893145663551055003924903786824858040420798/576539725100819\ 2641102970014236093014520589241019*c_0101_3^11 - 666315429247526280518944301688229091043885438103547/576539725100819\ 2641102970014236093014520589241019*c_0101_3^10 - 2557740335917317071917689383920298015501926404020965/57653972510081\ 92641102970014236093014520589241019*c_0101_3^9 - 960145451773164141541092838531781461351336033618459/576539725100819\ 2641102970014236093014520589241019*c_0101_3^8 - 1073860047600440757120372968666227314351977655523292/57653972510081\ 92641102970014236093014520589241019*c_0101_3^7 - 436508220277064527238395341608634953183487965719150/576539725100819\ 2641102970014236093014520589241019*c_0101_3^6 - 150434683149599630958136391707825101794807708068219/576539725100819\ 2641102970014236093014520589241019*c_0101_3^5 - 56538237807509531049329141344748857743061311236306/5765397251008192\ 641102970014236093014520589241019*c_0101_3^4 + 32438330656360556620387016471536229107778130306068/5765397251008192\ 641102970014236093014520589241019*c_0101_3^3 - 429401969478127703926706870570028782225981672402/576539725100819264\ 1102970014236093014520589241019*c_0101_3^2 + 10264759097548025371149269885485999159734047027645/5765397251008192\ 641102970014236093014520589241019*c_0101_3 + 4304668693467617479258079728069220398989003925486/57653972510081926\ 41102970014236093014520589241019, c_0101_1 + 4307303429505500311850504229357235734611113171416/5765397251\ 008192641102970014236093014520589241019*c_0101_3^22 + 19420697030500916621732280716034704898923420604960/5765397251008192\ 641102970014236093014520589241019*c_0101_3^21 - 1255304469169433822019919806437567135340001382817898/57653972510081\ 92641102970014236093014520589241019*c_0101_3^20 - 229511866932624357576457285313953212617228572883954/576539725100819\ 2641102970014236093014520589241019*c_0101_3^19 + 3468764682278784120737736316573825036995142437595008/57653972510081\ 92641102970014236093014520589241019*c_0101_3^18 + 2890968045091384754893589980708971124570173225076201/57653972510081\ 92641102970014236093014520589241019*c_0101_3^17 + 998416241034005131351261236436427579452353386905710/576539725100819\ 2641102970014236093014520589241019*c_0101_3^16 - 1316313460370778859874089749987206635747369032332740/57653972510081\ 92641102970014236093014520589241019*c_0101_3^15 - 812682117658184214915156016392510446206004545906292/576539725100819\ 2641102970014236093014520589241019*c_0101_3^14 - 1726113442459969483552068726158154510540889565645716/57653972510081\ 92641102970014236093014520589241019*c_0101_3^13 - 1510204111086943937180243193856390032221581534643361/57653972510081\ 92641102970014236093014520589241019*c_0101_3^12 - 1286926512809464888240005754712457824684678940437553/57653972510081\ 92641102970014236093014520589241019*c_0101_3^11 - 1351391210531179252754776615582184137340531515845720/57653972510081\ 92641102970014236093014520589241019*c_0101_3^10 + 91015538670406034156539679102579217892449041890813/5765397251008192\ 641102970014236093014520589241019*c_0101_3^9 - 123503437076343649814571055415738959518194120460454/576539725100819\ 2641102970014236093014520589241019*c_0101_3^8 + 121716294711598155922472813808286735818778696557037/576539725100819\ 2641102970014236093014520589241019*c_0101_3^7 - 60811615216501936483999476806100240188343517742270/5765397251008192\ 641102970014236093014520589241019*c_0101_3^6 + 82266719604530790209560839258091529392256580507755/5765397251008192\ 641102970014236093014520589241019*c_0101_3^5 + 17057897318793874096980201548473251711048028402438/5765397251008192\ 641102970014236093014520589241019*c_0101_3^4 + 14346571397105661759805930795198077556266358471895/5765397251008192\ 641102970014236093014520589241019*c_0101_3^3 - 2052803221708712258434847705291733146034566223960/57653972510081926\ 41102970014236093014520589241019*c_0101_3^2 + 4410725135269281346232584002136584531174178740555/57653972510081926\ 41102970014236093014520589241019*c_0101_3 + 3202245116604333814160723033810898549455218514971/57653972510081926\ 41102970014236093014520589241019, c_0101_3^23 + 13/3*c_0101_3^22 - 2627/9*c_0101_3^21 - 5/9*c_0101_3^20 + 2149/3*c_0101_3^19 + 1474/3*c_0101_3^18 + 3493/9*c_0101_3^17 - 241/3*c_0101_3^16 - 172/9*c_0101_3^15 - 1252/3*c_0101_3^14 - 3127/9*c_0101_3^13 - 1112/3*c_0101_3^12 - 1273/3*c_0101_3^11 - 430/9*c_0101_3^10 - 1579/9*c_0101_3^9 + 100/9*c_0101_3^8 - 313/9*c_0101_3^7 + 104/9*c_0101_3^6 + 40/9*c_0101_3^5 - 1/3*c_0101_3^4 + 26/9*c_0101_3^3 - 2/9*c_0101_3^2 + 4/9*c_0101_3 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB