Magma V2.19-8 Tue Aug 20 2013 17:56:13 on localhost [Seed = 1511779735] Type ? for help. Type -D to quit. Loading file "11_214__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_214 geometric_solution 9.99603963 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 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 -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 1.331511635427 1.096618943199 0 5 5 6 0132 0132 1302 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 1 -1 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.602451696772 0.826944061570 4 0 8 7 0213 0132 0132 0132 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 1 0 -1 -1 0 1 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.254675959400 0.795878717492 8 5 7 0 2031 3201 2031 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 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.713044410089 0.719298500653 2 9 0 8 0213 0132 0132 2310 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 -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.211652365714 0.543125536692 1 1 3 10 2031 0132 2310 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 -1 1 0 1 0 -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.424474014747 0.789984986902 8 7 1 9 1023 3120 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.094978794187 1.067632577091 10 6 2 3 3120 3120 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 -0.129645168601 0.963470913243 4 6 3 2 3201 1023 1302 0132 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 0 0 0 0 0 1 -1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.502763402167 0.809941247373 10 4 10 6 1023 0132 2103 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472571592517 0.558213525424 9 9 5 7 2103 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.894275266271 0.946472624535 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_0110_6'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_0']), 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0110_6'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_0'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0101_3'], 'c_1100_10' : d['c_0011_3'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0110_6'], 'c_1010_9' : d['c_0110_6'], 'c_1010_8' : d['c_0110_6'], 'c_1100_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_0110_10' : d['c_0101_5'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_10, c_0101_3, c_0101_5, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1727750656672187437676953/93855638170738873974100*c_1001_0^19 - 15387057864251551910422451/187711276341477747948200*c_1001_0^18 + 13667151185637990752050659/93855638170738873974100*c_1001_0^17 + 14056999780965205451064769/187711276341477747948200*c_1001_0^16 - 17783572521795892763104573/18771127634147774794820*c_1001_0^15 + 8282940677536235771021877/7508451053659109917928*c_1001_0^14 + 354029502844894733616998809/187711276341477747948200*c_1001_0^13 - 377388569373055678072421611/93855638170738873974100*c_1001_0^12 - 286611357314467563870324943/187711276341477747948200*c_1001_0^11 + 250775090214434646943665237/37542255268295549589640*c_1001_0^10 + 559322529098915108160909/9385563817073887397410*c_1001_0^9 - 66564870285188709655572669/9879540860077776207800*c_1001_0^8 + 160461486362775766401000721/187711276341477747948200*c_1001_0^7 + 423692172443400704096063817/93855638170738873974100*c_1001_0^6 - 128063955378329260697175127/187711276341477747948200*c_1001_0^5 - 15060273842373568596221141/7508451053659109917928*c_1001_0^4 + 10060827168461357879183269/46927819085369436987050*c_1001_0^3 + 101337282517587851438592291/187711276341477747948200*c_1001_0^2 - 252487399539935585320766/23463909542684718493525*c_1001_0 - 113709138181762736286043/1975908172015555241560, c_0011_0 - 1, c_0011_10 - 1356952702166862969/4319173408685636170*c_1001_0^19 + 1899645537389949362/2159586704342818085*c_1001_0^18 + 1218405344638568109/2159586704342818085*c_1001_0^17 - 35123518734892573361/4319173408685636170*c_1001_0^16 + 16158978822092467441/863834681737127234*c_1001_0^15 + 9736140911039882127/863834681737127234*c_1001_0^14 - 409394921590042839031/4319173408685636170*c_1001_0^13 + 190190814679821164503/4319173408685636170*c_1001_0^12 + 847849768475679600307/4319173408685636170*c_1001_0^11 - 144569827365519356639/863834681737127234*c_1001_0^10 - 187272186425296806501/863834681737127234*c_1001_0^9 + 1034442466190542163109/4319173408685636170*c_1001_0^8 + 608218262696394267181/4319173408685636170*c_1001_0^7 - 784243306910077418371/4319173408685636170*c_1001_0^6 - 249041264068963471407/4319173408685636170*c_1001_0^5 + 66319702916579943011/863834681737127234*c_1001_0^4 + 65196180848565404091/4319173408685636170*c_1001_0^3 - 34206302728825158502/2159586704342818085*c_1001_0^2 - 1916406703208464054/2159586704342818085*c_1001_0 + 1173316511542773149/863834681737127234, c_0011_3 - 4134583176106510281/8638346817371272340*c_1001_0^19 + 12035601440262818021/8638346817371272340*c_1001_0^18 - 419310198676764843/8638346817371272340*c_1001_0^17 - 85336196464136441229/8638346817371272340*c_1001_0^16 + 44856677320189825193/1727669363474254468*c_1001_0^15 + 8214575274655715101/863834681737127234*c_1001_0^14 - 1006425339583343833989/8638346817371272340*c_1001_0^13 + 571151266840486715997/8638346817371272340*c_1001_0^12 + 976803366783610108929/4319173408685636170*c_1001_0^11 - 391653900957511035263/1727669363474254468*c_1001_0^10 - 397224381088343624009/1727669363474254468*c_1001_0^9 + 1407801061673852092023/4319173408685636170*c_1001_0^8 + 1074583096385729447719/8638346817371272340*c_1001_0^7 - 2258003813908066922579/8638346817371272340*c_1001_0^6 - 67118417598491514827/2159586704342818085*c_1001_0^5 + 218417886905603715475/1727669363474254468*c_1001_0^4 + 2790570792870172979/8638346817371272340*c_1001_0^3 - 314735429018670100951/8638346817371272340*c_1001_0^2 + 15628482903368180733/8638346817371272340*c_1001_0 + 9054507074969288065/1727669363474254468, c_0011_6 - 6070642702788876793/4319173408685636170*c_1001_0^19 + 12684671989568896379/2159586704342818085*c_1001_0^18 - 38405839051707211399/4319173408685636170*c_1001_0^17 - 22253635344389772801/2159586704342818085*c_1001_0^16 + 63242902967783326479/863834681737127234*c_1001_0^15 - 53711322166883032031/863834681737127234*c_1001_0^14 - 394747872988127830861/2159586704342818085*c_1001_0^13 + 1179531266409631326111/4319173408685636170*c_1001_0^12 + 988439942568842104819/4319173408685636170*c_1001_0^11 - 210028246836634410518/431917340868563617*c_1001_0^10 - 147421184342042834533/863834681737127234*c_1001_0^9 + 2159938847692202852643/4319173408685636170*c_1001_0^8 + 202987125890160930426/2159586704342818085*c_1001_0^7 - 1423977545026870919767/4319173408685636170*c_1001_0^6 - 203696535410710347919/4319173408685636170*c_1001_0^5 + 60528900417989102430/431917340868563617*c_1001_0^4 + 82345301350967561017/4319173408685636170*c_1001_0^3 - 72419405589446683644/2159586704342818085*c_1001_0^2 - 18385393251772188461/4319173408685636170*c_1001_0 + 1933151135447325595/431917340868563617, c_0011_7 - 1007461430255795137/1727669363474254468*c_1001_0^19 + 5608194025556844447/1727669363474254468*c_1001_0^18 - 13362944230664237573/1727669363474254468*c_1001_0^17 + 5529046012059322195/1727669363474254468*c_1001_0^16 + 57780487049697954517/1727669363474254468*c_1001_0^15 - 32316427899278865100/431917340868563617*c_1001_0^14 - 14006238428535885365/1727669363474254468*c_1001_0^13 + 354120167229784406805/1727669363474254468*c_1001_0^12 - 67808432491910097213/431917340868563617*c_1001_0^11 - 408147016419263580227/1727669363474254468*c_1001_0^10 + 600645765379523895987/1727669363474254468*c_1001_0^9 + 43890581075241461993/431917340868563617*c_1001_0^8 - 616421881212424271397/1727669363474254468*c_1001_0^7 + 59911727076920274617/1727669363474254468*c_1001_0^6 + 180864708657944775943/863834681737127234*c_1001_0^5 - 100538979204938988313/1727669363474254468*c_1001_0^4 - 127070360968019939321/1727669363474254468*c_1001_0^3 + 46053719665935348431/1727669363474254468*c_1001_0^2 + 21225876586110138879/1727669363474254468*c_1001_0 - 8717294306982296859/1727669363474254468, c_0101_0 - 538114497674264301/431917340868563617*c_1001_0^19 + 2513915887483485671/863834681737127234*c_1001_0^18 - 279321422225328971/431917340868563617*c_1001_0^17 - 14716712502721260875/863834681737127234*c_1001_0^16 + 18113978004529946725/431917340868563617*c_1001_0^15 + 34764926240227080493/863834681737127234*c_1001_0^14 - 153344264712006966767/863834681737127234*c_1001_0^13 - 17506455984937326732/431917340868563617*c_1001_0^12 + 324489314801154584581/863834681737127234*c_1001_0^11 - 800376371501996257/863834681737127234*c_1001_0^10 - 209500755279178367439/431917340868563617*c_1001_0^9 + 37108453324360693571/863834681737127234*c_1001_0^8 + 349203109335478412711/863834681737127234*c_1001_0^7 - 19848665691903257124/431917340868563617*c_1001_0^6 - 187653783311486827167/863834681737127234*c_1001_0^5 + 19098600094910068861/863834681737127234*c_1001_0^4 + 29975740301364948435/431917340868563617*c_1001_0^3 - 4914287050142125681/863834681737127234*c_1001_0^2 - 5099365261027195165/431917340868563617*c_1001_0 + 874233527654715157/863834681737127234, c_0101_10 - 1140787034699511073/454649832493224860*c_1001_0^19 + 4745962881082670043/454649832493224860*c_1001_0^18 - 7534872705140095659/454649832493224860*c_1001_0^17 - 7592412283618122987/454649832493224860*c_1001_0^16 + 11816279522829760737/90929966498644972*c_1001_0^15 - 2747926855705399338/22732491624661243*c_1001_0^14 - 135664187631756903267/454649832493224860*c_1001_0^13 + 231612458643572413881/454649832493224860*c_1001_0^12 + 33667840165207322391/113662458123306215*c_1001_0^11 - 80376864528077502881/90929966498644972*c_1001_0^10 - 7348530059030849317/90929966498644972*c_1001_0^9 + 99410791031374913267/113662458123306215*c_1001_0^8 - 42269380771022897063/454649832493224860*c_1001_0^7 - 247499528809828774047/454649832493224860*c_1001_0^6 + 21802989715938022173/227324916246612430*c_1001_0^5 + 19826909791292080929/90929966498644972*c_1001_0^4 - 16847655272431304893/454649832493224860*c_1001_0^3 - 23897206019902054653/454649832493224860*c_1001_0^2 + 2536384919816805849/454649832493224860*c_1001_0 + 540865972929533167/90929966498644972, c_0101_3 + 3554932046155562107/4319173408685636170*c_1001_0^19 - 9296634498208300356/2159586704342818085*c_1001_0^18 + 16533797743705889143/2159586704342818085*c_1001_0^17 + 16575744036632199313/4319173408685636170*c_1001_0^16 - 44553982684321475741/863834681737127234*c_1001_0^15 + 58077751676892207833/863834681737127234*c_1001_0^14 + 496225312982120531293/4319173408685636170*c_1001_0^13 - 1126034947050068297999/4319173408685636170*c_1001_0^12 - 549282436736973394841/4319173408685636170*c_1001_0^11 + 405818315940592699771/863834681737127234*c_1001_0^10 + 71478475527120406689/863834681737127234*c_1001_0^9 - 2238083067967568136747/4319173408685636170*c_1001_0^8 - 198409171648141282893/4319173408685636170*c_1001_0^7 + 1634333050310392404493/4319173408685636170*c_1001_0^6 + 138676925027903463611/4319173408685636170*c_1001_0^5 - 157114496605333561947/863834681737127234*c_1001_0^4 - 85709512207728205853/4319173408685636170*c_1001_0^3 + 111424522526244742466/2159586704342818085*c_1001_0^2 + 10693505397076758202/2159586704342818085*c_1001_0 - 6153886210661215933/863834681737127234, c_0101_5 + 6709760156274879571/8638346817371272340*c_1001_0^19 - 28816137807418841921/8638346817371272340*c_1001_0^18 + 54200484755805843913/8638346817371272340*c_1001_0^17 + 11863012917166243209/8638346817371272340*c_1001_0^16 - 61702492375423190439/1727669363474254468*c_1001_0^15 + 20035595325806378891/431917340868563617*c_1001_0^14 + 442357281521083214609/8638346817371272340*c_1001_0^13 - 1144111995062958529227/8638346817371272340*c_1001_0^12 + 19650567043703661633/2159586704342818085*c_1001_0^11 + 251071504900146162771/1727669363474254468*c_1001_0^10 - 168524152265764387577/1727669363474254468*c_1001_0^9 - 99049826600433083864/2159586704342818085*c_1001_0^8 + 998823175664296300161/8638346817371272340*c_1001_0^7 - 422060079442166385351/8638346817371272340*c_1001_0^6 - 306965390780357440301/4319173408685636170*c_1001_0^5 + 103029507744043575225/1727669363474254468*c_1001_0^4 + 233921712790778678151/8638346817371272340*c_1001_0^3 - 239550044679079550789/8638346817371272340*c_1001_0^2 - 43712515400242890923/8638346817371272340*c_1001_0 + 9042803219363214071/1727669363474254468, c_0110_6 - 369531856301443129/227324916246612430*c_1001_0^19 + 638178360275358097/113662458123306215*c_1001_0^18 - 1488063217298910417/227324916246612430*c_1001_0^17 - 1839478687776190813/113662458123306215*c_1001_0^16 + 3352060178574530249/45464983249322486*c_1001_0^15 - 1109724803168565721/45464983249322486*c_1001_0^14 - 24972654272667998648/113662458123306215*c_1001_0^13 + 40365989898341037473/227324916246612430*c_1001_0^12 + 78063272031760991227/227324916246612430*c_1001_0^11 - 8003564682444003106/22732491624661243*c_1001_0^10 - 15314686829550224683/45464983249322486*c_1001_0^9 + 86630215268223195389/227324916246612430*c_1001_0^8 + 25568480698280931088/113662458123306215*c_1001_0^7 - 59299206320721035421/227324916246612430*c_1001_0^6 - 23180422816064063367/227324916246612430*c_1001_0^5 + 2660007510497417637/22732491624661243*c_1001_0^4 + 6308343786020130701/227324916246612430*c_1001_0^3 - 3757150071723121097/113662458123306215*c_1001_0^2 - 970835479132760443/227324916246612430*c_1001_0 + 107923452880736085/22732491624661243, c_1001_0^20 - 32/7*c_1001_0^19 + 8*c_1001_0^18 + 38/7*c_1001_0^17 - 400/7*c_1001_0^16 + 475/7*c_1001_0^15 + 823/7*c_1001_0^14 - 1924/7*c_1001_0^13 - 501/7*c_1001_0^12 + 3425/7*c_1001_0^11 - 640/7*c_1001_0^10 - 3567/7*c_1001_0^9 + 1447/7*c_1001_0^8 + 2388/7*c_1001_0^7 - 1259/7*c_1001_0^6 - 1055/7*c_1001_0^5 + 622/7*c_1001_0^4 + 292/7*c_1001_0^3 - 176/7*c_1001_0^2 - 40/7*c_1001_0 + 25/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB