Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 71669967] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1673 geometric_solution 5.40347895 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 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.485908689755 0.557754077911 0 3 2 4 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724563062862 0.837830952200 3 0 4 1 3201 0132 3201 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724563062862 0.837830952200 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.296091451483 1.007037296612 2 5 1 5 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.926453969127 0.596350269703 4 4 6 6 3201 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165872816244 0.491638343864 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 1 0 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.127696413779 0.809679085660 ==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' : negation(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_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' : 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_0101_2']), '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: 24 Groebner basis: [ t + 49086323718756672885/13074473937867165421*c_0101_6^23 - 100503213490014049412/13074473937867165421*c_0101_6^22 - 908372603007081406329/13074473937867165421*c_0101_6^21 + 1611827005443874806031/13074473937867165421*c_0101_6^20 + 4767133125466728831758/13074473937867165421*c_0101_6^19 - 6943504837128642830327/13074473937867165421*c_0101_6^18 + 118198410664305531686/13074473937867165421*c_0101_6^17 + 7014900791565815899058/13074473937867165421*c_0101_6^16 - 66820417483491344433102/13074473937867165421*c_0101_6^15 + 6076271782158271280503/13074473937867165421*c_0101_6^14 + 135591559543058121194168/13074473937867165421*c_0101_6^13 - 81541323493176141188119/13074473937867165421*c_0101_6^12 - 20976093436670447984385/13074473937867165421*c_0101_6^11 + 203317228815849145944252/13074473937867165421*c_0101_6^10 - 190646460597646665111899/13074473937867165421*c_0101_6^9 - 176177885565302773778394/13074473937867165421*c_0101_6^8 + 215525055767307278824610/13074473937867165421*c_0101_6^7 + 20882878806205249010924/13074473937867165421*c_0101_6^6 - 88489972610283863814755/13074473937867165421*c_0101_6^5 + 27583537618982659093163/13074473937867165421*c_0101_6^4 + 9820223964533568782104/13074473937867165421*c_0101_6^3 - 4645256298625767121462/13074473937867165421*c_0101_6^2 - 185863150066672920423/13074473937867165421*c_0101_6 + 218315636975299334554/13074473937867165421, c_0011_0 - 1, c_0011_4 - 4029450628260368947/13074473937867165421*c_0101_6^23 + 32536193412929865517/13074473937867165421*c_0101_6^22 - 55809504186096951886/13074473937867165421*c_0101_6^21 - 159801630511892530573/13074473937867165421*c_0101_6^20 + 568285479879787069961/13074473937867165421*c_0101_6^19 - 323265755287574596580/13074473937867165421*c_0101_6^18 - 831765256825827577215/13074473937867165421*c_0101_6^17 + 2999960511881173224864/13074473937867165421*c_0101_6^16 - 3493364158931367751967/13074473937867165421*c_0101_6^15 - 4688849206730812705239/13074473937867165421*c_0101_6^14 + 11034463683782782945428/13074473937867165421*c_0101_6^13 - 3904009151466333252130/13074473937867165421*c_0101_6^12 - 8257901982807617505585/13074473937867165421*c_0101_6^11 + 16906044311345523646538/13074473937867165421*c_0101_6^10 - 5088686765527792715209/13074473937867165421*c_0101_6^9 - 15351139455679390981053/13074473937867165421*c_0101_6^8 + 10309979313937969020111/13074473937867165421*c_0101_6^7 + 4214571129821162726676/13074473937867165421*c_0101_6^6 - 5109198289310893635036/13074473937867165421*c_0101_6^5 + 349966683770465751683/13074473937867165421*c_0101_6^4 + 918632430591081979685/13074473937867165421*c_0101_6^3 - 139622430565400602104/13074473937867165421*c_0101_6^2 - 61528346767327712437/13074473937867165421*c_0101_6 + 10128698269278886126/13074473937867165421, c_0011_6 + 6337620931514385437/13074473937867165421*c_0101_6^23 - 40467999716289642976/13074473937867165421*c_0101_6^22 + 29692826307564515359/13074473937867165421*c_0101_6^21 + 241494445678449295873/13074473937867165421*c_0101_6^20 - 465482878938211615555/13074473937867165421*c_0101_6^19 + 96316668214223482340/13074473937867165421*c_0101_6^18 + 928637855379358373013/13074473937867165421*c_0101_6^17 - 3119740172430618108361/13074473937867165421*c_0101_6^16 + 1520799147731623461089/13074473937867165421*c_0101_6^15 + 5632609851983002460998/13074473937867165421*c_0101_6^14 - 7251151894707654303710/13074473937867165421*c_0101_6^13 + 1455497098252058957001/13074473937867165421*c_0101_6^12 + 7996678759413318578814/13074473937867165421*c_0101_6^11 - 11968052727095452316085/13074473937867165421*c_0101_6^10 - 923345156270735123742/13074473937867165421*c_0101_6^9 + 10293514383637881907601/13074473937867165421*c_0101_6^8 - 3504520247377967758558/13074473937867165421*c_0101_6^7 - 2291837442218333014756/13074473937867165421*c_0101_6^6 + 1932229668231931539841/13074473937867165421*c_0101_6^5 - 416444926057437925664/13074473937867165421*c_0101_6^4 - 206499160119543946350/13074473937867165421*c_0101_6^3 + 105087931300900183963/13074473937867165421*c_0101_6^2 - 28084585588986816713/13074473937867165421*c_0101_6 - 4503787128297141468/13074473937867165421, c_0101_0 - 11457882328838651497/13074473937867165421*c_0101_6^23 + 46869934480325359053/13074473937867165421*c_0101_6^22 + 102297223688022917374/13074473937867165421*c_0101_6^21 - 497045663455607008323/13074473937867165421*c_0101_6^20 - 148667661948030998576/13074473937867165421*c_0101_6^19 + 1334571963687151288237/13074473937867165421*c_0101_6^18 - 1697780983379198447510/13074473937867165421*c_0101_6^17 + 1941503213531872903990/13074473937867165421*c_0101_6^16 + 8852035946391892235851/13074473937867165421*c_0101_6^15 - 12257348679733010467167/13074473937867165421*c_0101_6^14 - 8660617254766724776790/13074473937867165421*c_0101_6^13 + 19956527908208365396551/13074473937867165421*c_0101_6^12 - 16435785457496288501110/13074473937867165421*c_0101_6^11 - 11564465815508091353720/13074473937867165421*c_0101_6^10 + 39325272347974531836997/13074473937867165421*c_0101_6^9 - 6877223397882378804491/13074473937867165421*c_0101_6^8 - 27769557199682320824656/13074473937867165421*c_0101_6^7 + 13437452948141075334697/13074473937867165421*c_0101_6^6 + 6465953373622646688502/13074473937867165421*c_0101_6^5 - 6019421885604600457655/13074473937867165421*c_0101_6^4 + 299818542305175381959/13074473937867165421*c_0101_6^3 + 665753967047937928187/13074473937867165421*c_0101_6^2 - 100347554788137169080/13074473937867165421*c_0101_6 - 3567204340358477067/13074473937867165421, c_0101_1 - 7150256653801697161/13074473937867165421*c_0101_6^23 + 22118910760979625296/13074473937867165421*c_0101_6^22 + 101450606828801501275/13074473937867165421*c_0101_6^21 - 298381886884892843934/13074473937867165421*c_0101_6^20 - 373256633160370301182/13074473937867165421*c_0101_6^19 + 1061854595673280514329/13074473937867165421*c_0101_6^18 - 790679917342988877856/13074473937867165421*c_0101_6^17 + 226698837651921557661/13074473937867165421*c_0101_6^16 + 8029130513895331339627/13074473937867165421*c_0101_6^15 - 6191079801029864881845/13074473937867165421*c_0101_6^14 - 11716916587590499769291/13074473937867165421*c_0101_6^13 + 14529798522397803260314/13074473937867165421*c_0101_6^12 - 7246656567719856337958/13074473937867165421*c_0101_6^11 - 15994579609442247061524/13074473937867165421*c_0101_6^10 + 29648645167224235969819/13074473937867165421*c_0101_6^9 + 4804120282787135022959/13074473937867165421*c_0101_6^8 - 23618133441854377962062/13074473937867165421*c_0101_6^7 + 5388276466658684103651/13074473937867165421*c_0101_6^6 + 5982911821083494612945/13074473937867165421*c_0101_6^5 - 3792134249941478869366/13074473937867165421*c_0101_6^4 + 243737159202467545621/13074473937867165421*c_0101_6^3 + 421674672648294329630/13074473937867165421*c_0101_6^2 - 74384276398883106297/13074473937867165421*c_0101_6 + 1629573812011344416/13074473937867165421, c_0101_2 + 1495868092511866389/13074473937867165421*c_0101_6^23 - 8013789735296708879/13074473937867165421*c_0101_6^22 - 1519852015886245033/13074473937867165421*c_0101_6^21 + 56275460342632988902/13074473937867165421*c_0101_6^20 - 45063570319622406687/13074473937867165421*c_0101_6^19 - 52076459136954190634/13074473937867165421*c_0101_6^18 + 163915036704296845106/13074473937867165421*c_0101_6^17 - 440110927840135700464/13074473937867165421*c_0101_6^16 - 308454054439205114535/13074473937867165421*c_0101_6^15 + 1133510869898956465053/13074473937867165421*c_0101_6^14 + 29219010193617890148/13074473937867165421*c_0101_6^13 - 1053986985212447081516/13074473937867165421*c_0101_6^12 + 1175390152834086149016/13074473937867165421*c_0101_6^11 + 295500088891787898021/13074473937867165421*c_0101_6^10 - 2641994462706709889320/13074473937867165421*c_0101_6^9 + 722881915222992347756/13074473937867165421*c_0101_6^8 + 2568617440517898810000/13074473937867165421*c_0101_6^7 - 1330681539561107950782/13074473937867165421*c_0101_6^6 - 954167039894295876572/13074473937867165421*c_0101_6^5 + 741049622570285458723/13074473937867165421*c_0101_6^4 - 40010096752664688586/13074473937867165421*c_0101_6^3 - 106658822694011297979/13074473937867165421*c_0101_6^2 + 44231236968607835630/13074473937867165421*c_0101_6 + 2761561805326340398/13074473937867165421, c_0101_6^24 - 5*c_0101_6^23 - 4*c_0101_6^22 + 44*c_0101_6^21 - 22*c_0101_6^20 - 82*c_0101_6^19 + 172*c_0101_6^18 - 294*c_0101_6^17 - 437*c_0101_6^16 + 1194*c_0101_6^15 - 5*c_0101_6^14 - 1354*c_0101_6^13 + 1713*c_0101_6^12 - 105*c_0101_6^11 - 2733*c_0101_6^10 + 1586*c_0101_6^9 + 1566*c_0101_6^8 - 1453*c_0101_6^7 - 149*c_0101_6^6 + 520*c_0101_6^5 - 131*c_0101_6^4 - 56*c_0101_6^3 + 24*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB