Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 2193825346] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0410 geometric_solution 4.47022048 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.377643284627 0.103132492022 0 2 2 0 3201 0132 1023 0132 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 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 1.142841510778 0.102556364634 3 1 1 3 0132 0132 1023 1023 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 1 0 -1 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.174109235641 0.288559555403 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 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 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 0 0 0 0 0 0.652482985321 0.500902890431 6 3 5 5 0132 0132 1302 2031 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 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.440928496720 0.399962692095 4 4 6 3 2031 1302 0132 0132 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 1 0 -1 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.440928496720 0.399962692095 4 6 6 5 0132 1230 3012 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 -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.755803302009 1.128600815157 ==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' : 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_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 126073164810718766514607113166007556007/175795671843600399577806954\ 9146360569*c_0101_6^23 - 7281595241269808869697396544156072496/1757\ 956718436003995778069549146360569*c_0101_6^22 - 2629496521382089382797230997202399680905/17579567184360039957780695\ 49146360569*c_0101_6^21 - 3246697030737922198304942234995366761654/\ 1757956718436003995778069549146360569*c_0101_6^20 + 19993494583663032023070227167667832691047/1757956718436003995778069\ 549146360569*c_0101_6^19 + 2599433916011229586606202453647923891690\ 5/1757956718436003995778069549146360569*c_0101_6^18 - 65357352202089564792259991977937717618899/1757956718436003995778069\ 549146360569*c_0101_6^17 + 1881788366679526331075380104413583660345\ 6/1757956718436003995778069549146360569*c_0101_6^16 + 206747391843650684670021009397401091014621/175795671843600399577806\ 9549146360569*c_0101_6^15 - 163991556379526070140665148027326898261\ 255/1757956718436003995778069549146360569*c_0101_6^14 - 157109800538286038985782217081739743064134/175795671843600399577806\ 9549146360569*c_0101_6^13 + 327054180767977501384667299291483637826\ 213/1757956718436003995778069549146360569*c_0101_6^12 - 50585413439878682453692863374429323166083/1757956718436003995778069\ 549146360569*c_0101_6^11 - 2065828709867642489677105277941264448341\ 34/1757956718436003995778069549146360569*c_0101_6^10 + 60455619795937092636238477860873870214626/1757956718436003995778069\ 549146360569*c_0101_6^9 + 65212406022097940009641092056948807448212\ /1757956718436003995778069549146360569*c_0101_6^8 - 10599296414495517463574960452444081244260/1757956718436003995778069\ 549146360569*c_0101_6^7 - 55162444219670890553690182873275581328617\ /1757956718436003995778069549146360569*c_0101_6^6 + 20776391815115805855600538453679336512896/1757956718436003995778069\ 549146360569*c_0101_6^5 + 12805642783592125723756103582454742972886\ /1757956718436003995778069549146360569*c_0101_6^4 - 2611519476840882889527876176574345504/58403877688903787235151812263\ 99869*c_0101_6^3 - 2282002266022279039628779662133218938986/1757956\ 718436003995778069549146360569*c_0101_6^2 - 63745226699343641103096898352366585250/2511366740622862851111527927\ 35194367*c_0101_6 + 326590056640277138316576776780992723511/1757956\ 718436003995778069549146360569, c_0011_0 - 1, c_0011_1 + 96721031079809446497263808656045056/251136674062286285111152\ 792735194367*c_0101_6^23 - 16115964443701489091647586534066187/2511\ 36674062286285111152792735194367*c_0101_6^22 - 2009120587615665113816335138305490946/25113667406228628511115279273\ 5194367*c_0101_6^21 - 2271792523607955423792218424201650456/2511366\ 74062286285111152792735194367*c_0101_6^20 + 15453959159522701322200370226954310340/2511366740622862851111527927\ 35194367*c_0101_6^19 + 18080578186897340371305480892477631795/25113\ 6674062286285111152792735194367*c_0101_6^18 - 51150465131392272471460135761010653264/2511366740622862851111527927\ 35194367*c_0101_6^17 + 21380725600878669929862406184342897506/25113\ 6674062286285111152792735194367*c_0101_6^16 + 153420848012957059333029720105428447808/251136674062286285111152792\ 735194367*c_0101_6^15 - 141445995441684004523828589294297163421/251\ 136674062286285111152792735194367*c_0101_6^14 - 95565880981006120371958045477388599944/2511366740622862851111527927\ 35194367*c_0101_6^13 + 254159145693790788299015244302591549083/2511\ 36674062286285111152792735194367*c_0101_6^12 - 72072354082529010911508784525495341067/2511366740622862851111527927\ 35194367*c_0101_6^11 - 136964738691962819949190460588143331525/2511\ 36674062286285111152792735194367*c_0101_6^10 + 57486764748526737779727244608987328631/2511366740622862851111527927\ 35194367*c_0101_6^9 + 37125915039632470235290894555841740930/251136\ 674062286285111152792735194367*c_0101_6^8 - 9573030621053956235478668058778589192/25113667406228628511115279273\ 5194367*c_0101_6^7 - 40512659398989792586672637036268822032/2511366\ 74062286285111152792735194367*c_0101_6^6 + 19544449694871938572985183936890243843/2511366740622862851111527927\ 35194367*c_0101_6^5 + 6233549325311134295055432322971669425/2511366\ 74062286285111152792735194367*c_0101_6^4 - 6409468740949884479379050692698206/58403877688903787235151812263998\ 69*c_0101_6^3 - 1736580222456838608415015950570817404/2511366740622\ 86285111152792735194367*c_0101_6^2 - 170045490002706235013944067695278302/251136674062286285111152792735\ 194367*c_0101_6 + 223144074523409727229722236591500796/251136674062\ 286285111152792735194367, c_0011_5 - 51071222093537642537255079573351687/251136674062286285111152\ 792735194367*c_0101_6^23 + 18255608482837977485117092182510444/2511\ 36674062286285111152792735194367*c_0101_6^22 + 1071300461920527075342595016745828437/25113667406228628511115279273\ 5194367*c_0101_6^21 + 1002228815353924809234967543642193359/2511366\ 74062286285111152792735194367*c_0101_6^20 - 8639105486789025374567393427999656832/25113667406228628511115279273\ 5194367*c_0101_6^19 - 8420002548810171775278258211347619712/2511366\ 74062286285111152792735194367*c_0101_6^18 + 30558875448327369648271723286821206267/2511366740622862851111527927\ 35194367*c_0101_6^17 - 13111082762367930872422640455081244725/25113\ 6674062286285111152792735194367*c_0101_6^16 - 83703073160261221354212403127090524034/2511366740622862851111527927\ 35194367*c_0101_6^15 + 89473327343374428705835458178720053843/25113\ 6674062286285111152792735194367*c_0101_6^14 + 56432286520776789728066619916155095153/2511366740622862851111527927\ 35194367*c_0101_6^13 - 150148452137287795702908724447939679732/2511\ 36674062286285111152792735194367*c_0101_6^12 + 43743155570218767982600929265296156236/2511366740622862851111527927\ 35194367*c_0101_6^11 + 89240385092020648544764539404045362175/25113\ 6674062286285111152792735194367*c_0101_6^10 - 36256061823889226785165367237590205955/2511366740622862851111527927\ 35194367*c_0101_6^9 - 33589975588273360797919882573879964847/251136\ 674062286285111152792735194367*c_0101_6^8 + 6807074843690625692800065817267847551/25113667406228628511115279273\ 5194367*c_0101_6^7 + 27457945387543259653933402499820540820/2511366\ 74062286285111152792735194367*c_0101_6^6 - 13637130254599177879537253959032175500/2511366740622862851111527927\ 35194367*c_0101_6^5 - 6335781817970078312540309296210432138/2511366\ 74062286285111152792735194367*c_0101_6^4 + 12823718756863362570995074520887840/5840387768890378723515181226399\ 869*c_0101_6^3 + 2066564488674169996288631165300690191/251136674062\ 286285111152792735194367*c_0101_6^2 + 235142202615060086181760513402574032/251136674062286285111152792735\ 194367*c_0101_6 - 162256323498757161490445037237905236/251136674062\ 286285111152792735194367, c_0101_0 + 38291716918122072757342161907568546/251136674062286285111152\ 792735194367*c_0101_6^23 - 122815854316822671976049691720936219/251\ 136674062286285111152792735194367*c_0101_6^22 - 821838212420855230678779460827254575/251136674062286285111152792735\ 194367*c_0101_6^21 + 1530628138057859692303635600951435977/25113667\ 4062286285111152792735194367*c_0101_6^20 + 9809918765878410651674883778237245654/25113667406228628511115279273\ 5194367*c_0101_6^19 - 10442793780401838262910054250368901983/251136\ 674062286285111152792735194367*c_0101_6^18 - 49538469713245935728630893936012504874/2511366740622862851111527927\ 35194367*c_0101_6^17 + 61832678684324504149165941897151457428/25113\ 6674062286285111152792735194367*c_0101_6^16 + 60612458060325914444159881382317992116/2511366740622862851111527927\ 35194367*c_0101_6^15 - 251031928987896113116038040394741547976/2511\ 36674062286285111152792735194367*c_0101_6^14 + 59232926133476743463091420385799763942/2511366740622862851111527927\ 35194367*c_0101_6^13 + 287933267711418038234376111168973658770/2511\ 36674062286285111152792735194367*c_0101_6^12 - 286469988263971936383512644387300797398/251136674062286285111152792\ 735194367*c_0101_6^11 - 91279324789287429425319161691414336555/2511\ 36674062286285111152792735194367*c_0101_6^10 + 224657365109727514734543793532490014267/251136674062286285111152792\ 735194367*c_0101_6^9 + 14016528371857830302268583162705314709/25113\ 6674062286285111152792735194367*c_0101_6^8 - 77653182737041310509077322017966664964/2511366740622862851111527927\ 35194367*c_0101_6^7 - 22820479476257395636856742363499400189/251136\ 674062286285111152792735194367*c_0101_6^6 + 59932435440341155897405996974291624108/2511366740622862851111527927\ 35194367*c_0101_6^5 - 3647650675410786107767017144291220064/2511366\ 74062286285111152792735194367*c_0101_6^4 - 376330322347250781132029267434034877/584038776889037872351518122639\ 9869*c_0101_6^3 - 3617332061493026952348816897223387749/25113667406\ 2286285111152792735194367*c_0101_6^2 + 1780746212325903651966525002326247504/25113667406228628511115279273\ 5194367*c_0101_6 + 875423800869761375335768185938234151/25113667406\ 2286285111152792735194367, c_0101_2 + 55949376931321150761282143659618649/251136674062286285111152\ 792735194367*c_0101_6^23 - 80113983372686274316691925984085664/2511\ 36674062286285111152792735194367*c_0101_6^22 - 1174194862298188163262361645668885823/25113667406228628511115279273\ 5194367*c_0101_6^21 + 166272844420318452068221842184665810/25113667\ 4062286285111152792735194367*c_0101_6^20 + 11101864803938839915102650916560592547/2511366740622862851111527927\ 35194367*c_0101_6^19 - 413540871417217056295313102378691560/2511366\ 74062286285111152792735194367*c_0101_6^18 - 46892730104023707143014442909439575350/2511366740622862851111527927\ 35194367*c_0101_6^17 + 46069915550977726912245165008276900165/25113\ 6674062286285111152792735194367*c_0101_6^16 + 87638160525259404604148713015175303610/2511366740622862851111527927\ 35194367*c_0101_6^15 - 200741425531324172530291464216903352282/2511\ 36674062286285111152792735194367*c_0101_6^14 + 9777776193444896243233714140502201732/25113667406228628511115279273\ 5194367*c_0101_6^13 + 261134599291658477989470605303591079977/25113\ 6674062286285111152792735194367*c_0101_6^12 - 203453007430088149246577525707049512626/251136674062286285111152792\ 735194367*c_0101_6^11 - 97094596029871450346395379255527187987/2511\ 36674062286285111152792735194367*c_0101_6^10 + 160164186959667813326525325088673528251/251136674062286285111152792\ 735194367*c_0101_6^9 + 17983184244312210467886454196400281154/25113\ 6674062286285111152792735194367*c_0101_6^8 - 53513918522606880990512083012322736421/2511366740622862851111527927\ 35194367*c_0101_6^7 - 25658374952697236997148020783839843991/251136\ 674062286285111152792735194367*c_0101_6^6 + 43876729818918210357192415390453260792/2511366740622862851111527927\ 35194367*c_0101_6^5 - 1809686546867551420721269962162104526/2511366\ 74062286285111152792735194367*c_0101_6^4 - 237679788328993140395573710355250544/584038776889037872351518122639\ 9869*c_0101_6^3 - 2549508124658309678632538737542139234/25113667406\ 2286285111152792735194367*c_0101_6^2 + 1186138390480768877871538476759537823/25113667406228628511115279273\ 5194367*c_0101_6 + 573863456833776106204272769082877064/25113667406\ 2286285111152792735194367, c_0101_3 - 56760182313398257672616325555436510/251136674062286285111152\ 792735194367*c_0101_6^23 - 13041219759344465607126996212204070/2511\ 36674062286285111152792735194367*c_0101_6^22 + 1179525002657991622337906826605843698/25113667406228628511115279273\ 5194367*c_0101_6^21 + 1801139929594726879313061945326298958/2511366\ 74062286285111152792735194367*c_0101_6^20 - 8471405485171337763660625456919913212/25113667406228628511115279273\ 5194367*c_0101_6^19 - 14130387269338197969305991504929990100/251136\ 674062286285111152792735194367*c_0101_6^18 + 25258768614679580982644069171524143624/2511366740622862851111527927\ 35194367*c_0101_6^17 - 1276838771527349146078636666593792054/251136\ 674062286285111152792735194367*c_0101_6^16 - 93022122279475187067238454215789579562/2511366740622862851111527927\ 35194367*c_0101_6^15 + 46820796037959653137865863121796035074/25113\ 6674062286285111152792735194367*c_0101_6^14 + 82931710518872660734909886232264700674/2511366740622862851111527927\ 35194367*c_0101_6^13 - 121928170604630418507131355435213091275/2511\ 36674062286285111152792735194367*c_0101_6^12 - 11506576211898898105014642213909030776/2511366740622862851111527927\ 35194367*c_0101_6^11 + 86352851880544690024322451167394527790/25113\ 6674062286285111152792735194367*c_0101_6^10 - 1429074476850619406727327082954038438/25113667406228628511115279273\ 5194367*c_0101_6^9 - 27634805977506414356170534189248280013/2511366\ 74062286285111152792735194367*c_0101_6^8 - 5118078960821380375020401709070740859/25113667406228628511115279273\ 5194367*c_0101_6^7 + 22775415692680304744881891817270606007/2511366\ 74062286285111152792735194367*c_0101_6^6 - 2158489630087367573891795255714098374/25113667406228628511115279273\ 5194367*c_0101_6^5 - 5738384034528743492280898477132962392/25113667\ 4062286285111152792735194367*c_0101_6^4 - 30769382708242791557915506554225653/5840387768890378723515181226399\ 869*c_0101_6^3 + 324012409410425544649179319384929441/2511366740622\ 86285111152792735194367*c_0101_6^2 + 410861761773525385979080897605039691/251136674062286285111152792735\ 194367*c_0101_6 + 127796766971100652490688464942005495/251136674062\ 286285111152792735194367, c_0101_6^24 - 21*c_0101_6^22 - 27*c_0101_6^21 + 160*c_0101_6^20 + 220*c_0101_6^19 - 527*c_0101_6^18 + 83*c_0101_6^17 + 1708*c_0101_6^16 - 1205*c_0101_6^15 - 1551*c_0101_6^14 + 2621*c_0101_6^13 - 39*c_0101_6^12 - 1950*c_0101_6^11 + 336*c_0101_6^10 + 760*c_0101_6^9 - 46*c_0101_6^8 - 512*c_0101_6^7 + 127*c_0101_6^6 + 167*c_0101_6^5 - 3*c_0101_6^4 - 34*c_0101_6^3 - 9*c_0101_6^2 + 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB