Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 1545453707] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1552 geometric_solution 5.34241270 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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.274003602352 1.278782253833 0 2 5 2 0132 2031 0132 3012 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 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.499288476549 0.621429907341 1 0 1 3 1302 0132 1230 1230 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 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.263150184070 0.064643715256 2 6 6 0 3012 0132 1023 0132 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.231467468874 0.563898248527 6 4 0 4 3201 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 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.322440128761 1.081314380226 5 5 6 1 1230 3012 1302 0132 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 -1 0 1 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.214293196601 0.977915031024 5 3 3 4 2031 0132 1023 2310 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 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.342319847115 0.450506642992 ==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' : negation(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' : negation(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_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_6'])})} 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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 1135673630877361154173713100/1320859452067746457059471*c_0101_6^14 - 131710418659658053850142595/440286484022582152353157*c_0101_6^13 - 2500317551099712602122433971/1320859452067746457059471*c_0101_6^12 + 5683989515054346240777567266/1320859452067746457059471*c_0101_6^11 - 18820051919927009943538748560/1320859452067746457059471*c_0101_6^10 - 12182571730177239454621782179/1320859452067746457059471*c_0101_6^\ 9 + 33056924119124391378706934972/1320859452067746457059471*c_0101_\ 6^8 + 8290399497282800599097804639/1320859452067746457059471*c_0101\ _6^7 + 4169150050741856807700171926/1320859452067746457059471*c_010\ 1_6^6 + 20868962449825344376868519996/1320859452067746457059471*c_0\ 101_6^5 + 729903037715890911835893566/1320859452067746457059471*c_0\ 101_6^4 - 4474276539316947834888935585/1320859452067746457059471*c_\ 0101_6^3 - 742276899076612290119336564/1320859452067746457059471*c_\ 0101_6^2 - 1322920438641230305787019755/1320859452067746457059471*c\ _0101_6 - 326797896036909510330705548/1320859452067746457059471, c_0011_0 - 1, c_0011_3 + 51956515959899615519350/14202789807180069430747*c_0101_6^14 - 37634356049888577256385/14202789807180069430747*c_0101_6^13 - 97958660432227996195436/14202789807180069430747*c_0101_6^12 + 290968802387219668021022/14202789807180069430747*c_0101_6^11 - 970080465557060310466698/14202789807180069430747*c_0101_6^10 - 173119769144092947292559/14202789807180069430747*c_0101_6^9 + 1510931022721615822647525/14202789807180069430747*c_0101_6^8 - 108611321158160397356101/14202789807180069430747*c_0101_6^7 + 275806671227395509442791/14202789807180069430747*c_0101_6^6 + 740576554560166359360752/14202789807180069430747*c_0101_6^5 - 221543710162947059775621/14202789807180069430747*c_0101_6^4 - 126093244346872653464987/14202789807180069430747*c_0101_6^3 - 829082465478982325351/14202789807180069430747*c_0101_6^2 - 44593653624711720387185/14202789807180069430747*c_0101_6 + 7326614536373129868829/14202789807180069430747, c_0011_4 + 24411930343121149568075/14202789807180069430747*c_0101_6^14 - 7447143006514211319945/14202789807180069430747*c_0101_6^13 - 60844028661905529972317/14202789807180069430747*c_0101_6^12 + 127152022944197447238697/14202789807180069430747*c_0101_6^11 - 391609557128328662448369/14202789807180069430747*c_0101_6^10 - 316837717595949274275439/14202789807180069430747*c_0101_6^9 + 841036752310970246261672/14202789807180069430747*c_0101_6^8 + 166449603068049109043762/14202789807180069430747*c_0101_6^7 - 31976997615792538625344/14202789807180069430747*c_0101_6^6 + 492617115965971216485831/14202789807180069430747*c_0101_6^5 - 61361536017944504494742/14202789807180069430747*c_0101_6^4 - 130895248458108882949088/14202789807180069430747*c_0101_6^3 - 6857362366652935752903/14202789807180069430747*c_0101_6^2 - 23963229156430833575900/14202789807180069430747*c_0101_6 - 1628178133695597822361/14202789807180069430747, c_0011_5 + 12718396628974615667300/14202789807180069430747*c_0101_6^14 - 28187913712914022399630/14202789807180069430747*c_0101_6^13 - 9384022238809887939583/14202789807180069430747*c_0101_6^12 + 108308570734081806482494/14202789807180069430747*c_0101_6^11 - 347427942706454743135787/14202789807180069430747*c_0101_6^10 + 313189088361264123535948/14202789807180069430747*c_0101_6^9 + 429074040839702248580371/14202789807180069430747*c_0101_6^8 - 618321629355881789532425/14202789807180069430747*c_0101_6^7 + 136925156632916301491872/14202789807180069430747*c_0101_6^6 + 139982731912519340585736/14202789807180069430747*c_0101_6^5 - 326678808247796930142687/14202789807180069430747*c_0101_6^4 + 39259663865628277186470/14202789807180069430747*c_0101_6^3 + 50186767467750914126524/14202789807180069430747*c_0101_6^2 - 17454790710057321921663/14202789807180069430747*c_0101_6 + 13597466730295288432978/14202789807180069430747, c_0101_0 - 15483946533897642055075/14202789807180069430747*c_0101_6^14 + 33365562913933932499095/14202789807180069430747*c_0101_6^13 + 13513486947660583764567/14202789807180069430747*c_0101_6^12 - 128740179999749722214744/14202789807180069430747*c_0101_6^11 + 411840175523604426856476/14202789807180069430747*c_0101_6^10 - 361049596372117672337578/14202789807180069430747*c_0101_6^9 - 527714283668820463538397/14202789807180069430747*c_0101_6^8 + 672218184277519330996018/14202789807180069430747*c_0101_6^7 - 115179450101364443812190/14202789807180069430747*c_0101_6^6 - 66819401891258495680126/14202789807180069430747*c_0101_6^5 + 343219653668660733584822/14202789807180069430747*c_0101_6^4 - 58756540543915773916384/14202789807180069430747*c_0101_6^3 - 48148662022140646763806/14202789807180069430747*c_0101_6^2 - 20903886683446788197144/14202789807180069430747*c_0101_6 - 14169133588543760836702/14202789807180069430747, c_0101_3 + 21944393007846449999850/14202789807180069430747*c_0101_6^14 - 37241673763109182721585/14202789807180069430747*c_0101_6^13 - 19760581874630358739551/14202789807180069430747*c_0101_6^12 + 155290315725033014850046/14202789807180069430747*c_0101_6^11 - 535911677670137280334599/14202789807180069430747*c_0101_6^10 + 363092318402778653613525/14202789807180069430747*c_0101_6^9 + 571899525036705337650504/14202789807180069430747*c_0101_6^8 - 607190110807973362631873/14202789807180069430747*c_0101_6^7 + 295272358350619271454320/14202789807180069430747*c_0101_6^6 + 105476175875358908827635/14202789807180069430747*c_0101_6^5 - 283630749750459587984603/14202789807180069430747*c_0101_6^4 + 55429101732602787000187/14202789807180069430747*c_0101_6^3 + 13768411387804951561579/14202789807180069430747*c_0101_6^2 + 15655532785469642949089/14202789807180069430747*c_0101_6 + 7934351673355806974380/14202789807180069430747, c_0101_6^15 - 3/5*c_0101_6^14 - 49/25*c_0101_6^13 + 137/25*c_0101_6^12 - 454/25*c_0101_6^11 - 143/25*c_0101_6^10 + 728/25*c_0101_6^9 - 31/25*c_0101_6^8 + 164/25*c_0101_6^7 + 443/25*c_0101_6^6 - 88/25*c_0101_6^5 - 32/25*c_0101_6^4 - 2/25*c_0101_6^3 - 38/25*c_0101_6^2 + 1/25*c_0101_6 - 3/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB