Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 3448525063] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1642 geometric_solution 5.38489738 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522873771585 0.095540996568 2 0 2 0 0132 2310 1023 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626409814216 0.242627219523 1 3 1 4 0132 0132 1023 0132 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 -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.860825888114 1.851980738610 4 2 6 5 3201 0132 0132 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 1 0 -1 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.024788857901 0.999488162484 5 6 2 3 0132 3201 0132 2310 0 0 0 0 0 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 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.024788857901 0.999488162484 4 5 3 5 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487394001657 0.512500443509 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 0 0 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 -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 1.025620490579 1.024571350955 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], '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' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 63303892024943900307509010149/501435845962066699410953484*c_0101_6^\ 19 + 270938264904440221185851905555/501435845962066699410953484*c_0\ 101_6^18 - 122862047620618025124272719034/1253589614905166748527383\ 71*c_0101_6^17 + 759513093033870310869584826085/2507179229810333497\ 05476742*c_0101_6^16 + 6900655512566049034742639138/125358961490516\ 674852738371*c_0101_6^15 - 3545452422648688153809983825617/50143584\ 5962066699410953484*c_0101_6^14 + 6250133433694425469622195032465/2\ 50717922981033349705476742*c_0101_6^13 - 1913650281228049919089383333292/125358961490516674852738371*c_0101_\ 6^12 - 22510433245622400209659369092281/501435845962066699410953484\ *c_0101_6^11 + 35003289008165419860339296496893/5014358459620666994\ 10953484*c_0101_6^10 + 38112841378583545211091183586673/50143584596\ 2066699410953484*c_0101_6^9 - 10556035419424828700495366077315/1253\ 58961490516674852738371*c_0101_6^8 - 21789643156342916174070122148053/501435845962066699410953484*c_0101\ _6^7 + 25795892444588296725939420754681/501435845962066699410953484\ *c_0101_6^6 + 10890015222797601480724105528741/50143584596206669941\ 0953484*c_0101_6^5 - 281315797335461695413493871849/250717922981033\ 349705476742*c_0101_6^4 - 2245872476976521088012954109411/501435845\ 962066699410953484*c_0101_6^3 - 2238953694372394555056645329449/501\ 435845962066699410953484*c_0101_6^2 - 159937586119374563219957857312/125358961490516674852738371*c_0101_6 - 189724158658645041282928222631/501435845962066699410953484, c_0011_0 - 1, c_0011_1 + 14453909406250986404843359/167145281987355566470317828*c_010\ 1_6^19 + 46292702832448076925499661/167145281987355566470317828*c_0\ 101_6^18 - 42467180160648008576004742/41786320496838891617579457*c_\ 0101_6^17 + 250382508073975452123752279/83572640993677783235158914*\ c_0101_6^16 - 114429249623159665886025800/4178632049683889161757945\ 7*c_0101_6^15 - 551786532616199764255997339/16714528198735556647031\ 7828*c_0101_6^14 + 1787464868111437800917428397/8357264099367778323\ 5158914*c_0101_6^13 - 1313642772290978659984615229/4178632049683889\ 1617579457*c_0101_6^12 - 1242120673588917535630686007/1671452819873\ 55566470317828*c_0101_6^11 + 11274407088429685301761317667/16714528\ 1987355566470317828*c_0101_6^10 - 1898061465877210069882491845/1671\ 45281987355566470317828*c_0101_6^9 - 3219053893652285014944498428/41786320496838891617579457*c_0101_6^8 + 7454505654036987668149644593/167145281987355566470317828*c_0101_6^7 + 3870767178640733781236179283/167145281987355566470317828*c_0101_6\ ^6 - 3332832014358488337000863509/167145281987355566470317828*c_010\ 1_6^5 + 190423688144457057507658907/83572640993677783235158914*c_01\ 01_6^4 - 414580303312877750398278317/167145281987355566470317828*c_\ 0101_6^3 + 60386727197820850602636517/167145281987355566470317828*c\ _0101_6^2 - 4581688223902339262643953/41786320496838891617579457*c_\ 0101_6 - 68550768818296534273151365/167145281987355566470317828, c_0011_4 + 7746586195862036487370993/167145281987355566470317828*c_0011\ _6*c_0101_6^19 + 9818390497497292892150531/167145281987355566470317\ 828*c_0011_6*c_0101_6^18 - 36749515257861337328156821/4178632049683\ 8891617579457*c_0011_6*c_0101_6^17 + 208349238363034722732972245/83572640993677783235158914*c_0011_6*c_0\ 101_6^16 - 169977365355427458249803087/41786320496838891617579457*c\ _0011_6*c_0101_6^15 - 73225735879480213332777461/167145281987355566\ 470317828*c_0011_6*c_0101_6^14 + 1323669434203963014967632095/83572\ 640993677783235158914*c_0011_6*c_0101_6^13 - 1532490277282250752087145240/41786320496838891617579457*c_0011_6*c_\ 0101_6^12 + 2812897673127399433850848751/16714528198735556647031782\ 8*c_0011_6*c_0101_6^11 + 9708238562392211431109405137/1671452819873\ 55566470317828*c_0011_6*c_0101_6^10 - 11166431836615702482039311639/167145281987355566470317828*c_0011_6*\ c_0101_6^9 - 2879950695058784298841184540/4178632049683889161757945\ 7*c_0011_6*c_0101_6^8 + 17519156170309593972596068367/1671452819873\ 55566470317828*c_0011_6*c_0101_6^7 + 1744009325530491532099600745/167145281987355566470317828*c_0011_6*c\ _0101_6^6 - 9749889423726765194372244751/16714528198735556647031782\ 8*c_0011_6*c_0101_6^5 + 43312575553003123868526941/8357264099367778\ 3235158914*c_0011_6*c_0101_6^4 + 2261826293325113436125869801/16714\ 5281987355566470317828*c_0011_6*c_0101_6^3 - 94093628834793304826559533/167145281987355566470317828*c_0011_6*c_0\ 101_6^2 - 72524314330051201352986136/41786320496838891617579457*c_0\ 011_6*c_0101_6 + 4498652532251674816985237/167145281987355566470317\ 828*c_0011_6, c_0011_6^2 - 12278305838294809297023151/41786320496838891617579457*c_01\ 01_6^19 - 82317351149276140177224955/83572640993677783235158914*c_0\ 101_6^18 + 140865576926151508017551434/41786320496838891617579457*c\ _0101_6^17 - 396893698462935909073995559/41786320496838891617579457\ *c_0101_6^16 + 292920420554786807858138705/417863204968388916175794\ 57*c_0101_6^15 + 617442231469268080697359667/4178632049683889161757\ 9457*c_0101_6^14 - 6137196557320102553918703791/8357264099367778323\ 5158914*c_0101_6^13 + 7843536046467226229944226551/8357264099367778\ 3235158914*c_0101_6^12 + 4715433788006286614875994597/8357264099367\ 7783235158914*c_0101_6^11 - 10486511360921709793005141133/417863204\ 96838891617579457*c_0101_6^10 + 248304117402830347305640225/8357264\ 0993677783235158914*c_0101_6^9 + 13252724929540586642538212849/4178\ 6320496838891617579457*c_0101_6^8 - 5465929078825348013134435502/41786320496838891617579457*c_0101_6^7 - 13244480443360500842302805929/83572640993677783235158914*c_0101_6^6 + 3852811034004179501137337200/41786320496838891617579457*c_0101_6^\ 5 + 998892065413865196690751879/83572640993677783235158914*c_0101_6\ ^4 - 650739115779751147008838427/83572640993677783235158914*c_0101_\ 6^3 + 200635732378430776840187519/41786320496838891617579457*c_0101\ _6^2 - 307002233847405023365793831/83572640993677783235158914*c_010\ 1_6 + 48595899865834928445958817/83572640993677783235158914, c_0101_0 - 93935937188497359970139231/167145281987355566470317828*c_010\ 1_6^19 - 347957314871947409092560535/167145281987355566470317828*c_\ 0101_6^18 + 235711501309218833849890682/41786320496838891617579457*\ c_0101_6^17 - 1368287478790086924086146393/835726409936777832351589\ 14*c_0101_6^16 + 360684302447748707679444541/4178632049683889161757\ 9457*c_0101_6^15 + 4701309404088334643356176823/1671452819873555664\ 70317828*c_0101_6^14 - 5280943186468711247679080576/417863204968388\ 91617579457*c_0101_6^13 + 11327981042376418270780114997/83572640993\ 677783235158914*c_0101_6^12 + 22805583421419397574371946309/1671452\ 81987355566470317828*c_0101_6^11 - 65732751743938450636395381635/167145281987355566470317828*c_0101_6^\ 10 - 24814873426530872195457928649/167145281987355566470317828*c_01\ 01_6^9 + 20949885097684187260851127423/41786320496838891617579457*c\ _0101_6^8 - 4671958413526303089361184797/16714528198735556647031782\ 8*c_0101_6^7 - 44880127847398600112612730649/1671452819873555664703\ 17828*c_0101_6^6 + 785724434199370451647237817/16714528198735556647\ 0317828*c_0101_6^5 + 1886413685941429581052264588/41786320496838891\ 617579457*c_0101_6^4 + 3213139182671656972904827171/167145281987355\ 566470317828*c_0101_6^3 + 423007152856024462671689827/1671452819873\ 55566470317828*c_0101_6^2 - 43746965285482782548270833/835726409936\ 77783235158914*c_0101_6 - 94306799442367084772498773/16714528198735\ 5566470317828, c_0101_1 - 5939492600674653080107613/167145281987355566470317828*c_0101\ _6^19 - 26354220647852199464512285/167145281987355566470317828*c_01\ 01_6^18 + 10327184306208755015084222/41786320496838891617579457*c_0\ 101_6^17 - 68517309471554509273034863/83572640993677783235158914*c_\ 0101_6^16 - 3483842111627538686276828/41786320496838891617579457*c_\ 0101_6^15 + 290350743967230594486663517/167145281987355566470317828\ *c_0101_6^14 - 264469697980214824675315073/417863204968388916175794\ 57*c_0101_6^13 + 253494941130602027698365707/8357264099367778323515\ 8914*c_0101_6^12 + 2009479627175061226759386983/1671452819873555664\ 70317828*c_0101_6^11 - 2425999168789024695159567809/167145281987355\ 566470317828*c_0101_6^10 - 4528701858392624980078349015/16714528198\ 7355566470317828*c_0101_6^9 + 727907872500900768804994669/417863204\ 96838891617579457*c_0101_6^8 + 3559015381887028090413735917/1671452\ 81987355566470317828*c_0101_6^7 - 1938733978553329298294773783/1671\ 45281987355566470317828*c_0101_6^6 - 2956001334099406578517534705/167145281987355566470317828*c_0101_6^5 + 133522966024436381014273873/41786320496838891617579457*c_0101_6^4 + 595507117584423037963313293/167145281987355566470317828*c_0101_6^\ 3 - 73671224602463466709624943/167145281987355566470317828*c_0101_6\ ^2 - 2267261275825407839126911/83572640993677783235158914*c_0101_6 + 25826530266512525284360673/167145281987355566470317828, c_0101_6^20 + 4*c_0101_6^19 - 9*c_0101_6^18 + 26*c_0101_6^17 - 6*c_0101_6^16 - 57*c_0101_6^15 + 213*c_0101_6^14 - 174*c_0101_6^13 - 329*c_0101_6^12 + 656*c_0101_6^11 + 462*c_0101_6^10 - 855*c_0101_6^9 - 185*c_0101_6^8 + 528*c_0101_6^7 + 78*c_0101_6^6 - 73*c_0101_6^5 - 45*c_0101_6^4 - 24*c_0101_6^3 + 3*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB