Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 2480017231] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1796 geometric_solution 5.46795011 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 -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.513335163463 0.484566165005 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 -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 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.969862970059 0.972404747535 3 0 4 1 2310 0132 3201 3012 0 0 0 0 0 1 -1 0 -1 0 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 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.969862970059 0.972404747535 3 1 2 3 3012 0132 3201 1230 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.087857789715 0.660926508068 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.516962647568 0.544791423743 6 4 6 4 0132 0132 2310 1023 0 0 0 0 0 0 1 -1 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 0 1 -1 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.857412519671 0.360353778907 5 5 6 6 0132 3201 1230 3012 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 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.562336396535 0.199073702388 ==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_0101_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), '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_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 2844623524859227767011378429433/3553954275554423196902562683*c_0101\ _6^25 + 14440502715172390761441723518551/35539542755544231969025626\ 83*c_0101_6^24 - 8342030254107953555899031608337/507707753650631885\ 271794669*c_0101_6^23 - 492299382885592135882351329455000/355395427\ 5554423196902562683*c_0101_6^22 - 243135832490664055874302998478401\ /3553954275554423196902562683*c_0101_6^21 + 4525192918159063803063928516337007/3553954275554423196902562683*c_0\ 101_6^20 + 8851259668289639610205408878219846/355395427555442319690\ 2562683*c_0101_6^19 - 10875975852914603523954266751179230/355395427\ 5554423196902562683*c_0101_6^18 - 418214457658317724795422572083288\ 78/3553954275554423196902562683*c_0101_6^17 - 3878044769196935225394632928266084/3553954275554423196902562683*c_0\ 101_6^16 + 82240876800250571382877774028140630/35539542755544231969\ 02562683*c_0101_6^15 + 51231052711243744598827456862001215/35539542\ 75554423196902562683*c_0101_6^14 - 75127533776532741403172429847961531/3553954275554423196902562683*c_\ 0101_6^13 - 80691029077156666641030328152026133/3553954275554423196\ 902562683*c_0101_6^12 + 22654819746224032031354148134413002/3553954\ 275554423196902562683*c_0101_6^11 + 7845061655744731646344432106386396/507707753650631885271794669*c_01\ 01_6^10 + 11292444702025009913502795764672218/355395427555442319690\ 2562683*c_0101_6^9 - 15251414001029863058483342805158106/3553954275\ 554423196902562683*c_0101_6^8 - 9831505622095722659989988209844402/\ 3553954275554423196902562683*c_0101_6^7 - 24543573933550157251277270957684/507707753650631885271794669*c_0101\ _6^6 + 2048571226378372620019899873595691/3553954275554423196902562\ 683*c_0101_6^5 + 705744752045603645664524295239149/3553954275554423\ 196902562683*c_0101_6^4 - 13749274656682925235646516698858/35539542\ 75554423196902562683*c_0101_6^3 - 47795776123037785036159129046914/\ 3553954275554423196902562683*c_0101_6^2 - 12696176646193096647631101203099/3553954275554423196902562683*c_010\ 1_6 - 2521883914145382078584179421071/3553954275554423196902562683, c_0011_0 - 1, c_0011_4 + 45483062090575954623319910100/3553954275554423196902562683*c\ _0101_6^25 + 228832328780460837867002875702/35539542755544231969025\ 62683*c_0101_6^24 - 134721037856632040022846518105/5077077536506318\ 85271794669*c_0101_6^23 - 7825610145620722592123835296233/355395427\ 5554423196902562683*c_0101_6^22 - 3561415853944668018808075789655/3\ 553954275554423196902562683*c_0101_6^21 + 72388390524944076391313210890363/3553954275554423196902562683*c_010\ 1_6^20 + 138444943559352934830328489880215/355395427555442319690256\ 2683*c_0101_6^19 - 178649375542020033011876304215906/35539542755544\ 23196902562683*c_0101_6^18 - 660314675184997608249143076280751/3553\ 954275554423196902562683*c_0101_6^17 - 39369895087930172286899562279136/3553954275554423196902562683*c_010\ 1_6^16 + 1310974561083579729106426932796819/35539542755544231969025\ 62683*c_0101_6^15 + 776534451729009372791268320840729/3553954275554\ 423196902562683*c_0101_6^14 - 1217304842866457147667453386711511/35\ 53954275554423196902562683*c_0101_6^13 - 1253936510677518530927861949176901/3553954275554423196902562683*c_0\ 101_6^12 + 390145902821021565169376474685323/3553954275554423196902\ 562683*c_0101_6^11 + 123969123278151087600096381276036/507707753650\ 631885271794669*c_0101_6^10 + 163002517451162676444353440735782/355\ 3954275554423196902562683*c_0101_6^9 - 247306897553853578379179704447484/3553954275554423196902562683*c_01\ 01_6^8 - 152938748435181525220674380289607/355395427555442319690256\ 2683*c_0101_6^7 - 34430050621208007927756449664/5077077536506318852\ 71794669*c_0101_6^6 + 32673156116534821551826539613844/355395427555\ 4423196902562683*c_0101_6^5 + 10888318694537897255192113202447/3553\ 954275554423196902562683*c_0101_6^4 - 291540479448922303314560705420/3553954275554423196902562683*c_0101_\ 6^3 - 741010538651253840402293870192/3553954275554423196902562683*c\ _0101_6^2 - 199054101871038595373928430907/355395427555442319690256\ 2683*c_0101_6 - 40807906042839785920434424895/355395427555442319690\ 2562683, c_0101_0 - 1639509616937282594961101189/3553954275554423196902562683*c_\ 0101_6^25 - 9772677418714565518754215402/35539542755544231969025626\ 83*c_0101_6^24 + 3611317332010849490598156389/507707753650631885271\ 794669*c_0101_6^23 + 310759642372875553117967289908/355395427555442\ 3196902562683*c_0101_6^22 + 420914047384064122167411562383/35539542\ 75554423196902562683*c_0101_6^21 - 2370089871767957613221149899500/3553954275554423196902562683*c_0101\ _6^20 - 7654981826820472967040810871782/355395427555442319690256268\ 3*c_0101_6^19 + 387953249816495454484611561727/35539542755544231969\ 02562683*c_0101_6^18 + 29975134851611664335754640979648/35539542755\ 54423196902562683*c_0101_6^17 + 30134240867278686669131862569968/35\ 53954275554423196902562683*c_0101_6^16 - 43315109341120422344840963676496/3553954275554423196902562683*c_010\ 1_6^15 - 87215867437466489267639023079253/3553954275554423196902562\ 683*c_0101_6^14 + 8838168076668275974642577653020/35539542755544231\ 96902562683*c_0101_6^13 + 105002034897549078165750926060494/3553954\ 275554423196902562683*c_0101_6^12 + 40705278351661013649223715669448/3553954275554423196902562683*c_010\ 1_6^11 - 8080875074792752755028257587322/50770775365063188527179466\ 9*c_0101_6^10 - 44091527200672776377307930614872/355395427555442319\ 6902562683*c_0101_6^9 + 6600215396872183709392039804003/35539542755\ 54423196902562683*c_0101_6^8 + 17225287934989020853308295805178/355\ 3954275554423196902562683*c_0101_6^7 + 768706637835556330533551983589/507707753650631885271794669*c_0101_6\ ^6 - 1872602026372540095832739855919/3553954275554423196902562683*c\ _0101_6^5 - 1721349529811514185353206626714/35539542755544231969025\ 62683*c_0101_6^4 - 260748603554688041394605324603/35539542755544231\ 96902562683*c_0101_6^3 + 73240048234607796912039370727/355395427555\ 4423196902562683*c_0101_6^2 + 31491990256249641892911825999/3553954\ 275554423196902562683*c_0101_6 + 5639006275077630970603014979/35539\ 54275554423196902562683, c_0101_1 - 12511460537485005222013132901/3553954275554423196902562683*c\ _0101_6^25 - 57891500289088974309001048480/355395427555442319690256\ 2683*c_0101_6^24 + 39934884896023675643953183443/507707753650631885\ 271794669*c_0101_6^23 + 2026852183808525964438874855605/35539542755\ 54423196902562683*c_0101_6^22 + 241966698319637915583474117334/3553\ 954275554423196902562683*c_0101_6^21 - 19539500280490997477607487430388/3553954275554423196902562683*c_010\ 1_6^20 - 30439361347588571709747031298730/3553954275554423196902562\ 683*c_0101_6^19 + 56582900800809256232815640013527/3553954275554423\ 196902562683*c_0101_6^18 + 154188873058319002078893451729466/355395\ 4275554423196902562683*c_0101_6^17 - 34137610973390229939957513726560/3553954275554423196902562683*c_010\ 1_6^16 - 319491493119340988056699794775543/355395427555442319690256\ 2683*c_0101_6^15 - 110859431708019838540581682068465/35539542755544\ 23196902562683*c_0101_6^14 + 318731745399177340060748788038807/3553\ 954275554423196902562683*c_0101_6^13 + 229278427162521118012767462863543/3553954275554423196902562683*c_01\ 01_6^12 - 133308403142654120547925516588543/35539542755544231969025\ 62683*c_0101_6^11 - 25034245856291533370652947941875/50770775365063\ 1885271794669*c_0101_6^10 - 9897985949513997925930368054311/3553954\ 275554423196902562683*c_0101_6^9 + 56812000847720656777858327107268/3553954275554423196902562683*c_010\ 1_6^8 + 26019396651483969578034229023267/35539542755544231969025626\ 83*c_0101_6^7 - 477751627760968329277616649543/50770775365063188527\ 1794669*c_0101_6^6 - 6497876396944192694867352994687/35539542755544\ 23196902562683*c_0101_6^5 - 1565227514030549814280906973005/3553954\ 275554423196902562683*c_0101_6^4 + 231765441956818186321248652269/3553954275554423196902562683*c_0101_\ 6^3 + 102616856745751876563925980744/3553954275554423196902562683*c\ _0101_6^2 + 18422148111487447660756084899/3553954275554423196902562\ 683*c_0101_6 + 6587323025844658598586074072/35539542755544231969025\ 62683, c_0101_2 - 6186149608137792876962909811/3553954275554423196902562683*c_\ 0101_6^25 - 32462390320129368888127487284/3553954275554423196902562\ 683*c_0101_6^24 + 17595621854402754708684920108/5077077536506318852\ 71794669*c_0101_6^23 + 1097946859110810793349108906570/355395427555\ 4423196902562683*c_0101_6^22 + 671511745559120531134391970107/35539\ 54275554423196902562683*c_0101_6^21 - 9961118842122011654589582362063/3553954275554423196902562683*c_0101\ _6^20 - 20748006774971463771348944831943/35539542755544231969025626\ 83*c_0101_6^19 + 22597407194196554180151788109090/35539542755544231\ 96902562683*c_0101_6^18 + 96483960285690314307320612887393/35539542\ 75554423196902562683*c_0101_6^17 + 15429523022074842167627450359376/3553954275554423196902562683*c_010\ 1_6^16 - 187718943857413111327747969349168/355395427555442319690256\ 2683*c_0101_6^15 - 126936674814616129168335481628834/35539542755544\ 23196902562683*c_0101_6^14 + 168503373437686810423033612839100/3553\ 954275554423196902562683*c_0101_6^13 + 191418863044792047003867298450803/3553954275554423196902562683*c_01\ 01_6^12 - 47033981088105200950521816052596/355395427555442319690256\ 2683*c_0101_6^11 - 18071796645400590834420401279546/507707753650631\ 885271794669*c_0101_6^10 - 28778839963411127620758500860655/3553954\ 275554423196902562683*c_0101_6^9 + 33470693839263958436611535821506/3553954275554423196902562683*c_010\ 1_6^8 + 23155340351511914904679137645173/35539542755544231969025626\ 83*c_0101_6^7 + 143960603123482621320163922366/50770775365063188527\ 1794669*c_0101_6^6 - 4668115909737264215422128576770/35539542755544\ 23196902562683*c_0101_6^5 - 1655759026614295330670388828460/3553954\ 275554423196902562683*c_0101_6^4 + 27157320382285445899919113863/3553954275554423196902562683*c_0101_6\ ^3 + 108713120964159514243729676089/3553954275554423196902562683*c_\ 0101_6^2 + 28372352944215546225174621074/35539542755544231969025626\ 83*c_0101_6 + 3422120391698131780559128314/355395427555442319690256\ 2683, c_0101_5 - 22680346823245873043639290649/3553954275554423196902562683*c\ _0101_6^25 - 117324685295499315883863006482/35539542755544231969025\ 62683*c_0101_6^24 + 65049787674632407426272988434/50770775365063188\ 5271794669*c_0101_6^23 + 3972967318251334098324543050165/3553954275\ 554423196902562683*c_0101_6^22 + 2292365597941929086875546765331/35\ 53954275554423196902562683*c_0101_6^21 - 36008377619410497513449505064204/3553954275554423196902562683*c_010\ 1_6^20 - 73883812689012248394023890758142/3553954275554423196902562\ 683*c_0101_6^19 + 81284876137015989564961099387551/3553954275554423\ 196902562683*c_0101_6^18 + 342169008582214340349142137803704/355395\ 4275554423196902562683*c_0101_6^17 + 56511846973232254762166048318043/3553954275554423196902562683*c_010\ 1_6^16 - 658498605052053158561329822432018/355395427555442319690256\ 2683*c_0101_6^15 - 456749250946218198254453428045584/35539542755544\ 23196902562683*c_0101_6^14 + 578484740160296772725477604729454/3553\ 954275554423196902562683*c_0101_6^13 + 684959463388085971972514735621781/3553954275554423196902562683*c_01\ 01_6^12 - 147224760574944878419204399520691/35539542755544231969025\ 62683*c_0101_6^11 - 64328806129655016236183719047087/50770775365063\ 1885271794669*c_0101_6^10 - 110636745216424741715448224881951/35539\ 54275554423196902562683*c_0101_6^9 + 118056200518013831010565009301603/3553954275554423196902562683*c_01\ 01_6^8 + 83313075229553794510455642056716/3553954275554423196902562\ 683*c_0101_6^7 + 607631022299060846552385125120/5077077536506318852\ 71794669*c_0101_6^6 - 16422165437181977436761736828753/355395427555\ 4423196902562683*c_0101_6^5 - 6108478542033431935828755404339/35539\ 54275554423196902562683*c_0101_6^4 + 26128287404872017200954174564/3553954275554423196902562683*c_0101_6\ ^3 + 400156192445972354041894708209/3553954275554423196902562683*c_\ 0101_6^2 + 107790142729541933797606867629/3553954275554423196902562\ 683*c_0101_6 + 21104055382606465884473829636/3553954275554423196902\ 562683, c_0101_6^26 + 4*c_0101_6^25 - 26*c_0101_6^24 - 151*c_0101_6^23 + 101*c_0101_6^22 + 1684*c_0101_6^21 + 1399*c_0101_6^20 - 7185*c_0101_6^19 - 10602*c_0101_6^18 + 14504*c_0101_6^17 + 30468*c_0101_6^16 - 13161*c_0101_6^15 - 46005*c_0101_6^14 + 43*c_0101_6^13 + 38743*c_0101_6^12 + 10842*c_0101_6^11 - 16953*c_0101_6^10 - 9745*c_0101_6^9 + 2341*c_0101_6^8 + 3707*c_0101_6^7 + 796*c_0101_6^6 - 534*c_0101_6^5 - 277*c_0101_6^4 - 12*c_0101_6^3 + 14*c_0101_6^2 + 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB