Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 3086363276] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2424 geometric_solution 5.77404809 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 1 -1 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.872256635736 0.709764563781 0 3 3 4 0132 0132 1230 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626864356526 0.869116796407 4 3 4 0 0321 0213 0213 0132 0 0 0 0 0 0 1 -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 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.482698831056 0.513437022237 5 1 2 1 0132 0132 0213 3012 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 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.714581241752 0.288413983626 2 2 1 5 0321 0213 0132 2031 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 0 0 0 0 0 0 0 0.256579551273 0.419076347535 3 4 6 6 0132 1302 3201 0132 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 0 0 0 1 0 0 -1 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.542307989573 0.636660952797 5 6 5 6 2310 1302 0132 2031 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 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 -1.429714991408 1.061211666137 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_0011_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_0011_6, c_0101_1, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 173068579194015818159081/49862013496857597209472*c_1001_2^21 + 652940302519872941877341/49862013496857597209472*c_1001_2^20 + 13797287882175808510834/389546980444199978199*c_1001_2^19 - 6231161215718625791382721/24931006748428798604736*c_1001_2^18 - 316506154691476964159257/49862013496857597209472*c_1001_2^17 + 24260687075912221338057653/12465503374214399302368*c_1001_2^16 - 78524690217028597292787839/49862013496857597209472*c_1001_2^15 - 104917056852859603391465725/12465503374214399302368*c_1001_2^14 + 495759566007342181756658647/49862013496857597209472*c_1001_2^13 + 1134916012689722979315935171/49862013496857597209472*c_1001_2^12 - 1424957782148822890897860853/49862013496857597209472*c_1001_2^11 - 492070463852043782475495077/12465503374214399302368*c_1001_2^10 + 725350849598434229949615965/16620671165619199069824*c_1001_2^9 + 2109670534061926660586550955/49862013496857597209472*c_1001_2^8 - 222205212839788148899856737/6232751687107199651184*c_1001_2^7 - 1302567631896607106021983715/49862013496857597209472*c_1001_2^6 + 363926326291442437306098553/24931006748428798604736*c_1001_2^5 + 418436677026231769113258463/49862013496857597209472*c_1001_2^4 - 133716176028213663789337375/49862013496857597209472*c_1001_2^3 - 55540566451899091557831859/49862013496857597209472*c_1001_2^2 + 6979089990717322560154187/49862013496857597209472*c_1001_2 + 1128919870545309271044883/49862013496857597209472, c_0011_0 - 1, c_0011_2 + 20490438287939547015/86565995654266661822*c_1001_2^21 - 23083578986903519935/43282997827133330911*c_1001_2^20 - 139893583771944120675/43282997827133330911*c_1001_2^19 + 1052105372418855355313/86565995654266661822*c_1001_2^18 + 826791276313699138964/43282997827133330911*c_1001_2^17 - 9058303912730102020331/86565995654266661822*c_1001_2^16 - 4554523355707713322999/86565995654266661822*c_1001_2^15 + 21891154597353277434565/43282997827133330911*c_1001_2^14 + 7267583607599487042563/86565995654266661822*c_1001_2^13 - 64526883436706853124675/43282997827133330911*c_1001_2^12 - 20232269956795163816059/86565995654266661822*c_1001_2^11 + 109944983951927001014925/43282997827133330911*c_1001_2^10 + 47796991492686269636009/86565995654266661822*c_1001_2^9 - 104386886756114140032755/43282997827133330911*c_1001_2^8 - 26198477210154791955298/43282997827133330911*c_1001_2^7 + 53069191702524661426297/43282997827133330911*c_1001_2^6 + 12472258052732284216542/43282997827133330911*c_1001_2^5 - 13405599590277767081562/43282997827133330911*c_1001_2^4 - 4499046549897980799277/86565995654266661822*c_1001_2^3 + 2823314208479276778215/86565995654266661822*c_1001_2^2 + 86212024547630523029/43282997827133330911*c_1001_2 - 139461127682586186069/86565995654266661822, c_0011_4 + 52895132028319524247/86565995654266661822*c_1001_2^21 - 126280702344578595509/86565995654266661822*c_1001_2^20 - 747259822450985823835/86565995654266661822*c_1001_2^19 + 1462271884479932226850/43282997827133330911*c_1001_2^18 + 2198046613249027821064/43282997827133330911*c_1001_2^17 - 26249818945795977052783/86565995654266661822*c_1001_2^16 - 5335790166916540261900/43282997827133330911*c_1001_2^15 + 66412609262191279810987/43282997827133330911*c_1001_2^14 + 3453043706582780283441/86565995654266661822*c_1001_2^13 - 416464324978679326617355/86565995654266661822*c_1001_2^12 + 7717511638291684083397/43282997827133330911*c_1001_2^11 + 396329941483172588197500/43282997827133330911*c_1001_2^10 - 5082836736848414062783/86565995654266661822*c_1001_2^9 - 892426459720892432812105/86565995654266661822*c_1001_2^8 - 21478736207046608981681/86565995654266661822*c_1001_2^7 + 570504772637699323909961/86565995654266661822*c_1001_2^6 + 19910716218436103428007/86565995654266661822*c_1001_2^5 - 188125998412830300735079/86565995654266661822*c_1001_2^4 - 3467947526756161153231/43282997827133330911*c_1001_2^3 + 24810777248772678110125/86565995654266661822*c_1001_2^2 + 1389072085383912774873/86565995654266661822*c_1001_2 - 192002288604269571523/43282997827133330911, c_0011_6 + 453529208875477211/86565995654266661822*c_1001_2^21 - 2271414449928456412/43282997827133330911*c_1001_2^20 + 2692989088799649709/43282997827133330911*c_1001_2^19 + 58742174456991250183/86565995654266661822*c_1001_2^18 - 90513814870863252639/43282997827133330911*c_1001_2^17 - 247332460097825836873/86565995654266661822*c_1001_2^16 + 1489470464648260355795/86565995654266661822*c_1001_2^15 - 7524818398834050763/43282997827133330911*c_1001_2^14 - 6150694467687744811045/86565995654266661822*c_1001_2^13 + 1531803469811659073022/43282997827133330911*c_1001_2^12 + 14413353214161881423849/86565995654266661822*c_1001_2^11 - 4582573798158833316198/43282997827133330911*c_1001_2^10 - 18492564196324331799985/86565995654266661822*c_1001_2^9 + 5921856030800590374764/43282997827133330911*c_1001_2^8 + 6046217914504557653435/43282997827133330911*c_1001_2^7 - 2856236898962475381492/43282997827133330911*c_1001_2^6 - 1594408126057806767663/43282997827133330911*c_1001_2^5 - 640775573449224394313/43282997827133330911*c_1001_2^4 - 105138827602853616795/86565995654266661822*c_1001_2^3 + 1355625293798150407195/86565995654266661822*c_1001_2^2 + 32207129888897454524/43282997827133330911*c_1001_2 - 64448908700595538941/86565995654266661822, c_0101_1 + 41839733961378737761/86565995654266661822*c_1001_2^21 - 42960342874848189072/43282997827133330911*c_1001_2^20 - 311715964320989720284/43282997827133330911*c_1001_2^19 + 2136366965933477005965/86565995654266661822*c_1001_2^18 + 2086705649318699024771/43282997827133330911*c_1001_2^17 - 19819945982981798194567/86565995654266661822*c_1001_2^16 - 14015317532041039381313/86565995654266661822*c_1001_2^15 + 51435443609079635350069/43282997827133330911*c_1001_2^14 + 27502281160108964005045/86565995654266661822*c_1001_2^13 - 162870651222074523413428/43282997827133330911*c_1001_2^12 - 53156545912346081233395/86565995654266661822*c_1001_2^11 + 304824933012417843946515/43282997827133330911*c_1001_2^10 + 86446627014200366105007/86565995654266661822*c_1001_2^9 - 330632880928223625236660/43282997827133330911*c_1001_2^8 - 35599955526642390955981/43282997827133330911*c_1001_2^7 + 201365733502469435598187/43282997827133330911*c_1001_2^6 + 9700294843289366129224/43282997827133330911*c_1001_2^5 - 62914606140519257750253/43282997827133330911*c_1001_2^4 + 1113536062090035382661/86565995654266661822*c_1001_2^3 + 15519920009127852232165/86565995654266661822*c_1001_2^2 - 100832332814802172543/43282997827133330911*c_1001_2 - 278624585904046949073/86565995654266661822, c_0101_5 + 1120608913469451311/43282997827133330911*c_1001_2^21 - 4164080778701625847/86565995654266661822*c_1001_2^20 - 44380267864540117915/86565995654266661822*c_1001_2^19 + 136081299384611939841/86565995654266661822*c_1001_2^18 + 182234845470342567851/43282997827133330911*c_1001_2^17 - 795451617776614901770/43282997827133330911*c_1001_2^16 - 1409532361815831629713/86565995654266661822*c_1001_2^15 + 4930300633701124407764/43282997827133330911*c_1001_2^14 + 1034560259461565753880/43282997827133330911*c_1001_2^13 - 36715202636695447477233/86565995654266661822*c_1001_2^12 + 1335769013178019630853/86565995654266661822*c_1001_2^11 + 41732266301479343971207/43282997827133330911*c_1001_2^10 - 3415555019424217047164/43282997827133330911*c_1001_2^9 - 110928450880596863561671/86565995654266661822*c_1001_2^8 + 7088727146765865172621/86565995654266661822*c_1001_2^7 + 80303496343386799826015/86565995654266661822*c_1001_2^6 - 3246366989814890492179/86565995654266661822*c_1001_2^5 - 27807286329449670074179/86565995654266661822*c_1001_2^4 + 546537832041583068059/86565995654266661822*c_1001_2^3 + 1775864955135706276133/43282997827133330911*c_1001_2^2 + 111265650058531998029/86565995654266661822*c_1001_2 - 128405729615645399583/86565995654266661822, c_1001_2^22 - 2*c_1001_2^21 - 15*c_1001_2^20 + 50*c_1001_2^19 + 103*c_1001_2^18 - 465*c_1001_2^17 - 373*c_1001_2^16 + 2425*c_1001_2^15 + 893*c_1001_2^14 - 7736*c_1001_2^13 - 2148*c_1001_2^12 + 14603*c_1001_2^11 + 4061*c_1001_2^10 - 15968*c_1001_2^9 - 4353*c_1001_2^8 + 9795*c_1001_2^7 + 2383*c_1001_2^6 - 3085*c_1001_2^5 - 638*c_1001_2^4 + 384*c_1001_2^3 + 78*c_1001_2^2 - 4*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB