Magma V2.19-8 Tue Aug 20 2013 16:16:52 on localhost [Seed = 661044217] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1134 geometric_solution 4.99938165 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 3012 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 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.704995792509 0.672081597260 0 2 4 4 0132 1302 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 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.066335401770 1.396212041867 3 0 0 1 1302 0132 1230 2031 0 0 0 0 0 0 0 0 1 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256892247603 0.708414221012 5 2 5 0 0132 2031 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.835211205538 0.931989353788 1 4 1 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 -0.860448218881 0.611889909265 3 6 3 6 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722761768809 0.202213343108 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797444369580 0.088077565790 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], '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_3'], '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' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_3']})} 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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 3916647569991019245396914967102245/13317821664518711690921207458210\ 4*c_0101_6^18 - 6779882168875707201256267887940727/3329455416129677\ 9227303018645526*c_0101_6^17 + 25173345023227201438325619965005143/\ 133178216645187116909212074582104*c_0101_6^16 - 2054929296770084773062055839157842/16647277080648389613651509322763\ *c_0101_6^15 + 205518101373900871296598872453841769/133178216645187\ 116909212074582104*c_0101_6^14 + 1552518174583865705943621668535220\ 45/16647277080648389613651509322763*c_0101_6^13 - 627438328252110291034287222075557411/665891083225935584546060372910\ 52*c_0101_6^12 - 971700555106921091833644549427777415/6658910832259\ 3558454606037291052*c_0101_6^11 - 192008814595851424864550592685218\ 2741/133178216645187116909212074582104*c_0101_6^10 - 2100980448677068489452816125194859241/13317821664518711690921207458\ 2104*c_0101_6^9 + 9910249910496650222819878697665887721/13317821664\ 5187116909212074582104*c_0101_6^8 + 430641040373973509137321158262171517/133178216645187116909212074582\ 104*c_0101_6^7 - 2697634765755186823373408917855047297/133178216645\ 187116909212074582104*c_0101_6^6 + 1676468667499708698346626217466762463/13317821664518711690921207458\ 2104*c_0101_6^5 - 1731935145115036993591727707304424877/66589108322\ 593558454606037291052*c_0101_6^4 + 285197212849705345759131065714281165/133178216645187116909212074582\ 104*c_0101_6^3 + 464179958251048287829577600101586125/1331782166451\ 87116909212074582104*c_0101_6^2 - 945371553520402231152782872136992\ 2/16647277080648389613651509322763*c_0101_6 + 11267212605868745523461221395023203/1331782166451871169092120745821\ 04, c_0011_0 - 1, c_0011_3 + 82416502631433579387533956037/151338882551348996487740993843\ 3*c_0101_1*c_0101_6^18 - 531468700509906285630363848344/15133888255\ 13489964877409938433*c_0101_1*c_0101_6^17 + 551130726145418956467142005985/3026777651026979929754819876866*c_01\ 01_1*c_0101_6^16 - 206369708298135283053201194662/15133888255134899\ 64877409938433*c_0101_1*c_0101_6^15 + 4227781340657818160377410600852/1513388825513489964877409938433*c_0\ 101_1*c_0101_6^14 + 28127240546369771753064057795460/15133888255134\ 89964877409938433*c_0101_1*c_0101_6^13 - 26172706519642238721731281244689/3026777651026979929754819876866*c_\ 0101_1*c_0101_6^12 - 47632792668992594808435882618544/1513388825513\ 489964877409938433*c_0101_1*c_0101_6^11 - 125603016303724177864535489316109/3026777651026979929754819876866*c\ _0101_1*c_0101_6^10 - 72124411665547491583895859036114/151338882551\ 3489964877409938433*c_0101_1*c_0101_6^9 + 175174693723914747700629364628887/1513388825513489964877409938433*c\ _0101_1*c_0101_6^8 + 185359663442148080162969937170457/302677765102\ 6979929754819876866*c_0101_1*c_0101_6^7 - 36211683179673004774760527302895/3026777651026979929754819876866*c_\ 0101_1*c_0101_6^6 + 21002726892633526574096968098481/15133888255134\ 89964877409938433*c_0101_1*c_0101_6^5 - 57941541413860684433235524751468/1513388825513489964877409938433*c_\ 0101_1*c_0101_6^4 - 40484648417061789945716110123271/30267776510269\ 79929754819876866*c_0101_1*c_0101_6^3 + 2518552678872830274382423038717/1513388825513489964877409938433*c_0\ 101_1*c_0101_6^2 + 633721036569043651405661925034/15133888255134899\ 64877409938433*c_0101_1*c_0101_6 + 1821025832110862745579281549619/3026777651026979929754819876866*c_0\ 101_1, c_0011_4 + 68254721287415760112350263400/151338882551348996487740993843\ 3*c_0101_6^18 - 511267677402011915238185210446/15133888255134899648\ 77409938433*c_0101_6^17 + 714056616378992005746971766293/1513388825\ 513489964877409938433*c_0101_6^16 - 585665018878758042305685988842/1513388825513489964877409938433*c_01\ 01_6^15 + 3776162161684817173144433482610/1513388825513489964877409\ 938433*c_0101_6^14 + 19597945552494124144913523891740/1513388825513\ 489964877409938433*c_0101_6^13 - 33725286742409870932169530331117/1\ 513388825513489964877409938433*c_0101_6^12 - 18921315271335676716463968908784/1513388825513489964877409938433*c_\ 0101_6^11 - 15963125268211881942115989255690/1513388825513489964877\ 409938433*c_0101_6^10 - 22346630007851769647426796778590/1513388825\ 513489964877409938433*c_0101_6^9 + 187829464957774099325366024114520/1513388825513489964877409938433*c\ _0101_6^8 - 95564598053684734758991081468018/1513388825513489964877\ 409938433*c_0101_6^7 - 32578672144813192169078861012897/15133888255\ 13489964877409938433*c_0101_6^6 + 63491350027037942863594374968987/\ 1513388825513489964877409938433*c_0101_6^5 - 80176067696550891348868646255293/1513388825513489964877409938433*c_\ 0101_6^4 + 38377621420879372082818939001297/15133888255134899648774\ 09938433*c_0101_6^3 - 119927913276101565220252246634/15133888255134\ 89964877409938433*c_0101_6^2 - 5337255411822418390909338255966/1513\ 388825513489964877409938433*c_0101_6 + 572597597570493652572724438239/1513388825513489964877409938433, c_0101_0 + 138364418242315662733795745217/15133888255134899648774099384\ 33*c_0101_6^18 - 895526090041224641155284876997/1513388825513489964\ 877409938433*c_0101_6^17 + 478432540826838818920309436664/151338882\ 5513489964877409938433*c_0101_6^16 - 327027963205318913978318930040/1513388825513489964877409938433*c_01\ 01_6^15 + 7109853098699741634450705147891/1513388825513489964877409\ 938433*c_0101_6^14 + 47071502628333895248412181084726/1513388825513\ 489964877409938433*c_0101_6^13 - 23348274975805547217353430969282/1\ 513388825513489964877409938433*c_0101_6^12 - 81428255453883719942843621016957/1513388825513489964877409938433*c_\ 0101_6^11 - 104175649305306535403196955833706/151338882551348996487\ 7409938433*c_0101_6^10 - 116082411126834872460812475248598/15133888\ 25513489964877409938433*c_0101_6^9 + 302586562603114679318172446163611/1513388825513489964877409938433*c\ _0101_6^8 + 156790280284324997213315273254547/151338882551348996487\ 7409938433*c_0101_6^7 - 38215399001819269741701442584579/1513388825\ 513489964877409938433*c_0101_6^6 + 27765597419075548931493406657308/1513388825513489964877409938433*c_\ 0101_6^5 - 100991237302720573109661124427841/1513388825513489964877\ 409938433*c_0101_6^4 - 34397299292942439487612965361274/15133888255\ 13489964877409938433*c_0101_6^3 + 2946132854790810994844329815961/1\ 513388825513489964877409938433*c_0101_6^2 + 2372144381129697340872914375725/1513388825513489964877409938433*c_0\ 101_6 - 773343840311807726092930855497/1513388825513489964877409938\ 433, c_0101_1^2 + 108374117523855513667147570024/151338882551348996487740993\ 8433*c_0101_6^18 - 768469556500605416285989093889/15133888255134899\ 64877409938433*c_0101_6^17 + 838701538116261207990132220832/1513388\ 825513489964877409938433*c_0101_6^16 - 686987053966219799275205251909/1513388825513489964877409938433*c_01\ 01_6^15 + 5860341219401641732187966274730/1513388825513489964877409\ 938433*c_0101_6^14 + 33342875986152854191728437165958/1513388825513\ 489964877409938433*c_0101_6^13 - 39542031000281788672945399376554/1\ 513388825513489964877409938433*c_0101_6^12 - 42487794601361358830916822142215/1513388825513489964877409938433*c_\ 0101_6^11 - 48861130683148738385883753727686/1513388825513489964877\ 409938433*c_0101_6^10 - 57741489767801535897083400163592/1513388825\ 513489964877409938433*c_0101_6^9 + 273233356978992029933140401103286/1513388825513489964877409938433*c\ _0101_6^8 - 44979573050414347830941267894816/1513388825513489964877\ 409938433*c_0101_6^7 - 35201209535662128825837535259234/15133888255\ 13489964877409938433*c_0101_6^6 + 65149011885829699192036454587288/\ 1513388825513489964877409938433*c_0101_6^5 - 108468982952003848963255343295511/1513388825513489964877409938433*c\ _0101_6^4 + 27407750176329517858350508783027/1513388825513489964877\ 409938433*c_0101_6^3 - 4842993482922409758361267482151/151338882551\ 3489964877409938433*c_0101_6^2 - 1687054952102916908724986919022/15\ 13388825513489964877409938433*c_0101_6 + 374850998992415392206224582962/1513388825513489964877409938433, c_0101_3 + 145450971268915792887424014637/30267776510269799297548198768\ 66*c_0101_6^18 - 476472310043187132217069350535/1513388825513489964\ 877409938433*c_0101_6^17 + 579615936993223287873437168275/302677765\ 1026979929754819876866*c_0101_6^16 - 198464381412947040525001906994/1513388825513489964877409938433*c_01\ 01_6^15 + 7514616784601566455922507487907/3026777651026979929754819\ 876866*c_0101_6^14 + 24436206338169280255799579242524/1513388825513\ 489964877409938433*c_0101_6^13 - 14180840182474050374764840534621/1\ 513388825513489964877409938433*c_0101_6^12 - 41526917373914933412321646826420/1513388825513489964877409938433*c_\ 0101_6^11 - 103264675785286514702614905962909/302677765102697992975\ 4819876866*c_0101_6^10 - 113975875842862508873864408717979/30267776\ 51026979929754819876866*c_0101_6^9 + 326259310700083137559505795230005/3026777651026979929754819876866*c\ _0101_6^8 + 138288312047915212783241007525307/302677765102697992975\ 4819876866*c_0101_6^7 - 48406909064748047290663940227653/3026777651\ 026979929754819876866*c_0101_6^6 + 32181768834248206738539047846987/3026777651026979929754819876866*c_\ 0101_6^5 - 53856008452423617719818130566879/15133888255134899648774\ 09938433*c_0101_6^4 - 27999481962183709141762448726039/302677765102\ 6979929754819876866*c_0101_6^3 + 4703632400815767980843788793639/30\ 26777651026979929754819876866*c_0101_6^2 + 3016100947334675843155579437756/1513388825513489964877409938433*c_0\ 101_6 - 250042225887240727845575695917/3026777651026979929754819876\ 866, c_0101_6^19 - 7*c_0101_6^18 + 7*c_0101_6^17 - 5*c_0101_6^16 + 53*c_0101_6^15 + 313*c_0101_6^14 - 342*c_0101_6^13 - 456*c_0101_6^12 - 463*c_0101_6^11 - 526*c_0101_6^10 + 2540*c_0101_6^9 - 118*c_0101_6^8 - 588*c_0101_6^7 + 518*c_0101_6^6 - 939*c_0101_6^5 + 159*c_0101_6^4 + 74*c_0101_6^3 - 35*c_0101_6^2 + 7*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB