Magma V2.19-8 Tue Aug 20 2013 16:18:26 on localhost [Seed = 206410041] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2628 geometric_solution 5.90683211 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493958245100 0.202357550830 2 0 3 0 0132 2310 0132 0132 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 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.772510208299 0.507810163822 1 4 3 5 0132 0132 3012 0132 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758928371396 1.077767424845 5 2 4 1 3201 1230 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 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.758928371396 1.077767424845 6 2 6 3 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944982749268 1.514588334850 5 5 2 3 1302 2031 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -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.488234292670 1.142655823462 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278379721309 0.281413970460 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 1/2, c_0011_0 - 1, c_0011_1 + 1, c_0011_3 - 1, c_0011_5 - 1, c_0101_0 - c_0101_3, c_0101_3^2 - 2, c_0101_4 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 42557127518834934143580862985720155621063/1477221576201065235562873\ 23684546999815*c_0101_4^20 - 54553994258640363633253081621860273581\ 7088/147722157620106523556287323684546999815*c_0101_4^19 + 752523303671377359815585970417556060544664/147722157620106523556287\ 323684546999815*c_0101_4^18 + 5241744863016935637990358559845005072\ 675153/147722157620106523556287323684546999815*c_0101_4^17 - 20032948844084375696110788960176174632641858/1477221576201065235562\ 87323684546999815*c_0101_4^16 + 77704247083331269407899154964903391\ 6365433/147722157620106523556287323684546999815*c_0101_4^15 + 104207510561705813724556457138871184874219124/147722157620106523556\ 287323684546999815*c_0101_4^14 - 1202205850959536448854507642174045\ 4019344351/147722157620106523556287323684546999815*c_0101_4^13 - 360404227788189237971290634895728541960507547/147722157620106523556\ 287323684546999815*c_0101_4^12 - 1116712781121923522954559340339067\ 62581283861/147722157620106523556287323684546999815*c_0101_4^11 + 130287842193558007896391842537150288244368609/295444315240213047112\ 57464736909399963*c_0101_4^10 + 41002188052319178120319697669703080\ 2284311856/147722157620106523556287323684546999815*c_0101_4^9 - 396619816459763687083622727740096700288966938/147722157620106523556\ 287323684546999815*c_0101_4^8 - 41116306628705252906815135021549812\ 4556582418/147722157620106523556287323684546999815*c_0101_4^7 + 9622884451877620173675884718581086383347798/14772215762010652355628\ 7323684546999815*c_0101_4^6 + 1291967430491425166621323751208209982\ 06271258/147722157620106523556287323684546999815*c_0101_4^5 + 34660127822052938881162747024091468756490569/1477221576201065235562\ 87323684546999815*c_0101_4^4 - 969011798758929618610942738771548311\ 7035648/147722157620106523556287323684546999815*c_0101_4^3 - 4737526576844527833497257717062362958113231/14772215762010652355628\ 7323684546999815*c_0101_4^2 + 6626231110034223302575116005554842784\ 1447/147722157620106523556287323684546999815*c_0101_4 + 206717684150949893068735588406485897650009/147722157620106523556287\ 323684546999815, c_0011_0 - 1, c_0011_1 - 1612512911888744468832256706964051055/2954443152402130471125\ 7464736909399963*c_0101_4^20 + 235073953669237159372084631773322514\ 13/29544431524021304711257464736909399963*c_0101_4^19 - 65587450980106761214095292524821454684/2954443152402130471125746473\ 6909399963*c_0101_4^18 - 138988768080515961848435806928463933743/29\ 544431524021304711257464736909399963*c_0101_4^17 + 1091400435519232517917067145805027965526/29544431524021304711257464\ 736909399963*c_0101_4^16 - 1445411114095132605614079667300495522710\ /29544431524021304711257464736909399963*c_0101_4^15 - 3520812856892518125335163579015973930584/29544431524021304711257464\ 736909399963*c_0101_4^14 + 7218153546410415163945308010021797124923\ /29544431524021304711257464736909399963*c_0101_4^13 + 11153328284302100768755561501368005932571/2954443152402130471125746\ 4736909399963*c_0101_4^12 - 187525099716379862816560241741885294666\ 28/29544431524021304711257464736909399963*c_0101_4^11 - 26391560397587357022021656790168478311688/2954443152402130471125746\ 4736909399963*c_0101_4^10 + 269121246760318216503099818719961443755\ 75/29544431524021304711257464736909399963*c_0101_4^9 + 31235963322363255364633199769164630909694/2954443152402130471125746\ 4736909399963*c_0101_4^8 - 1242865923828609519354817873187367478711\ 8/29544431524021304711257464736909399963*c_0101_4^7 - 19170169818431701531004028420817758848658/2954443152402130471125746\ 4736909399963*c_0101_4^6 - 999071804349878581764830675535343709950/\ 29544431524021304711257464736909399963*c_0101_4^5 + 4950144242311999845628167839226728424169/29544431524021304711257464\ 736909399963*c_0101_4^4 + 1094094963829416571448613900820026851640/\ 29544431524021304711257464736909399963*c_0101_4^3 - 280399757008376474021638978531973883750/295444315240213047112574647\ 36909399963*c_0101_4^2 - 107779598717982748742738071742117780228/29\ 544431524021304711257464736909399963*c_0101_4 + 1753995480650746803160876790771750786/29544431524021304711257464736\ 909399963, c_0011_3 - 7271780754681626505800675627851267048/2954443152402130471125\ 7464736909399963*c_0101_4^20 + 948625416297642624393951645795003893\ 58/29544431524021304711257464736909399963*c_0101_4^19 - 149305978058636280590220742742538298910/295444315240213047112574647\ 36909399963*c_0101_4^18 - 871242130058140386101421978206141020459/2\ 9544431524021304711257464736909399963*c_0101_4^17 + 3631107856720800656326149566771331403834/29544431524021304711257464\ 736909399963*c_0101_4^16 - 860987149062797765872674924332510962316/\ 29544431524021304711257464736909399963*c_0101_4^15 - 17936098604723283913512076501979789636440/2954443152402130471125746\ 4736909399963*c_0101_4^14 + 605181033275585110266601229453226044950\ 0/29544431524021304711257464736909399963*c_0101_4^13 + 61979445188885836415961070498479549971960/2954443152402130471125746\ 4736909399963*c_0101_4^12 + 533686511413918671556280746417535358415\ 3/29544431524021304711257464736909399963*c_0101_4^11 - 118621589963891534576573129757089776522801/295444315240213047112574\ 64736909399963*c_0101_4^10 - 46889677258878199454305431883918415957\ 874/29544431524021304711257464736909399963*c_0101_4^9 + 88426841254130296932350292579897968935479/2954443152402130471125746\ 4736909399963*c_0101_4^8 + 6027271812792650570336729002568466439461\ 5/29544431524021304711257464736909399963*c_0101_4^7 - 18936085490044779958863702587582464827670/2954443152402130471125746\ 4736909399963*c_0101_4^6 - 2619590519521304636095274091216617353000\ 0/29544431524021304711257464736909399963*c_0101_4^5 - 2293016247087813623446509881841900800416/29544431524021304711257464\ 736909399963*c_0101_4^4 + 3878328715746018816508477161395376468096/\ 29544431524021304711257464736909399963*c_0101_4^3 + 1003431103254330804456347740670899369240/29544431524021304711257464\ 736909399963*c_0101_4^2 - 144805106119852308885635204357791790996/2\ 9544431524021304711257464736909399963*c_0101_4 - 51224036255104736929376284690400797559/2954443152402130471125746473\ 6909399963, c_0011_5 - 1261606419384411237543250697269454377/2954443152402130471125\ 7464736909399963*c_0101_4^20 + 137001603404119063744489253937211401\ 21/29544431524021304711257464736909399963*c_0101_4^19 + 9703109130318592208001197481588236526/29544431524021304711257464736\ 909399963*c_0101_4^18 - 203562746540324321900745264583943610838/295\ 44431524021304711257464736909399963*c_0101_4^17 + 299915579981949643182495415342000754891/295444315240213047112574647\ 36909399963*c_0101_4^16 + 1171340267279807240509167257337991009796/\ 29544431524021304711257464736909399963*c_0101_4^15 - 3325806701343369926616546647466608655370/29544431524021304711257464\ 736909399963*c_0101_4^14 - 5500752878742976887379485089050298011679\ /29544431524021304711257464736909399963*c_0101_4^13 + 12070576781090388353332412506281281135616/2954443152402130471125746\ 4736909399963*c_0101_4^12 + 233138617583058831422787834403514204107\ 90/29544431524021304711257464736909399963*c_0101_4^11 - 15083546311233521205518886157826805424464/2954443152402130471125746\ 4736909399963*c_0101_4^10 - 480036910219271079837410899662827898679\ 63/29544431524021304711257464736909399963*c_0101_4^9 - 7303813679781638770392850730002665563054/29544431524021304711257464\ 736909399963*c_0101_4^8 + 33139467547617790315084628228705505617772\ /29544431524021304711257464736909399963*c_0101_4^7 + 19188092491955861662319459996319218011531/2954443152402130471125746\ 4736909399963*c_0101_4^6 - 4287807116179137448908175252954818072291\ /29544431524021304711257464736909399963*c_0101_4^5 - 6528767741257553521275478749542680228559/29544431524021304711257464\ 736909399963*c_0101_4^4 - 1150804285082593078785852737847803479405/\ 29544431524021304711257464736909399963*c_0101_4^3 + 358190139039114303944712275668040538568/295444315240213047112574647\ 36909399963*c_0101_4^2 + 112828171159584883995788817967670236486/29\ 544431524021304711257464736909399963*c_0101_4 - 22414133338101680539785409192865832646/2954443152402130471125746473\ 6909399963, c_0101_0 + 93209931384137465371907837214720593389/295444315240213047112\ 57464736909399963*c_0101_3*c_0101_4^20 - 1192314770842256645220713881810913991114/29544431524021304711257464\ 736909399963*c_0101_3*c_0101_4^19 + 1613347447729163735174192893514499438850/29544431524021304711257464\ 736909399963*c_0101_3*c_0101_4^18 + 11555146692218893845581028713383482518436/2954443152402130471125746\ 4736909399963*c_0101_3*c_0101_4^17 - 43613471668474468089794055421093590766622/2954443152402130471125746\ 4736909399963*c_0101_3*c_0101_4^16 + 249607023463237694071425180320183347554/295444315240213047112574647\ 36909399963*c_0101_3*c_0101_4^15 + 229423182924379931706394205739030227840953/295444315240213047112574\ 64736909399963*c_0101_3*c_0101_4^14 - 20577414992720733442477388741543139131070/2954443152402130471125746\ 4736909399963*c_0101_3*c_0101_4^13 - 795267284037104982190369713415008154523221/295444315240213047112574\ 64736909399963*c_0101_3*c_0101_4^12 - 263663658334226318086831579506856386817426/295444315240213047112574\ 64736909399963*c_0101_3*c_0101_4^11 + 1437354340454047349678112395068140758435788/29544431524021304711257\ 464736909399963*c_0101_3*c_0101_4^10 + 936655469329561768052434636880658865091609/295444315240213047112574\ 64736909399963*c_0101_3*c_0101_4^9 - 875156990109311500256366830309709309335051/295444315240213047112574\ 64736909399963*c_0101_3*c_0101_4^8 - 932542527068113146271428301688176142636924/295444315240213047112574\ 64736909399963*c_0101_3*c_0101_4^7 + 15385799378986342461274265240317967734789/2954443152402130471125746\ 4736909399963*c_0101_3*c_0101_4^6 + 292199869063508868839408462734603478690978/295444315240213047112574\ 64736909399963*c_0101_3*c_0101_4^5 + 80689572148979891762615025517933206515502/2954443152402130471125746\ 4736909399963*c_0101_3*c_0101_4^4 - 20835605346728780239390246501402903495617/2954443152402130471125746\ 4736909399963*c_0101_3*c_0101_4^3 - 10338773441537898186307476891100828667820/2954443152402130471125746\ 4736909399963*c_0101_3*c_0101_4^2 + 22530263378984364951456654766725212730/2954443152402130471125746473\ 6909399963*c_0101_3*c_0101_4 + 419687951979063331579383454957919993\ 677/29544431524021304711257464736909399963*c_0101_3, c_0101_3^2 + 2544727512370037842389125986799587698/29544431524021304711\ 257464736909399963*c_0101_4^20 - 3333719274233187183745015838554043\ 3584/29544431524021304711257464736909399963*c_0101_4^19 + 54512781346133374411434997907222192857/2954443152402130471125746473\ 6909399963*c_0101_4^18 + 296431569958081494782764589271750795411/29\ 544431524021304711257464736909399963*c_0101_4^17 - 1279322284170591925324357226483198264045/29544431524021304711257464\ 736909399963*c_0101_4^16 + 423393725587350845428536326218094949946/\ 29544431524021304711257464736909399963*c_0101_4^15 + 6052306711114852912979586410886788212158/29544431524021304711257464\ 736909399963*c_0101_4^14 - 2432092998360571381156201254804124205804\ /29544431524021304711257464736909399963*c_0101_4^13 - 20532724226363160175246835578676841831348/2954443152402130471125746\ 4736909399963*c_0101_4^12 - 899343773538195714252510509773795183193\ /29544431524021304711257464736909399963*c_0101_4^11 + 38065876487566267141222701514066485523010/2954443152402130471125746\ 4736909399963*c_0101_4^10 + 133451325649576354829393116053984844544\ 69/29544431524021304711257464736909399963*c_0101_4^9 - 25456151053435261757243980667436243260463/2954443152402130471125746\ 4736909399963*c_0101_4^8 - 1601286953695353986103046978858214688296\ 8/29544431524021304711257464736909399963*c_0101_4^7 + 3933605193117790748393042591067688467295/29544431524021304711257464\ 736909399963*c_0101_4^6 + 5427448064231068208402515824488087536449/\ 29544431524021304711257464736909399963*c_0101_4^5 + 478115031487916184354691838759759348630/295444315240213047112574647\ 36909399963*c_0101_4^4 - 401338225400032309184058231554277712875/29\ 544431524021304711257464736909399963*c_0101_4^3 - 100236233268562930670853632218854005926/295444315240213047112574647\ 36909399963*c_0101_4^2 + 9816560040094469147322160325592006061/2954\ 4431524021304711257464736909399963*c_0101_4 - 1612512911888744468832256706964051055/29544431524021304711257464736\ 909399963, c_0101_4^21 - 13*c_0101_4^20 + 20*c_0101_4^19 + 120*c_0101_4^18 - 493*c_0101_4^17 + 103*c_0101_4^16 + 2446*c_0101_4^15 - 723*c_0101_4^14 - 8425*c_0101_4^13 - 1104*c_0101_4^12 + 15809*c_0101_4^11 + 6917*c_0101_4^10 - 11095*c_0101_4^9 - 8079*c_0101_4^8 + 1958*c_0101_4^7 + 3059*c_0101_4^6 + 296*c_0101_4^5 - 382*c_0101_4^4 - 75*c_0101_4^3 + 23*c_0101_4^2 + 5*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB