Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 1065263910] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s714 geometric_solution 5.22210777 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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.359514841144 0.213455351457 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 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.583930083776 1.007586553088 1 4 5 3 0132 0132 0132 1230 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 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.948912101660 1.016851442285 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 1 0 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948912101660 1.016851442285 4 2 4 3 2310 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509292417715 0.807642561512 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 0 1 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 1.191647428711 0.728224631853 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : 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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 180889457587903318231679304329142010371840469/103867601379334268644\ 201235179338954858195232*c_0101_5^23 - 471249202217330735777728818681498841234546141/259669003448335671610\ 50308794834738714548808*c_0101_5^22 + 7042191622183287763113903280257181441976177543/10386760137933426864\ 4201235179338954858195232*c_0101_5^21 - 16873147243362019369045476110845867164209944251/1038676013793342686\ 44201235179338954858195232*c_0101_5^20 + 3924158758303924426571032444551220173224532207/12983450172416783580\ 525154397417369357274404*c_0101_5^19 - 4973417039328949910792571330373816950468198191/25966900344833567161\ 050308794834738714548808*c_0101_5^18 - 18179053713842214713016901189869368060733266179/1038676013793342686\ 44201235179338954858195232*c_0101_5^17 + 106951492965705865314759294402594133108997539801/103867601379334268\ 644201235179338954858195232*c_0101_5^16 - 74254833466052572967007403868958500294485638945/5193380068966713432\ 2100617589669477429097616*c_0101_5^15 + 84400673128664188458363767676412582036914959391/5193380068966713432\ 2100617589669477429097616*c_0101_5^14 - 69023869740994797304730946838743792615205417721/5193380068966713432\ 2100617589669477429097616*c_0101_5^13 - 20275537110624433235483240824648575735419366667/6491725086208391790\ 262577198708684678637202*c_0101_5^12 + 99193817580745909824875662202641731819636771955/2596690034483356716\ 1050308794834738714548808*c_0101_5^11 - 135465520379220669610714146075216456835855895401/519338006896671343\ 22100617589669477429097616*c_0101_5^10 - 25473603568259213767740133209948479116772219161/1298345017241678358\ 0525154397417369357274404*c_0101_5^9 + 31803958930714776989789366096766906422116641595/2596690034483356716\ 1050308794834738714548808*c_0101_5^8 - 246081883086604144026738975607177823339882989/129834501724167835805\ 25154397417369357274404*c_0101_5^7 + 52168429475958911374321684308307988383394839977/2596690034483356716\ 1050308794834738714548808*c_0101_5^6 + 40092114589722435389695189482912485946862309465/5193380068966713432\ 2100617589669477429097616*c_0101_5^5 + 40184290711621146056155398641065586262727282549/5193380068966713432\ 2100617589669477429097616*c_0101_5^4 + 59228883984214578126150688014797786576604043959/1038676013793342686\ 44201235179338954858195232*c_0101_5^3 - 2449294106795095493224132397198088309542950441/10386760137933426864\ 4201235179338954858195232*c_0101_5^2 - 772579175964003881510643135866846139890387249/103867601379334268644\ 201235179338954858195232*c_0101_5 - 4783833337218811175900438750674597558146564761/10386760137933426864\ 4201235179338954858195232, c_0011_0 - 1, c_0011_1 + 12301316910781986146235449778223429612174/324586254310419589\ 5131288599354342339318601*c_0101_5^23 - 166359469563213870646044509915563138323382/324586254310419589513128\ 8599354342339318601*c_0101_5^22 + 854928769445381559856258993286546\ 446439174/3245862543104195895131288599354342339318601*c_0101_5^21 - 2439495495244881175177313343965158503329853/32458625431041958951312\ 88599354342339318601*c_0101_5^20 + 5153480561937829882472412335861169732361762/32458625431041958951312\ 88599354342339318601*c_0101_5^19 - 6889069220182666601176454063315546743191252/32458625431041958951312\ 88599354342339318601*c_0101_5^18 + 1209495786136784517153864824869273558690926/32458625431041958951312\ 88599354342339318601*c_0101_5^17 + 9993979906590803810792986494541590496717923/32458625431041958951312\ 88599354342339318601*c_0101_5^16 - 30453363433742412679633342473323120601954785/3245862543104195895131\ 288599354342339318601*c_0101_5^15 + 32541326607230171119568601127459273372318701/3245862543104195895131\ 288599354342339318601*c_0101_5^14 - 41682121328742710033815430513255974166271837/3245862543104195895131\ 288599354342339318601*c_0101_5^13 - 4923510482632559583033966784550995703973164/32458625431041958951312\ 88599354342339318601*c_0101_5^12 + 93209604017174283452903035555240102942395266/3245862543104195895131\ 288599354342339318601*c_0101_5^11 - 57181352739527192875911974946172247269106575/3245862543104195895131\ 288599354342339318601*c_0101_5^10 + 54042933488235466682696570610411651261939981/3245862543104195895131\ 288599354342339318601*c_0101_5^9 + 87897879421387572064367678129603803927981217/3245862543104195895131\ 288599354342339318601*c_0101_5^8 + 30277525381058187354591643724106717822402642/3245862543104195895131\ 288599354342339318601*c_0101_5^7 + 77745055987997677642599815532789154553939593/3245862543104195895131\ 288599354342339318601*c_0101_5^6 + 31511907118517191479184103770095745157691749/3245862543104195895131\ 288599354342339318601*c_0101_5^5 + 17335630195024780075400725703751915575509103/3245862543104195895131\ 288599354342339318601*c_0101_5^4 + 3871326702954995994417462903018030633425651/32458625431041958951312\ 88599354342339318601*c_0101_5^3 - 827362859139335758367217843704675\ 7512053433/3245862543104195895131288599354342339318601*c_0101_5^2 - 897098203515871123726069037063183560357440/324586254310419589513128\ 8599354342339318601*c_0101_5 - 256335478311665063272709920623403351\ 6907868/3245862543104195895131288599354342339318601, c_0011_3 - 1723565034424641035435570579837652784020/3245862543104195895\ 131288599354342339318601*c_0101_5^23 + 138416240571941821109323337491478538517298/324586254310419589513128\ 8599354342339318601*c_0101_5^22 - 124117357176992209255543630244574\ 9620218292/3245862543104195895131288599354342339318601*c_0101_5^21 + 4093688015753978182419404760945037638209095/32458625431041958951312\ 88599354342339318601*c_0101_5^20 - 9204602158591995499133504257663792619452624/32458625431041958951312\ 88599354342339318601*c_0101_5^19 + 16050630452444003363491082607634285421810547/3245862543104195895131\ 288599354342339318601*c_0101_5^18 - 4343331745453648288670892256983497607811466/32458625431041958951312\ 88599354342339318601*c_0101_5^17 - 12977636030963619820259608186381261718531663/3245862543104195895131\ 288599354342339318601*c_0101_5^16 + 65619845727236716485882108088174245693008274/3245862543104195895131\ 288599354342339318601*c_0101_5^15 - 61227062483448578294013418570896084251368680/3245862543104195895131\ 288599354342339318601*c_0101_5^14 + 89007374967705242896055523884589961616023077/3245862543104195895131\ 288599354342339318601*c_0101_5^13 - 35463721786697541843630332942572579780529955/3245862543104195895131\ 288599354342339318601*c_0101_5^12 - 232252081590138852568894665923348570179283829/324586254310419589513\ 1288599354342339318601*c_0101_5^11 + 114407907166085041211766389428268264984577542/324586254310419589513\ 1288599354342339318601*c_0101_5^10 - 171189607910326812159517808286644070676348470/324586254310419589513\ 1288599354342339318601*c_0101_5^9 - 260751028987654748554018465142748792812527513/324586254310419589513\ 1288599354342339318601*c_0101_5^8 - 104777172554131237476290749347573470321703072/324586254310419589513\ 1288599354342339318601*c_0101_5^7 - 177748491295261155806172482432324242548748770/324586254310419589513\ 1288599354342339318601*c_0101_5^6 - 56218686547905717537581110512123089726682223/3245862543104195895131\ 288599354342339318601*c_0101_5^5 - 30224231352571474208852562460570536928952150/3245862543104195895131\ 288599354342339318601*c_0101_5^4 - 7632544866038149221812982479291977518370307/32458625431041958951312\ 88599354342339318601*c_0101_5^3 + 182263999271651464840689685993921\ 39398508621/3245862543104195895131288599354342339318601*c_0101_5^2 + 1331156911652867073834586831787874053675889/32458625431041958951312\ 88599354342339318601*c_0101_5 + 12694933667374924719800191736715778\ 81222221/3245862543104195895131288599354342339318601, c_0101_0 - 557848579963732874981580586800974210053587/32458625431041958\ 95131288599354342339318601*c_0101_5^23 + 5440507267179434442886378352938161073015446/32458625431041958951312\ 88599354342339318601*c_0101_5^22 - 18210662304157057052902028300839541848850651/3245862543104195895131\ 288599354342339318601*c_0101_5^21 + 40967425335463502901540720146049605032415448/3245862543104195895131\ 288599354342339318601*c_0101_5^20 - 72115411852940021231509865982104662695983555/3245862543104195895131\ 288599354342339318601*c_0101_5^19 + 17110436444029814215903961275986970053774483/3245862543104195895131\ 288599354342339318601*c_0101_5^18 + 64139302327137765035510886611902009123011780/3245862543104195895131\ 288599354342339318601*c_0101_5^17 - 307888682354630596524098099397318096907103475/324586254310419589513\ 1288599354342339318601*c_0101_5^16 + 282799699568903114280674246776635753624112393/324586254310419589513\ 1288599354342339318601*c_0101_5^15 - 394036092459844419365387800952750530778193011/324586254310419589513\ 1288599354342339318601*c_0101_5^14 + 146151311796097594500600424165164714404222686/324586254310419589513\ 1288599354342339318601*c_0101_5^13 + 1112466975931362178116676595941141718475434945/32458625431041958951\ 31288599354342339318601*c_0101_5^12 - 594565540343870834574311640010308038422511998/324586254310419589513\ 1288599354342339318601*c_0101_5^11 + 800185197120592834108278335463853669111099136/324586254310419589513\ 1288599354342339318601*c_0101_5^10 + 1257761530394704784707768919276798337907398631/32458625431041958951\ 31288599354342339318601*c_0101_5^9 + 403561775589960137471390893844126546224794848/324586254310419589513\ 1288599354342339318601*c_0101_5^8 + 851759015727779607862435525303344748928041024/324586254310419589513\ 1288599354342339318601*c_0101_5^7 + 230469232083665823394333000226298781252881341/324586254310419589513\ 1288599354342339318601*c_0101_5^6 + 151397826301618683683346089947683347268750186/324586254310419589513\ 1288599354342339318601*c_0101_5^5 + 72930761202152462508925383558323595489882884/3245862543104195895131\ 288599354342339318601*c_0101_5^4 - 81833227075031061087375817746134518389040205/3245862543104195895131\ 288599354342339318601*c_0101_5^3 + 11226816592165521791526560147566301743109799/3245862543104195895131\ 288599354342339318601*c_0101_5^2 - 13483116889788021527478477648379996473788489/3245862543104195895131\ 288599354342339318601*c_0101_5 - 1620193947163345264937848263123590\ 648491755/3245862543104195895131288599354342339318601, c_0101_3 - 244821312632874905439972539965132609424256/32458625431041958\ 95131288599354342339318601*c_0101_5^23 + 2383158028706002130360449264630050394069954/32458625431041958951312\ 88599354342339318601*c_0101_5^22 - 7942776559363060320495620976633715741584115/32458625431041958951312\ 88599354342339318601*c_0101_5^21 + 17803602688488837759342961400021106174690413/3245862543104195895131\ 288599354342339318601*c_0101_5^20 - 31376711058391655143376486707982614350875471/3245862543104195895131\ 288599354342339318601*c_0101_5^19 + 7327395721468761415686554227212950237995072/32458625431041958951312\ 88599354342339318601*c_0101_5^18 + 27166049674998755029937213632411481861654145/3245862543104195895131\ 288599354342339318601*c_0101_5^17 - 131515013986750028654504645972113479093328114/324586254310419589513\ 1288599354342339318601*c_0101_5^16 + 119906932573757200067693551372917924823483869/324586254310419589513\ 1288599354342339318601*c_0101_5^15 - 170016785391205836641346417362184788561825191/324586254310419589513\ 1288599354342339318601*c_0101_5^14 + 71027394735301424802967055160791491419779671/3245862543104195895131\ 288599354342339318601*c_0101_5^13 + 480781380355985584566669295100068968744383538/324586254310419589513\ 1288599354342339318601*c_0101_5^12 - 235885546358473428466460711656676564870904549/324586254310419589513\ 1288599354342339318601*c_0101_5^11 + 327253198340135428809335858175969958814582897/324586254310419589513\ 1288599354342339318601*c_0101_5^10 + 519456653022376917460847124657403554793528718/324586254310419589513\ 1288599354342339318601*c_0101_5^9 + 204326050226052485327951942363230469302435097/324586254310419589513\ 1288599354342339318601*c_0101_5^8 + 331689797645273690453882842465715776053056078/324586254310419589513\ 1288599354342339318601*c_0101_5^7 + 51770630399058434947913117595196709099202047/3245862543104195895131\ 288599354342339318601*c_0101_5^6 + 44640945462009669531012871203897445354160898/3245862543104195895131\ 288599354342339318601*c_0101_5^5 + 3915981957186989169724546715112959453961827/32458625431041958951312\ 88599354342339318601*c_0101_5^4 - 468533793041091924012578191709284\ 38899813681/3245862543104195895131288599354342339318601*c_0101_5^3 + 1221315173176510296080236362167080270630681/32458625431041958951312\ 88599354342339318601*c_0101_5^2 - 505020395422303483618867382845070\ 7663260182/3245862543104195895131288599354342339318601*c_0101_5 + 1293283303677290719342006623819753241603262/32458625431041958951312\ 88599354342339318601, c_0101_5^24 - 10*c_0101_5^23 + 35*c_0101_5^22 - 81*c_0101_5^21 + 146*c_0101_5^20 - 60*c_0101_5^19 - 111*c_0101_5^18 + 575*c_0101_5^17 - 632*c_0101_5^16 + 802*c_0101_5^15 - 430*c_0101_5^14 - 1940*c_0101_5^13 + 1532*c_0101_5^12 - 1554*c_0101_5^11 - 1900*c_0101_5^10 - 148*c_0101_5^9 - 1136*c_0101_5^8 + 68*c_0101_5^7 - 78*c_0101_5^6 + 6*c_0101_5^5 + 207*c_0101_5^4 - 39*c_0101_5^3 + 17*c_0101_5^2 - 7*c_0101_5 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB