Magma V2.19-8 Tue Aug 20 2013 16:18:23 on localhost [Seed = 1360055423] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2588 geometric_solution 5.88151351 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.001345947321 0.881741066986 0 2 5 4 0132 3201 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.001345947321 0.881741066986 2 0 1 2 3012 0132 2310 1230 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 0 0.498071248238 1.017950118241 6 4 5 0 0132 2103 0321 0132 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 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.534697232111 0.773233573720 1 3 0 5 3201 2103 0132 0321 0 0 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 -1 1 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.077782919738 0.646330167250 6 4 3 1 2310 0321 0321 0132 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534697232111 0.773233573720 3 6 5 6 0132 1302 3201 2031 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533807470860 0.281687762704 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_1001_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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' : d['c_1001_5'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0011_3']})} 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_0101_0, c_0101_2, c_0101_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 90090632122739131665474662225/33068357321682581189545590368*c_1001_\ 5^19 + 741557471410688243878179855051/33068357321682581189545590368\ *c_1001_5^18 - 228736566555688700910683353825/826708933042064529738\ 6397592*c_1001_5^17 - 461621364198149022061369862071/16534178660841\ 290594772795184*c_1001_5^16 - 9383954493523895615060110253847/33068\ 357321682581189545590368*c_1001_5^15 - 6008054334995140411991802703267/16534178660841290594772795184*c_100\ 1_5^14 + 25499986691040749632177923524769/1653417866084129059477279\ 5184*c_1001_5^13 + 195142891802384353804009077944617/33068357321682\ 581189545590368*c_1001_5^12 + 65187547914003125480897957866821/1653\ 4178660841290594772795184*c_1001_5^11 - 419762327113200300102209516321019/33068357321682581189545590368*c_1\ 001_5^10 - 524589058411009062884396002386307/1653417866084129059477\ 2795184*c_1001_5^9 - 858796975854577153812373984199895/330683573216\ 82581189545590368*c_1001_5^8 + 136146418568376942720474417045363/33\ 068357321682581189545590368*c_1001_5^7 + 856724889976644915395958210130013/33068357321682581189545590368*c_1\ 001_5^6 + 349211068637251141272101229124515/16534178660841290594772\ 795184*c_1001_5^5 + 206750745515659973179528447608965/3306835732168\ 2581189545590368*c_1001_5^4 - 8749043625730760350546973758985/16534\ 178660841290594772795184*c_1001_5^3 - 2576111935324203533195680478521/33068357321682581189545590368*c_100\ 1_5^2 + 15373873586232416880118068946441/33068357321682581189545590\ 368*c_1001_5 + 4783084103520801080968013701539/33068357321682581189\ 545590368, c_0011_0 - 1, c_0011_3 - 2040046313438924820151263969/16534178660841290594772795184*c\ _1001_5^19 + 13631549277117969119365530591/165341786608412905947727\ 95184*c_1001_5^18 - 643823404280398471824750873/4133544665210322648\ 693198796*c_1001_5^17 - 3032177957103124061770592359/82670893304206\ 45297386397592*c_1001_5^16 - 219066236621035924799345474671/1653417\ 8660841290594772795184*c_1001_5^15 - 309531816541748958021341999313/8267089330420645297386397592*c_1001_\ 5^14 - 62525364979118665950941940661/8267089330420645297386397592*c\ _1001_5^13 + 3209268092485826856895654496941/1653417866084129059477\ 2795184*c_1001_5^12 + 3686420229182014903466118543369/8267089330420\ 645297386397592*c_1001_5^11 + 6354054164225336489102226415093/16534\ 178660841290594772795184*c_1001_5^10 - 842692347944053879517225951037/8267089330420645297386397592*c_1001_\ 5^9 - 8393695270038229806458556115419/16534178660841290594772795184\ *c_1001_5^8 - 6877160265568509653566352664669/165341786608412905947\ 72795184*c_1001_5^7 - 1092993923508979442719126773807/1653417866084\ 1290594772795184*c_1001_5^6 + 834088864725262806154125555295/826708\ 9330420645297386397592*c_1001_5^5 + 994821866223767935832652208613/16534178660841290594772795184*c_1001\ _5^4 + 12020136585661181714842316221/8267089330420645297386397592*c\ _1001_5^3 - 57058339971358482071314723005/1653417866084129059477279\ 5184*c_1001_5^2 + 1451599135937157436407587777/16534178660841290594\ 772795184*c_1001_5 + 8286489937704720787434235559/16534178660841290\ 594772795184, c_0011_4 - c_1001_5, c_0101_0 - 1498171816346890958323836429/16534178660841290594772795184*c\ _1001_5^19 + 9827350838925616155516651379/1653417866084129059477279\ 5184*c_1001_5^18 - 264324124672730063444545145/41335446652103226486\ 93198796*c_1001_5^17 - 904819259055786865972740619/8267089330420645\ 297386397592*c_1001_5^16 - 163828295557181096446105363235/165341786\ 60841290594772795184*c_1001_5^15 - 236951397573380915409057521997/8267089330420645297386397592*c_1001_\ 5^14 - 94703995651796118950742210905/8267089330420645297386397592*c\ _1001_5^13 + 2254252075056194901637058384201/1653417866084129059477\ 2795184*c_1001_5^12 + 2869377834661206562146047839869/8267089330420\ 645297386397592*c_1001_5^11 + 5912024739324727220345575645281/16534\ 178660841290594772795184*c_1001_5^10 + 173677646177198675847077462495/8267089330420645297386397592*c_1001_\ 5^9 - 5758342435236999491144344789487/16534178660841290594772795184\ *c_1001_5^8 - 6376521365881683498724909887721/165341786608412905947\ 72795184*c_1001_5^7 - 2436746451907654687672511546691/1653417866084\ 1290594772795184*c_1001_5^6 + 315941846244456532840121804099/826708\ 9330420645297386397592*c_1001_5^5 + 913728825452495396470972014401/16534178660841290594772795184*c_1001\ _5^4 + 90755998941794702397446305969/8267089330420645297386397592*c\ _1001_5^3 - 64063267163504196612928703305/1653417866084129059477279\ 5184*c_1001_5^2 - 21466860456101734439521018819/1653417866084129059\ 4772795184*c_1001_5 + 10692304443005985702101761211/165341786608412\ 90594772795184, c_0101_2 + 2228323350382937404102309677/16534178660841290594772795184*c\ _1001_5^19 - 14130245340918912592860186703/165341786608412905947727\ 95184*c_1001_5^18 - 674252307720375143483634487/4133544665210322648\ 693198796*c_1001_5^17 + 5361702625149894717597842867/82670893304206\ 45297386397592*c_1001_5^16 + 239399083849139490366015830987/1653417\ 8660841290594772795184*c_1001_5^15 + 378683475294953356635364871455/8267089330420645297386397592*c_1001_\ 5^14 + 159682699730041882697145021787/8267089330420645297386397592*\ c_1001_5^13 - 3564842755634353669574527344629/165341786608412905947\ 72795184*c_1001_5^12 - 4607050797066801907563837115913/826708933042\ 0645297386397592*c_1001_5^11 - 8985919321100237729400261573585/1653\ 4178660841290594772795184*c_1001_5^10 + 358983912728929006487275281183/8267089330420645297386397592*c_1001_\ 5^9 + 10398399798703168097563054799019/1653417866084129059477279518\ 4*c_1001_5^8 + 9570304289232811978922192219241/16534178660841290594\ 772795184*c_1001_5^7 + 2055496863617536099617778991175/165341786608\ 41290594772795184*c_1001_5^6 - 1030522635150619870544745525383/8267\ 089330420645297386397592*c_1001_5^5 - 1188516232013442196817163580977/16534178660841290594772795184*c_100\ 1_5^4 + 55388635652811781903253505125/8267089330420645297386397592*\ c_1001_5^3 + 128059265061363691092718783189/16534178660841290594772\ 795184*c_1001_5^2 - 27881830305799022969845756485/16534178660841290\ 594772795184*c_1001_5 - 2896412931544093059571505319/16534178660841\ 290594772795184, c_0101_3 + 1049258167967604421/18085788516229098968*c_1001_5^19 - 6999671075884784579/18085788516229098968*c_1001_5^18 + 341028128414358349/4521447129057274742*c_1001_5^17 + 1183814268661129103/9042894258114549484*c_1001_5^16 + 112876273145340557179/18085788516229098968*c_1001_5^15 + 159707555417257939217/9042894258114549484*c_1001_5^14 + 40142126994913435717/9042894258114549484*c_1001_5^13 - 1613247113774137432265/18085788516229098968*c_1001_5^12 - 1895232994296526540045/9042894258114549484*c_1001_5^11 - 3463648379174708485913/18085788516229098968*c_1001_5^10 + 202063583297722934809/9042894258114549484*c_1001_5^9 + 3786395492740723040671/18085788516229098968*c_1001_5^8 + 3310619106632552882409/18085788516229098968*c_1001_5^7 + 804581536852285184339/18085788516229098968*c_1001_5^6 - 163909636962887333843/9042894258114549484*c_1001_5^5 - 61047098467041737521/18085788516229098968*c_1001_5^4 + 76048430436648229131/9042894258114549484*c_1001_5^3 - 1980343369580136551/18085788516229098968*c_1001_5^2 - 26629126548713112445/18085788516229098968*c_1001_5 - 3816002062023664659/18085788516229098968, c_1001_5^20 - 6*c_1001_5^19 - 3*c_1001_5^18 + 2*c_1001_5^17 + 109*c_1001_5^16 + 377*c_1001_5^15 + 300*c_1001_5^14 - 1427*c_1001_5^13 - 4615*c_1001_5^12 - 5991*c_1001_5^11 - 2547*c_1001_5^10 + 3093*c_1001_5^9 + 5472*c_1001_5^8 + 3540*c_1001_5^7 + 921*c_1001_5^6 - 19*c_1001_5^5 + 57*c_1001_5^4 + 83*c_1001_5^3 + 20*c_1001_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB