Magma V2.19-8 Tue Aug 20 2013 16:16:56 on localhost [Seed = 3600239110] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1192 geometric_solution 5.07908004 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -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.239192831464 0.995908090128 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 -1 0 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 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.018802128537 1.238204691460 1 3 0 4 1230 2310 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1.018802128537 1.238204691460 1 3 3 2 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 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.987090693629 0.616092358145 2 5 5 1 3201 0132 1023 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197226424291 0.207614002060 6 4 4 6 0132 0132 1023 1023 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 1.504045817867 1.017416581475 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.764573010258 0.201786758802 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(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_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 15038124651492098426169/43254509058817381145*c_0101_6^15 + 319486827435403058098088/129763527176452143435*c_0101_6^14 + 1150872227203643681728847/346036072470539049160*c_0101_6^13 - 931525991200914753759061/2076216434823234294960*c_0101_6^12 - 17887509290232045770380487/2076216434823234294960*c_0101_6^11 - 13100333862552959293318973/2076216434823234294960*c_0101_6^10 + 4172172688976763709080265/415243286964646858992*c_0101_6^9 - 13505772851979397786300061/2076216434823234294960*c_0101_6^8 + 829890442426584788977813/415243286964646858992*c_0101_6^7 + 2284004531550651945390499/1038108217411617147480*c_0101_6^6 + 3923932914301518222832717/1038108217411617147480*c_0101_6^5 - 3529117029481697905197029/2076216434823234294960*c_0101_6^4 - 24297871586246327172814/25952705435290428687*c_0101_6^3 + 19777261323166675124395/207621643482323429496*c_0101_6^2 - 40388883189526406286557/692072144941078098320*c_0101_6 - 200746089393152045792987/2076216434823234294960, c_0011_0 - 1, c_0011_1 - 103290186650257742144/233574348917613858183*c_0101_6^15 - 157744242731500895872/77858116305871286061*c_0101_6^14 + 936359962584078763528/233574348917613858183*c_0101_6^13 + 3366073496434068871724/233574348917613858183*c_0101_6^12 + 420357389268269944648/25952705435290428687*c_0101_6^11 - 3505016668991684795500/233574348917613858183*c_0101_6^10 - 9443213929066143569665/233574348917613858183*c_0101_6^9 + 6166306327248058998509/233574348917613858183*c_0101_6^8 - 4730965343536952863492/233574348917613858183*c_0101_6^7 + 181240496940719163559/233574348917613858183*c_0101_6^6 - 18568562125045328644/8650901811763476229*c_0101_6^5 + 3905143911899863316468/233574348917613858183*c_0101_6^4 + 356336554814400756220/233574348917613858183*c_0101_6^3 - 757617467440491843044/233574348917613858183*c_0101_6^2 + 68468185442695460104/233574348917613858183*c_0101_6 - 82569205880944887206/233574348917613858183, c_0011_4 - 422872607056827784624/233574348917613858183*c_0101_6^15 - 962507057574906437392/77858116305871286061*c_0101_6^14 - 3184634005214574223354/233574348917613858183*c_0101_6^13 + 2283708896255931089227/233574348917613858183*c_0101_6^12 + 1251704868216221983804/25952705435290428687*c_0101_6^11 + 4909858348532053088356/233574348917613858183*c_0101_6^10 - 16409339089504261507958/233574348917613858183*c_0101_6^9 + 9726971988043264608067/233574348917613858183*c_0101_6^8 - 1243036996994022475097/233574348917613858183*c_0101_6^7 - 4519014092780431388137/233574348917613858183*c_0101_6^6 - 1119321489449579779964/77858116305871286061*c_0101_6^5 + 3375482242839863242708/233574348917613858183*c_0101_6^4 + 1434318708264150279707/233574348917613858183*c_0101_6^3 - 1159339844909793547984/233574348917613858183*c_0101_6^2 - 12633354648373530343/233574348917613858183*c_0101_6 + 189032579894344302875/233574348917613858183, c_0101_0 + 469900573737084056656/233574348917613858183*c_0101_6^15 + 387108796149555823568/25952705435290428687*c_0101_6^14 + 5458748920627703568310/233574348917613858183*c_0101_6^13 - 134191226936962301029/233574348917613858183*c_0101_6^12 - 1473935061508920401210/25952705435290428687*c_0101_6^11 - 12213188558938945492777/233574348917613858183*c_0101_6^10 + 14411825645201966904071/233574348917613858183*c_0101_6^9 - 1418949177858540119941/233574348917613858183*c_0101_6^8 - 4332858629211718361260/233574348917613858183*c_0101_6^7 + 6298907271431389298866/233574348917613858183*c_0101_6^6 + 1921184011466174611348/77858116305871286061*c_0101_6^5 - 2148931942984976039956/233574348917613858183*c_0101_6^4 - 3412897068509686168241/233574348917613858183*c_0101_6^3 - 46260229700449076216/233574348917613858183*c_0101_6^2 + 365682654776213374084/233574348917613858183*c_0101_6 - 178047023932478846099/233574348917613858183, c_0101_1 - 139047326248814793680/233574348917613858183*c_0101_6^15 - 295962651277907251952/77858116305871286061*c_0101_6^14 - 666670431487648985846/233574348917613858183*c_0101_6^13 + 991405656215560158413/233574348917613858183*c_0101_6^12 + 128100819694415553152/8650901811763476229*c_0101_6^11 + 926190141325039698764/233574348917613858183*c_0101_6^10 - 4724601279254229860335/233574348917613858183*c_0101_6^9 + 4865609355917098206185/233574348917613858183*c_0101_6^8 - 5021040543363504123538/233574348917613858183*c_0101_6^7 + 460819367665460220964/233574348917613858183*c_0101_6^6 - 196930104339161985457/77858116305871286061*c_0101_6^5 + 482319101180045517266/233574348917613858183*c_0101_6^4 - 178936060522959569585/233574348917613858183*c_0101_6^3 + 830755238658288236947/233574348917613858183*c_0101_6^2 + 271194407230096018999/233574348917613858183*c_0101_6 - 201129415562964760340/233574348917613858183, c_0101_5 - 422426019694137811600/233574348917613858183*c_0101_6^15 - 300494567983392868000/25952705435290428687*c_0101_6^14 - 1902554843141708634334/233574348917613858183*c_0101_6^13 + 4022482391503653425563/233574348917613858183*c_0101_6^12 + 1225774670905695294359/25952705435290428687*c_0101_6^11 + 583443391167683040235/233574348917613858183*c_0101_6^10 - 19483743831222503326763/233574348917613858183*c_0101_6^9 + 14922986461936922168056/233574348917613858183*c_0101_6^8 - 5240975793186531048659/233574348917613858183*c_0101_6^7 - 4428398417540770563331/233574348917613858183*c_0101_6^6 - 403060820405085624634/77858116305871286061*c_0101_6^5 + 4511273918164990815118/233574348917613858183*c_0101_6^4 + 1110703236430634172083/233574348917613858183*c_0101_6^3 - 1447780357036467435103/233574348917613858183*c_0101_6^2 + 253092446581104136394/233574348917613858183*c_0101_6 + 132437033157691606364/233574348917613858183, c_0101_6^16 + 7*c_0101_6^15 + 71/8*c_0101_6^14 - 45/16*c_0101_6^13 - 203/8*c_0101_6^12 - 125/8*c_0101_6^11 + 263/8*c_0101_6^10 - 163/8*c_0101_6^9 + 29/8*c_0101_6^8 + 159/16*c_0101_6^7 + 31/4*c_0101_6^6 - 85/16*c_0101_6^5 - 57/16*c_0101_6^4 + 13/8*c_0101_6^3 - 7/16*c_0101_6^2 - 1/4*c_0101_6 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB