Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 3086363483] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1958 geometric_solution 5.53948515 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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.297015432175 0.211000357219 2 0 3 0 0132 2310 0132 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 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.465400125408 1.378584107128 1 4 5 3 0132 0132 0132 1230 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 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.970115937353 1.368262168622 2 5 4 1 3012 1023 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 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.970115937353 1.368262168622 3 2 6 6 2310 0132 3201 0132 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.137864673892 0.439734503451 3 5 5 2 1023 3201 2310 0132 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 -1 1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517884361178 0.721952907577 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 1 -1 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.187247906482 0.872006305283 ==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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 289588523060940806505507922648203325294652653/472866553902880495357\ 5130017162166708598125*c_0101_4^21 + 688025293706670573297634225023182214189933629/945733107805760990715\ 026003432433341719625*c_0101_4^20 + 1941929585057911984542145620618761287147160008/94573310780576099071\ 5026003432433341719625*c_0101_4^19 - 10858608901263309361839560316866181643684742554/4728665539028804953\ 575130017162166708598125*c_0101_4^18 - 50323645669843976053493765397571590602129448793/4728665539028804953\ 575130017162166708598125*c_0101_4^17 - 28287983098481627915685799296332336560309638589/4728665539028804953\ 575130017162166708598125*c_0101_4^16 - 113064247528186114070332505067815186169707905019/472866553902880495\ 3575130017162166708598125*c_0101_4^15 + 95028540006712793804278653664183092807270494649/4728665539028804953\ 575130017162166708598125*c_0101_4^14 + 135213082809443117113217506909355034662037840398/472866553902880495\ 3575130017162166708598125*c_0101_4^13 + 572343712064962108106031788347198945755159650026/472866553902880495\ 3575130017162166708598125*c_0101_4^12 + 517628649045504272514112110271060546597169336316/472866553902880495\ 3575130017162166708598125*c_0101_4^11 - 614440108449478264601390498055123001839368325773/472866553902880495\ 3575130017162166708598125*c_0101_4^10 + 827621993571591092374620990195089861556275766481/472866553902880495\ 3575130017162166708598125*c_0101_4^9 - 759015416884462020092772654906796279186503759006/472866553902880495\ 3575130017162166708598125*c_0101_4^8 - 540933363896808582400726565092884781080151038501/472866553902880495\ 3575130017162166708598125*c_0101_4^7 + 90482333251309899450389872489267362914966453318/9457331078057609907\ 15026003432433341719625*c_0101_4^6 - 423897447921598394789063857930071794786891561687/472866553902880495\ 3575130017162166708598125*c_0101_4^5 - 4147457714288027085183943488862824738045526347/18914662156115219814\ 3005200686486668343925*c_0101_4^4 + 25293771472279890459208298795232059997151471574/9457331078057609907\ 15026003432433341719625*c_0101_4^3 - 9124077990818051034030428553351572216642058487/47286655390288049535\ 75130017162166708598125*c_0101_4^2 + 3526939378848622585194785135819348063204219479/47286655390288049535\ 75130017162166708598125*c_0101_4 + 1266579967949681817589671710561728014814051224/47286655390288049535\ 75130017162166708598125, c_0011_0 - 1, c_0011_1 - 54429368427900680724655841984692251336/212524293888935054093\ 2642704342546835325*c_0101_4^21 - 620817736746823215540741725714037\ 242374/2125242938889350540932642704342546835325*c_0101_4^20 - 1512738737642066855947271749414085493003/21252429388893505409326427\ 04342546835325*c_0101_4^19 + 29912016795753873284068075647119945211\ 27/2125242938889350540932642704342546835325*c_0101_4^18 + 8858187752183806049856747269850704970756/21252429388893505409326427\ 04342546835325*c_0101_4^17 + 10563796590949165329599442548549083806\ 92/2125242938889350540932642704342546835325*c_0101_4^16 + 17146836900392382964144325820172062118608/2125242938889350540932642\ 704342546835325*c_0101_4^15 - 3080848876891877983496037428048956440\ 9146/2125242938889350540932642704342546835325*c_0101_4^14 - 20591594538090697622476295816383275906954/2125242938889350540932642\ 704342546835325*c_0101_4^13 - 9894164670873751290743492118952568646\ 8307/2125242938889350540932642704342546835325*c_0101_4^12 - 7740711881700453796613058599948158861381/42504858777787010818652854\ 0868509367065*c_0101_4^11 + 178979683817092389095344332658235295990\ 227/2125242938889350540932642704342546835325*c_0101_4^10 - 172046043087016840502452041606154522271556/212524293888935054093264\ 2704342546835325*c_0101_4^9 + 2255479532322024133028216319184725172\ 66871/2125242938889350540932642704342546835325*c_0101_4^8 + 24011281239629990722890788858861362614723/2125242938889350540932642\ 704342546835325*c_0101_4^7 - 21496621946410251892391451553344937868\ 902/425048587777870108186528540868509367065*c_0101_4^6 + 68049839375531352201371319335638609230694/2125242938889350540932642\ 704342546835325*c_0101_4^5 - 22581075874335428871210354397649560678\ 399/2125242938889350540932642704342546835325*c_0101_4^4 - 27767122471831752920797905750448234019538/2125242938889350540932642\ 704342546835325*c_0101_4^3 - 43348354447265691986715187856317966710\ 82/2125242938889350540932642704342546835325*c_0101_4^2 - 2556806875906373453365519491415294312539/21252429388893505409326427\ 04342546835325*c_0101_4 + 1083500527921512652936679923170980465443/\ 2125242938889350540932642704342546835325, c_0011_3 + 190109742942118812721092911009920236103/21252429388893505409\ 32642704342546835325*c_0101_4^21 + 2263600964688660964077098802815051619574/21252429388893505409326427\ 04342546835325*c_0101_4^20 + 64585936043171114806903533328810981709\ 28/2125242938889350540932642704342546835325*c_0101_4^19 - 6693001474848845234479845999532254860853/21252429388893505409326427\ 04342546835325*c_0101_4^18 - 32539533548886205669144882850076563467\ 458/2125242938889350540932642704342546835325*c_0101_4^17 - 20423491510450297195062821108486437382033/2125242938889350540932642\ 704342546835325*c_0101_4^16 - 7823722551397426369558752771654112122\ 4724/2125242938889350540932642704342546835325*c_0101_4^15 + 58759612407449207712503269713200068355172/2125242938889350540932642\ 704342546835325*c_0101_4^14 + 8127395850162911408245118450990654039\ 9916/2125242938889350540932642704342546835325*c_0101_4^13 + 387479228712384699083901624069803345946696/212524293888935054093264\ 2704342546835325*c_0101_4^12 + 356381275547658817120737357521967094\ 010319/2125242938889350540932642704342546835325*c_0101_4^11 - 348854900375160220328355528170141878161304/212524293888935054093264\ 2704342546835325*c_0101_4^10 + 112592250579464692126991773200421046\ 326127/425048587777870108186528540868509367065*c_0101_4^9 - 21119858517975484964484489497663302892114/8500971755557402163730570\ 8173701873413*c_0101_4^8 - 2881747848305700755139598836666969842009\ 42/2125242938889350540932642704342546835325*c_0101_4^7 + 39171307051094216241486130451269879003344/4250485877778701081865285\ 40868509367065*c_0101_4^6 - 271850058118424054633521275862809749880\ 637/2125242938889350540932642704342546835325*c_0101_4^5 - 60685988019293421596883248181010476079106/2125242938889350540932642\ 704342546835325*c_0101_4^4 + 43410969707436233446143259439838692492\ 508/2125242938889350540932642704342546835325*c_0101_4^3 + 1845371171164608948853520157725583652044/21252429388893505409326427\ 04342546835325*c_0101_4^2 + 182248725941817361784925946400873474425\ /85009717555574021637305708173701873413*c_0101_4 + 371485555100900846806139607587063143363/212524293888935054093264270\ 4342546835325, c_0011_6 - 132677613270616983850281538295366702336/21252429388893505409\ 32642704342546835325*c_0101_4^21 - 1582743870690145677659180217768131112992/21252429388893505409326427\ 04342546835325*c_0101_4^20 - 45314927813962970059551832909498470201\ 24/2125242938889350540932642704342546835325*c_0101_4^19 + 939894900798371604770785291922103111137/425048587777870108186528540\ 868509367065*c_0101_4^18 + 2312965535516782660336309599434696148928\ 6/2125242938889350540932642704342546835325*c_0101_4^17 + 2834452577114011250529337697728028049393/42504858777787010818652854\ 0868509367065*c_0101_4^16 + 532247881011893372312825287267116040417\ 43/2125242938889350540932642704342546835325*c_0101_4^15 - 40098651680695350682443544889454421422762/2125242938889350540932642\ 704342546835325*c_0101_4^14 - 1237339516722457533795946811019291650\ 1807/425048587777870108186528540868509367065*c_0101_4^13 - 265382195453936764463202553732096917393472/212524293888935054093264\ 2704342546835325*c_0101_4^12 - 252563932989771651159489768553378911\ 867131/2125242938889350540932642704342546835325*c_0101_4^11 + 260027497557322189230504087332429436695279/212524293888935054093264\ 2704342546835325*c_0101_4^10 - 379329153249168890144222962981747457\ 897449/2125242938889350540932642704342546835325*c_0101_4^9 + 330545874399005881895564333357915996290669/212524293888935054093264\ 2704342546835325*c_0101_4^8 + 5058037518743138917217828872079727508\ 6364/425048587777870108186528540868509367065*c_0101_4^7 - 37632055857126237119214359213730022158184/4250485877778701081865285\ 40868509367065*c_0101_4^6 + 200188065036134169432887974936424602694\ 844/2125242938889350540932642704342546835325*c_0101_4^5 + 52404154828582168444091804147180045776878/2125242938889350540932642\ 704342546835325*c_0101_4^4 - 44026259039027615316999817286594862737\ 659/2125242938889350540932642704342546835325*c_0101_4^3 + 3704403509305690038462016775760808869466/21252429388893505409326427\ 04342546835325*c_0101_4^2 - 288590524088812917239681192245775049087\ 1/2125242938889350540932642704342546835325*c_0101_4 + 17772313077069969267325848065722488786/4250485877778701081865285408\ 68509367065, c_0101_0 + 198873122285820756466230294422860912483/21252429388893505409\ 32642704342546835325*c_0101_4^21 + 2405440829785222001922122400627982189666/21252429388893505409326427\ 04342546835325*c_0101_4^20 + 71554648226860817060355054981199330373\ 82/2125242938889350540932642704342546835325*c_0101_4^19 - 1256230623859163449012642921173581217554/42504858777787010818652854\ 0868509367065*c_0101_4^18 - 368590546940860823365637715939645211623\ 63/2125242938889350540932642704342546835325*c_0101_4^17 - 1035482976538849466507789858058659759976/85009717555574021637305708\ 173701873413*c_0101_4^16 - 7839240252432407515082986553375865059882\ 9/2125242938889350540932642704342546835325*c_0101_4^15 + 49795483344840690339579558897978277861016/2125242938889350540932642\ 704342546835325*c_0101_4^14 + 2327624767876484729396520337846296754\ 6454/425048587777870108186528540868509367065*c_0101_4^13 + 403443902298932949010526901264482893044306/212524293888935054093264\ 2704342546835325*c_0101_4^12 + 435750328482451765987622504065437858\ 303143/2125242938889350540932642704342546835325*c_0101_4^11 - 390311102356946790418714194914371110773402/212524293888935054093264\ 2704342546835325*c_0101_4^10 + 448938355033891086681964378057485098\ 279177/2125242938889350540932642704342546835325*c_0101_4^9 - 354461987031308313402202329450972136557772/212524293888935054093264\ 2704342546835325*c_0101_4^8 - 2306172019073841350765320171752557096\ 6939/85009717555574021637305708173701873413*c_0101_4^7 + 12957104765100215733780852223689614005546/8500971755557402163730570\ 8173701873413*c_0101_4^6 - 2318406013570399986107254759952989580786\ 62/2125242938889350540932642704342546835325*c_0101_4^5 - 143545348982529318150795495197724747629209/212524293888935054093264\ 2704342546835325*c_0101_4^4 + 1119844844083876307366639458820277018\ 73192/2125242938889350540932642704342546835325*c_0101_4^3 + 9178059534237043156423608863886258291427/21252429388893505409326427\ 04342546835325*c_0101_4^2 + 284561559513109351569580526691096737013\ 8/2125242938889350540932642704342546835325*c_0101_4 + 211571761224068741252974955564286764138/425048587777870108186528540\ 868509367065, c_0101_3 - 116760429029592382560678571244796618132/21252429388893505409\ 32642704342546835325*c_0101_4^21 - 1353866177598461955677113923024379510441/21252429388893505409326427\ 04342546835325*c_0101_4^20 - 35127760086680413849648353365009867063\ 27/2125242938889350540932642704342546835325*c_0101_4^19 + 5589510864301600752787150382843132098167/21252429388893505409326427\ 04342546835325*c_0101_4^18 + 19359429974665836275031063425839566433\ 877/2125242938889350540932642704342546835325*c_0101_4^17 + 5455713205729284838185872395763432104712/21252429388893505409326427\ 04342546835325*c_0101_4^16 + 40788271470849902636045675301828284365\ 381/2125242938889350540932642704342546835325*c_0101_4^15 - 52620086461885033557096181759698527581688/2125242938889350540932642\ 704342546835325*c_0101_4^14 - 4695793264498126633282583596730091396\ 8949/2125242938889350540932642704342546835325*c_0101_4^13 - 214201733902627010718795958902729509321074/212524293888935054093264\ 2704342546835325*c_0101_4^12 - 137996327408217978249075468590902144\ 418156/2125242938889350540932642704342546835325*c_0101_4^11 + 323400926547121473878720721070514360092066/212524293888935054093264\ 2704342546835325*c_0101_4^10 - 153039785896917953437503363830047686\ 35206/85009717555574021637305708173701873413*c_0101_4^9 + 77728762279956454045031950258100747519322/4250485877778701081865285\ 40868509367065*c_0101_4^8 + 147694502936036467121808226107099021039\ 113/2125242938889350540932642704342546835325*c_0101_4^7 - 49627902580331925084556881180361765211621/4250485877778701081865285\ 40868509367065*c_0101_4^6 + 196121322446008408749512874175574033267\ 628/2125242938889350540932642704342546835325*c_0101_4^5 + 6550221590117537461254907778496721091029/21252429388893505409326427\ 04342546835325*c_0101_4^4 - 739036828321550619164597695880108286577\ 47/2125242938889350540932642704342546835325*c_0101_4^3 + 8220140012172543041011475473638238102599/21252429388893505409326427\ 04342546835325*c_0101_4^2 - 228559445577581773047126412097512489553\ /425048587777870108186528540868509367065*c_0101_4 - 196380648192664307542126828313708969007/212524293888935054093264270\ 4342546835325, c_0101_4^22 + 12*c_0101_4^21 + 35*c_0101_4^20 - 33*c_0101_4^19 - 177*c_0101_4^18 - 120*c_0101_4^17 - 409*c_0101_4^16 + 277*c_0101_4^15 + 492*c_0101_4^14 + 2044*c_0101_4^13 + 2046*c_0101_4^12 - 1832*c_0101_4^11 + 2675*c_0101_4^10 - 2358*c_0101_4^9 - 2086*c_0101_4^8 + 1256*c_0101_4^7 - 1369*c_0101_4^6 - 463*c_0101_4^5 + 340*c_0101_4^4 + c_0101_4^3 + 30*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB