Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1949690032] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0442 geometric_solution 4.48840907 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.489174425083 0.056697104611 2 0 2 0 0132 2310 1023 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493662855876 0.177099430603 1 3 1 3 0132 0132 1023 2310 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 -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.651017121973 3.599467067924 2 2 5 4 3201 0132 0132 0132 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 1 0 -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.219253768071 0.506318358401 5 5 3 6 1230 3012 0132 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 -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 0 0 0 0 0 0 1.276324160863 1.170210904310 4 4 6 3 1230 3012 3201 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 1.276324160863 1.170210904310 5 6 4 6 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 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.382270208562 0.618145227820 ==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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), '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' : 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' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 4132860118077157891554908920983780257/11485759594810426115877772631\ 3883389*c_0101_5^21 + 82479352378408618180731132899410728881/114857\ 595948104261158777726313883389*c_0101_5^19 + 3331668073812176632887535201914632280081/11485759594810426115877772\ 6313883389*c_0101_5^17 - 37888797512654875253523680455795298607662/\ 114857595948104261158777726313883389*c_0101_5^15 + 78711887567912241814682115224869354277461/1148575959481042611587777\ 26313883389*c_0101_5^13 + 42587039372730287781880816895850251524060\ 2/114857595948104261158777726313883389*c_0101_5^11 - 62693550948036589830545404032412812473311/1148575959481042611587777\ 26313883389*c_0101_5^9 - 494160060958428940037955806734273762073611\ /114857595948104261158777726313883389*c_0101_5^7 + 246725851683280534934389578988678252350208/114857595948104261158777\ 726313883389*c_0101_5^5 - 24725111215476137021971534015289659481817\ /114857595948104261158777726313883389*c_0101_5^3 - 1502639705520046637018959032213512878028/11485759594810426115877772\ 6313883389*c_0101_5, c_0011_0 - 1, c_0011_1 + 72346042243146617759914992510/397431127848111630307189364407\ 901*c_0101_5^20 + 1421486627824408800210260518016/39743112784811163\ 0307189364407901*c_0101_5^18 + 57838726504823747676435824165991/397\ 431127848111630307189364407901*c_0101_5^16 - 681993450975750404284292830748006/397431127848111630307189364407901\ *c_0101_5^14 + 1552382977789466227420643308796021/39743112784811163\ 0307189364407901*c_0101_5^12 + 7354945679621747267501581007640702/3\ 97431127848111630307189364407901*c_0101_5^10 - 3961951089346415326429877388804177/39743112784811163030718936440790\ 1*c_0101_5^8 - 12314624572307535518083499126321800/3974311278481116\ 30307189364407901*c_0101_5^6 + 5673584271029120933972447611273161/3\ 97431127848111630307189364407901*c_0101_5^4 + 1459218412170896013613192190798670/39743112784811163030718936440790\ 1*c_0101_5^2 - 150450318816219432673683495888019/397431127848111630\ 307189364407901, c_0011_4 - 149175187250776047158752512815/39743112784811163030718936440\ 7901*c_0101_5^20 - 3041037346658860272495589654448/3974311278481116\ 30307189364407901*c_0101_5^18 - 121539537883645690070817948906132/3\ 97431127848111630307189364407901*c_0101_5^16 + 1315905846545032284931982270397919/39743112784811163030718936440790\ 1*c_0101_5^14 - 2260269047402568075799207930986258/3974311278481116\ 30307189364407901*c_0101_5^12 - 16519135983031121047871162229596665\ /397431127848111630307189364407901*c_0101_5^10 - 4533145865952996981268986732026915/39743112784811163030718936440790\ 1*c_0101_5^8 + 18238161801864594884413513179756366/3974311278481116\ 30307189364407901*c_0101_5^6 - 382777841259906743268014044400884/39\ 7431127848111630307189364407901*c_0101_5^4 - 1974465981196332257774389989013064/39743112784811163030718936440790\ 1*c_0101_5^2 - 174506305104154811097756372331916/397431127848111630\ 307189364407901, c_0011_6 + 1095173579376304834988792398013/3974311278481116303071893644\ 07901*c_0101_5^20 + 22065054834454459680276451838216/39743112784811\ 1630307189364407901*c_0101_5^18 + 887086266696638369319460069855145\ /397431127848111630307189364407901*c_0101_5^16 - 9870812435569496992281473548855890/39743112784811163030718936440790\ 1*c_0101_5^14 + 18990702297793202056965506800925362/397431127848111\ 630307189364407901*c_0101_5^12 + 1163253407538945280783981860037008\ 49/397431127848111630307189364407901*c_0101_5^10 + 5773041847310456209933400276638842/39743112784811163030718936440790\ 1*c_0101_5^8 - 127852641769923809537411885064426220/397431127848111\ 630307189364407901*c_0101_5^6 + 41651501759915684908359772397126223\ /397431127848111630307189364407901*c_0101_5^4 - 626097264079198895848097525415365/397431127848111630307189364407901\ *c_0101_5^2 - 77292498191172349085095534244341/39743112784811163030\ 7189364407901, c_0101_0 - 9481133628484785179660656512540/3974311278481116303071893644\ 07901*c_0101_5^21 - 189288204886566532182669642685893/3974311278481\ 11630307189364407901*c_0101_5^19 - 7644591460832541844090808946793381/39743112784811163030718936440790\ 1*c_0101_5^17 + 86861008693222936426723416583453909/397431127848111\ 630307189364407901*c_0101_5^15 - 1798917554614598977240746835111572\ 55/397431127848111630307189364407901*c_0101_5^13 - 978430659907909818367038375619090446/397431127848111630307189364407\ 901*c_0101_5^11 + 136199623927533007003821573414667030/397431127848\ 111630307189364407901*c_0101_5^9 + 1135866047727869076780511199546144418/39743112784811163030718936440\ 7901*c_0101_5^7 - 555592579958775646091862239345625317/397431127848\ 111630307189364407901*c_0101_5^5 + 51646036857954428786335533965762063/3974311278481116303071893644079\ 01*c_0101_5^3 + 2943196482887272364238771014823763/3974311278481116\ 30307189364407901*c_0101_5, c_0101_4 - 3230445816669557003412866754359/3974311278481116303071893644\ 07901*c_0101_5^21 - 64224494113140919469015771727236/39743112784811\ 1630307189364407901*c_0101_5^19 - 259922683576038564116976639918582\ 7/397431127848111630307189364407901*c_0101_5^17 + 29815002805669622998120315893766769/3974311278481116303071893644079\ 01*c_0101_5^15 - 63717551468215290472049417790370203/39743112784811\ 1630307189364407901*c_0101_5^13 - 328833532104042240445980048002891\ 856/397431127848111630307189364407901*c_0101_5^11 + 75402223024361295118234824158975066/3974311278481116303071893644079\ 01*c_0101_5^9 + 390335036589905070418772819555118447/39743112784811\ 1630307189364407901*c_0101_5^7 - 2209522078924856339048360339805087\ 31/397431127848111630307189364407901*c_0101_5^5 + 25209165281522552473869251905893934/3974311278481116303071893644079\ 01*c_0101_5^3 + 1542127080824923027319368770364311/3974311278481116\ 30307189364407901*c_0101_5, c_0101_5^22 + 20*c_0101_5^20 + 807*c_0101_5^18 - 9133*c_0101_5^16 + 18651*c_0101_5^14 + 103863*c_0101_5^12 - 10732*c_0101_5^10 - 120204*c_0101_5^8 + 54551*c_0101_5^6 - 3433*c_0101_5^4 - 611*c_0101_5^2 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB