Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 3970789432] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1402 geometric_solution 5.24714959 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 -1 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 0 0 0 0 0 1 -1 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.585663490903 0.796735233053 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 1 -1 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 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.989979071283 0.903033569954 3 0 4 1 2310 0132 3201 3012 0 0 0 0 0 1 0 -1 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 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.989979071283 0.903033569954 3 1 2 3 3201 0132 3201 2310 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 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.266369912107 0.701624106662 2 5 1 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 -1 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 1.421323456974 0.373783103248 4 4 6 6 3201 0132 2310 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387656010546 0.479757001689 6 5 5 6 3201 3201 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 0 0 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.148961341606 0.548776129515 ==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_6'], 'c_1100_5' : d['c_0011_6'], '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' : 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_2'], '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_6'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), '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' : negation(d['c_0011_4']), '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' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(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_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 13728953739581309625271351/2023129299985088475158224*c_0101_6^19 + 4088001422861225546458979/126445581249068029697389*c_0101_6^18 + 80752347111539905793099665/2023129299985088475158224*c_0101_6^17 + 16578583592205351523374553/252891162498136059394778*c_0101_6^16 + 33768839912639368503529319/505782324996272118789556*c_0101_6^15 - 495761384937740137792841027/1011564649992544237579112*c_0101_6^14 - 875234895685688983703446505/2023129299985088475158224*c_0101_6^13 + 504018369898309912846744839/2023129299985088475158224*c_0101_6^12 - 409783942162781359509075181/1011564649992544237579112*c_0101_6^11 + 4935255444595451711979790433/2023129299985088475158224*c_0101_6^10 + 1216804341791042906800272811/505782324996272118789556*c_0101_6^9 - 5502081403888051118889104855/2023129299985088475158224*c_0101_6^8 - 1293421578588834633327464391/1011564649992544237579112*c_0101_6^7 - 628521421168526491183451651/1011564649992544237579112*c_0101_6^6 + 147792071059181761426842123/1011564649992544237579112*c_0101_6^5 + 1988481376742081855257507279/1011564649992544237579112*c_0101_6^4 + 454737143941210005961956567/2023129299985088475158224*c_0101_6^3 - 370200911573302449396192793/2023129299985088475158224*c_0101_6^2 + 153445069040702469102751817/2023129299985088475158224*c_0101_6 + 59655050190093682730266347/2023129299985088475158224, c_0011_0 - 1, c_0011_4 + 439146742664562107427627/252891162498136059394778*c_0101_6^1\ 9 + 1019208754043229928901994/126445581249068029697389*c_0101_6^18 + 2349435694342562585094503/252891162498136059394778*c_0101_6^17 + 2006648795761072324389481/126445581249068029697389*c_0101_6^16 + 1926640221043474055438081/126445581249068029697389*c_0101_6^15 - 16040938548495391392785076/126445581249068029697389*c_0101_6^14 - 24050959264793783749123529/252891162498136059394778*c_0101_6^13 + 17843498009962070600611175/252891162498136059394778*c_0101_6^12 - 14047946362196646815692784/126445581249068029697389*c_0101_6^11 + 161932167920144370090664213/252891162498136059394778*c_0101_6^10 + 67216285463584167918196305/126445581249068029697389*c_0101_6^9 - 185193516428612147915442747/252891162498136059394778*c_0101_6^8 - 31065281537606150364538382/126445581249068029697389*c_0101_6^7 - 19366985431195433534551404/126445581249068029697389*c_0101_6^6 + 8409896206622190988341436/126445581249068029697389*c_0101_6^5 + 61081469252876609090632809/126445581249068029697389*c_0101_6^4 + 3909267838576999818169029/252891162498136059394778*c_0101_6^3 - 11410919926551363952087223/252891162498136059394778*c_0101_6^2 + 5634317056352060682272633/252891162498136059394778*c_0101_6 + 1268472552788407396795607/252891162498136059394778, c_0011_6 + 245465696629065219933941/252891162498136059394778*c_0101_6^1\ 9 + 567833996554016912519035/126445581249068029697389*c_0101_6^18 + 1295070215263848589965631/252891162498136059394778*c_0101_6^17 + 1109719864219828783862916/126445581249068029697389*c_0101_6^16 + 1057452265924636751147112/126445581249068029697389*c_0101_6^15 - 8987474648169976482850705/126445581249068029697389*c_0101_6^14 - 13176682756589643499220263/252891162498136059394778*c_0101_6^13 + 10236484215814163476826939/252891162498136059394778*c_0101_6^12 - 7908798906451811037376890/126445581249068029697389*c_0101_6^11 + 90770027725733439076904311/252891162498136059394778*c_0101_6^10 + 36875055654897252302388404/126445581249068029697389*c_0101_6^9 - 104998456657892594702968429/252891162498136059394778*c_0101_6^8 - 16635643139103138358648050/126445581249068029697389*c_0101_6^7 - 10570821281073848204204018/126445581249068029697389*c_0101_6^6 + 5134169790727650426043848/126445581249068029697389*c_0101_6^5 + 34207494013159312301138875/126445581249068029697389*c_0101_6^4 + 733223586039944897144737/252891162498136059394778*c_0101_6^3 - 6488249337393021924210293/252891162498136059394778*c_0101_6^2 + 3027688172376282769627955/252891162498136059394778*c_0101_6 + 659569943806313928623673/252891162498136059394778, c_0101_0 - 346095223919316288941038/126445581249068029697389*c_0101_6^1\ 9 - 1581597209379231406320811/126445581249068029697389*c_0101_6^18 - 1736230850218512646407553/126445581249068029697389*c_0101_6^17 - 3031614872553067855008184/126445581249068029697389*c_0101_6^16 - 2814498563940116775045860/126445581249068029697389*c_0101_6^15 + 25497448188517006806793122/126445581249068029697389*c_0101_6^14 + 17126795989740197184676513/126445581249068029697389*c_0101_6^13 - 15415267180347994520947033/126445581249068029697389*c_0101_6^12 + 23242525238181027044622436/126445581249068029697389*c_0101_6^11 - 129201285450222452529880895/126445581249068029697389*c_0101_6^10 - 96789650165590413605014550/126445581249068029697389*c_0101_6^9 + 153554302516731592683797324/126445581249068029697389*c_0101_6^8 + 38010296458173894074204477/126445581249068029697389*c_0101_6^7 + 27027576940628655515491976/126445581249068029697389*c_0101_6^6 - 15116151312086855698404514/126445581249068029697389*c_0101_6^5 - 95141385627843680717957743/126445581249068029697389*c_0101_6^4 + 3860199112839604766230920/126445581249068029697389*c_0101_6^3 + 8895771188558891257806770/126445581249068029697389*c_0101_6^2 - 4901271209672852346335508/126445581249068029697389*c_0101_6 - 618274220984050853329978/126445581249068029697389, c_0101_1 + 1571458105655479010202763/505782324996272118789556*c_0101_6^\ 19 + 1831737855863556533959246/126445581249068029697389*c_0101_6^18 + 8541796357392567284068185/505782324996272118789556*c_0101_6^17 + 3618570055547626065072854/126445581249068029697389*c_0101_6^16 + 3518230259906451815207846/126445581249068029697389*c_0101_6^15 - 57292445520578502038556997/252891162498136059394778*c_0101_6^14 - 88439523727932696299131577/505782324996272118789556*c_0101_6^13 + 63436196039573515747363915/505782324996272118789556*c_0101_6^12 - 49750266527763007979788979/252891162498136059394778*c_0101_6^11 + 575879582685186975215811225/505782324996272118789556*c_0101_6^10 + 123678140830098741465245390/126445581249068029697389*c_0101_6^9 - 659974787260312213675498675/505782324996272118789556*c_0101_6^8 - 117545661816851847260079651/252891162498136059394778*c_0101_6^7 - 65905002544860090591649577/252891162498136059394778*c_0101_6^6 + 26838754237824763532649653/252891162498136059394778*c_0101_6^5 + 218767281558847596233458359/252891162498136059394778*c_0101_6^4 + 21118520161875965411264339/505782324996272118789556*c_0101_6^3 - 43549076375230874989262361/505782324996272118789556*c_0101_6^2 + 22112293975123147650969529/505782324996272118789556*c_0101_6 + 5086029309422794829427767/505782324996272118789556, c_0101_2 + 34284245413740178781551/126445581249068029697389*c_0101_6^19 + 157226428862177719607760/126445581249068029697389*c_0101_6^18 + 173848611933828922079357/126445581249068029697389*c_0101_6^17 + 301274608913212684276157/126445581249068029697389*c_0101_6^16 + 285572603725157827927034/126445581249068029697389*c_0101_6^15 - 2522186119791046060024483/126445581249068029697389*c_0101_6^14 - 1731431427168648831028223/126445581249068029697389*c_0101_6^13 + 1556439151730112845555971/126445581249068029697389*c_0101_6^12 - 2337682723154270055165060/126445581249068029697389*c_0101_6^11 + 12700596517427259496544287/126445581249068029697389*c_0101_6^10 + 9860367860040849201704622/126445581249068029697389*c_0101_6^9 - 15412823793997465315324552/126445581249068029697389*c_0101_6^8 - 3650851075800538000838040/126445581249068029697389*c_0101_6^7 - 2289169777233355519760302/126445581249068029697389*c_0101_6^6 + 1140101659271341546972432/126445581249068029697389*c_0101_6^5 + 9574937007805487503368618/126445581249068029697389*c_0101_6^4 - 655448472544407383896796/126445581249068029697389*c_0101_6^3 - 1027340267730295428430186/126445581249068029697389*c_0101_6^2 + 778117692999436168068775/126445581249068029697389*c_0101_6 + 69235960761081850988202/126445581249068029697389, c_0101_6^20 + 5*c_0101_6^19 + 7*c_0101_6^18 + 11*c_0101_6^17 + 12*c_0101_6^16 - 70*c_0101_6^15 - 81*c_0101_6^14 + 22*c_0101_6^13 - 49*c_0101_6^12 + 345*c_0101_6^11 + 439*c_0101_6^10 - 317*c_0101_6^9 - 295*c_0101_6^8 - 132*c_0101_6^7 + 8*c_0101_6^6 + 292*c_0101_6^5 + 107*c_0101_6^4 - 26*c_0101_6^3 + 4*c_0101_6^2 + 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB