Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 2547387387] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s800 geometric_solution 5.34821999 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 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 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 0.245773089448 0.233113269770 2 0 3 0 0132 2310 0132 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 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.612342715450 1.798442053517 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 -1 1 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.046384148225 0.903188731793 5 4 2 1 1023 3201 2310 0132 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 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.046384148225 0.903188731793 4 4 3 2 1230 3012 2310 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 1 -1 -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.442642052841 0.936357778462 5 3 2 5 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533522885164 0.946487190066 ==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_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : negation(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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1141531772435153461583/14615120483385584307*c_0101_3^17 - 3349596911234123763896/14615120483385584307*c_0101_3^16 - 6315008565522356732305/4871706827795194769*c_0101_3^15 - 21674164961447557755958/14615120483385584307*c_0101_3^14 - 31058402803043763606086/4871706827795194769*c_0101_3^13 - 9369939991237291827838/4871706827795194769*c_0101_3^12 + 250778619873000778559786/4871706827795194769*c_0101_3^11 + 117785567954914228023538/4871706827795194769*c_0101_3^10 - 574709705942655446391835/4871706827795194769*c_0101_3^9 - 205840091743230101735570/14615120483385584307*c_0101_3^8 + 484179982815891216727127/4871706827795194769*c_0101_3^7 - 189894551640318528307082/14615120483385584307*c_0101_3^6 - 519580604702303042415271/14615120483385584307*c_0101_3^5 + 74422318238575873127094/4871706827795194769*c_0101_3^4 + 89284605296739511534529/14615120483385584307*c_0101_3^3 - 21677592157151935691981/4871706827795194769*c_0101_3^2 - 10444951423716454982510/14615120483385584307*c_0101_3 + 3010037505336583816277/14615120483385584307, c_0011_0 - 1, c_0011_1 - 1236926845296886993/4871706827795194769*c_0101_3^17 + 4953927892189384272/4871706827795194769*c_0101_3^16 + 16276433167696624136/4871706827795194769*c_0101_3^15 + 3079878651880600093/4871706827795194769*c_0101_3^14 + 80228298645780399032/4871706827795194769*c_0101_3^13 - 78299810120961762154/4871706827795194769*c_0101_3^12 - 825227211631156185045/4871706827795194769*c_0101_3^11 + 458445061891392503097/4871706827795194769*c_0101_3^10 + 2037552164370978088615/4871706827795194769*c_0101_3^9 - 1569640431282961194620/4871706827795194769*c_0101_3^8 - 1217738370140801879603/4871706827795194769*c_0101_3^7 + 1282521915219193811955/4871706827795194769*c_0101_3^6 + 61377242397263266433/4871706827795194769*c_0101_3^5 - 418257897968721077637/4871706827795194769*c_0101_3^4 + 104784575509893204671/4871706827795194769*c_0101_3^3 + 64959616888115965067/4871706827795194769*c_0101_3^2 - 15690199312314511319/4871706827795194769*c_0101_3 - 1190831867217337732/4871706827795194769, c_0011_3 + 12801589307720955662/4871706827795194769*c_0101_3^17 - 42312307699302885433/4871706827795194769*c_0101_3^16 - 195493316444567765259/4871706827795194769*c_0101_3^15 - 175793273261471786700/4871706827795194769*c_0101_3^14 - 995774174431924711469/4871706827795194769*c_0101_3^13 + 52955876479932792728/4871706827795194769*c_0101_3^12 + 8337328339511737184273/4871706827795194769*c_0101_3^11 + 968370137070354417720/4871706827795194769*c_0101_3^10 - 18843443650253137988042/4871706827795194769*c_0101_3^9 + 4142579410508000299748/4871706827795194769*c_0101_3^8 + 12725790026595005723637/4871706827795194769*c_0101_3^7 - 5172648573807169168197/4871706827795194769*c_0101_3^6 - 2950878472391827051423/4871706827795194769*c_0101_3^5 + 2429413458574729577040/4871706827795194769*c_0101_3^4 + 187915483986861350621/4871706827795194769*c_0101_3^3 - 489244624409496623441/4871706827795194769*c_0101_3^2 - 44665969921625356754/4871706827795194769*c_0101_3 + 14071548474759603646/4871706827795194769, c_0011_4 + 13220206288306963768/4871706827795194769*c_0101_3^17 - 42792158178567395224/4871706827795194769*c_0101_3^16 - 205114699645108140312/4871706827795194769*c_0101_3^15 - 193523741539091988884/4871706827795194769*c_0101_3^14 - 1040007132446727226534/4871706827795194769*c_0101_3^13 - 28481269736011269228/4871706827795194769*c_0101_3^12 + 8609876020220697506121/4871706827795194769*c_0101_3^11 + 1488074013777601404373/4871706827795194769*c_0101_3^10 - 19602268407899844935862/4871706827795194769*c_0101_3^9 + 3505669663065741017105/4871706827795194769*c_0101_3^8 + 14063562596156075837537/4871706827795194769*c_0101_3^7 - 5551388460353980334940/4871706827795194769*c_0101_3^6 - 3527507947352903515896/4871706827795194769*c_0101_3^5 + 2845810335834504468079/4871706827795194769*c_0101_3^4 + 188150938319584920495/4871706827795194769*c_0101_3^3 - 586071508722012652494/4871706827795194769*c_0101_3^2 - 14185593640703904220/4871706827795194769*c_0101_3 + 22664639925236719427/4871706827795194769, c_0101_1 + 5856296029477393610/4871706827795194769*c_0101_3^17 - 20271659534234628308/4871706827795194769*c_0101_3^16 - 86522097905059744266/4871706827795194769*c_0101_3^15 - 65928441600339402887/4871706827795194769*c_0101_3^14 - 441719768851660743787/4871706827795194769*c_0101_3^13 + 95293497363337692635/4871706827795194769*c_0101_3^12 + 3818250180893979284967/4871706827795194769*c_0101_3^11 - 163792376368005885983/4871706827795194769*c_0101_3^10 - 8758049087022305084748/4871706827795194769*c_0101_3^9 + 3315920899334585928302/4871706827795194769*c_0101_3^8 + 5664627594610720337374/4871706827795194769*c_0101_3^7 - 3459057265447701047632/4871706827795194769*c_0101_3^6 - 967121516174647870924/4871706827795194769*c_0101_3^5 + 1357897716971107451631/4871706827795194769*c_0101_3^4 - 111627036278637476667/4871706827795194769*c_0101_3^3 - 231594857492626979183/4871706827795194769*c_0101_3^2 + 15867334746398909103/4871706827795194769*c_0101_3 + 9719298314632221916/4871706827795194769, c_0101_3^18 - 4*c_0101_3^17 - 13*c_0101_3^16 - 3*c_0101_3^15 - 68*c_0101_3^14 + 58*c_0101_3^13 + 650*c_0101_3^12 - 380*c_0101_3^11 - 1540*c_0101_3^10 + 1368*c_0101_3^9 + 800*c_0101_3^8 - 1151*c_0101_3^7 + 59*c_0101_3^6 + 375*c_0101_3^5 - 132*c_0101_3^4 - 50*c_0101_3^3 + 27*c_0101_3^2 + 3*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB