Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 1191631772] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1760 geometric_solution 5.44813710 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 1 -1 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 -1 1 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.761070692071 0.089166335211 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 1 -1 -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.639209771994 0.241798482850 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 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 -1 1 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.962277771074 1.583251318117 2 4 6 5 0132 3201 0132 0132 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 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.069883334577 1.028286464235 5 6 3 2 1023 3201 2310 0132 0 0 0 0 0 1 0 -1 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 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.069883334577 1.028286464235 5 4 3 5 3201 1023 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576195642589 1.027301759890 6 6 4 3 1302 2031 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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.428876811704 0.525832778148 ==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_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 517890456755473926664015651285835/1128393313625833544208234425407*c\ _0101_3^26 - 387185582126257569397975858795667/33851799408775006326\ 24703276221*c_0101_3^25 - 23402364449403020872018637453236314/11283\ 93313625833544208234425407*c_0101_3^24 - 223610754846005097868232470136452978/338517994087750063262470327622\ 1*c_0101_3^23 + 1540942750114645543225425116523564/1128393313625833\ 544208234425407*c_0101_3^22 + 847113179180877487759919080154504812/\ 3385179940877500632624703276221*c_0101_3^21 + 901217094137400299260012592190347515/338517994087750063262470327622\ 1*c_0101_3^20 - 122595697581891900517533700660443366/11283933136258\ 33544208234425407*c_0101_3^19 - 14118897193060867842333716217099916\ 93/3385179940877500632624703276221*c_0101_3^18 - 2009027296394752611722494785311832115/33851799408775006326247032762\ 21*c_0101_3^17 - 37972432898775633602514617619731063/11283933136258\ 33544208234425407*c_0101_3^16 + 41674702966836570501566590188324766\ 40/3385179940877500632624703276221*c_0101_3^15 + 1559376525791127633019269737841227963/33851799408775006326247032762\ 21*c_0101_3^14 - 5303858826722818805562908720468458376/338517994087\ 7500632624703276221*c_0101_3^13 - 519562049823580684943545569611594\ 77/102581210329621231291657675037*c_0101_3^12 + 1803959199389022578850287023667490819/11283933136258335442082344254\ 07*c_0101_3^11 + 588815492711460043107758249930304389/1128393313625\ 833544208234425407*c_0101_3^10 - 3647178477590423754424114390956999\ 139/3385179940877500632624703276221*c_0101_3^9 - 1409493267117796638307401882287109013/33851799408775006326247032762\ 21*c_0101_3^8 + 1264196049942858888910661463234340217/3385179940877\ 500632624703276221*c_0101_3^7 + 54915491879194887811438515795573096\ 1/3385179940877500632624703276221*c_0101_3^6 - 83589761422576535919287679565674764/3385179940877500632624703276221\ *c_0101_3^5 - 52122543083190752366865166972613492/33851799408775006\ 32624703276221*c_0101_3^4 - 27242971901053076961149941143789005/112\ 8393313625833544208234425407*c_0101_3^3 - 9683295360230190576935609878554182/3385179940877500632624703276221*\ c_0101_3^2 + 22329115660806581804896425209092372/338517994087750063\ 2624703276221*c_0101_3 - 2049437035520478991247380490203886/3385179\ 940877500632624703276221, c_0011_0 - 1, c_0011_4 - 4181358586831213816226994998318/1025812103296212312916576750\ 37*c_0101_3^26 + 613146964728042843323324406203/1025812103296212312\ 91657675037*c_0101_3^25 + 188700715205566092028619023896018/1025812\ 10329621231291657675037*c_0101_3^24 + 620989399961091888253615972221055/102581210329621231291657675037*c_\ 0101_3^23 + 65066381075686651722137287706127/1025812103296212312916\ 57675037*c_0101_3^22 - 2217938901633856929538838252989985/102581210\ 329621231291657675037*c_0101_3^21 - 2610155766060494002235772618249600/102581210329621231291657675037*c\ _0101_3^20 + 589748099131820658296947058730976/10258121032962123129\ 1657675037*c_0101_3^19 + 3580208709045667679126921098610428/1025812\ 10329621231291657675037*c_0101_3^18 + 5622661822830103402148537191419608/102581210329621231291657675037*c\ _0101_3^17 + 1032902305073542241871673962812568/1025812103296212312\ 91657675037*c_0101_3^16 - 10600851810804997448593794297283053/10258\ 1210329621231291657675037*c_0101_3^15 - 4859676904546467260486701679320026/102581210329621231291657675037*c\ _0101_3^14 + 13299419989910792547694962288258341/102581210329621231\ 291657675037*c_0101_3^13 + 5316993857501279419125966116025822/10258\ 1210329621231291657675037*c_0101_3^12 - 13503454094062136536909547847890352/102581210329621231291657675037*\ c_0101_3^11 - 5422699114058944634075328146936545/102581210329621231\ 291657675037*c_0101_3^10 + 8772887917204042308218216491315972/10258\ 1210329621231291657675037*c_0101_3^9 + 3991097460291308636818513583100071/102581210329621231291657675037*c\ _0101_3^8 - 2844078877112322985959913516205876/10258121032962123129\ 1657675037*c_0101_3^7 - 1398495528295831239387290109964465/10258121\ 0329621231291657675037*c_0101_3^6 + 131358441084847793799966601827436/102581210329621231291657675037*c_\ 0101_3^5 + 93872735345279960909045280081577/10258121032962123129165\ 7675037*c_0101_3^4 + 197945289379643292305675309350909/102581210329\ 621231291657675037*c_0101_3^3 + 31329958210712611370739962410586/10\ 2581210329621231291657675037*c_0101_3^2 - 52700763877109045457752473059078/102581210329621231291657675037*c_0\ 101_3 + 4791492227029745941800143816384/102581210329621231291657675\ 037, c_0011_6 + 7126299395459110071843465140305/1025812103296212312916576750\ 37*c_0101_3^26 - 1112474844718445966753703032431/102581210329621231\ 291657675037*c_0101_3^25 - 321604634122582625690281778016725/102581\ 210329621231291657675037*c_0101_3^24 - 1055297566914728536294725776237121/102581210329621231291657675037*c\ _0101_3^23 - 100323023645789262766326797634048/10258121032962123129\ 1657675037*c_0101_3^22 + 3782416767962689653807002150231977/1025812\ 10329621231291657675037*c_0101_3^21 + 4410177296652979954287170635443848/102581210329621231291657675037*c\ _0101_3^20 - 1059493072528513143760483786241924/1025812103296212312\ 91657675037*c_0101_3^19 - 6101582838269390466853301871432202/102581\ 210329621231291657675037*c_0101_3^18 - 9509119602816052541336617606098113/102581210329621231291657675037*c\ _0101_3^17 - 1632335730012674705760916884340408/1025812103296212312\ 91657675037*c_0101_3^16 + 18120633087792744377854997832465937/10258\ 1210329621231291657675037*c_0101_3^15 + 8107971404792074435440539168163328/102581210329621231291657675037*c\ _0101_3^14 - 22815610208372556889740871702299652/102581210329621231\ 291657675037*c_0101_3^13 - 8893192803994221715619643030488470/10258\ 1210329621231291657675037*c_0101_3^12 + 23159640665021432971227925338804519/102581210329621231291657675037*\ c_0101_3^11 + 9061289196761665619136879921856982/102581210329621231\ 291657675037*c_0101_3^10 - 15112675909958396951453240954872601/1025\ 81210329621231291657675037*c_0101_3^9 - 6708439060375928871032484711250897/102581210329621231291657675037*c\ _0101_3^8 + 4959812657331286833622282004499140/10258121032962123129\ 1657675037*c_0101_3^7 + 2383236973249138253014059053724437/10258121\ 0329621231291657675037*c_0101_3^6 - 248965667258496439458046052961842/102581210329621231291657675037*c_\ 0101_3^5 - 169839359384316631106615413167367/1025812103296212312916\ 57675037*c_0101_3^4 - 340937794859751378632378251931531/10258121032\ 9621231291657675037*c_0101_3^3 - 51854074243745070668310304325391/1\ 02581210329621231291657675037*c_0101_3^2 + 91201755909096070566032580769594/102581210329621231291657675037*c_0\ 101_3 - 8365440673362017034539438077090/102581210329621231291657675\ 037, c_0101_0 + 27519730924727944114677743070/102581210329621231291657675037\ *c_0101_3^26 - 59336334123825384691030283570/1025812103296212312916\ 57675037*c_0101_3^25 - 1240545987114044729558831644118/102581210329\ 621231291657675037*c_0101_3^24 - 1588365985338924928035051166637/10\ 2581210329621231291657675037*c_0101_3^23 + 8103999542029140994649432769238/102581210329621231291657675037*c_01\ 01_3^22 + 16375196114981750555800293374536/102581210329621231291657\ 675037*c_0101_3^21 - 13077516988861652980144157691076/1025812103296\ 21231291657675037*c_0101_3^20 - 45063778227198871760077821173071/10\ 2581210329621231291657675037*c_0101_3^19 - 22142331334168073952705868952179/102581210329621231291657675037*c_0\ 101_3^18 + 17283607476083601766232297356386/10258121032962123129165\ 7675037*c_0101_3^17 + 87277467695849269343746102445760/102581210329\ 621231291657675037*c_0101_3^16 + 104531310472140437662825953166165/\ 102581210329621231291657675037*c_0101_3^15 - 107275378804278542400448175276559/102581210329621231291657675037*c_\ 0101_3^14 - 189711553982475752445881522969909/102581210329621231291\ 657675037*c_0101_3^13 + 112254409590450659439196199145644/102581210\ 329621231291657675037*c_0101_3^12 + 191952300688276657884125483171708/102581210329621231291657675037*c_\ 0101_3^11 - 116183804265111331710326662883511/102581210329621231291\ 657675037*c_0101_3^10 - 168572300954405527035349259980447/102581210\ 329621231291657675037*c_0101_3^9 + 57512208887941535233267965905066/102581210329621231291657675037*c_0\ 101_3^8 + 96552199711685112153613144005577/102581210329621231291657\ 675037*c_0101_3^7 - 217770545586711744696655268874/1025812103296212\ 31291657675037*c_0101_3^6 - 20764590662358699666301287614074/102581\ 210329621231291657675037*c_0101_3^5 - 7422434793908844556226653318207/102581210329621231291657675037*c_01\ 01_3^4 - 3032061971621739234177858056179/10258121032962123129165767\ 5037*c_0101_3^3 + 2128347093481657712724741597752/10258121032962123\ 1291657675037*c_0101_3^2 + 1426322277525741343984243934671/10258121\ 0329621231291657675037*c_0101_3 - 258683404847387927163630231504/10\ 2581210329621231291657675037, c_0101_1 + 3711027558065237590896650393018/1025812103296212312916576750\ 37*c_0101_3^26 - 141688498533074287314003304051/1025812103296212312\ 91657675037*c_0101_3^25 - 167258089928752897393494402562357/1025812\ 10329621231291657675037*c_0101_3^24 - 569148899368679828993673612895938/102581210329621231291657675037*c_\ 0101_3^23 - 129858662199559040742794299516677/102581210329621231291\ 657675037*c_0101_3^22 + 1912511795168142788518449634064499/10258121\ 0329621231291657675037*c_0101_3^21 + 2490169442890861992563769067531453/102581210329621231291657675037*c\ _0101_3^20 - 155893936973521802477413910311920/10258121032962123129\ 1657675037*c_0101_3^19 - 2981162312782732155778138912385758/1025812\ 10329621231291657675037*c_0101_3^18 - 5190909573427567893233538929930234/102581210329621231291657675037*c\ _0101_3^17 - 1584936198290061037760911364366596/1025812103296212312\ 91657675037*c_0101_3^16 + 8854153792165440119725575633634663/102581\ 210329621231291657675037*c_0101_3^15 + 4943260696270208656964792774230275/102581210329621231291657675037*c\ _0101_3^14 - 10926121948185264894327226820466352/102581210329621231\ 291657675037*c_0101_3^13 - 5400592063682413237857310197718695/10258\ 1210329621231291657675037*c_0101_3^12 + 11029453437005571859870033995893081/102581210329621231291657675037*\ c_0101_3^11 + 5457183387626095469841085731523103/102581210329621231\ 291657675037*c_0101_3^10 - 6849576252545743259863736846118322/10258\ 1210329621231291657675037*c_0101_3^9 - 3744985123631979150267588214615140/102581210329621231291657675037*c\ _0101_3^8 + 2023470190734264134741562689985448/10258121032962123129\ 1657675037*c_0101_3^7 + 1178485754344761362242127437470272/10258121\ 0329621231291657675037*c_0101_3^6 - 30753762076384804343056681106304/102581210329621231291657675037*c_0\ 101_3^5 - 40311034254900458043580178310396/102581210329621231291657\ 675037*c_0101_3^4 - 156816610932911518241487351327067/1025812103296\ 21231291657675037*c_0101_3^3 - 34331427580955861203288970162745/102\ 581210329621231291657675037*c_0101_3^2 + 40140329036370255266591611741443/102581210329621231291657675037*c_0\ 101_3 - 3428562152978997229450005000854/102581210329621231291657675\ 037, c_0101_2 + 9784180243169761115152910354939/1025812103296212312916576750\ 37*c_0101_3^26 - 1571661073037040394719937244998/102581210329621231\ 291657675037*c_0101_3^25 - 441608624539620964414828157317179/102581\ 210329621231291657675037*c_0101_3^24 - 1446929201902338770450005624237662/102581210329621231291657675037*c\ _0101_3^23 - 128396845709677715350548052559152/10258121032962123129\ 1657675037*c_0101_3^22 + 5205132195288875026773128820928994/1025812\ 10329621231291657675037*c_0101_3^21 + 6041585567065375072357733973173832/102581210329621231291657675037*c\ _0101_3^20 - 1505294721550178404431336532312167/1025812103296212312\ 91657675037*c_0101_3^19 - 8425313597361834898890262335307124/102581\ 210329621231291657675037*c_0101_3^18 - 13056197920829502284872238449119094/102581210329621231291657675037*\ c_0101_3^17 - 2169165723005681241010816795238637/102581210329621231\ 291657675037*c_0101_3^16 + 24978759617604544802151507522315310/1025\ 81210329621231291657675037*c_0101_3^15 + 11108638172486653659252631017519683/102581210329621231291657675037*\ c_0101_3^14 - 31446944332084110133836337955905002/10258121032962123\ 1291657675037*c_0101_3^13 - 12177590284268184740469918822823735/102\ 581210329621231291657675037*c_0101_3^12 + 31943551627889361393267127417130971/102581210329621231291657675037*\ c_0101_3^11 + 12418245668247034963859771278285524/10258121032962123\ 1291657675037*c_0101_3^10 - 20881858529243535111502609652922932/102\ 581210329621231291657675037*c_0101_3^9 - 9228400836634869991264844509799762/102581210329621231291657675037*c\ _0101_3^8 + 6865102189628317510659881711568297/10258121032962123129\ 1657675037*c_0101_3^7 + 3287571455712802679984042533530608/10258121\ 0329621231291657675037*c_0101_3^6 - 347749353573950641193023858926369/102581210329621231291657675037*c_\ 0101_3^5 - 234538721592766655762098321860851/1025812103296212312916\ 57675037*c_0101_3^4 - 470709765720746437673158974874364/10258121032\ 9621231291657675037*c_0101_3^3 - 71943357426356055629906634200209/1\ 02581210329621231291657675037*c_0101_3^2 + 126106950626677016897776971631242/102581210329621231291657675037*c_\ 0101_3 - 11550409699168586609160942973966/1025812103296212312916576\ 75037, c_0101_3^27 - c_0101_3^26 - 45*c_0101_3^25 - 110*c_0101_3^24 + 111*c_0101_3^23 + 543*c_0101_3^22 + 171*c_0101_3^21 - 672*c_0101_3^20 - 732*c_0101_3^19 - 612*c_0101_3^18 + 898*c_0101_3^17 + 2739*c_0101_3^16 - 1007*c_0101_3^15 - 4166*c_0101_3^14 + 1453*c_0101_3^13 + 4308*c_0101_3^12 - 1471*c_0101_3^11 - 3198*c_0101_3^10 + 848*c_0101_3^9 + 1492*c_0101_3^8 - 253*c_0101_3^7 - 317*c_0101_3^6 + 6*c_0101_3^5 - 28*c_0101_3^4 + 33*c_0101_3^3 + 19*c_0101_3^2 - 12*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB