Magma V2.19-8 Tue Aug 20 2013 16:18:55 on localhost [Seed = 1528481325] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3083 geometric_solution 6.25024424 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395263028544 0.669384470626 0 3 5 4 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672046885213 0.974004409993 3 0 4 5 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672046885213 0.974004409993 3 1 2 3 3201 0132 3201 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 -0.081629377892 0.954968514182 2 6 1 6 2310 0132 0132 2310 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 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 1.104319128243 0.712937966347 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 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670569222874 0.660981847243 4 4 6 6 3201 0132 2031 1302 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 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.549364618711 0.226872717965 ==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_2'], '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_0'], 'c_1100_3' : 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_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_3'], '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_3']), 'c_0110_2' : negation(d['c_0101_3']), '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_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], '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_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 8*c_0110_6^7 + 58*c_0110_6^6 - 127*c_0110_6^5 + 28*c_0110_6^4 + 181*c_0110_6^3 - 109*c_0110_6^2 - 53*c_0110_6 + 18, c_0011_0 - 1, c_0011_4 - c_0110_6^6 + 5*c_0110_6^5 - 5*c_0110_6^4 - 6*c_0110_6^3 + 7*c_0110_6^2 + 2*c_0110_6 - 1, c_0101_0 + c_0110_6^5 - 4*c_0110_6^4 + 2*c_0110_6^3 + 5*c_0110_6^2 - 2*c_0110_6 - 1, c_0101_1 - c_0110_6^2 + c_0110_6 + 1, c_0101_2 - c_0110_6^3 + 2*c_0110_6^2 + c_0110_6 - 1, c_0101_3 - c_0110_6^4 + 3*c_0110_6^3 - 3*c_0110_6, c_0110_6^8 - 7*c_0110_6^7 + 14*c_0110_6^6 + c_0110_6^5 - 25*c_0110_6^4 + 9*c_0110_6^3 + 12*c_0110_6^2 - 3*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_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 2012575517074201173762798647212524745208/89751523483762888568079851\ 295729836411*c_0110_6^22 - 2193576248800383915425067679338866820228\ 1/89751523483762888568079851295729836411*c_0110_6^21 + 108797041619765958892620267321628154321541/897515234837628885680798\ 51295729836411*c_0110_6^20 - 25532297506062370868621953045460452759\ 2148/89751523483762888568079851295729836411*c_0110_6^19 + 474537357879605678741943826322462262511163/897515234837628885680798\ 51295729836411*c_0110_6^18 - 24270843231894988887128120895646039954\ 9460/89751523483762888568079851295729836411*c_0110_6^17 - 740107254382276838389428177546560658679890/897515234837628885680798\ 51295729836411*c_0110_6^16 + 30156209420673293723290942759166369886\ 16490/89751523483762888568079851295729836411*c_0110_6^15 - 7458497795419018658122533430847814584854643/89751523483762888568079\ 851295729836411*c_0110_6^14 + 1181863933586681838456279376486125872\ 9845150/89751523483762888568079851295729836411*c_0110_6^13 - 14232981564173933886864762471942098540782496/8975152348376288856807\ 9851295729836411*c_0110_6^12 + 131224991130673868036431993358754007\ 15967038/89751523483762888568079851295729836411*c_0110_6^11 - 7249031756628775016895656439474932887430383/89751523483762888568079\ 851295729836411*c_0110_6^10 + 2353235268886888031054675301962430032\ 581450/89751523483762888568079851295729836411*c_0110_6^9 - 1730879403765336862734885669800917376253574/89751523483762888568079\ 851295729836411*c_0110_6^8 + 13104377720543225016415116910008794104\ 79967/89751523483762888568079851295729836411*c_0110_6^7 - 368905508421088263286666802780158520361335/897515234837628885680798\ 51295729836411*c_0110_6^6 + 220711301467409124932026223625805462108\ 56/4723764393882257293056834278722622969*c_0110_6^5 - 17601258160793288840992415968654401639372/4723764393882257293056834\ 278722622969*c_0110_6^4 + 12089318977530161031669377819633407195954\ 4/89751523483762888568079851295729836411*c_0110_6^3 - 99176108934995216656704064444479474716714/8975152348376288856807985\ 1295729836411*c_0110_6^2 + 6533966401939149010999379427405858591526\ /89751523483762888568079851295729836411*c_0110_6 - 16185446604188203089143179940128981640745/8975152348376288856807985\ 1295729836411, c_0011_0 - 1, c_0011_4 + 1906230309143729963193390070040911765/4723764393882257293056\ 834278722622969*c_0110_6^22 + 2184463555397268943366828579551919513\ 7/4723764393882257293056834278722622969*c_0110_6^21 - 91734124241971739274981039393156797909/4723764393882257293056834278\ 722622969*c_0110_6^20 + 180761754557377477087098568203142773898/472\ 3764393882257293056834278722622969*c_0110_6^19 - 293538619292388556012029922989931362317/472376439388225729305683427\ 8722622969*c_0110_6^18 - 69972051713321778034416591525905939212/472\ 3764393882257293056834278722622969*c_0110_6^17 + 913288844268521164900387451332402577920/472376439388225729305683427\ 8722622969*c_0110_6^16 - 2507794920293981000264260183938983688607/4\ 723764393882257293056834278722622969*c_0110_6^15 + 5286279370494893678971711070145349356819/47237643938822572930568342\ 78722622969*c_0110_6^14 - 6651469120164805595441620967238439793324/\ 4723764393882257293056834278722622969*c_0110_6^13 + 5831276472390779325600241001800540947136/47237643938822572930568342\ 78722622969*c_0110_6^12 - 2748932726797352087277247764766815437658/\ 4723764393882257293056834278722622969*c_0110_6^11 - 2315207990807289373925049258523985547824/47237643938822572930568342\ 78722622969*c_0110_6^10 + 3287539114878186165382500586446223167301/\ 4723764393882257293056834278722622969*c_0110_6^9 + 116382123332059348211652016673649237205/472376439388225729305683427\ 8722622969*c_0110_6^8 - 1061994575065387623228532908600365215141/47\ 23764393882257293056834278722622969*c_0110_6^7 - 79516416977808854056080389421232292620/4723764393882257293056834278\ 722622969*c_0110_6^6 + 61021234591954344381834322617243090087/47237\ 64393882257293056834278722622969*c_0110_6^5 + 23130387548606668357212927393179058418/4723764393882257293056834278\ 722622969*c_0110_6^4 + 57286407354206533536596209387983604082/47237\ 64393882257293056834278722622969*c_0110_6^3 - 6971611326263278204315503907626177314/47237643938822572930568342787\ 22622969*c_0110_6^2 + 33665750503836761585095084269304110670/472376\ 4393882257293056834278722622969*c_0110_6 + 7338501716635940196886823379725290437/47237643938822572930568342787\ 22622969, c_0101_0 + 174529385038544853634586447211185134/47237643938822572930568\ 34278722622969*c_0110_6^22 + 2028009637251411847541500421292073354/\ 4723764393882257293056834278722622969*c_0110_6^21 - 8521778374402741353416686369819363916/47237643938822572930568342787\ 22622969*c_0110_6^20 + 10011800790645342050201480272244579127/47237\ 64393882257293056834278722622969*c_0110_6^19 - 4539375573532763993087740742796853596/47237643938822572930568342787\ 22622969*c_0110_6^18 - 52030354429982227186676769626231647770/47237\ 64393882257293056834278722622969*c_0110_6^17 + 156043457904916252800997864178257011034/472376439388225729305683427\ 8722622969*c_0110_6^16 - 212973402749536648752461412419277974300/47\ 23764393882257293056834278722622969*c_0110_6^15 + 290156955486312495713990944671092864950/472376439388225729305683427\ 8722622969*c_0110_6^14 + 23205278526381324582988007067774715988/472\ 3764393882257293056834278722622969*c_0110_6^13 - 786325905658392216349793470481032024685/472376439388225729305683427\ 8722622969*c_0110_6^12 + 1508597059040792507007067235450845897406/4\ 723764393882257293056834278722622969*c_0110_6^11 - 2121279896702927717855181533694192939817/47237643938822572930568342\ 78722622969*c_0110_6^10 + 1658992616415867004592549189185880077755/\ 4723764393882257293056834278722622969*c_0110_6^9 - 346427006872138563359780672674439365931/472376439388225729305683427\ 8722622969*c_0110_6^8 - 91777147637918104754200641524936918898/4723\ 764393882257293056834278722622969*c_0110_6^7 - 147023318049028022805745980506834245104/472376439388225729305683427\ 8722622969*c_0110_6^6 + 97156258564484434178673238062659966158/4723\ 764393882257293056834278722622969*c_0110_6^5 - 33015327192610150221482309731230349864/4723764393882257293056834278\ 722622969*c_0110_6^4 + 44416033496506227214796256018931285271/47237\ 64393882257293056834278722622969*c_0110_6^3 - 220890792648810562016898752505922638/472376439388225729305683427872\ 2622969*c_0110_6^2 + 21590673284008477543422484977189702623/4723764\ 393882257293056834278722622969*c_0110_6 + 1830496139764584686882059916682383698/47237643938822572930568342787\ 22622969, c_0101_1 - 3161079956563009661168874942495397381/4723764393882257293056\ 834278722622969*c_0110_6^22 - 3384690823626865649952880786055485952\ 0/4723764393882257293056834278722622969*c_0110_6^21 + 177761418422988091590549279485266512025/472376439388225729305683427\ 8722622969*c_0110_6^20 - 431720300569255871028661130099701399686/47\ 23764393882257293056834278722622969*c_0110_6^19 + 799255942837662983007153078843722511261/472376439388225729305683427\ 8722622969*c_0110_6^18 - 454109528464172558359741454775480201093/47\ 23764393882257293056834278722622969*c_0110_6^17 - 1231117765076682491931113576807877838152/47237643938822572930568342\ 78722622969*c_0110_6^16 + 5133039604296424211958511813656068572210/\ 4723764393882257293056834278722622969*c_0110_6^15 - 12544760037870206241785960613641437713251/4723764393882257293056834\ 278722622969*c_0110_6^14 + 2012247417037302138949915928804279142857\ 7/4723764393882257293056834278722622969*c_0110_6^13 - 23903483758809540406087626578977980114470/4723764393882257293056834\ 278722622969*c_0110_6^12 + 2101293421089211472441941890438926046559\ 3/4723764393882257293056834278722622969*c_0110_6^11 - 10142971420020674102599197639154660373515/4723764393882257293056834\ 278722622969*c_0110_6^10 + 464106114455033509084355403178686083578/\ 4723764393882257293056834278722622969*c_0110_6^9 + 350697508557205394250181510079731554151/472376439388225729305683427\ 8722622969*c_0110_6^8 + 1434232931431637080502003135894921279976/47\ 23764393882257293056834278722622969*c_0110_6^7 - 951641951680369122888642506476894394692/472376439388225729305683427\ 8722622969*c_0110_6^6 + 501540323623476762916086365496996595440/472\ 3764393882257293056834278722622969*c_0110_6^5 - 363722181833584958505855137747567733232/472376439388225729305683427\ 8722622969*c_0110_6^4 + 126226035013956692867641193468564402891/472\ 3764393882257293056834278722622969*c_0110_6^3 - 52920572103408924466091903000291799496/4723764393882257293056834278\ 722622969*c_0110_6^2 - 6742943983633068893661475420393938095/472376\ 4393882257293056834278722622969*c_0110_6 + 3278108366272653392426180139840927724/47237643938822572930568342787\ 22622969, c_0101_2 + 1568473536916602780491435122770393850/4723764393882257293056\ 834278722622969*c_0110_6^22 + 1792252366622596457845117074053275614\ 5/4723764393882257293056834278722622969*c_0110_6^21 - 76087438536676879962724298032252544964/4723764393882257293056834278\ 722622969*c_0110_6^20 + 150937911611456952358105125780897132049/472\ 3764393882257293056834278722622969*c_0110_6^19 - 246674338392858476844744755753018397349/472376439388225729305683427\ 8722622969*c_0110_6^18 - 47632593214300385585332682755019408010/472\ 3764393882257293056834278722622969*c_0110_6^17 + 749208600287575542825475458827044793872/472376439388225729305683427\ 8722622969*c_0110_6^16 - 2076634931287018665653978739236217517303/4\ 723764393882257293056834278722622969*c_0110_6^15 + 4416749695584896230308023667923142460180/47237643938822572930568342\ 78722622969*c_0110_6^14 - 5628177398457879684500250272175459704803/\ 4723764393882257293056834278722622969*c_0110_6^13 + 5031830911785276616059686504669386415552/47237643938822572930568342\ 78722622969*c_0110_6^12 - 2558996003343954803197108665285695029418/\ 4723764393882257293056834278722622969*c_0110_6^11 - 1653146483608326131798308764854374775167/47237643938822572930568342\ 78722622969*c_0110_6^10 + 2586589885962586137107236569336440312970/\ 4723764393882257293056834278722622969*c_0110_6^9 + 105614040021554160221900793916077253274/472376439388225729305683427\ 8722622969*c_0110_6^8 - 820593248236746050007361479934553596559/472\ 3764393882257293056834278722622969*c_0110_6^7 - 118594518797328892034343647659394259675/472376439388225729305683427\ 8722622969*c_0110_6^6 + 36344358901038039752707375167160885491/4723\ 764393882257293056834278722622969*c_0110_6^5 + 46682830496012211674204412576576530053/4723764393882257293056834278\ 722622969*c_0110_6^4 + 43075203991050988419696919694658531238/47237\ 64393882257293056834278722622969*c_0110_6^3 - 1057835690920023160780360334218797942/47237643938822572930568342787\ 22622969*c_0110_6^2 + 27108687909740925547081336917504024628/472376\ 4393882257293056834278722622969*c_0110_6 + 6446219366944874652009036839923846116/47237643938822572930568342787\ 22622969, c_0101_3 + 434085465998614791466933928442287095/47237643938822572930568\ 34278722622969*c_0110_6^22 + 5274565379277495937415499878199733067/\ 4723764393882257293056834278722622969*c_0110_6^21 - 17774982735565689698735302385718134853/4723764393882257293056834278\ 722622969*c_0110_6^20 + 23153579818637761208298635619390464370/4723\ 764393882257293056834278722622969*c_0110_6^19 - 21217129847858381617664099164084654553/4723764393882257293056834278\ 722622969*c_0110_6^18 - 102650397799054547205312241720608898136/472\ 3764393882257293056834278722622969*c_0110_6^17 + 272018983778955752227839674457139515395/472376439388225729305683427\ 8722622969*c_0110_6^16 - 462287050125842404866624223946322912061/47\ 23764393882257293056834278722622969*c_0110_6^15 + 689161502867302966589332288686586180434/472376439388225729305683427\ 8722622969*c_0110_6^14 - 191280330325663234531458886518280113539/47\ 23764393882257293056834278722622969*c_0110_6^13 - 906751792153336873582820472335831795319/472376439388225729305683427\ 8722622969*c_0110_6^12 + 2148151866937328552897182445507288487782/4\ 723764393882257293056834278722622969*c_0110_6^11 - 3169935405712506188922297768851178552747/47237643938822572930568342\ 78722622969*c_0110_6^10 + 2312679363544310787228309546209281941384/\ 4723764393882257293056834278722622969*c_0110_6^9 - 371789115383989577557902694131337075499/472376439388225729305683427\ 8722622969*c_0110_6^8 - 133955417198202744449377067782678649438/472\ 3764393882257293056834278722622969*c_0110_6^7 - 172547044807443763663314926144610756741/472376439388225729305683427\ 8722622969*c_0110_6^6 + 75313144990500171527403985325545232928/4723\ 764393882257293056834278722622969*c_0110_6^5 - 52259260141874134295162021014803871676/4723764393882257293056834278\ 722622969*c_0110_6^4 + 85999017742466325911325884288156184420/47237\ 64393882257293056834278722622969*c_0110_6^3 - 26995747111589601308243295366170886876/4723764393882257293056834278\ 722622969*c_0110_6^2 + 19891771167772236841615618529070510563/47237\ 64393882257293056834278722622969*c_0110_6 - 128084403823695005765587322627415063/472376439388225729305683427872\ 2622969, c_0110_6^23 + 11*c_0110_6^22 - 53*c_0110_6^21 + 121*c_0110_6^20 - 221*c_0110_6^19 + 92*c_0110_6^18 + 389*c_0110_6^17 - 1466*c_0110_6^16 + 3542*c_0110_6^15 - 5441*c_0110_6^14 + 6339*c_0110_6^13 - 5582*c_0110_6^12 + 2669*c_0110_6^11 - 559*c_0110_6^10 + 610*c_0110_6^9 - 536*c_0110_6^8 + 112*c_0110_6^7 - 176*c_0110_6^6 + 133*c_0110_6^5 - 35*c_0110_6^4 + 39*c_0110_6^3 + 4*c_0110_6^2 + 7*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB