Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 3364443181] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0780 geometric_solution 4.72180513 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0213 0132 0132 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 1 -1 1 0 -1 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.367219392139 1.388798422140 0 3 0 2 0132 1302 0213 1302 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 -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.822050101811 0.672994245713 4 4 1 0 0132 3201 2031 0132 0 0 0 0 0 1 0 -1 -1 0 1 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 -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.086626532298 0.286128175239 5 5 0 1 0132 2310 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.175123234184 1.116486474746 2 4 2 4 0132 1302 2310 2031 0 0 0 0 0 1 -1 0 1 0 0 -1 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 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.823483352832 3.375785451050 3 6 6 3 0132 0132 1023 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 -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.063739786675 0.390021051805 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.256648289876 0.993621927740 ==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_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_1010_1']), 'c_1100_3' : negation(d['c_1010_1']), 'c_1100_2' : negation(d['c_1010_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1010_1'], 'c_1010_0' : d['c_0101_2']})} 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_2, c_0011_3, c_0101_0, c_0101_2, c_0101_6, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 3918788860571992611658409191227519/97051968290782030852614443105563\ 07*c_1010_1^15 - 41156157338483968027185329789046879/97051968290782\ 03085261444310556307*c_1010_1^14 - 22580979306490900908080899120841156/9705196829078203085261444310556\ 307*c_1010_1^13 - 136229039348270311094648592472233500/970519682907\ 8203085261444310556307*c_1010_1^12 - 563750529485825545729694617736589546/970519682907820308526144431055\ 6307*c_1010_1^11 + 1082038941431271531894375182489313628/9705196829\ 078203085261444310556307*c_1010_1^10 - 1792143389095571289069187634595489169/97051968290782030852614443105\ 56307*c_1010_1^9 + 3046976428280538172590821870421708495/9705196829\ 078203085261444310556307*c_1010_1^8 + 1965292016049237828224365391125634326/97051968290782030852614443105\ 56307*c_1010_1^7 - 5710580468125054737032063591911503378/9705196829\ 078203085261444310556307*c_1010_1^6 + 20413991159283213307198138583615035082/9705196829078203085261444310\ 556307*c_1010_1^5 - 15736631045095739415356563819586746000/97051968\ 29078203085261444310556307*c_1010_1^4 - 10898215464500313220772916859591680954/9705196829078203085261444310\ 556307*c_1010_1^3 + 9343069474760618652178680131985853197/970519682\ 9078203085261444310556307*c_1010_1^2 + 326856593365743283780879115176089452/970519682907820308526144431055\ 6307*c_1010_1 - 316100618105703616463010063834765432/97051968290782\ 03085261444310556307, c_0011_0 - 1, c_0011_2 - 1716289223766184214297443414448/3346619596233863132848773900\ 19183*c_1010_1^15 + 16582598662829263152167539506061/33466195962338\ 6313284877390019183*c_1010_1^14 + 24708771563684543560288912100632/\ 334661959623386313284877390019183*c_1010_1^13 + 70994264662411118335620408149677/334661959623386313284877390019183*\ c_1010_1^12 + 303131173431591700417967775521981/3346619596233863132\ 84877390019183*c_1010_1^11 - 249374114637369293156418723855785/3346\ 61959623386313284877390019183*c_1010_1^10 + 454054605933659100644582696423169/334661959623386313284877390019183\ *c_1010_1^9 - 687728647343379109413570543891371/3346619596233863132\ 84877390019183*c_1010_1^8 - 1888922592425018730484417905664392/3346\ 61959623386313284877390019183*c_1010_1^7 + 1684372200827682275994326605877348/33466195962338631328487739001918\ 3*c_1010_1^6 - 7243341918165679032864573389133602/33466195962338631\ 3284877390019183*c_1010_1^5 - 511943678064807713252958184495323/334\ 661959623386313284877390019183*c_1010_1^4 + 9163146671945135796086239263134855/33466195962338631328487739001918\ 3*c_1010_1^3 - 791096072593108258242192294993399/334661959623386313\ 284877390019183*c_1010_1^2 - 2215279453649423444822286678155428/334\ 661959623386313284877390019183*c_1010_1 + 247519749846754417634183929112619/334661959623386313284877390019183\ , c_0011_3 - 397528293841905862252886103596/33466195962338631328487739001\ 9183*c_1010_1^15 + 4210768956135626973466278724780/3346619596233863\ 13284877390019183*c_1010_1^14 + 2620557847464731086657394671261/334\ 661959623386313284877390019183*c_1010_1^13 + 6934320177711575622304759451640/334661959623386313284877390019183*c\ _1010_1^12 + 44700120289013094857793860991931/334661959623386313284\ 877390019183*c_1010_1^11 - 149118960149303256351323956915669/334661\ 959623386313284877390019183*c_1010_1^10 + 55744485230839738649823470819798/334661959623386313284877390019183*\ c_1010_1^9 - 264760524281459814894875505140837/33466195962338631328\ 4877390019183*c_1010_1^8 - 401001357778084984853211805088698/334661\ 959623386313284877390019183*c_1010_1^7 + 861204815586145614211208621021543/334661959623386313284877390019183\ *c_1010_1^6 - 1397884741468726533887040696511110/334661959623386313\ 284877390019183*c_1010_1^5 + 1364879155624594196463818926150140/334\ 661959623386313284877390019183*c_1010_1^4 + 4146379236894826389071691055306845/33466195962338631328487739001918\ 3*c_1010_1^3 - 416042449804034567536737709307181/334661959623386313\ 284877390019183*c_1010_1^2 - 2121496055831300277830151328990281/334\ 661959623386313284877390019183*c_1010_1 - 117865790265397579276696543383897/334661959623386313284877390019183\ , c_0101_0 + 613573350970619517419142552714/33466195962338631328487739001\ 9183*c_1010_1^15 - 5679217170268071383671815465564/3346619596233863\ 13284877390019183*c_1010_1^14 - 10823099068458440774321601721219/33\ 4661959623386313284877390019183*c_1010_1^13 - 33099730612256611878756632074881/334661959623386313284877390019183*\ c_1010_1^12 - 123372112089539761451134389387238/3346619596233863132\ 84877390019183*c_1010_1^11 + 26754761887238213515816918651519/33466\ 1959623386313284877390019183*c_1010_1^10 - 196605777146084545986895474438387/334661959623386313284877390019183\ *c_1010_1^9 + 249366334697363478110304765828385/3346619596233863132\ 84877390019183*c_1010_1^8 + 609208270818341914784328755597607/33466\ 1959623386313284877390019183*c_1010_1^7 - 73820203200751595273058807862113/334661959623386313284877390019183*\ c_1010_1^6 + 2610444643710220963282217301100476/3346619596233863132\ 84877390019183*c_1010_1^5 + 873344319502944039169772592534182/33466\ 1959623386313284877390019183*c_1010_1^4 - 1270199756570992154164743410789194/33466195962338631328487739001918\ 3*c_1010_1^3 - 1585339118405365679060287736621113/33466195962338631\ 3284877390019183*c_1010_1^2 + 40065899068334478945471195310161/3346\ 61959623386313284877390019183*c_1010_1 + 318953516919517948448451369431460/334661959623386313284877390019183\ , c_0101_2 + 1091570556244537166403952773389/3346619596233863132848773900\ 19183*c_1010_1^15 - 11150495790170588005052101360271/33466195962338\ 6313284877390019183*c_1010_1^14 - 9966442341325162622128637129126/3\ 34661959623386313284877390019183*c_1010_1^13 - 36089959595700419046763632568191/334661959623386313284877390019183*\ c_1010_1^12 - 162143212903354058527530866047667/3346619596233863132\ 84877390019183*c_1010_1^11 + 275316661827001225656010033103338/3346\ 61959623386313284877390019183*c_1010_1^10 - 338519869036525191709960822240112/334661959623386313284877390019183\ *c_1010_1^9 + 669938953596086010041035099109183/3346619596233863132\ 84877390019183*c_1010_1^8 + 933224032823395562064239565684603/33466\ 1959623386313284877390019183*c_1010_1^7 - 1596677836907368159617076211911052/33466195962338631328487739001918\ 3*c_1010_1^6 + 4859866703776231002478328029514467/33466195962338631\ 3284877390019183*c_1010_1^5 - 2495385637756963576613194252883990/33\ 4661959623386313284877390019183*c_1010_1^4 - 6132254498927667361827553419956581/33466195962338631328487739001918\ 3*c_1010_1^3 + 1635447622333979681008334999156469/33466195962338631\ 3284877390019183*c_1010_1^2 + 1828441782017809264879521495768948/33\ 4661959623386313284877390019183*c_1010_1 - 128503634556342106463333705888206/334661959623386313284877390019183\ , c_0101_6 + 3390752678362035862845293860666/3346619596233863132848773900\ 19183*c_1010_1^15 - 33899385006420632791774441723640/33466195962338\ 6313284877390019183*c_1010_1^14 - 37037327345224188672600984904347/\ 334661959623386313284877390019183*c_1010_1^13 - 132147088329912684514042449298058/334661959623386313284877390019183\ *c_1010_1^12 - 555323084840170365900566209232170/334661959623386313\ 284877390019183*c_1010_1^11 + 666500305484712619994721751726408/334\ 661959623386313284877390019183*c_1010_1^10 - 1172217901920231864316647292214029/33466195962338631328487739001918\ 3*c_1010_1^9 + 1884506466097332261778231145509218/33466195962338631\ 3284877390019183*c_1010_1^8 + 2881741566080359004368533516235080/33\ 4661959623386313284877390019183*c_1010_1^7 - 3935475412818994754270610256546124/33466195962338631328487739001918\ 3*c_1010_1^6 + 15691303981017228372658261912394674/3346619596233863\ 13284877390019183*c_1010_1^5 - 4982382078029838748014788324370093/3\ 34661959623386313284877390019183*c_1010_1^4 - 14169683337615199742109844808601398/3346619596233863132848773900191\ 83*c_1010_1^3 + 3974352752849085655144614560900375/3346619596233863\ 13284877390019183*c_1010_1^2 + 2866091003759221435598316298232289/3\ 34661959623386313284877390019183*c_1010_1 + 18938182642439254554814767404633/334661959623386313284877390019183, c_1010_1^16 - 10*c_1010_1^15 - 11*c_1010_1^14 - 38*c_1010_1^13 - 162*c_1010_1^12 + 202*c_1010_1^11 - 326*c_1010_1^10 + 550*c_1010_1^9 + 883*c_1010_1^8 - 1193*c_1010_1^7 + 4523*c_1010_1^6 - 1412*c_1010_1^5 - 4645*c_1010_1^4 + 1061*c_1010_1^3 + 1130*c_1010_1^2 - 105*c_1010_1 - 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB