Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 2480017133] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3012 geometric_solution 6.18403635 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 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.429242454879 1.028968171438 0 2 4 3 0132 3201 0132 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 0.226361403381 0.493112421985 5 6 1 0 0132 0132 2310 0132 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 -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.522410175719 1.387613947668 3 5 1 3 3201 1230 0132 2310 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 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.259100146967 1.154612494803 6 5 5 1 0213 2310 3012 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.238860494020 0.943936850180 2 4 3 4 0132 1230 3012 3201 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 1 -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.568574258575 0.395623456028 4 2 6 6 0213 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295103085969 0.837221397455 ==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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], '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_4'], '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_4'], '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_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 229231951132009773052/1191374282979927317*c_0101_2^18 + 954610507023454609611/2382748565959854634*c_0101_2^17 + 3946770402455015735943/2382748565959854634*c_0101_2^16 - 5158363047541855546766/1191374282979927317*c_0101_2^15 - 11110704023630200688175/2382748565959854634*c_0101_2^14 + 22470260126434158887824/1191374282979927317*c_0101_2^13 + 3652678948604639586578/1191374282979927317*c_0101_2^12 - 103318185758610407207273/2382748565959854634*c_0101_2^11 + 20222303685407581706165/2382748565959854634*c_0101_2^10 + 71821225268726235633730/1191374282979927317*c_0101_2^9 - 48258235753673980117375/2382748565959854634*c_0101_2^8 - 129990423940970335692135/2382748565959854634*c_0101_2^7 + 17566556096384171500974/1191374282979927317*c_0101_2^6 + 73151177164429634628235/2382748565959854634*c_0101_2^5 - 2737161755432795830221/1191374282979927317*c_0101_2^4 - 10494261427696201107534/1191374282979927317*c_0101_2^3 - 1110944220938011173662/1191374282979927317*c_0101_2^2 + 1044878043877174379153/1191374282979927317*c_0101_2 + 464209287597932135655/2382748565959854634, c_0011_0 - 1, c_0011_2 + 6576172358852230043/2382748565959854634*c_0101_2^18 - 16189060197482637103/2382748565959854634*c_0101_2^17 - 25334730657532765937/1191374282979927317*c_0101_2^16 + 168711905651738141351/2382748565959854634*c_0101_2^15 + 47281904985473587960/1191374282979927317*c_0101_2^14 - 346509240878616078956/1191374282979927317*c_0101_2^13 + 178212603982682042253/2382748565959854634*c_0101_2^12 + 1448524958705454736465/2382748565959854634*c_0101_2^11 - 465868885811129416338/1191374282979927317*c_0101_2^10 - 1731767639956097936737/2382748565959854634*c_0101_2^9 + 1539316238607368681167/2382748565959854634*c_0101_2^8 + 622463459208862118563/1191374282979927317*c_0101_2^7 - 1194726093885595790057/2382748565959854634*c_0101_2^6 - 257958857977082812441/1191374282979927317*c_0101_2^5 + 210909150810224923655/1191374282979927317*c_0101_2^4 + 50490176963285590456/1191374282979927317*c_0101_2^3 - 28951084982599656510/1191374282979927317*c_0101_2^2 - 6947847713720363413/2382748565959854634*c_0101_2 + 447220151328108469/1191374282979927317, c_0011_3 + 13383816954263572306/1191374282979927317*c_0101_2^18 - 53717086701808234771/2382748565959854634*c_0101_2^17 - 224909944448965067099/2382748565959854634*c_0101_2^16 + 282870119341822850052/1191374282979927317*c_0101_2^15 + 612192434727589824957/2382748565959854634*c_0101_2^14 - 1186094454828648833120/1191374282979927317*c_0101_2^13 - 199874508809263591517/1191374282979927317*c_0101_2^12 + 5149843503490397350809/2382748565959854634*c_0101_2^11 - 880541261421084596427/2382748565959854634*c_0101_2^10 - 3317934700071059437823/1191374282979927317*c_0101_2^9 + 1886782315583070348383/2382748565959854634*c_0101_2^8 + 5454238109792459295003/2382748565959854634*c_0101_2^7 - 412182500557435273042/1191374282979927317*c_0101_2^6 - 2533053414104642993805/2382748565959854634*c_0101_2^5 - 136758534481881426915/1191374282979927317*c_0101_2^4 + 208994291906186111009/1191374282979927317*c_0101_2^3 + 60761779911626689361/1191374282979927317*c_0101_2^2 - 711245119384192904/1191374282979927317*c_0101_2 - 3557891834419082107/2382748565959854634, c_0011_4 - 73148213933009694017/2382748565959854634*c_0101_2^18 + 62584779645469606386/1191374282979927317*c_0101_2^17 + 665429106118879497623/2382748565959854634*c_0101_2^16 - 1381429148774913053463/2382748565959854634*c_0101_2^15 - 2187361274099829093513/2382748565959854634*c_0101_2^14 + 3081415543360563166489/1191374282979927317*c_0101_2^13 + 3126851586878774177669/2382748565959854634*c_0101_2^12 - 7225501745953721814220/1191374282979927317*c_0101_2^11 - 1652016298094330624079/2382748565959854634*c_0101_2^10 + 20270442967454320668315/2382748565959854634*c_0101_2^9 - 245598746718154453446/1191374282979927317*c_0101_2^8 - 18110527690857286394223/2382748565959854634*c_0101_2^7 - 1066370090968289082205/2382748565959854634*c_0101_2^6 + 8827246522652516581469/2382748565959854634*c_0101_2^5 + 1061034528987777940295/1191374282979927317*c_0101_2^4 - 728673703601602697269/1191374282979927317*c_0101_2^3 - 272379932287011272649/1191374282979927317*c_0101_2^2 + 5006896303904706491/2382748565959854634*c_0101_2 + 13022179623114550695/2382748565959854634, c_0101_0 - 31698566681680113740/1191374282979927317*c_0101_2^18 + 51375868716892982706/1191374282979927317*c_0101_2^17 + 295817348423315507349/1191374282979927317*c_0101_2^16 - 579160013842909049342/1191374282979927317*c_0101_2^15 - 1019882571909531998089/1191374282979927317*c_0101_2^14 + 2649763361224471736840/1191374282979927317*c_0101_2^13 + 1618997745037445387095/1191374282979927317*c_0101_2^12 - 6384422970250830684224/1191374282979927317*c_0101_2^11 - 1180458109387274697083/1191374282979927317*c_0101_2^10 + 9171453817042129809043/1191374282979927317*c_0101_2^9 + 225765454816502835830/1191374282979927317*c_0101_2^8 - 8327967348998621585195/1191374282979927317*c_0101_2^7 - 693133187710713549264/1191374282979927317*c_0101_2^6 + 4055668158983510731698/1191374282979927317*c_0101_2^5 + 987874813802083710758/1191374282979927317*c_0101_2^4 - 641860324655482074768/1191374282979927317*c_0101_2^3 - 242421566266295660259/1191374282979927317*c_0101_2^2 - 6597841010924134248/1191374282979927317*c_0101_2 + 5501866585411912992/1191374282979927317, c_0101_1 + 40983545024748086789/2382748565959854634*c_0101_2^18 - 65617331028318151181/2382748565959854634*c_0101_2^17 - 192540833947709767027/1191374282979927317*c_0101_2^16 + 743517356393379567109/2382748565959854634*c_0101_2^15 + 672607471080147503136/1191374282979927317*c_0101_2^14 - 1712361014153062975193/1191374282979927317*c_0101_2^13 - 2199466568113591185919/2382748565959854634*c_0101_2^12 + 8324172586726064526613/2382748565959854634*c_0101_2^11 + 871555828457383297903/1191374282979927317*c_0101_2^10 - 12090154516117861449165/2382748565959854634*c_0101_2^9 - 546790366163223809301/2382748565959854634*c_0101_2^8 + 5566802302194382798570/1191374282979927317*c_0101_2^7 + 1073977362290175284633/2382748565959854634*c_0101_2^6 - 2778366353287487905644/1191374282979927317*c_0101_2^5 - 680427806885142563701/1191374282979927317*c_0101_2^4 + 479680799048524759384/1191374282979927317*c_0101_2^3 + 168180980764249776598/1191374282979927317*c_0101_2^2 - 7842823890925670959/2382748565959854634*c_0101_2 - 4187130291021450674/1191374282979927317, c_0101_2^19 - 6/7*c_0101_2^18 - 74/7*c_0101_2^17 + 78/7*c_0101_2^16 + 323/7*c_0101_2^15 - 59*c_0101_2^14 - 115*c_0101_2^13 + 1136/7*c_0101_2^12 + 1340/7*c_0101_2^11 - 1824/7*c_0101_2^10 - 1604/7*c_0101_2^9 + 1798/7*c_0101_2^8 + 1570/7*c_0101_2^7 - 111*c_0101_2^6 - 915/7*c_0101_2^5 - 26/7*c_0101_2^4 + 24*c_0101_2^3 + 43/7*c_0101_2^2 - 1/7*c_0101_2 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB