Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 2816883597] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0064 geometric_solution 3.62276418 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 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 1 0 -1 1 0 0 -1 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.804279243987 0.052266736185 0 0 2 2 0132 3201 2310 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 1 -1 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 1.526468473447 0.199238990141 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.096192889975 0.080352836730 2 4 4 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.111453073178 0.212531756310 5 3 3 6 0132 0132 1023 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 -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.801111532451 0.408221375904 4 6 6 6 0132 1302 3201 2031 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 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.506994121153 0.497993209858 5 5 4 5 2310 1302 0132 2031 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 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.506994121153 0.497993209858 ==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_2'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], '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_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 565641285825456267275781630488/4047427699758632365312531351*c_0101_\ 5^18 - 599744257357041241433587543381/4047427699758632365312531351*\ c_0101_5^17 + 4005027023609399267078966879554/404742769975863236531\ 2531351*c_0101_5^16 - 8173143044617702162058126765833/4047427699758\ 632365312531351*c_0101_5^15 + 13574026869763136445597414161078/4047\ 427699758632365312531351*c_0101_5^14 - 16251001309463172350831252963694/4047427699758632365312531351*c_010\ 1_5^13 + 22761129454998224534852844540658/4047427699758632365312531\ 351*c_0101_5^12 + 183761848672550038867268309369493/404742769975863\ 2365312531351*c_0101_5^11 - 137761759248450479688437870525230/40474\ 27699758632365312531351*c_0101_5^10 + 113394647764352903172999258861860/4047427699758632365312531351*c_01\ 01_5^9 - 422558473845191700735958341624769/404742769975863236531253\ 1351*c_0101_5^8 - 1836089762912861550563200838195677/40474276997586\ 32365312531351*c_0101_5^7 + 641285976286418514265899374066985/40474\ 27699758632365312531351*c_0101_5^6 + 2064723749331070929161120848562358/4047427699758632365312531351*c_0\ 101_5^5 - 2083570127598544963297494371703/2716394429368209641149349\ 9*c_0101_5^4 - 637046358779335965654418012731696/404742769975863236\ 5312531351*c_0101_5^3 + 56228195781210213708441195269709/4047427699\ 758632365312531351*c_0101_5^2 + 4194576922267960362433633451713/367\ 947972705330215028411941*c_0101_5 + 1592729932592780653414096331016/4047427699758632365312531351, c_0011_0 - 1, c_0011_2 + 74631833940146068018985463/367947972705330215028411941*c_010\ 1_5^18 - 117693461308125977411115943/367947972705330215028411941*c_\ 0101_5^17 + 622448111984961990616627371/367947972705330215028411941\ *c_0101_5^16 - 1466805745028022174982644629/36794797270533021502841\ 1941*c_0101_5^15 + 2862019385178821709474216563/3679479727053302150\ 28411941*c_0101_5^14 - 4424884726485485806112817031/367947972705330\ 215028411941*c_0101_5^13 + 6976554189950699585294068543/36794797270\ 5330215028411941*c_0101_5^12 + 17778238729998264185573174137/367947\ 972705330215028411941*c_0101_5^11 - 22680785764136398465099329330/367947972705330215028411941*c_0101_5^\ 10 + 32003725718664726326610512420/367947972705330215028411941*c_01\ 01_5^9 - 83801583637466714420855266778/367947972705330215028411941*\ c_0101_5^8 - 178377955282622551945141102379/36794797270533021502841\ 1941*c_0101_5^7 + 128253277359182320009445267611/367947972705330215\ 028411941*c_0101_5^6 + 151962782752362421831391244384/3679479727053\ 30215028411941*c_0101_5^5 - 325664815255318095166970809/24694494812\ 43826946499409*c_0101_5^4 - 35783285906067133047582652022/367947972\ 705330215028411941*c_0101_5^3 + 7456399820641455567963614012/367947\ 972705330215028411941*c_0101_5^2 + 1159808891131460080736637328/367947972705330215028411941*c_0101_5 - 187311110594793819868241235/367947972705330215028411941, c_0101_0 - 19711876470641728985230749/367947972705330215028411941*c_010\ 1_5^18 + 63305465656589124054721529/367947972705330215028411941*c_0\ 101_5^17 - 222198932914628597406266602/367947972705330215028411941*\ c_0101_5^16 + 673144431559630079103127058/3679479727053302150284119\ 41*c_0101_5^15 - 1459335841798491385750833186/367947972705330215028\ 411941*c_0101_5^14 + 2597511517049087717355427102/36794797270533021\ 5028411941*c_0101_5^13 - 4163180625368204204925100875/3679479727053\ 30215028411941*c_0101_5^12 - 972156961015693515358604456/3679479727\ 05330215028411941*c_0101_5^11 + 12514162528950940523922605297/36794\ 7972705330215028411941*c_0101_5^10 - 19098434979811764399455522635/367947972705330215028411941*c_0101_5^\ 9 + 39094649536942615507496159036/367947972705330215028411941*c_010\ 1_5^8 + 5828038272397161563670706258/367947972705330215028411941*c_\ 0101_5^7 - 99400436961230843110845418420/36794797270533021502841194\ 1*c_0101_5^6 + 23506029533021410804858292941/3679479727053302150284\ 11941*c_0101_5^5 + 375998620634921148410570533/24694494812438269464\ 99409*c_0101_5^4 - 12276030105026029436036333711/367947972705330215\ 028411941*c_0101_5^3 - 8250561045459936251613032334/367947972705330\ 215028411941*c_0101_5^2 + 1502651654197321760834661539/367947972705\ 330215028411941*c_0101_5 + 158545889166608135126263273/367947972705\ 330215028411941, c_0101_1 + 18870756892491547715810431/367947972705330215028411941*c_010\ 1_5^18 + 14126340394669568137816655/367947972705330215028411941*c_0\ 101_5^17 + 70092760204163165952044056/367947972705330215028411941*c\ _0101_5^16 + 35026861890334794844234634/367947972705330215028411941\ *c_0101_5^15 - 316093196674435572587239245/367947972705330215028411\ 941*c_0101_5^14 + 1032344571377736925068845807/36794797270533021502\ 8411941*c_0101_5^13 - 1836578890636770851046063816/3679479727053302\ 15028411941*c_0101_5^12 + 10318372280001693823012023282/36794797270\ 5330215028411941*c_0101_5^11 + 1903305429258167888931467605/3679479\ 72705330215028411941*c_0101_5^10 - 7720749419071173430948893961/367947972705330215028411941*c_0101_5^9 + 4575158318001007749530284433/367947972705330215028411941*c_0101_5\ ^8 - 106844402842812175639062864550/367947972705330215028411941*c_0\ 101_5^7 - 44157641997198548241256209200/367947972705330215028411941\ *c_0101_5^6 + 138674290512466865645072797017/3679479727053302150284\ 11941*c_0101_5^5 + 212471743284365601553085444/24694494812438269464\ 99409*c_0101_5^4 - 42378003020327982031642244016/367947972705330215\ 028411941*c_0101_5^3 - 4413728571400485787678990998/367947972705330\ 215028411941*c_0101_5^2 + 2735926786705338225208201621/367947972705\ 330215028411941*c_0101_5 + 104956139893118103272622276/367947972705\ 330215028411941, c_0101_3 - 24065916451754032050549033/367947972705330215028411941*c_010\ 1_5^18 + 61413815582980460888353999/367947972705330215028411941*c_0\ 101_5^17 - 257885463444941482353614446/367947972705330215028411941*\ c_0101_5^16 + 714258679949769818949294914/3679479727053302150284119\ 41*c_0101_5^15 - 1584152641542084807998183804/367947972705330215028\ 411941*c_0101_5^14 + 2859996834497483352980045614/36794797270533021\ 5028411941*c_0101_5^13 - 4783648684875550909515253432/3679479727053\ 30215028411941*c_0101_5^12 - 1556669291446157405693777263/367947972\ 705330215028411941*c_0101_5^11 + 9653011587893476924529793933/36794\ 7972705330215028411941*c_0101_5^10 - 20032006738501470829385494937/367947972705330215028411941*c_0101_5^\ 9 + 44980559433330737219652566605/367947972705330215028411941*c_010\ 1_5^8 + 16820685904799528829860110901/367947972705330215028411941*c\ _0101_5^7 - 64921145407959705654854929801/3679479727053302150284119\ 41*c_0101_5^6 + 17137198113661892511340610655/367947972705330215028\ 411941*c_0101_5^5 + 76867213602186572071518155/24694494812438269464\ 99409*c_0101_5^4 - 6116113854506867890939067477/3679479727053302150\ 28411941*c_0101_5^3 + 2081886384181513448230130082/3679479727053302\ 15028411941*c_0101_5^2 - 1048077563246815529366325454/3679479727053\ 30215028411941*c_0101_5 - 90744641757437032345509675/36794797270533\ 0215028411941, c_0101_4 - 10966737955358470253359787/367947972705330215028411941*c_010\ 1_5^18 + 9429761540544186915562959/367947972705330215028411941*c_01\ 01_5^17 - 73524562051866074163399839/367947972705330215028411941*c_\ 0101_5^16 + 137437283279004215023643141/367947972705330215028411941\ *c_0101_5^15 - 211290989692945245157700924/367947972705330215028411\ 941*c_0101_5^14 + 203104762849993874976767972/367947972705330215028\ 411941*c_0101_5^13 - 248746252954180604502802691/367947972705330215\ 028411941*c_0101_5^12 - 3881370855623432399183551216/36794797270533\ 0215028411941*c_0101_5^11 + 2325095656269673623707969849/3679479727\ 05330215028411941*c_0101_5^10 - 1549808349230486333652781299/367947\ 972705330215028411941*c_0101_5^9 + 6679600904478095638156827312/367947972705330215028411941*c_0101_5^8 + 39053154826454281005546608664/367947972705330215028411941*c_0101_\ 5^7 - 8945257174610899004501982679/367947972705330215028411941*c_01\ 01_5^6 - 43185805966484566364012066405/367947972705330215028411941*\ c_0101_5^5 + 39671927923893464824375360/2469449481243826946499409*c\ _0101_5^4 + 10816750864298361289017787029/3679479727053302150284119\ 41*c_0101_5^3 - 1973429695098385120952104579/3679479727053302150284\ 11941*c_0101_5^2 + 526178257428208607878356385/36794797270533021502\ 8411941*c_0101_5 + 63003961413263278180605525/367947972705330215028\ 411941, c_0101_5^19 - c_0101_5^18 + 7*c_0101_5^17 - 14*c_0101_5^16 + 23*c_0101_5^15 - 27*c_0101_5^14 + 38*c_0101_5^13 + 328*c_0101_5^12 - 225*c_0101_5^11 + 181*c_0101_5^10 - 730*c_0101_5^9 - 3296*c_0101_5^8 + 953*c_0101_5^7 + 3766*c_0101_5^6 - 357*c_0101_5^5 - 1210*c_0101_5^4 + 47*c_0101_5^3 + 103*c_0101_5^2 + 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB