Magma V2.19-8 Tue Aug 20 2013 16:17:48 on localhost [Seed = 4054871315] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2043 geometric_solution 5.57602706 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 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 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.296455716877 0.170359420613 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -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 -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 1.777555317629 1.357569327784 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.685925571347 0.399182533935 2 5 4 6 0132 0132 3201 0132 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 -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.337641972846 0.936521606823 3 6 2 5 2310 0132 0132 1023 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 -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.337641972846 0.936521606823 5 3 5 4 2031 0132 1302 1023 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 0 0 0.522754319927 0.435037954600 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.109435197093 0.824267624197 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 65347187798365746086605206466066918275651011995/3200488115359766125\ 36223813102812903276372795317*c_0110_5^35 - 5484208847976976251343328116564678502430915699511/96014643460792983\ 7608671439308438709829118385951*c_0110_5^33 + 66908932942380258839153477190476615312315962532419/9601464346079298\ 37608671439308438709829118385951*c_0110_5^31 - 53531359942758701169879931963603336895450502951773/1066829371786588\ 70845407937700937634425457598439*c_0110_5^29 + 801737352639003090674930688177435345665184910661288/320048811535976\ 612536223813102812903276372795317*c_0110_5^27 - 9298856729706592106669372137083572146641218545669022/96014643460792\ 9837608671439308438709829118385951*c_0110_5^25 + 3302923233245045113875329245018120025661495658221016/10668293717865\ 8870845407937700937634425457598439*c_0110_5^23 - 80243618604606018007818766131163699710176165199362078/9601464346079\ 29837608671439308438709829118385951*c_0110_5^21 + 183047512749360432872701155827464620772356160602154198/960146434607\ 929837608671439308438709829118385951*c_0110_5^19 - 358019856312924577843885377282261954146126777997462161/960146434607\ 929837608671439308438709829118385951*c_0110_5^17 + 611974956880294665782041522351741502041584696616703132/960146434607\ 929837608671439308438709829118385951*c_0110_5^15 - 294971418167781938587102919469766404557727178785649120/320048811535\ 976612536223813102812903276372795317*c_0110_5^13 + 988243200787239120219996968086147990772209521227743423/960146434607\ 929837608671439308438709829118385951*c_0110_5^11 - 776832412316302421287989687348362532240696904238187521/960146434607\ 929837608671439308438709829118385951*c_0110_5^9 + 406116249309767760194896746665706830776905802356493643/960146434607\ 929837608671439308438709829118385951*c_0110_5^7 - 139821555088489731108040602641987467902982888306152646/960146434607\ 929837608671439308438709829118385951*c_0110_5^5 + 31418774461556921121365603261804732822848729386417716/9601464346079\ 29837608671439308438709829118385951*c_0110_5^3 - 43399604911882670618943164357055476994192054386382/1185365968651765\ 2316156437522326403825050844271*c_0110_5, c_0011_0 - 1, c_0011_2 + 7157647128408884009970830411054755099163/3856009777541886898\ 026792928949553051522563799*c_0110_5^34 + 258985141296821144319682022036107057053085/385600977754188689802679\ 2928949553051522563799*c_0110_5^32 - 2779251526256810333144270922020243103249497/12853365925139622993422\ 64309649851017174187933*c_0110_5^30 + 9645023683139204437140029389014001532026234/42844553083798743311408\ 8103216617005724729311*c_0110_5^28 - 475784507830965067396599785297979398578074830/385600977754188689802\ 6792928949553051522563799*c_0110_5^26 + 585763635003475906418575437107501425425126920/128533659251396229934\ 2264309649851017174187933*c_0110_5^24 - 5198085725886686359752185858936840114304270629/38560097775418868980\ 26792928949553051522563799*c_0110_5^22 + 12738701316565354774691384393285866115298078802/3856009777541886898\ 026792928949553051522563799*c_0110_5^20 - 23811159144100689071618590180941960252441842567/3856009777541886898\ 026792928949553051522563799*c_0110_5^18 + 31317858212175930921785906078239115216478860090/3856009777541886898\ 026792928949553051522563799*c_0110_5^16 - 10841524600655586611643845709528761761103358442/1285336592513962299\ 342264309649851017174187933*c_0110_5^14 + 9035833214915307058768566372029697922359999802/38560097775418868980\ 26792928949553051522563799*c_0110_5^12 + 117826005475326339307149103942515327871501612567/385600977754188689\ 8026792928949553051522563799*c_0110_5^10 - 274832678977999098194189440061218915775695679269/385600977754188689\ 8026792928949553051522563799*c_0110_5^8 + 225088247358122886791848329457431451471229386517/385600977754188689\ 8026792928949553051522563799*c_0110_5^6 - 74954276100579304217453014980161006662841927575/3856009777541886898\ 026792928949553051522563799*c_0110_5^4 + 6038207716943947405487902397838021639644308334/12853365925139622993\ 42264309649851017174187933*c_0110_5^2 - 72780664666977902451722973069425451647548688/1428151769459958110380\ 29367738872335241576437, c_0011_4 + 459067595110188894509022687426949595778472703/28804393038237\ 89512826014317925316129487355157853*c_0110_5^35 - 11962040012127964475433301875783535021550538233/2880439303823789512\ 826014317925316129487355157853*c_0110_5^33 + 14825069743238625516053018222268577889879399605/3200488115359766125\ 36223813102812903276372795317*c_0110_5^31 - 95989893523073700960630115391322948056096600987/3200488115359766125\ 36223813102812903276372795317*c_0110_5^29 + 3879088252430582193180213571649999607290353367776/28804393038237895\ 12826014317925316129487355157853*c_0110_5^27 - 4563137161943830857884696639200582317422497148162/96014643460792983\ 7608671439308438709829118385951*c_0110_5^25 + 40342665179484258211474721002989627636690884225710/2880439303823789\ 512826014317925316129487355157853*c_0110_5^23 - 99516078765293015876515126057972575908459634218849/2880439303823789\ 512826014317925316129487355157853*c_0110_5^21 + 204175331742427163729203300973406243370377719667199/288043930382378\ 9512826014317925316129487355157853*c_0110_5^19 - 360486592007457028241069678533741878177336022747222/288043930382378\ 9512826014317925316129487355157853*c_0110_5^17 + 61714258665197486307107694395558626541370780816598/3200488115359766\ 12536223813102812903276372795317*c_0110_5^15 - 659955788962317739678613652523771142090139261389309/288043930382378\ 9512826014317925316129487355157853*c_0110_5^13 + 481521033901033325200715170252483587822013320535177/288043930382378\ 9512826014317925316129487355157853*c_0110_5^11 - 140243257908347771463185240094902895373318994703106/288043930382378\ 9512826014317925316129487355157853*c_0110_5^9 - 51570405387280930543932127450697395405148124515857/2880439303823789\ 512826014317925316129487355157853*c_0110_5^7 + 65248705782435778424108676329202546879943203955520/2880439303823789\ 512826014317925316129487355157853*c_0110_5^5 - 984990915478998391789359823262218059168156691448/106682937178658870\ 845407937700937634425457598439*c_0110_5^3 + 26343502801070948112956523537919618187439837957/1185365968651765231\ 6156437522326403825050844271*c_0110_5, c_0101_0 + 3704827858619886415722770179988547017557409488/2880439303823\ 789512826014317925316129487355157853*c_0110_5^35 - 101358111321810113995225552896155380449238467199/288043930382378951\ 2826014317925316129487355157853*c_0110_5^33 + 133656012850732407438526181799283687071572114810/320048811535976612\ 536223813102812903276372795317*c_0110_5^31 - 931972327356503348080736842856989347473694620287/320048811535976612\ 536223813102812903276372795317*c_0110_5^29 + 40562231677258129498285799115136103457500990750591/2880439303823789\ 512826014317925316129487355157853*c_0110_5^27 - 50860977468110055994698564114552101128241706335368/9601464346079298\ 37608671439308438709829118385951*c_0110_5^25 + 476302816978545070551066063927285855000326565738581/288043930382378\ 9512826014317925316129487355157853*c_0110_5^23 - 1253993483944225583367099196821094085393815935651361/28804393038237\ 89512826014317925316129487355157853*c_0110_5^21 + 2780428411581227650152936315181382071825048140344663/28804393038237\ 89512826014317925316129487355157853*c_0110_5^19 - 5291403737594936077124488188507555531073691216571533/28804393038237\ 89512826014317925316129487355157853*c_0110_5^17 + 979284625816853254415780831595996887847209290209308/320048811535976\ 612536223813102812903276372795317*c_0110_5^15 - 12226277183675166368173588613193538515036622949225611/2880439303823\ 789512826014317925316129487355157853*c_0110_5^13 + 12643099149321111528297376268471690517522124963597082/2880439303823\ 789512826014317925316129487355157853*c_0110_5^11 - 8838086582061544933534382564941221450175147796306045/28804393038237\ 89512826014317925316129487355157853*c_0110_5^9 + 4000709303914817952478458052954264263767352895303843/28804393038237\ 89512826014317925316129487355157853*c_0110_5^7 - 1191122231610714325882290922301988453078123306341732/28804393038237\ 89512826014317925316129487355157853*c_0110_5^5 + 8095346551016547169328931726547148004358867086056/10668293717865887\ 0845407937700937634425457598439*c_0110_5^3 - 60002223926248466117406028494075796403621388167/1185365968651765231\ 6156437522326403825050844271*c_0110_5, c_0101_1 + 1906634356896961799189548356490071115595071/1156802933262566\ 0694080378786848659154567691397*c_0110_5^34 - 51244413225887306374266868809252490262043580/1156802933262566069408\ 0378786848659154567691397*c_0110_5^32 + 65941815361960585034165940577457857575002024/1285336592513962299342\ 264309649851017174187933*c_0110_5^30 - 445599526359157254548697794256504660944158126/128533659251396229934\ 2264309649851017174187933*c_0110_5^28 + 18755463134779324305001842670228412920854722102/1156802933262566069\ 4080378786848659154567691397*c_0110_5^26 - 22846957514239202109794553525596286925527401416/3856009777541886898\ 026792928949553051522563799*c_0110_5^24 + 208766189599941701618344364082229907811447530636/115680293326256606\ 94080378786848659154567691397*c_0110_5^22 - 535143931381922718275919255412613949080871025042/115680293326256606\ 94080378786848659154567691397*c_0110_5^20 + 1150149579463435578426096111362803714977759114890/11568029332625660\ 694080378786848659154567691397*c_0110_5^18 - 2127842853211944241043762736598081298443057804634/11568029332625660\ 694080378786848659154567691397*c_0110_5^16 + 384148768688620168173656949382291020362436760043/128533659251396229\ 9342264309649851017174187933*c_0110_5^14 - 4565290974818289764503316109501741178001895392500/11568029332625660\ 694080378786848659154567691397*c_0110_5^12 + 4289331733871097891139169196721922197123285089149/11568029332625660\ 694080378786848659154567691397*c_0110_5^10 - 2683139118653201210351964786201347002466533672433/11568029332625660\ 694080378786848659154567691397*c_0110_5^8 + 1139574071527590895732311799198321003629067173415/11568029332625660\ 694080378786848659154567691397*c_0110_5^6 - 298580482042888541791718034179139230459038036151/115680293326256606\ 94080378786848659154567691397*c_0110_5^4 + 1820294619491275898794836360397351749981696613/42844553083798743311\ 4088103216617005724729311*c_0110_5^2 - 129553949324254443086344570611256202864936642/142815176945995811038\ 029367738872335241576437, c_0101_3 + 1306164584394888351768302301929554632923869/3856009777541886\ 898026792928949553051522563799*c_0110_5^34 - 35657259504211058526670941459364966506854683/3856009777541886898026\ 792928949553051522563799*c_0110_5^32 + 140931921175276244815758034469292341534464973/128533659251396229934\ 2264309649851017174187933*c_0110_5^30 - 327994677817335720675552542577560903627039293/428445530837987433114\ 088103216617005724729311*c_0110_5^28 + 14328916635871158558013122068647192611757047371/3856009777541886898\ 026792928949553051522563799*c_0110_5^26 - 18046899554731411181308855416626710062073303340/1285336592513962299\ 342264309649851017174187933*c_0110_5^24 + 169653633773832889765029085063774073310593531249/385600977754188689\ 8026792928949553051522563799*c_0110_5^22 - 448466654139282117898507246031780025256050515506/385600977754188689\ 8026792928949553051522563799*c_0110_5^20 + 999549061803897736763269223782733379986764257557/385600977754188689\ 8026792928949553051522563799*c_0110_5^18 - 1912341384227308325411197479989912027182598346278/38560097775418868\ 98026792928949553051522563799*c_0110_5^16 + 1065732717016933446581655028182515769752781569173/12853365925139622\ 99342264309649851017174187933*c_0110_5^14 - 4465595054965531195276046143188216908409506951566/38560097775418868\ 98026792928949553051522563799*c_0110_5^12 + 4693246853076737683045090478870597945188422154448/38560097775418868\ 98026792928949553051522563799*c_0110_5^10 - 3336436467082948100021107200409491813445132730372/38560097775418868\ 98026792928949553051522563799*c_0110_5^8 + 1489699179409156122242450739482496509886559803979/38560097775418868\ 98026792928949553051522563799*c_0110_5^6 - 416375613964016285036658017871553556237908187174/385600977754188689\ 8026792928949553051522563799*c_0110_5^4 + 23081354034340665231738399889061544670784000251/1285336592513962299\ 342264309649851017174187933*c_0110_5^2 - 65416950523904588950162312608803524610473672/1428151769459958110380\ 29367738872335241576437, c_0110_5^36 - 28*c_0110_5^34 + 342*c_0110_5^32 - 2466*c_0110_5^30 + 12329*c_0110_5^28 - 47730*c_0110_5^26 + 152771*c_0110_5^24 - 412933*c_0110_5^22 + 943403*c_0110_5^20 - 1848170*c_0110_5^18 + 3164256*c_0110_5^16 - 4586272*c_0110_5^14 + 5144597*c_0110_5^12 - 4076501*c_0110_5^10 + 2159440*c_0110_5^8 - 758594*c_0110_5^6 + 176499*c_0110_5^4 - 22356*c_0110_5^2 + 729 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB