Magma V2.19-8 Tue Aug 20 2013 16:19:06 on localhost [Seed = 3718004903] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3239 geometric_solution 6.37149974 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396749971184 0.759576045142 0 3 5 4 0132 0132 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 0 0 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.508658049754 0.681132016623 3 0 4 5 3201 0132 3201 2310 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 -1 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.508658049754 0.681132016623 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 0 -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.122709226609 1.264783612566 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.385230275215 0.963203656272 2 5 5 1 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910579926241 0.754408656991 4 4 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365731044664 0.398811767601 ==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_0110_6'], 'c_1100_5' : negation(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_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], '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' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], '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_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 7348/6439*c_0110_6^10 + 53378/6439*c_0110_6^9 + 79015/6439*c_0110_6^8 - 941002/6439*c_0110_6^7 + 174128/6439*c_0110_6^6 + 2503239/6439*c_0110_6^5 - 255940/6439*c_0110_6^4 - 39546/137*c_0110_6^3 - 433143/6439*c_0110_6^2 + 62122/6439*c_0110_6 + 64974/6439, c_0011_0 - 1, c_0011_4 - 298/6439*c_0110_6^10 + 1384/6439*c_0110_6^9 + 4625/6439*c_0110_6^8 - 19473/6439*c_0110_6^7 - 406/6439*c_0110_6^6 + 29193/6439*c_0110_6^5 - 15190/6439*c_0110_6^4 + 11730/6439*c_0110_6^3 + 10941/6439*c_0110_6^2 - 18875/6439*c_0110_6 - 916/6439, c_0101_0 + 1291/6439*c_0110_6^10 - 4532/6439*c_0110_6^9 - 25779/6439*c_0110_6^8 + 61479/6439*c_0110_6^7 + 1575/137*c_0110_6^6 - 161826/6439*c_0110_6^5 - 80814/6439*c_0110_6^4 + 142560/6439*c_0110_6^3 + 35997/6439*c_0110_6^2 - 35889/6439*c_0110_6 - 2901/6439, c_0101_1 + 6836/6439*c_0110_6^10 - 19423/6439*c_0110_6^9 - 146301/6439*c_0110_6^8 + 221986/6439*c_0110_6^7 + 465038/6439*c_0110_6^6 - 517168/6439*c_0110_6^5 - 517382/6439*c_0110_6^4 + 360645/6439*c_0110_6^3 + 205546/6439*c_0110_6^2 - 49222/6439*c_0110_6 - 16472/6439, c_0101_2 - 169/6439*c_0110_6^10 - 301/6439*c_0110_6^9 + 6258/6439*c_0110_6^8 + 10067/6439*c_0110_6^7 - 45249/6439*c_0110_6^6 - 28480/6439*c_0110_6^5 + 84780/6439*c_0110_6^4 + 21120/6439*c_0110_6^3 - 37883/6439*c_0110_6^2 - 1831/6439*c_0110_6 - 993/6439, c_0101_5 - 1085/6439*c_0110_6^10 + 2745/6439*c_0110_6^9 + 24110/6439*c_0110_6^8 - 27534/6439*c_0110_6^7 - 84400/6439*c_0110_6^6 + 52534/6439*c_0110_6^5 + 117875/6439*c_0110_6^4 - 27810/6439*c_0110_6^3 - 73429/6439*c_0110_6^2 + 2800/6439*c_0110_6 + 13275/6439, c_0110_6^11 - 3*c_0110_6^10 - 21*c_0110_6^9 + 36*c_0110_6^8 + 64*c_0110_6^7 - 88*c_0110_6^6 - 68*c_0110_6^5 + 70*c_0110_6^4 + 26*c_0110_6^3 - 17*c_0110_6^2 - 2*c_0110_6 + 1 ], 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_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 70471904195255675556166345229140/348116373195004015329417989509*c_0\ 110_6^21 + 14466411042810217954652003800051/15135494486739305014322\ 521283*c_0110_6^20 - 202418283140807572517327099899968/348116373195\ 004015329417989509*c_0110_6^19 + 644138647851878982775922429157681/\ 348116373195004015329417989509*c_0110_6^18 - 1674897177873714613632491716243574/348116373195004015329417989509*c\ _0110_6^17 - 825805795297996708908549312783290/34811637319500401532\ 9417989509*c_0110_6^16 - 2852672680868978388993086874477931/3481163\ 73195004015329417989509*c_0110_6^15 - 17655620106535125923938518778110/1803711778212456037976259013*c_011\ 0_6^14 + 778255842665190686911954797958386/348116373195004015329417\ 989509*c_0110_6^13 - 171187967603534877516533238833402/497309104564\ 29145047059712787*c_0110_6^12 + 5616870777977669622148830246630289/\ 348116373195004015329417989509*c_0110_6^11 + 2266602420584318367609146279776128/348116373195004015329417989509*c\ _0110_6^10 + 47619548608448208015800388113173/497309104564291450470\ 59712787*c_0110_6^9 + 1017811772914695884314218024295535/3481163731\ 95004015329417989509*c_0110_6^8 - 232438090205819299085050528317671\ 6/348116373195004015329417989509*c_0110_6^7 - 1011310916597277734881561483188003/348116373195004015329417989509*c\ _0110_6^6 - 32723793600364584318933197787315/3481163731950040153294\ 17989509*c_0110_6^5 - 274900083148843790687832499581539/34811637319\ 5004015329417989509*c_0110_6^4 + 183866697134552124578188624712424/\ 348116373195004015329417989509*c_0110_6^3 + 102353841064614780741383436668086/348116373195004015329417989509*c_\ 0110_6^2 - 30003833689538682090868542974920/34811637319500401532941\ 7989509*c_0110_6 - 27140249213320370540232847281137/348116373195004\ 015329417989509, c_0011_0 - 1, c_0011_4 + 14559591358868862104714800270/15135494486739305014322521283*\ c_0110_6^21 - 68716378234387559763173052774/15135494486739305014322\ 521283*c_0110_6^20 + 39314695177208331255310880001/1513549448673930\ 5014322521283*c_0110_6^19 - 119361906524316850709584468519/15135494\ 486739305014322521283*c_0110_6^18 + 330484329875303838020842772919/15135494486739305014322521283*c_0110\ _6^17 + 185350440502612056360898903969/1513549448673930501432252128\ 3*c_0110_6^16 + 523373429847034834605846692640/15135494486739305014\ 322521283*c_0110_6^15 + 3702399105257563992551031791/78422251226628\ 523390272131*c_0110_6^14 - 156939977487220985385161918270/151354944\ 86739305014322521283*c_0110_6^13 + 35032987407605130517631823092/2162213498105615002046074469*c_0110_6\ ^12 - 971922846022009698672010667306/15135494486739305014322521283*\ c_0110_6^11 - 470483738034330317135848033807/1513549448673930501432\ 2521283*c_0110_6^10 + 2043532058822367836469760019/2162213498105615\ 002046074469*c_0110_6^9 - 315220773556659774150812984339/1513549448\ 6739305014322521283*c_0110_6^8 + 244933875421797825890427674717/151\ 35494486739305014322521283*c_0110_6^7 + 254420181641197451401307923150/15135494486739305014322521283*c_0110\ _6^6 + 66954227605046562921861725054/15135494486739305014322521283*\ c_0110_6^5 + 71332630283168027363033367222/151354944867393050143225\ 21283*c_0110_6^4 + 40000352876481484799244041642/151354944867393050\ 14322521283*c_0110_6^3 - 37071839850346508230765813777/151354944867\ 39305014322521283*c_0110_6^2 - 24159453560165340638413228983/151354\ 94486739305014322521283*c_0110_6 + 7282897319372870393506888203/15135494486739305014322521283, c_0101_0 + 14121253263394749549872103350/15135494486739305014322521283*\ c_0110_6^21 - 55906794264504372089635649765/15135494486739305014322\ 521283*c_0110_6^20 - 1836617690353382665545559716/15135494486739305\ 014322521283*c_0110_6^19 - 135660209533629442990241893968/151354944\ 86739305014322521283*c_0110_6^18 + 246025716398397664420842122792/15135494486739305014322521283*c_0110\ _6^17 + 370108838270967154724467245981/1513549448673930501432252128\ 3*c_0110_6^16 + 878627155775041990230453463507/15135494486739305014\ 322521283*c_0110_6^15 + 6681516270054225963616176524/78422251226628\ 523390272131*c_0110_6^14 + 652587471044578602596263370111/151354944\ 86739305014322521283*c_0110_6^13 + 69801773913920314715361973020/2162213498105615002046074469*c_0110_6\ ^12 - 1049566236015636646809645081207/15135494486739305014322521283\ *c_0110_6^11 - 1442814633920753678057869956757/15135494486739305014\ 322521283*c_0110_6^10 - 140069644895432384167788567343/216221349810\ 5615002046074469*c_0110_6^9 - 604321252182628500757964048348/151354\ 94486739305014322521283*c_0110_6^8 + 441263465342780047377448870443/15135494486739305014322521283*c_0110\ _6^7 + 718034847666594667404269683512/15135494486739305014322521283\ *c_0110_6^6 + 224329047155131375227033414920/1513549448673930501432\ 2521283*c_0110_6^5 + 204247033621339237345781503079/151354944867393\ 05014322521283*c_0110_6^4 - 3712673857555286344377302297/1513549448\ 6739305014322521283*c_0110_6^3 - 110230091495618627316956772013/151\ 35494486739305014322521283*c_0110_6^2 + 24124964073233325854377867813/15135494486739305014322521283*c_0110_\ 6 + 19339083747895709576173207154/15135494486739305014322521283, c_0101_1 + 95974981101126106716396091430/15135494486739305014322521283*\ c_0110_6^21 - 439120671405282515106714851701/1513549448673930501432\ 2521283*c_0110_6^20 + 203797191212057204487300645796/15135494486739\ 305014322521283*c_0110_6^19 - 813471935263929336864951494317/151354\ 94486739305014322521283*c_0110_6^18 + 2153965470096354173827477835753/15135494486739305014322521283*c_011\ 0_6^17 + 1494280410774180556208516227144/15135494486739305014322521\ 283*c_0110_6^16 + 3943584898099256188321996937021/15135494486739305\ 014322521283*c_0110_6^15 + 26141602781910239126435530960/7842225122\ 6628523390272131*c_0110_6^14 - 618221674281537800973079790957/15135\ 494486739305014322521283*c_0110_6^13 + 158106746962589440178808567311/2162213498105615002046074469*c_0110_\ 6^12 - 7398287254986882466788315273141/1513549448673930501432252128\ 3*c_0110_6^11 - 4155822389044521265641627785892/1513549448673930501\ 4322521283*c_0110_6^10 - 65176474153408298429921444660/216221349810\ 5615002046074469*c_0110_6^9 - 1006793495911665987177442407285/15135\ 494486739305014322521283*c_0110_6^8 + 2904329049579139386903008218138/15135494486739305014322521283*c_011\ 0_6^7 + 1814407783115808848227522370845/151354944867393050143225212\ 83*c_0110_6^6 - 17961615680658717130452622592/151354944867393050143\ 22521283*c_0110_6^5 + 257443507670747402926816817920/15135494486739\ 305014322521283*c_0110_6^4 - 142399914777691030730861475033/1513549\ 4486739305014322521283*c_0110_6^3 - 164131544914520077889030674612/15135494486739305014322521283*c_0110\ _6^2 + 49946102474868657513382143431/15135494486739305014322521283*\ c_0110_6 + 31957209935739988095303330452/15135494486739305014322521\ 283, c_0101_2 + 21351297516896152673970786125/15135494486739305014322521283*\ c_0110_6^21 - 108062577261111887069335788090/1513549448673930501432\ 2521283*c_0110_6^20 + 96128879620818510375990104298/151354944867393\ 05014322521283*c_0110_6^19 - 219555504137604125777461575454/1513549\ 4486739305014322521283*c_0110_6^18 + 583322808231842998484487010310/15135494486739305014322521283*c_0110\ _6^17 + 53526742362332637796422584212/15135494486739305014322521283\ *c_0110_6^16 + 811358097589278153784363833007/151354944867393050143\ 22521283*c_0110_6^15 + 3587899485522697499087253076/784222512266285\ 23390272131*c_0110_6^14 - 492311597616009123559535021195/1513549448\ 6739305014322521283*c_0110_6^13 + 67137620430055437681726700173/216\ 2213498105615002046074469*c_0110_6^12 - 1749420088696712097713192914675/15135494486739305014322521283*c_011\ 0_6^11 + 60501377628691215190007023663/1513549448673930501432252128\ 3*c_0110_6^10 + 2166573800982866089373754249/2162213498105615002046\ 074469*c_0110_6^9 - 170060552959851846614912888146/1513549448673930\ 5014322521283*c_0110_6^8 + 580130786724122714400538527943/151354944\ 86739305014322521283*c_0110_6^7 - 13182736121766980537273152285/151\ 35494486739305014322521283*c_0110_6^6 - 36865255644478065760685090612/15135494486739305014322521283*c_0110_\ 6^5 + 32485119204013442651661262515/15135494486739305014322521283*c\ _0110_6^4 - 17521493719974299081584562710/1513549448673930501432252\ 1283*c_0110_6^3 + 5120534749367821092533547093/15135494486739305014\ 322521283*c_0110_6^2 + 3242105347252981951825706789/151354944867393\ 05014322521283*c_0110_6 + 10785233060180960132028725148/15135494486\ 739305014322521283, c_0101_5 - 6148394231083894501066756585/2162213498105615002046074469*c_\ 0110_6^21 + 27395968160390325389289613932/2162213498105615002046074\ 469*c_0110_6^20 - 10174331104394248632315347594/2162213498105615002\ 046074469*c_0110_6^19 + 53263390007409340613222778527/2162213498105\ 615002046074469*c_0110_6^18 - 134764399562744238116749715698/216221\ 3498105615002046074469*c_0110_6^17 - 108733114760812083037148105952/2162213498105615002046074469*c_0110_\ 6^16 - 277791179566400682712811911446/2162213498105615002046074469*\ c_0110_6^15 - 1825233037096311843447924609/112031787466612176271817\ 33*c_0110_6^14 - 2464107051306148886354822949/216221349810561500204\ 6074469*c_0110_6^13 - 69075475999543295378072504713/216221349810561\ 5002046074469*c_0110_6^12 + 504000934621517256614342111686/21622134\ 98105615002046074469*c_0110_6^11 + 322058516214344963565809909848/2162213498105615002046074469*c_0110_\ 6^10 + 90909219188960470985660487443/2162213498105615002046074469*c\ _0110_6^9 + 49049256954665357252545272324/2162213498105615002046074\ 469*c_0110_6^8 - 221508613893929986544340401744/2162213498105615002\ 046074469*c_0110_6^7 - 137117743683801826457246994411/2162213498105\ 615002046074469*c_0110_6^6 - 22307813952102100663826883632/21622134\ 98105615002046074469*c_0110_6^5 - 6344775844121384928055184150/2162\ 213498105615002046074469*c_0110_6^4 + 22645236436324865078876983584/2162213498105615002046074469*c_0110_6\ ^3 + 15385282300892109635060682410/2162213498105615002046074469*c_0\ 110_6^2 - 4550689303457285276960203082/2162213498105615002046074469\ *c_0110_6 - 4707772936463413140028721247/21622134981056150020460744\ 69, c_0110_6^22 - 21/5*c_0110_6^21 + 2/5*c_0110_6^20 - 38/5*c_0110_6^19 + 19*c_0110_6^18 + 121/5*c_0110_6^17 + 232/5*c_0110_6^16 + 346/5*c_0110_6^15 + 68/5*c_0110_6^14 + 52/5*c_0110_6^13 - 356/5*c_0110_6^12 - 74*c_0110_6^11 - 104/5*c_0110_6^10 - 16*c_0110_6^9 + 26*c_0110_6^8 + 32*c_0110_6^7 + 39/5*c_0110_6^6 + 19/5*c_0110_6^5 - 4/5*c_0110_6^4 - 3*c_0110_6^3 - 2/5*c_0110_6^2 + 3/5*c_0110_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB