Magma V2.19-8 Tue Aug 20 2013 16:19:27 on localhost [Seed = 2362249649] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3540 geometric_solution 6.91801846 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 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 0 -1 1 0 0 -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.476681473895 0.625030704975 0 3 0 4 0132 1302 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 1 -1 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.228531702318 1.011558871852 5 3 6 0 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653521935572 0.834682354951 2 4 0 1 1230 1302 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 -1 1 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.923931115543 0.932338420305 5 6 1 3 1230 3012 0132 2031 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 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.424219887054 1.021966152251 2 4 5 5 0132 3012 1230 3012 0 0 0 0 0 -1 1 0 0 0 1 -1 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.630945076548 0.978507317866 4 6 6 2 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633864890040 0.833900606493 ==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_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], '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' : 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_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : negation(d['c_0011_2'])})} 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_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 141084155653718853140142898/280079990155034226006007865*c_0101_0^18 - 301468989339818892350970459/280079990155034226006007865*c_0101_0^\ 17 + 75533477137046756457877348/56015998031006845201201573*c_0101_0\ ^16 + 150820691482118898356563970/56015998031006845201201573*c_0101\ _0^15 - 1561695909113987066788940191/280079990155034226006007865*c_\ 0101_0^14 + 225540424819643797549783063/280079990155034226006007865\ *c_0101_0^13 + 3472680737545265447755130828/28007999015503422600600\ 7865*c_0101_0^12 - 746853868028942879900911884/28007999015503422600\ 6007865*c_0101_0^11 + 8621959803375269350335009104/2800799901550342\ 26006007865*c_0101_0^10 + 1179322372387532815945679797/280079990155\ 034226006007865*c_0101_0^9 - 47609413592788517693978304983/28007999\ 0155034226006007865*c_0101_0^8 + 2821580575362961211482709367/40011\ 427165004889429429695*c_0101_0^7 + 8170509736551259983688395336/56015998031006845201201573*c_0101_0^6 - 1038434535232876191823974202/8002285433000977885885939*c_0101_0^5 + 10219372419887593728355377601/280079990155034226006007865*c_0101_0^\ 4 + 8300832838950513161897407436/280079990155034226006007865*c_0101\ _0^3 + 14155033589864104065498247442/280079990155034226006007865*c_\ 0101_0^2 + 28106470395593365921253288/280079990155034226006007865*c\ _0101_0 + 7657742658613968292009839394/280079990155034226006007865, c_0011_0 - 1, c_0011_2 - 89761026923880071758603/8002285433000977885885939*c_0101_0^1\ 8 - 229886872718971123301068/8002285433000977885885939*c_0101_0^17 + 174964132576237409167639/8002285433000977885885939*c_0101_0^16 + 602620670524709496061177/8002285433000977885885939*c_0101_0^15 - 857754625729035092560507/8002285433000977885885939*c_0101_0^14 - 319024546786258104527277/8002285433000977885885939*c_0101_0^13 + 2528990073371098211755654/8002285433000977885885939*c_0101_0^12 + 278280452772098555645794/8002285433000977885885939*c_0101_0^11 + 4855141911019355538354904/8002285433000977885885939*c_0101_0^10 + 3478198750058406015758113/8002285433000977885885939*c_0101_0^9 - 30844247083011650266015661/8002285433000977885885939*c_0101_0^8 - 13976094463172548598709/8002285433000977885885939*c_0101_0^7 + 36069855255728272475305593/8002285433000977885885939*c_0101_0^6 - 18544720239692027706620847/8002285433000977885885939*c_0101_0^5 - 6210667829892758062797278/8002285433000977885885939*c_0101_0^4 + 16624322552854258053403391/8002285433000977885885939*c_0101_0^3 + 9845330137326140208217368/8002285433000977885885939*c_0101_0^2 - 3311417836852186767537014/8002285433000977885885939*c_0101_0 + 4624338172689423111578497/8002285433000977885885939, c_0011_3 - 8333789993823463317445/8002285433000977885885939*c_0101_0^18 - 13851481380819326341505/8002285433000977885885939*c_0101_0^17 - 19430034723010525099814/8002285433000977885885939*c_0101_0^16 - 76442662867451678556016/8002285433000977885885939*c_0101_0^15 + 38957588505693890679321/8002285433000977885885939*c_0101_0^14 + 375546428627206244913953/8002285433000977885885939*c_0101_0^13 - 411245603245189572212399/8002285433000977885885939*c_0101_0^12 - 191621559118167551844181/8002285433000977885885939*c_0101_0^11 + 2004236359471507170917809/8002285433000977885885939*c_0101_0^10 - 519363248718662049587044/8002285433000977885885939*c_0101_0^9 - 215324527315193613249930/8002285433000977885885939*c_0101_0^8 + 2960825726077772401230941/8002285433000977885885939*c_0101_0^7 - 16465474575166491432511033/8002285433000977885885939*c_0101_0^6 + 4183377243033984667843899/8002285433000977885885939*c_0101_0^5 + 23282491632730236966210442/8002285433000977885885939*c_0101_0^4 - 15718827023641334785368439/8002285433000977885885939*c_0101_0^3 + 4156956383214204928465753/8002285433000977885885939*c_0101_0^2 + 3651278652586923288868222/8002285433000977885885939*c_0101_0 + 5420536490933256603092113/8002285433000977885885939, c_0011_4 + 102820926566716530269335/8002285433000977885885939*c_0101_0^\ 18 + 160859213367870592765471/8002285433000977885885939*c_0101_0^17 - 404459336372797005474056/8002285433000977885885939*c_0101_0^16 - 370950349934902195663229/8002285433000977885885939*c_0101_0^15 + 1531110903820199378500258/8002285433000977885885939*c_0101_0^14 - 870603142999718338186006/8002285433000977885885939*c_0101_0^13 - 2697879820867910300234340/8002285433000977885885939*c_0101_0^12 + 2194198081788971769346434/8002285433000977885885939*c_0101_0^11 - 6511021610067978338331376/8002285433000977885885939*c_0101_0^10 + 1903766756089024666586419/8002285433000977885885939*c_0101_0^9 + 35150359914631335389088457/8002285433000977885885939*c_0101_0^8 - 36182538482803673825134109/8002285433000977885885939*c_0101_0^7 - 23014141512133630028744550/8002285433000977885885939*c_0101_0^6 + 54895904362301424663344783/8002285433000977885885939*c_0101_0^5 - 20183864453047811127433263/8002285433000977885885939*c_0101_0^4 - 12051946432532596725614472/8002285433000977885885939*c_0101_0^3 - 3744860784682622725580280/8002285433000977885885939*c_0101_0^2 + 5661365254923923784616206/8002285433000977885885939*c_0101_0 - 4618012859021484853804975/8002285433000977885885939, c_0011_6 + 50364818871210979783862/8002285433000977885885939*c_0101_0^1\ 8 + 94318948195402806108170/8002285433000977885885939*c_0101_0^17 - 153815535905309137268162/8002285433000977885885939*c_0101_0^16 - 219377697357525768542729/8002285433000977885885939*c_0101_0^15 + 588307627557898319803086/8002285433000977885885939*c_0101_0^14 - 284964400274096417790579/8002285433000977885885939*c_0101_0^13 - 1086129695087019201473221/8002285433000977885885939*c_0101_0^12 + 620280731337328838919879/8002285433000977885885939*c_0101_0^11 - 3388437723134525943999510/8002285433000977885885939*c_0101_0^10 + 325497928892425868090641/8002285433000977885885939*c_0101_0^9 + 16978810183076506110974676/8002285433000977885885939*c_0101_0^8 - 10757245663194092239379547/8002285433000977885885939*c_0101_0^7 - 9730003241330194897339098/8002285433000977885885939*c_0101_0^6 + 14917487441509125023381769/8002285433000977885885939*c_0101_0^5 - 10789855802802053389094196/8002285433000977885885939*c_0101_0^4 - 1587315660329173606425892/8002285433000977885885939*c_0101_0^3 + 2144524486841745834675175/8002285433000977885885939*c_0101_0^2 - 405569907267059738924156/8002285433000977885885939*c_0101_0 - 7373958244533817383575718/8002285433000977885885939, c_0101_0^19 + 2*c_0101_0^18 - 3*c_0101_0^17 - 5*c_0101_0^16 + 12*c_0101_0^15 - 3*c_0101_0^14 - 25*c_0101_0^13 + 9*c_0101_0^12 - 61*c_0101_0^11 - c_0101_0^10 + 340*c_0101_0^9 - 189*c_0101_0^8 - 282*c_0101_0^7 + 315*c_0101_0^6 - 97*c_0101_0^5 - 65*c_0101_0^4 - 92*c_0101_0^3 + 13*c_0101_0^2 - 47*c_0101_0 - 7, c_0101_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB