Magma V2.19-8 Tue Aug 20 2013 16:15:56 on localhost [Seed = 3204391554] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0174 geometric_solution 3.97678775 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 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 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 -3.855756131136 3.192903627108 0 0 3 3 0132 3201 3201 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 0 -1 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.195820004700 0.287789468596 0 0 4 4 3201 0132 3201 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 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.105132323017 0.045686505117 1 5 1 6 2310 0132 0132 0132 0 0 0 0 0 -1 0 1 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 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 1.479813792369 0.918214376191 2 4 2 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8.911240542765 3.508626428447 6 3 6 6 3012 0132 2310 3120 0 0 0 0 0 1 0 -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 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.509019896206 0.840315662834 5 5 3 5 3120 3201 0132 1230 0 0 0 0 0 1 -1 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 -1 1 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.509019896206 0.840315662834 ==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' : negation(d['c_0011_3']), '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_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 406698836995032016669780315087440/279933421613062858485654698759*c_\ 0101_5^17 - 441974592389503838907903169739277/279933421613062858485\ 654698759*c_0101_5^16 - 1265626995414572304247672993889702/27993342\ 1613062858485654698759*c_0101_5^15 - 12157367942574522686225890176896048/279933421613062858485654698759*\ c_0101_5^14 - 39276191427865362137779362645020873/27993342161306285\ 8485654698759*c_0101_5^13 + 20537655706451174661568211529731115/279\ 933421613062858485654698759*c_0101_5^12 + 133739292660626969618783848007497256/279933421613062858485654698759\ *c_0101_5^11 - 85698915070413069953368839572377280/2799334216130628\ 58485654698759*c_0101_5^10 - 337453414757282738167378029859478291/2\ 79933421613062858485654698759*c_0101_5^9 - 83319378518653652829019579736620375/279933421613062858485654698759*\ c_0101_5^8 + 182053634120341427086592584334221642/27993342161306285\ 8485654698759*c_0101_5^7 + 130191501313268414478552401938935855/279\ 933421613062858485654698759*c_0101_5^6 + 10973438579082664642139587331287932/279933421613062858485654698759*\ c_0101_5^5 - 39113299100055787446678319258046198/279933421613062858\ 485654698759*c_0101_5^4 - 15633763180320252654941335298088085/27993\ 3421613062858485654698759*c_0101_5^3 + 4638052538400613785962954523132000/279933421613062858485654698759*c\ _0101_5^2 + 1549021806505417432090267548212189/27993342161306285848\ 5654698759*c_0101_5 - 296564808510562200376788493999446/27993342161\ 3062858485654698759, c_0011_0 - 1, c_0011_3 - 183794614761605859900307187980/21533340124081758345050361443\ *c_0101_5^17 - 207334270860253601209636344979/215333401240817583450\ 50361443*c_0101_5^16 - 579470644657894664175790730340/2153334012408\ 1758345050361443*c_0101_5^15 - 5516016978149854051193061514472/2153\ 3340124081758345050361443*c_0101_5^14 - 17975182743945584239034037746775/21533340124081758345050361443*c_01\ 01_5^13 + 8573231125151056567719022658634/2153334012408175834505036\ 1443*c_0101_5^12 + 60917939677058946031018030671249/215333401240817\ 58345050361443*c_0101_5^11 - 36222546787018412898522996495086/21533\ 340124081758345050361443*c_0101_5^10 - 154506787330661166884328335182052/21533340124081758345050361443*c_0\ 101_5^9 - 43864908345970036430723438679109/215333401240817583450503\ 61443*c_0101_5^8 + 81839824646591544302695674957559/215333401240817\ 58345050361443*c_0101_5^7 + 62339673494373471250546896875349/215333\ 40124081758345050361443*c_0101_5^6 + 6757524230114002647503571549409/21533340124081758345050361443*c_010\ 1_5^5 - 17629808296876268285215931584722/21533340124081758345050361\ 443*c_0101_5^4 - 7815652356586731320483243105143/215333401240817583\ 45050361443*c_0101_5^3 + 1939553714146186788014871544713/2153334012\ 4081758345050361443*c_0101_5^2 + 770713788528065759736903340235/215\ 33340124081758345050361443*c_0101_5 - 137851416291309801531774462005/21533340124081758345050361443, c_0011_4 + 376148465091239243474436930905/21533340124081758345050361443\ *c_0101_5^17 + 399639406100779687584158662834/215333401240817583450\ 50361443*c_0101_5^16 + 1167645368543113084327891766272/215333401240\ 81758345050361443*c_0101_5^15 + 11218370534571607164165492720988/21\ 533340124081758345050361443*c_0101_5^14 + 36071598882753683053691978503573/21533340124081758345050361443*c_01\ 01_5^13 - 19682123064313229371449500867373/215333401240817583450503\ 61443*c_0101_5^12 - 122695826146207824328290586379688/2153334012408\ 1758345050361443*c_0101_5^11 + 81497496958271414718136433602861/215\ 33340124081758345050361443*c_0101_5^10 + 308298128430978966501874904418230/21533340124081758345050361443*c_0\ 101_5^9 + 72318629601128882869354456990895/215333401240817583450503\ 61443*c_0101_5^8 - 166063483006498460623870449583165/21533340124081\ 758345050361443*c_0101_5^7 - 118000631439252162981182611379594/2153\ 3340124081758345050361443*c_0101_5^6 - 10118649093219119550309917840489/21533340124081758345050361443*c_01\ 01_5^5 + 35781711567213948397565528449205/2153334012408175834505036\ 1443*c_0101_5^4 + 14160121034941549204998846864694/2153334012408175\ 8345050361443*c_0101_5^3 - 3971490541825428787106688695633/21533340\ 124081758345050361443*c_0101_5^2 - 1346825411464172628586707405275/21533340124081758345050361443*c_010\ 1_5 + 211181757846971887918690704318/21533340124081758345050361443, c_0011_6 - 352295621762793004041486005675/21533340124081758345050361443\ *c_0101_5^17 - 380846209110016020683126092460/215333401240817583450\ 50361443*c_0101_5^16 - 1095028060976714510584821297586/215333401240\ 81758345050361443*c_0101_5^15 - 10522461603113194952250875369724/21\ 533340124081758345050361443*c_0101_5^14 - 33964473753859930972134586709066/21533340124081758345050361443*c_01\ 01_5^13 + 17968695802871143458538046525116/215333401240817583450503\ 61443*c_0101_5^12 + 115754153024143650803243645553022/2153334012408\ 1758345050361443*c_0101_5^11 - 74605971914686834598718661960399/215\ 33340124081758345050361443*c_0101_5^10 - 291962296853902615317498597585459/21533340124081758345050361443*c_0\ 101_5^9 - 71375153294450979303527451271234/215333401240817583450503\ 61443*c_0101_5^8 + 158655071126233175798589886242568/21533340124081\ 758345050361443*c_0101_5^7 + 113041433535166715359643888124920/2153\ 3340124081758345050361443*c_0101_5^6 + 8949280172147121508203207268758/21533340124081758345050361443*c_010\ 1_5^5 - 34196650318116574389505705229318/21533340124081758345050361\ 443*c_0101_5^4 - 13679674725058602041479706247528/21533340124081758\ 345050361443*c_0101_5^3 + 4041517663273278681770841527244/215333401\ 24081758345050361443*c_0101_5^2 + 1352414084598380722605615004433/2\ 1533340124081758345050361443*c_0101_5 - 255364780400725281003037392682/21533340124081758345050361443, c_0101_0 - 561335689550065663958769321605/21533340124081758345050361443\ *c_0101_5^17 - 611375996620944866361844737664/215333401240817583450\ 50361443*c_0101_5^16 - 1759552518526025530789042566233/215333401240\ 81758345050361443*c_0101_5^15 - 16792523982061337928417763880972/21\ 533340124081758345050361443*c_0101_5^14 - 54285038814110160739558805892625/21533340124081758345050361443*c_01\ 01_5^13 + 27890450066192146601467002907679/215333401240817583450503\ 61443*c_0101_5^12 + 183675344802425532178581376084413/2153334012408\ 1758345050361443*c_0101_5^11 - 117012790156866527582894911774818/21\ 533340124081758345050361443*c_0101_5^10 - 462841868600154514439707002264974/21533340124081758345050361443*c_0\ 101_5^9 - 119355199617238230551493969476132/21533340124081758345050\ 361443*c_0101_5^8 + 243422899941175396886829666374364/2153334012408\ 1758345050361443*c_0101_5^7 + 179749638863029703767985970403452/215\ 33340124081758345050361443*c_0101_5^6 + 19315849227803293388730018887571/21533340124081758345050361443*c_01\ 01_5^5 - 51647042741451380443401158757982/2153334012408175834505036\ 1443*c_0101_5^4 - 21511374443732277832969742192554/2153334012408175\ 8345050361443*c_0101_5^3 + 5673982451014544531821448670438/21533340\ 124081758345050361443*c_0101_5^2 + 2009407027450702598343215660123/21533340124081758345050361443*c_010\ 1_5 - 338426383172012835025929327701/21533340124081758345050361443, c_0101_4 - 654507843182761050865059814280/21533340124081758345050361443\ *c_0101_5^17 - 723433279448847220795777925509/215333401240817583450\ 50361443*c_0101_5^16 - 2050094281258517701208737892542/215333401240\ 81758345050361443*c_0101_5^15 - 19606196125326113370970972311005/21\ 533340124081758345050361443*c_0101_5^14 - 63571840201752339334423266759154/21533340124081758345050361443*c_01\ 01_5^13 + 31865592771854636170984167434166/215333401240817583450503\ 61443*c_0101_5^12 + 215748149121318247430581797570741/2153334012408\ 1758345050361443*c_0101_5^11 - 134138440611764745071422384643945/21\ 533340124081758345050361443*c_0101_5^10 - 545216500579995749596753910965383/21533340124081758345050361443*c_0\ 101_5^9 - 143512512453353523193580061678857/21533340124081758345050\ 361443*c_0101_5^8 + 289053706067197235199538926631112/2153334012408\ 1758345050361443*c_0101_5^7 + 213613707308073900639791488417667/215\ 33340124081758345050361443*c_0101_5^6 + 22314144664096035789186818345413/21533340124081758345050361443*c_01\ 01_5^5 - 61835927802443747110010062023758/2153334012408175834505036\ 1443*c_0101_5^4 - 26092506167535091695232650618959/2153334012408175\ 8345050361443*c_0101_5^3 + 6823248999679948677539570974275/21533340\ 124081758345050361443*c_0101_5^2 + 2479661131376233398912656720574/21533340124081758345050361443*c_010\ 1_5 - 406628832173629266166369063594/21533340124081758345050361443, c_0101_5^18 + 4/5*c_0101_5^17 + 14/5*c_0101_5^16 + 29*c_0101_5^15 + 88*c_0101_5^14 - 391/5*c_0101_5^13 - 1572/5*c_0101_5^12 + 305*c_0101_5^11 + 3847/5*c_0101_5^10 - 33*c_0101_5^9 - 2533/5*c_0101_5^8 - 961/5*c_0101_5^7 + 324/5*c_0101_5^6 + 521/5*c_0101_5^5 + 11*c_0101_5^4 - 112/5*c_0101_5^3 - 3/5*c_0101_5^2 + 9/5*c_0101_5 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB