Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 2816883409] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3036 geometric_solution 6.20544112 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 1 1 -2 -1 0 2 -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.424225205827 0.457978522240 0 3 5 4 0132 0132 0132 0132 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 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.532074366802 0.763133131722 3 0 4 5 3201 0132 3201 2310 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 -1 1 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.532074366802 0.763133131722 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 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 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.266334830881 1.334138933517 2 6 1 6 2310 0132 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 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 1.240402376719 1.040461415319 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 0 0 0 0 0 0 0 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.004370742292 0.709457955896 4 4 6 6 3201 0132 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 1 0 -1 0 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.357866573148 0.356699906360 ==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_0110_6'], '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' : negation(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_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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_5'], '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_2']), 'c_0110_2' : negation(d['c_0101_5']), '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_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], '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_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 26/37*c_0110_6^8 - 456/37*c_0110_6^7 - 2167/37*c_0110_6^6 - 1882/37*c_0110_6^5 + 5999/37*c_0110_6^4 + 5542/37*c_0110_6^3 - 5035/37*c_0110_6^2 - 2591/37*c_0110_6 + 1049/37, c_0011_0 - 1, c_0011_4 + 26/37*c_0110_6^8 + 197/37*c_0110_6^7 + 317/37*c_0110_6^6 - 338/37*c_0110_6^5 - 597/37*c_0110_6^4 + 193/37*c_0110_6^3 + 188/37*c_0110_6^2 - 110/37*c_0110_6 - 13/37, c_0101_0 - 20/37*c_0110_6^8 - 180/37*c_0110_6^7 - 463/37*c_0110_6^6 - 110/37*c_0110_6^5 + 815/37*c_0110_6^4 + 620/37*c_0110_6^3 - 230/37*c_0110_6^2 - 200/37*c_0110_6 + 10/37, c_0101_1 + 56/37*c_0110_6^8 + 430/37*c_0110_6^7 + 697/37*c_0110_6^6 - 876/37*c_0110_6^5 - 1727/37*c_0110_6^4 + 521/37*c_0110_6^3 + 977/37*c_0110_6^2 - 106/37*c_0110_6 - 102/37, c_0101_2 - 25/37*c_0110_6^8 - 188/37*c_0110_6^7 - 292/37*c_0110_6^6 + 362/37*c_0110_6^5 + 621/37*c_0110_6^4 - 150/37*c_0110_6^3 - 232/37*c_0110_6^2 + 9/37*c_0110_6 - 6/37, c_0101_5 - 38/37*c_0110_6^8 - 305/37*c_0110_6^7 - 580/37*c_0110_6^6 + 383/37*c_0110_6^5 + 1271/37*c_0110_6^4 + 31/37*c_0110_6^3 - 659/37*c_0110_6^2 - 10/37*c_0110_6 + 93/37, c_0110_6^9 + 7*c_0110_6^8 + 7*c_0110_6^7 - 26*c_0110_6^6 - 24*c_0110_6^5 + 32*c_0110_6^4 + 18*c_0110_6^3 - 13*c_0110_6^2 - 2*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_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 174140984737668454845186022736374/7128954606504199547896507832031*c\ _0110_6^20 - 492541844590888780012055447945860/79210606738935550532\ 1834203559*c_0110_6^19 + 1369522161418567202033980149028576/2376318\ 202168066515965502610677*c_0110_6^18 - 18910266331782824545293092100551765/7128954606504199547896507832031\ *c_0110_6^17 - 7432732937981365638493935223919413/71289546065041995\ 47896507832031*c_0110_6^16 - 154608915667582977268918785015122/8801\ 1785265483945035759355951*c_0110_6^15 - 43715427873683741702268721505982941/7128954606504199547896507832031\ *c_0110_6^14 + 37188839602238226020929008855208747/7128954606504199\ 547896507832031*c_0110_6^13 - 48071923139638496199507529526209703/7\ 128954606504199547896507832031*c_0110_6^12 + 49782717020438965186350042403531354/7128954606504199547896507832031\ *c_0110_6^11 + 40215059627656325481639197175719800/7128954606504199\ 547896507832031*c_0110_6^10 - 7556154456508365881135559619184554/71\ 28954606504199547896507832031*c_0110_6^9 + 21271757908828437568550348636458156/7128954606504199547896507832031\ *c_0110_6^8 - 28755246793743457448235501552709561/71289546065041995\ 47896507832031*c_0110_6^7 - 24506699361495143955211482198361969/712\ 8954606504199547896507832031*c_0110_6^6 - 4257948843503337258103611703091356/7128954606504199547896507832031*\ c_0110_6^5 - 5371526411588110172585250388469603/7128954606504199547\ 896507832031*c_0110_6^4 + 3641316238274242357625455550540285/712895\ 4606504199547896507832031*c_0110_6^3 + 695870059334197532750413293981266/2376318202168066515965502610677*c\ _0110_6^2 - 361534325581149217872404437224611/712895460650419954789\ 6507832031*c_0110_6 - 427935902121333716258315847017777/71289546065\ 04199547896507832031, c_0011_0 - 1, c_0011_4 - 3323922285774710238242305114/29337261755161315011919785317*c\ _0110_6^20 + 83609980475387241860555382436/293372617551613150119197\ 85317*c_0110_6^19 - 53105146783124547180228393431/29337261755161315\ 011919785317*c_0110_6^18 + 341961312293089916664722451864/293372617\ 55161315011919785317*c_0110_6^17 + 261471316666694759278601634942/29337261755161315011919785317*c_0110\ _6^16 + 289557018551308213492652838731/2933726175516131501191978531\ 7*c_0110_6^15 + 967293577692056426783444275689/29337261755161315011\ 919785317*c_0110_6^14 - 404547952508674409787028988148/293372617551\ 61315011919785317*c_0110_6^13 + 739403916460104485983018178243/2933\ 7261755161315011919785317*c_0110_6^12 - 593048810305538586989574498520/29337261755161315011919785317*c_0110\ _6^11 - 1137092750542061172183736784908/293372617551613150119197853\ 17*c_0110_6^10 - 109879367300808772001971209638/2933726175516131501\ 1919785317*c_0110_6^9 - 438744703194632181108011182860/293372617551\ 61315011919785317*c_0110_6^8 + 187557279417110789318078398767/29337\ 261755161315011919785317*c_0110_6^7 + 730735928609481731827465048783/29337261755161315011919785317*c_0110\ _6^6 + 387513517326076906198403460546/29337261755161315011919785317\ *c_0110_6^5 + 130107364384955566191017833147/2933726175516131501191\ 9785317*c_0110_6^4 + 56426623524525659837259966290/2933726175516131\ 5011919785317*c_0110_6^3 - 75432580744425155031289638164/2933726175\ 5161315011919785317*c_0110_6^2 - 52631983686062487491116360234/2933\ 7261755161315011919785317*c_0110_6 + 10918395488900156358720590455/29337261755161315011919785317, c_0101_0 - 14233801955067310069993586355/29337261755161315011919785317*\ c_0110_6^20 + 356143679331598328175128302460/2933726175516131501191\ 9785317*c_0110_6^19 - 175849651556971183598667122222/29337261755161\ 315011919785317*c_0110_6^18 + 1337225796907136576108978083358/29337\ 261755161315011919785317*c_0110_6^17 + 1326372076492768626175967466492/29337261755161315011919785317*c_011\ 0_6^16 + 1063920883805552055615244294400/29337261755161315011919785\ 317*c_0110_6^15 + 3844822589077248917009617281476/29337261755161315\ 011919785317*c_0110_6^14 - 1550023587560621497819009841905/29337261\ 755161315011919785317*c_0110_6^13 + 2052090732950682967004992939244/29337261755161315011919785317*c_011\ 0_6^12 - 1865176467091068447020375433945/29337261755161315011919785\ 317*c_0110_6^11 - 5354093354642957158099205218443/29337261755161315\ 011919785317*c_0110_6^10 - 466911882624926555708652474478/293372617\ 55161315011919785317*c_0110_6^9 - 597930829623847768003321245090/29\ 337261755161315011919785317*c_0110_6^8 + 1300053014730969757831344659508/29337261755161315011919785317*c_011\ 0_6^7 + 2921153406518165613787990306296/293372617551613150119197853\ 17*c_0110_6^6 + 856838940595864308035496243962/29337261755161315011\ 919785317*c_0110_6^5 + 288740574704809944266883627428/2933726175516\ 1315011919785317*c_0110_6^4 - 42624395192133728713115463857/2933726\ 1755161315011919785317*c_0110_6^3 - 227731492162764793318132474412/29337261755161315011919785317*c_0110\ _6^2 + 29206605758664297884075514928/29337261755161315011919785317*\ c_0110_6 + 33831962470121988454894325989/29337261755161315011919785\ 317, c_0101_1 - 29537464551967039582691511280/29337261755161315011919785317*\ c_0110_6^20 + 747304318708916435528711565385/2933726175516131501191\ 9785317*c_0110_6^19 - 580651064146716071236933743806/29337261755161\ 315011919785317*c_0110_6^18 + 3115285136950405321789993410371/29337\ 261755161315011919785317*c_0110_6^17 + 1757023856584432391175346200839/29337261755161315011919785317*c_011\ 0_6^16 + 2368516003562164735644879679933/29337261755161315011919785\ 317*c_0110_6^15 + 7840794690139674405374617708133/29337261755161315\ 011919785317*c_0110_6^14 - 5125750172493754662757386118704/29337261\ 755161315011919785317*c_0110_6^13 + 7353365856241669140470655510274/29337261755161315011919785317*c_011\ 0_6^12 - 7162415777648438122167609012927/29337261755161315011919785\ 317*c_0110_6^11 - 8173258843918596425408627307946/29337261755161315\ 011919785317*c_0110_6^10 + 292511331551902546295034110020/293372617\ 55161315011919785317*c_0110_6^9 - 3763171749047422201123877068914/2\ 9337261755161315011919785317*c_0110_6^8 + 4194113698138206047047105015632/29337261755161315011919785317*c_011\ 0_6^7 + 5089411734268721401709007042121/293372617551613150119197853\ 17*c_0110_6^6 + 1166828496885598506550477440299/2933726175516131501\ 1919785317*c_0110_6^5 + 1221931986276581116888439860690/29337261755\ 161315011919785317*c_0110_6^4 - 314577109100199251801089693486/2933\ 7261755161315011919785317*c_0110_6^3 - 516427717725890749477400118383/29337261755161315011919785317*c_0110\ _6^2 + 45534854160803056279451989720/29337261755161315011919785317*\ c_0110_6 + 65820886507207666555524920044/29337261755161315011919785\ 317, c_0101_2 - 1684770153648532132031692943/29337261755161315011919785317*c\ _0110_6^20 + 42908681954726318068441978788/293372617551613150119197\ 85317*c_0110_6^19 - 40971650041075022365587816993/29337261755161315\ 011919785317*c_0110_6^18 + 201318283599625145188563493643/293372617\ 55161315011919785317*c_0110_6^17 + 32518366594112206735696797785/29337261755161315011919785317*c_0110_\ 6^16 + 226350257431487121973172231010/29337261755161315011919785317\ *c_0110_6^15 + 351881168234229770018673576017/293372617551613150119\ 19785317*c_0110_6^14 - 294909572306085131748352070209/2933726175516\ 1315011919785317*c_0110_6^13 + 618372957423315624680689529462/29337\ 261755161315011919785317*c_0110_6^12 - 789509167505334519423269864185/29337261755161315011919785317*c_0110\ _6^11 + 116648233018346108992522875467/2933726175516131501191978531\ 7*c_0110_6^10 - 416252967305972304120605628926/29337261755161315011\ 919785317*c_0110_6^9 - 10644195967973095905907916975/29337261755161\ 315011919785317*c_0110_6^8 + 373793702291516445731528460443/2933726\ 1755161315011919785317*c_0110_6^7 - 25022994532098498109946007761/29337261755161315011919785317*c_0110_\ 6^6 + 212239213526864070174327142182/29337261755161315011919785317*\ c_0110_6^5 + 1597191078175912559710779740/2933726175516131501191978\ 5317*c_0110_6^4 - 61865094095323270290759491356/2933726175516131501\ 1919785317*c_0110_6^3 + 27734135060800859898198839637/2933726175516\ 1315011919785317*c_0110_6^2 + 5949816048377857831652803734/29337261\ 755161315011919785317*c_0110_6 + 16087037756474027578499080307/2933\ 7261755161315011919785317, c_0101_5 + 10193045897317578246970275166/29337261755161315011919785317*\ c_0110_6^20 - 260529957788892301239425863733/2933726175516131501191\ 9785317*c_0110_6^19 + 266004593597480331821395159862/29337261755161\ 315011919785317*c_0110_6^18 - 1094245056606593163223982154173/29337\ 261755161315011919785317*c_0110_6^17 - 376618762611872065056469063776/29337261755161315011919785317*c_0110\ _6^16 - 516074308381483880311679093109/2933726175516131501191978531\ 7*c_0110_6^15 - 2496882431656610612191204459452/2933726175516131501\ 1919785317*c_0110_6^14 + 2469354090867608263776711893171/2933726175\ 5161315011919785317*c_0110_6^13 - 2687853383092701916310529244256/2\ 9337261755161315011919785317*c_0110_6^12 + 2687243788748111751744679645181/29337261755161315011919785317*c_011\ 0_6^11 + 2599679214841524505471130636936/29337261755161315011919785\ 317*c_0110_6^10 - 1153264573813972663003331814910/29337261755161315\ 011919785317*c_0110_6^9 + 986276086625953153125151320052/2933726175\ 5161315011919785317*c_0110_6^8 - 1359245335974863795949519858113/29\ 337261755161315011919785317*c_0110_6^7 - 1560707956686271976410644107598/29337261755161315011919785317*c_011\ 0_6^6 + 44806520830611190934315819452/29337261755161315011919785317\ *c_0110_6^5 - 85639396468198360164748763473/29337261755161315011919\ 785317*c_0110_6^4 + 114836382062548262350265328671/2933726175516131\ 5011919785317*c_0110_6^3 + 188645917095849458008128073549/293372617\ 55161315011919785317*c_0110_6^2 - 21237472084690976553519695723/293\ 37261755161315011919785317*c_0110_6 - 51409905729542499231045200438/29337261755161315011919785317, c_0110_6^21 - 25*c_0110_6^20 + 12*c_0110_6^19 - 98*c_0110_6^18 - 92*c_0110_6^17 - 92*c_0110_6^16 - 284*c_0110_6^15 + 99*c_0110_6^14 - 180*c_0110_6^13 + 162*c_0110_6^12 + 360*c_0110_6^11 + 64*c_0110_6^10 + 104*c_0110_6^9 - 110*c_0110_6^8 - 216*c_0110_6^7 - 90*c_0110_6^6 - 43*c_0110_6^5 + 7*c_0110_6^4 + 22*c_0110_6^3 + 4*c_0110_6^2 - 3*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB