Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 4054871334] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1080 geometric_solution 4.95043179 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1230 0132 0 0 0 0 0 -1 1 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 2 -1 -1 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287869976037 0.688432112688 0 2 4 4 0132 1230 3201 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209312666340 1.035327480743 3 0 1 0 0321 0132 3012 3012 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 -2 1 1 -1 0 0 1 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.725872277991 0.701717058773 2 5 0 5 0321 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 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.268265250488 2.905053626868 1 6 1 6 2310 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.181187485251 1.644706116120 5 3 5 3 2310 0132 3201 1023 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 -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.405706167748 0.215430581992 6 4 6 4 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373894753850 0.076413656232 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 20602137534570288794288984165211098913548446549054021331584777/1678\ 79109140132328105074461548509543430564466316856976197935*c_0110_6^3\ 7 - 616339271175529356222891893282687089285944027892048054917570313\ /167879109140132328105074461548509543430564466316856976197935*c_011\ 0_6^35 + 3368359457959670445879656265297418919700538791366266024648\ 123454/167879109140132328105074461548509543430564466316856976197935\ *c_0110_6^33 - 7546982469002932131993390088583534973331315308821296\ 128131853381/167879109140132328105074461548509543430564466316856976\ 197935*c_0110_6^31 - 2502379236841403116776952783388616763648976741\ 5393791052859931329/16787910914013232810507446154850954343056446631\ 6856976197935*c_0110_6^29 - 701148466697004839026468468027074608225\ 046992805634203135213680441/167879109140132328105074461548509543430\ 564466316856976197935*c_0110_6^27 + 7447000445010969964795088236547094706944442008300926277487013693963\ /167879109140132328105074461548509543430564466316856976197935*c_011\ 0_6^25 - 2594505059307622251450478888566631033616344827409357934126\ 6654747774/16787910914013232810507446154850954343056446631685697619\ 7935*c_0110_6^23 + 464810208110961860308872223241477871657171062263\ 81512510256219168443/1678791091401323281050744615485095434305644663\ 16856976197935*c_0110_6^21 - 10407277723592892334370858881357665638\ 959661908801294263020472437874/335758218280264656210148923097019086\ 86112893263371395239587*c_0110_6^19 + 4217538440782287955223918273821768338563120910287181985005766981494\ 4/167879109140132328105074461548509543430564466316856976197935*c_01\ 10_6^17 - 303247025751503804210144145925320440630968725875371872657\ 50337861073/1678791091401323281050744615485095434305644663168569761\ 97935*c_0110_6^15 + 20106969645950571436171285875438826243887819681\ 396316025830632237339/167879109140132328105074461548509543430564466\ 316856976197935*c_0110_6^13 - 1018356031566983524493247777344568531\ 6300197157715411767148521099818/16787910914013232810507446154850954\ 3430564466316856976197935*c_0110_6^11 + 3487014841234846242305947681288506963374492653265689489084570935703\ /167879109140132328105074461548509543430564466316856976197935*c_011\ 0_6^9 - 81465819326385165802352290662156339365685136736961765253602\ 9929956/16787910914013232810507446154850954343056446631685697619793\ 5*c_0110_6^7 + 1282338280365447138430301945260622782865165098935068\ 15067605803084/1678791091401323281050744615485095434305644663168569\ 76197935*c_0110_6^5 - 111073134283320547333006783430358868864105670\ 96808974514634994092/1678791091401323281050744615485095434305644663\ 16856976197935*c_0110_6^3 + 283174078009679159785643133195333877902\ 257575705676073205893162/167879109140132328105074461548509543430564\ 466316856976197935*c_0110_6, c_0011_0 - 1, c_0011_3 + 83651253616160652577791329515741113084886765228709447554123/\ 33575821828026465621014892309701908686112893263371395239587*c_0110_\ 6^37 - 249419771584462720984986470745187789668282161944979243645617\ 4/33575821828026465621014892309701908686112893263371395239587*c_011\ 0_6^35 + 1342938223731996245153151767999050334466377011931282088231\ 6262/33575821828026465621014892309701908686112893263371395239587*c_\ 0110_6^33 - 2934431231292003544842312248862097912534692751848186022\ 6376541/33575821828026465621014892309701908686112893263371395239587\ *c_0110_6^31 - 1043219232482062138150638823093377944499381546628031\ 89132084193/3357582182802646562101489230970190868611289326337139523\ 9587*c_0110_6^29 - 285771456704353337262045957429829137869821288031\ 0025717495603247/33575821828026465621014892309701908686112893263371\ 395239587*c_0110_6^27 + 2995067214114167102386401829412608841999349\ 4797408061664581382867/33575821828026465621014892309701908686112893\ 263371395239587*c_0110_6^25 - 1024061984125399528627525053834272544\ 66209209876794866928655220168/3357582182802646562101489230970190868\ 6112893263371395239587*c_0110_6^23 + 178991290127220013202278010869967031365236230348633721226083627324/\ 33575821828026465621014892309701908686112893263371395239587*c_0110_\ 6^21 - 194996390476821798658047154451272347940926008161992977227387\ 734080/33575821828026465621014892309701908686112893263371395239587*\ c_0110_6^19 + 15439651057364148450760433651476914307933833408480017\ 3619431891678/33575821828026465621014892309701908686112893263371395\ 239587*c_0110_6^17 - 1104040694439667411836453992666617970566809416\ 38646777507529731418/3357582182802646562101489230970190868611289326\ 3371395239587*c_0110_6^15 + 726432192643278124511470282802147779850\ 70634414443775207154128159/3357582182802646562101489230970190868611\ 2893263371395239587*c_0110_6^13 - 355272639465403137445689988118942\ 65348449600240556255911174973811/3357582182802646562101489230970190\ 8686112893263371395239587*c_0110_6^11 + 11534543180241922534957941921505803511590418982923639264686097790/3\ 3575821828026465621014892309701908686112893263371395239587*c_0110_6\ ^9 - 25692171482198711452017378826944405534892250534709510716574385\ 27/33575821828026465621014892309701908686112893263371395239587*c_01\ 10_6^7 + 3795181279063297091050105490721152313528564283666573092843\ 89454/33575821828026465621014892309701908686112893263371395239587*c\ _0110_6^5 - 2926975400528377480635131038184544718793751793060107042\ 6495990/33575821828026465621014892309701908686112893263371395239587\ *c_0110_6^3 + 75234659240275618107405184763026870424849633588211930\ 6593204/33575821828026465621014892309701908686112893263371395239587\ *c_0110_6, c_0011_4 - 19386645876483581174053345361818628294083301763538588991250/\ 33575821828026465621014892309701908686112893263371395239587*c_0110_\ 6^36 + 577811476803444938259834286476454051152880616434532772927603\ /33575821828026465621014892309701908686112893263371395239587*c_0110\ _6^34 - 31053618875694466877649443264813579564343883900300593146207\ 22/33575821828026465621014892309701908686112893263371395239587*c_01\ 10_6^32 + 676242766985082047781350459615315663284119910472884734541\ 7979/33575821828026465621014892309701908686112893263371395239587*c_\ 0110_6^30 + 2426303814655486533169246656144763753990119828948477355\ 6925060/33575821828026465621014892309701908686112893263371395239587\ *c_0110_6^28 + 6625749916574869113820903774780447560053071147535034\ 80369421722/3357582182802646562101489230970190868611289326337139523\ 9587*c_0110_6^26 - 693333082508232156571025702457242607697306082737\ 5205353416518576/33575821828026465621014892309701908686112893263371\ 395239587*c_0110_6^24 + 2364874560693321373738306479797294322032811\ 9996470711980356192192/33575821828026465621014892309701908686112893\ 263371395239587*c_0110_6^22 - 4118700314230609322298749004075582433\ 6186223727586025886077635835/33575821828026465621014892309701908686\ 112893263371395239587*c_0110_6^20 + 44664986516947302286868208662873780585966655983795105540997444872/3\ 3575821828026465621014892309701908686112893263371395239587*c_0110_6\ ^18 - 3520429580290412242768839183319671549704717228959068531676969\ 2613/33575821828026465621014892309701908686112893263371395239587*c_\ 0110_6^16 + 2513412280310906410309267506123498510357149402566732628\ 1576722664/33575821828026465621014892309701908686112893263371395239\ 587*c_0110_6^14 - 1651883748867560147277729495774590252124839073597\ 4081660816906259/33575821828026465621014892309701908686112893263371\ 395239587*c_0110_6^12 + 8024804139962644839373025149651611852917581\ 735545737477693009127/335758218280264656210148923097019086861128932\ 63371395239587*c_0110_6^10 - 25716426383266038759890662392311946779\ 70003799118354095210869843/3357582182802646562101489230970190868611\ 2893263371395239587*c_0110_6^8 + 5654145037213876840985943329741520\ 97179830807109416549587264307/3357582182802646562101489230970190868\ 6112893263371395239587*c_0110_6^6 - 82570821999275291839519092576851325324205250576555213069403519/3357\ 5821828026465621014892309701908686112893263371395239587*c_0110_6^4 + 6213818781340467391821041218469867268689871569488336188487696/33575\ 821828026465621014892309701908686112893263371395239587*c_0110_6^2 - 167135820621237675358170943216093877956868966876401191037948/335758\ 21828026465621014892309701908686112893263371395239587, c_0101_0 + 40959429608597493170292394099393691978593210835354858029890/\ 33575821828026465621014892309701908686112893263371395239587*c_0110_\ 6^37 - 122165745128905260011413251628230894789765912126111349439168\ 4/33575821828026465621014892309701908686112893263371395239587*c_011\ 0_6^35 + 6587135777286920407289383153093840486966003209623256300119\ 858/33575821828026465621014892309701908686112893263371395239587*c_0\ 110_6^33 - 14430335990988522040975098060990204395154562560118207005\ 533004/33575821828026465621014892309701908686112893263371395239587*\ c_0110_6^31 - 50945293708074516633366277409370142620700196140262388\ 257117937/335758218280264656210148923097019086861128932633713952395\ 87*c_0110_6^29 - 13987835588436987257163901344929204676725376712585\ 70093975547378/3357582182802646562101489230970190868611289326337139\ 5239587*c_0110_6^27 + 146783639772368241833941054393996696047106839\ 96390733955843569497/3357582182802646562101489230970190868611289326\ 3371395239587*c_0110_6^25 - 502809742634724797268181556055198367270\ 80317006698455660221835047/3357582182802646562101489230970190868611\ 2893263371395239587*c_0110_6^23 + 881153221280187011910023783682511\ 04918076390764856129259742388872/3357582182802646562101489230970190\ 8686112893263371395239587*c_0110_6^21 - 96302744144429659480984373056589945070719262773887250918951039932/3\ 3575821828026465621014892309701908686112893263371395239587*c_0110_6\ ^19 + 7648533992481037343395167385214253272979381088932089332599693\ 2810/33575821828026465621014892309701908686112893263371395239587*c_\ 0110_6^17 - 5474486482064459623829192019214932719187393674439504727\ 2699004413/33575821828026465621014892309701908686112893263371395239\ 587*c_0110_6^15 + 3605147862999844782285916365027116480192624144899\ 1057320976946396/33575821828026465621014892309701908686112893263371\ 395239587*c_0110_6^13 - 1771136070351419281687941876712616451009945\ 8890682841270658450015/33575821828026465621014892309701908686112893\ 263371395239587*c_0110_6^11 + 5797717779483465962286646375530986998\ 866697528372328398350711156/335758218280264656210148923097019086861\ 12893263371395239587*c_0110_6^9 - 130190839292054034259496904213301\ 8606153061304471553050108029619/33575821828026465621014892309701908\ 686112893263371395239587*c_0110_6^7 + 193890864929259298463306545164067546742749826447611090141694376/335\ 75821828026465621014892309701908686112893263371395239587*c_0110_6^5 - 15188372730348945604002626090205777808761048355891319047822595/33\ 575821828026465621014892309701908686112893263371395239587*c_0110_6^\ 3 + 385531890731547883174595435229791101213816284278269041118781/33\ 575821828026465621014892309701908686112893263371395239587*c_0110_6, c_0101_1 - 9738561277075096557739603936575602720837225253866893516892/3\ 3575821828026465621014892309701908686112893263371395239587*c_0110_6\ ^36 + 290360449949343083706556215223419805984113666221975471446312/\ 33575821828026465621014892309701908686112893263371395239587*c_0110_\ 6^34 - 156304310686446173903361402895191071032816598138319694289728\ 5/33575821828026465621014892309701908686112893263371395239587*c_011\ 0_6^32 + 3412407138540795511624781936575071190088893599118011889650\ 350/33575821828026465621014892309701908686112893263371395239587*c_0\ 110_6^30 + 12159300200814514200503435112567849316027014646603102117\ 680406/33575821828026465621014892309701908686112893263371395239587*\ c_0110_6^28 + 33268415624813665775067471354723085204444640729720316\ 4872308854/33575821828026465621014892309701908686112893263371395239\ 587*c_0110_6^26 - 3486556006633109938343709913251527499349672502680\ 960333993084971/335758218280264656210148923097019086861128932633713\ 95239587*c_0110_6^24 + 11915690457965335076521778728090438875014804\ 151224068035576224951/335758218280264656210148923097019086861128932\ 63371395239587*c_0110_6^22 - 20800294365048616967169457518682238776\ 034018777780245962052228473/335758218280264656210148923097019086861\ 12893263371395239587*c_0110_6^20 + 22602177936620709484594448615177190067748342934689967063076209550/3\ 3575821828026465621014892309701908686112893263371395239587*c_0110_6\ ^18 - 1783419237251340956626646896454751917275999217553170840931322\ 8761/33575821828026465621014892309701908686112893263371395239587*c_\ 0110_6^16 + 1272737147946305673419061541292392512590811542993705454\ 2564630460/33575821828026465621014892309701908686112893263371395239\ 587*c_0110_6^14 - 8370910424284638932608576103224691245851756972583\ 309188781228287/335758218280264656210148923097019086861128932633713\ 95239587*c_0110_6^12 + 40757854724806770810223454041547464400216397\ 25028987334419583196/3357582182802646562101489230970190868611289326\ 3371395239587*c_0110_6^10 - 130694047971365738908667511181564273576\ 3734011241355376491725317/33575821828026465621014892309701908686112\ 893263371395239587*c_0110_6^8 + 28689144811552804492072077560937811\ 3116835650900633553768360534/33575821828026465621014892309701908686\ 112893263371395239587*c_0110_6^6 - 42090500582459387092504874149828154987653294206879258649593354/3357\ 5821828026465621014892309701908686112893263371395239587*c_0110_6^4 + 3184121626338933351950293803303852199750420337198827726395703/33575\ 821828026465621014892309701908686112893263371395239587*c_0110_6^2 - 103839181189888749737197836550461978889066625684256343463381/335758\ 21828026465621014892309701908686112893263371395239587, c_0101_5 - 16458732469377810625738082698954417643753253934713058544324/\ 33575821828026465621014892309701908686112893263371395239587*c_0110_\ 6^36 + 490804521723606170427806526334906173013075239367420979494812\ /33575821828026465621014892309701908686112893263371395239587*c_0110\ _6^34 - 26438963114911469140122122756648850731343503697700807068944\ 40/33575821828026465621014892309701908686112893263371395239587*c_01\ 10_6^32 + 577743112859770733620868701876998481417507890742835647978\ 8331/33575821828026465621014892309701908686112893263371395239587*c_\ 0110_6^30 + 2053466487085034753147567270224401599678968588652447059\ 4873702/33575821828026465621014892309701908686112893263371395239587\ *c_0110_6^28 + 5621319418925115458656834668900130704028171255228017\ 46350644061/3357582182802646562101489230970190868611289326337139523\ 9587*c_0110_6^26 - 589526824217668813958055142915777997062460378719\ 7014766132647050/33575821828026465621014892309701908686112893263371\ 395239587*c_0110_6^24 + 2016361195890945649735732482867426787903995\ 1408113886497811068496/33575821828026465621014892309701908686112893\ 263371395239587*c_0110_6^22 - 3522200077830281160254407634518395786\ 5275171746715361528939478562/33575821828026465621014892309701908686\ 112893263371395239587*c_0110_6^20 + 38275042331451358029490576445343421588956712914115349127824680126/3\ 3575821828026465621014892309701908686112893263371395239587*c_0110_6\ ^18 - 3017113200944105509018941336216485276271593693126813664874697\ 9336/33575821828026465621014892309701908686112893263371395239587*c_\ 0110_6^16 + 2149914985837120778639403944382655026146157183851962095\ 0243802705/33575821828026465621014892309701908686112893263371395239\ 587*c_0110_6^14 - 1413532816480703162856006043080303492549519257290\ 6522446053676324/33575821828026465621014892309701908686112893263371\ 395239587*c_0110_6^12 + 6875102173981643882432847690619946431142052\ 979017044277252009981/335758218280264656210148923097019086861128932\ 63371395239587*c_0110_6^10 - 21893916010735744883278254472393474024\ 10703908782133095352733279/3357582182802646562101489230970190868611\ 2893263371395239587*c_0110_6^8 + 4725660095446062220522460404187712\ 52387703713512109307487125780/3357582182802646562101489230970190868\ 6112893263371395239587*c_0110_6^6 - 67486155887748920632423282848794875303619377311408257178946756/3357\ 5821828026465621014892309701908686112893263371395239587*c_0110_6^4 + 4509748148829261130551686159951639528580111327625924491713232/33575\ 821828026465621014892309701908686112893263371395239587*c_0110_6^2 - 74073270195176631906781448604169876857365414987473968952436/3357582\ 1828026465621014892309701908686112893263371395239587, c_0110_6^38 - 30*c_0110_6^36 + 166*c_0110_6^34 - 380*c_0110_6^32 - 1184*c_0110_6^30 - 33931*c_0110_6^28 + 364317*c_0110_6^26 - 1289591*c_0110_6^24 + 2361456*c_0110_6^22 - 2714289*c_0110_6^20 + 2257907*c_0110_6^18 - 1642516*c_0110_6^16 + 1098546*c_0110_6^14 - 575541*c_0110_6^12 + 210328*c_0110_6^10 - 53552*c_0110_6^8 + 9480*c_0110_6^6 - 1048*c_0110_6^4 + 57*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB