Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 863154163] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2141 geometric_solution 5.62446796 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.613938478298 0.376836464677 0 2 3 0 3201 0132 0132 0132 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 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.957008654260 0.578780374669 4 1 3 5 0132 0132 1302 0132 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471759613952 0.722995161968 2 5 4 1 2031 2310 0132 0132 0 0 0 0 0 1 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 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.471759613952 0.722995161968 2 6 6 3 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240016581488 0.425758370061 5 5 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400718179315 0.451372866110 4 4 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.756033200464 2.063393071112 ==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_0101_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), '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_3, c_0011_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t + 34*c_0110_5^4 + 86*c_0110_5^3 - 123*c_0110_5^2 - 131*c_0110_5 + 59, c_0011_0 - 1, c_0011_1 + 2*c_0110_5^4 + 5*c_0110_5^3 - 7*c_0110_5^2 - 7*c_0110_5 + 4, c_0011_3 - 2*c_0110_5^4 - 5*c_0110_5^3 + 8*c_0110_5^2 + 8*c_0110_5 - 5, c_0011_5 - c_0110_5^4 - 2*c_0110_5^3 + 5*c_0110_5^2 + 3*c_0110_5 - 3, c_0101_0 + c_0110_5^4 + 2*c_0110_5^3 - 5*c_0110_5^2 - 3*c_0110_5 + 3, c_0101_6 - 1, c_0110_5^5 + 2*c_0110_5^4 - 5*c_0110_5^3 - 2*c_0110_5^2 + 4*c_0110_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 12779533274964778191374898477512/1235601929245155885425873965223*c_\ 0110_5^21 + 11692847572408356132858821847000/1765145613207365550608\ 39137889*c_0110_5^20 - 357342024127118132430168302425770/1235601929\ 245155885425873965223*c_0110_5^19 - 1556778954204222063470880392431264/1235601929245155885425873965223*\ c_0110_5^18 + 5541759620067296922612940554525499/123560192924515588\ 5425873965223*c_0110_5^17 + 4838316627800343258975774869018644/1235\ 601929245155885425873965223*c_0110_5^16 - 23485139971995829488936036424020236/1235601929245155885425873965223\ *c_0110_5^15 - 21468111545301258861936696170577685/1235601929245155\ 885425873965223*c_0110_5^14 + 113050444439489640817111066468217280/\ 1235601929245155885425873965223*c_0110_5^13 - 47917122164451242129810400158885369/1235601929245155885425873965223\ *c_0110_5^12 - 180669848705208322208851180811369793/123560192924515\ 5885425873965223*c_0110_5^11 + 28876687785157009609948344966630331/\ 176514561320736555060839137889*c_0110_5^10 + 77312422412617218817030265033980286/1235601929245155885425873965223\ *c_0110_5^9 - 217322976818622902143989427429508298/1235601929245155\ 885425873965223*c_0110_5^8 + 42014330022855864373185108498086321/12\ 35601929245155885425873965223*c_0110_5^7 + 101208194867731783812998842089320257/123560192924515588542587396522\ 3*c_0110_5^6 - 46921644281429285867741832325219621/1235601929245155\ 885425873965223*c_0110_5^5 - 21234632763024169299216833185955170/12\ 35601929245155885425873965223*c_0110_5^4 + 15108370749072465947695818788286390/1235601929245155885425873965223\ *c_0110_5^3 + 1309901901223429332331362051352393/123560192924515588\ 5425873965223*c_0110_5^2 - 1863985498020651748249530165532354/12356\ 01929245155885425873965223*c_0110_5 + 167842479198423425291655090187851/1235601929245155885425873965223, c_0011_0 - 1, c_0011_1 + 85119861019525614819039458216/176514561320736555060839137889\ *c_0110_5^21 + 707375803373466111304997076970/176514561320736555060\ 839137889*c_0110_5^20 - 1079873859994760150990866594221/17651456132\ 0736555060839137889*c_0110_5^19 - 12839315258685034206253095705489/\ 176514561320736555060839137889*c_0110_5^18 + 12921445488637256227355844045000/176514561320736555060839137889*c_0\ 110_5^17 + 64270421637566228011442382904717/17651456132073655506083\ 9137889*c_0110_5^16 - 38847529117958470994621269805103/176514561320\ 736555060839137889*c_0110_5^15 - 255877349232529613169462995480823/\ 176514561320736555060839137889*c_0110_5^14 + 275822658614063402609101678223699/176514561320736555060839137889*c_\ 0110_5^13 + 359046152257382612186614419876873/176514561320736555060\ 839137889*c_0110_5^12 - 628376009609409474608249518258214/176514561\ 320736555060839137889*c_0110_5^11 - 111515576245459145713090663004374/176514561320736555060839137889*c_\ 0110_5^10 + 601247342893494206417960348264601/176514561320736555060\ 839137889*c_0110_5^9 - 115997768551458509359718136710240/1765145613\ 20736555060839137889*c_0110_5^8 - 283920790751577693261550229238527\ /176514561320736555060839137889*c_0110_5^7 + 96447159784102393229195415702828/176514561320736555060839137889*c_0\ 110_5^6 + 69488095203870301190307926300598/176514561320736555060839\ 137889*c_0110_5^5 - 25538937141335314159997131073257/17651456132073\ 6555060839137889*c_0110_5^4 - 7060025986126817417400629409781/17651\ 4561320736555060839137889*c_0110_5^3 + 2041216319282804827625673953538/176514561320736555060839137889*c_01\ 10_5^2 - 238720686755909681220376324270/176514561320736555060839137\ 889*c_0110_5 + 176941391552279360181548988781/176514561320736555060\ 839137889, c_0011_3 + 47491638947382384309332024128/176514561320736555060839137889\ *c_0110_5^21 + 334132576513623511762098510235/176514561320736555060\ 839137889*c_0110_5^20 - 1112051408852123558318142874673/17651456132\ 0736555060839137889*c_0110_5^19 - 6429019188580842189674404710008/1\ 76514561320736555060839137889*c_0110_5^18 + 16596358308730650434618503319990/176514561320736555060839137889*c_0\ 110_5^17 + 27451022309862997984046337250030/17651456132073655506083\ 9137889*c_0110_5^16 - 71427389064648871635740118926425/176514561320\ 736555060839137889*c_0110_5^15 - 118114051468423788688340176555512/\ 176514561320736555060839137889*c_0110_5^14 + 354104207529949987700762145610712/176514561320736555060839137889*c_\ 0110_5^13 + 20881437966201657866944605181532/1765145613207365550608\ 39137889*c_0110_5^12 - 685593664121894651495626298640150/1765145613\ 20736555060839137889*c_0110_5^11 + 397573398595276018878945528138668/176514561320736555060839137889*c_\ 0110_5^10 + 550320024938753964715734042572192/176514561320736555060\ 839137889*c_0110_5^9 - 579863712489499985519049614223346/1765145613\ 20736555060839137889*c_0110_5^8 - 174035543967298152931878129990349\ /176514561320736555060839137889*c_0110_5^7 + 350955329959181942160321225047458/176514561320736555060839137889*c_\ 0110_5^6 + 5802302341059872188635329789933/176514561320736555060839\ 137889*c_0110_5^5 - 108207703129732923568434171981569/1765145613207\ 36555060839137889*c_0110_5^4 + 4259263123184174659674665235195/1765\ 14561320736555060839137889*c_0110_5^3 + 16011524025140958469041619520448/176514561320736555060839137889*c_0\ 110_5^2 + 421483078436285795208032165217/17651456132073655506083913\ 7889*c_0110_5 - 218467415636343138661468774938/17651456132073655506\ 0839137889, c_0011_5 - 82886468312653341622667451167/176514561320736555060839137889\ *c_0110_5^21 - 771975521447773581383063141539/176514561320736555060\ 839137889*c_0110_5^20 + 377447056257891451747706452127/176514561320\ 736555060839137889*c_0110_5^19 + 13724233781623483711956423933873/1\ 76514561320736555060839137889*c_0110_5^18 - 20694131043120654626292079471/176514561320736555060839137889*c_0110\ _5^17 - 77908380004726815589492727362346/17651456132073655506083913\ 7889*c_0110_5^16 - 26415776069217675713063385601499/176514561320736\ 555060839137889*c_0110_5^15 + 300536777793373069863339889463441/176\ 514561320736555060839137889*c_0110_5^14 - 5431465498476569372372078775627/176514561320736555060839137889*c_01\ 10_5^13 - 665178173738193504178757704387060/17651456132073655506083\ 9137889*c_0110_5^12 + 238099542942493110393732998758387/17651456132\ 0736555060839137889*c_0110_5^11 + 813134500850116608589479507098378\ /176514561320736555060839137889*c_0110_5^10 - 457484580540124034356142719896381/176514561320736555060839137889*c_\ 0110_5^9 - 581793342775378945874895245769709/1765145613207365550608\ 39137889*c_0110_5^8 + 378205307758968466497454837101547/17651456132\ 0736555060839137889*c_0110_5^7 + 266785524442327087646895428821919/\ 176514561320736555060839137889*c_0110_5^6 - 153771067544948999821875473472115/176514561320736555060839137889*c_\ 0110_5^5 - 83078532591815288503197895553576/17651456132073655506083\ 9137889*c_0110_5^4 + 25898613448096513999838723844620/1765145613207\ 36555060839137889*c_0110_5^3 + 14250518944923524175096164744103/176\ 514561320736555060839137889*c_0110_5^2 + 120825904300281990194492763527/176514561320736555060839137889*c_011\ 0_5 - 197114601721256538885048640238/176514561320736555060839137889\ , c_0101_0 - 143204892405850250562088680743/17651456132073655506083913788\ 9*c_0110_5^21 - 1229373459850114985716869554263/1765145613207365550\ 60839137889*c_0110_5^20 + 1519355175665971604824993938322/176514561\ 320736555060839137889*c_0110_5^19 + 22360504347670686795428896004814/176514561320736555060839137889*c_0\ 110_5^18 - 16006268226592010304019619369177/17651456132073655506083\ 9137889*c_0110_5^17 - 118603696602211266981944503084537/17651456132\ 0736555060839137889*c_0110_5^16 + 37083755735310752662689260169128/\ 176514561320736555060839137889*c_0110_5^15 + 471164247338979046248115740308177/176514561320736555060839137889*c_\ 0110_5^14 - 343869942637542546279522438072549/176514561320736555060\ 839137889*c_0110_5^13 - 816580630390406121691435184616111/176514561\ 320736555060839137889*c_0110_5^12 + 928354557900896126710448728980576/176514561320736555060839137889*c_\ 0110_5^11 + 621282435217019415331699106594010/176514561320736555060\ 839137889*c_0110_5^10 - 1075828864488826136392347911145262/17651456\ 1320736555060839137889*c_0110_5^9 - 190665965127563824993379121964242/176514561320736555060839137889*c_\ 0110_5^8 + 655717049506052236802090792553104/1765145613207365550608\ 39137889*c_0110_5^7 + 6456331457089727218163395848601/1765145613207\ 36555060839137889*c_0110_5^6 - 222773473495585173576736927452637/17\ 6514561320736555060839137889*c_0110_5^5 + 4805711703085437359938888125607/176514561320736555060839137889*c_01\ 10_5^4 + 37059404504845937691758802619348/1765145613207365550608391\ 37889*c_0110_5^3 - 455910810860722060310599692144/17651456132073655\ 5060839137889*c_0110_5^2 - 1145749845820323165270929763670/17651456\ 1320736555060839137889*c_0110_5 + 320867705142271170194693077911/17\ 6514561320736555060839137889, c_0101_6 - 23930095274546588538632757572/176514561320736555060839137889\ *c_0110_5^21 - 204396048890699530791149097108/176514561320736555060\ 839137889*c_0110_5^20 + 321989423823470759410042208107/176514561320\ 736555060839137889*c_0110_5^19 + 4231404455707811374716763261654/17\ 6514561320736555060839137889*c_0110_5^18 - 3464781205301647401617603953509/176514561320736555060839137889*c_01\ 10_5^17 - 28750038112952924423904943063446/176514561320736555060839\ 137889*c_0110_5^16 + 13856112749108469558348476215787/1765145613207\ 36555060839137889*c_0110_5^15 + 124213778201089555965891014083906/1\ 76514561320736555060839137889*c_0110_5^14 - 76407484081216461028338556548791/176514561320736555060839137889*c_0\ 110_5^13 - 312990870784647202757534303511988/1765145613207365550608\ 39137889*c_0110_5^12 + 308514977504217193256394138359957/1765145613\ 20736555060839137889*c_0110_5^11 + 371075532362183555963202798653146/176514561320736555060839137889*c_\ 0110_5^10 - 542644831253459450731153242365098/176514561320736555060\ 839137889*c_0110_5^9 - 175451722787054149267104418475633/1765145613\ 20736555060839137889*c_0110_5^8 + 467246644119244910835504435417317\ /176514561320736555060839137889*c_0110_5^7 + 1530983406626016169546845230570/176514561320736555060839137889*c_01\ 10_5^6 - 214740758448886108016238511365054/176514561320736555060839\ 137889*c_0110_5^5 + 21844917903038673269434594397795/17651456132073\ 6555060839137889*c_0110_5^4 + 52665720867546013341323174930437/1765\ 14561320736555060839137889*c_0110_5^3 - 5459676312909623563314163713284/176514561320736555060839137889*c_01\ 10_5^2 - 5222958314688430382229763040038/17651456132073655506083913\ 7889*c_0110_5 + 621507776935495716885754945276/17651456132073655506\ 0839137889, c_0110_5^22 + 8*c_0110_5^21 - 16*c_0110_5^20 - 153*c_0110_5^19 + 208*c_0110_5^18 + 819*c_0110_5^17 - 803*c_0110_5^16 - 3424*c_0110_5^15 + 4513*c_0110_5^14 + 5446*c_0110_5^13 - 11079*c_0110_5^12 - 2207*c_0110_5^11 + 12953*c_0110_5^10 - 2458*c_0110_5^9 - 8238*c_0110_5^8 + 3084*c_0110_5^7 + 3040*c_0110_5^6 - 1364*c_0110_5^5 - 645*c_0110_5^4 + 272*c_0110_5^3 + 62*c_0110_5^2 - 19*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB