Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 2850567570] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0112 geometric_solution 3.63514820 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -1.780186713742 0.751245897749 0 0 3 3 0132 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.168002539286 0.028815001446 0 0 5 4 3201 0132 0132 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 -1 0 1 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 1.270825854575 0.924240379608 3 1 1 3 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.413381352819 0.205465761965 6 5 2 5 0132 2031 0132 3012 0 0 0 0 0 0 -1 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 0 -1 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.998813253143 0.507148383784 4 6 4 2 1302 2310 1230 0132 0 0 0 0 0 0 -1 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 0 0 0 1 0 -1 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.998813253143 0.507148383784 4 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 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 0.204023394077 0.404157882320 ==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' : negation(d['1']), 's_1_6' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 64047052323554141397780239117221939066205/7900256603150838424062406\ 5206438198576*c_0101_6^18 + 733181232079949293252531862102720704618\ 1/9875320753938548030078008150804774822*c_0101_6^17 - 112600185303669638555486118840522330200135/197506415078770960601560\ 16301609549644*c_0101_6^16 - 89684768586519719549220178018898666059\ 9397/79002566031508384240624065206438198576*c_0101_6^15 - 686982735698460690937032033620260956973435/395012830157541921203120\ 32603219099288*c_0101_6^14 + 86167090171983761541426202042735628380\ 8763/19750641507877096060156016301609549644*c_0101_6^13 + 1165225469119468106492739449991399596347113/19750641507877096060156\ 016301609549644*c_0101_6^12 + 7574067726069502201917634075752996265\ 065381/39501283015754192120312032603219099288*c_0101_6^11 - 150227875558264246076881573979868215698483/493766037696927401503900\ 4075402387411*c_0101_6^10 + 992137159838214038993186645737318553897\ 3739/79002566031508384240624065206438198576*c_0101_6^9 - 16862587868962458950673897913234149281938587/7900256603150838424062\ 4065206438198576*c_0101_6^8 + 8899353490240319106599113797661896473\ 510465/39501283015754192120312032603219099288*c_0101_6^7 - 2967114837111747133712502763065658225944409/19750641507877096060156\ 016301609549644*c_0101_6^6 + 13558246035356819098976116999651464442\ 530247/79002566031508384240624065206438198576*c_0101_6^5 - 5721982922571955571391392427233887553006351/39501283015754192120312\ 032603219099288*c_0101_6^4 + 92466795007817887535514872625504875962\ 135/1362113207439799728286621813904106872*c_0101_6^3 - 377740370759456535314372632053330215255237/197506415078770960601560\ 16301609549644*c_0101_6^2 + 177095803148506442749436693626722702617\ 13/6077120463962183403124928092802938352*c_0101_6 - 20582313881297298343173251339458981311035/7900256603150838424062406\ 5206438198576, c_0011_0 - 1, c_0011_3 + 7036881912751016108167465692832/2547655542653785045656892264\ 27*c_0101_6^18 + 8343508531905910882565878304102/254765554265378504\ 565689226427*c_0101_6^17 - 46581068595251391395863457059366/2547655\ 54265378504565689226427*c_0101_6^16 - 110176638878427278529168466410253/254765554265378504565689226427*c_\ 0101_6^15 - 184837566524717724351368826586800/254765554265378504565\ 689226427*c_0101_6^14 + 317507559290683710774163367952622/254765554\ 265378504565689226427*c_0101_6^13 + 578199581062432002575050472810971/254765554265378504565689226427*c_\ 0101_6^12 + 1845971436479712800557163115536137/25476555426537850456\ 5689226427*c_0101_6^11 + 295460738661115093858829162455998/25476555\ 4265378504565689226427*c_0101_6^10 + 1354258379372457353322575206575948/254765554265378504565689226427*c\ _0101_6^9 - 1419968530928323590349000843056100/25476555426537850456\ 5689226427*c_0101_6^8 + 1700224481761437245675519987805587/25476555\ 4265378504565689226427*c_0101_6^7 - 952940845290774776491102490927318/254765554265378504565689226427*c_\ 0101_6^6 + 1354087658814013244540044203967427/254765554265378504565\ 689226427*c_0101_6^5 - 944947527316675933351165520409060/2547655542\ 65378504565689226427*c_0101_6^4 + 439560202238016294440673189327086\ /254765554265378504565689226427*c_0101_6^3 - 107335376266054968110606257369436/254765554265378504565689226427*c_\ 0101_6^2 + 15747046948185646974620643033472/25476555426537850456568\ 9226427*c_0101_6 - 523925111099845255180521634886/25476555426537850\ 4565689226427, c_0011_4 + 9613287589968426547476637811150806/1309724237922884354121751\ 7441385643*c_0101_6^18 - 57490195526194412433209745392977562/130972\ 42379228843541217517441385643*c_0101_6^17 - 154576654961780232553803579597872981/130972423792288435412175174413\ 85643*c_0101_6^16 + 295414186794897002464517127206476081/1309724237\ 9228843541217517441385643*c_0101_6^15 + 889878184113363791572769600449876064/130972423792288435412175174413\ 85643*c_0101_6^14 + 2384235804547728840120947907603803772/130972423\ 79228843541217517441385643*c_0101_6^13 - 2098205538102108917478139774486722438/13097242379228843541217517441\ 385643*c_0101_6^12 - 3603612468420204851435392853249452431/13097242\ 379228843541217517441385643*c_0101_6^11 - 18430955701633956088244656294915968269/1309724237922884354121751744\ 1385643*c_0101_6^10 - 3343979513407871830475668670826168498/1309724\ 2379228843541217517441385643*c_0101_6^9 - 15226664570397780189991605421089160934/1309724237922884354121751744\ 1385643*c_0101_6^8 + 14884445794606600272686298543843788185/1309724\ 2379228843541217517441385643*c_0101_6^7 - 15752318548528531648746444394893232899/1309724237922884354121751744\ 1385643*c_0101_6^6 + 9086079923301567997511337719604035168/13097242\ 379228843541217517441385643*c_0101_6^5 - 13300855356110971198196294233080869130/1309724237922884354121751744\ 1385643*c_0101_6^4 + 8211836283655862386132085469140854341/13097242\ 379228843541217517441385643*c_0101_6^3 - 3169855333145866847705408136881997360/13097242379228843541217517441\ 385643*c_0101_6^2 + 600853126466621658124241188891943043/1309724237\ 9228843541217517441385643*c_0101_6 - 64941834415510701359028839448705586/1309724237922884354121751744138\ 5643, c_0101_0 - 118026147083965488352054219501636258/13097242379228843541217\ 517441385643*c_0101_6^18 - 141786881981850194406879821684012160/130\ 97242379228843541217517441385643*c_0101_6^17 + 777662354378021587548402532188904095/130972423792288435412175174413\ 85643*c_0101_6^16 + 1857946021768965345472089897363719908/130972423\ 79228843541217517441385643*c_0101_6^15 + 3137818889496949447481972759601549575/13097242379228843541217517441\ 385643*c_0101_6^14 - 5251310562584317212020516213378343648/13097242\ 379228843541217517441385643*c_0101_6^13 - 9734681498424234451773255428924087817/13097242379228843541217517441\ 385643*c_0101_6^12 - 31162337854317836959407175561168742594/1309724\ 2379228843541217517441385643*c_0101_6^11 - 5576892927567883763372619097309734868/13097242379228843541217517441\ 385643*c_0101_6^10 - 23213447336844230848901575943857778218/1309724\ 2379228843541217517441385643*c_0101_6^9 + 23257305989842344799067854465755451204/1309724237922884354121751744\ 1385643*c_0101_6^8 - 28474049251425432368122352503877725475/1309724\ 2379228843541217517441385643*c_0101_6^7 + 15710300104331530351447183808176555529/1309724237922884354121751744\ 1385643*c_0101_6^6 - 22735688983724404958988066567144532990/1309724\ 2379228843541217517441385643*c_0101_6^5 + 15557381781834198055825427219218560047/1309724237922884354121751744\ 1385643*c_0101_6^4 - 7352919844898439708038444141808240848/13097242\ 379228843541217517441385643*c_0101_6^3 + 1776243678040894031366587137058773737/13097242379228843541217517441\ 385643*c_0101_6^2 - 262957099561359876624474200788741265/1309724237\ 9228843541217517441385643*c_0101_6 - 3412123409691884001256930685228199/13097242379228843541217517441385\ 643, c_0101_1 + 632785723338733677716398249349071910/13097242379228843541217\ 517441385643*c_0101_6^18 + 733435058364098981986117174885704658/130\ 97242379228843541217517441385643*c_0101_6^17 - 4228170055885280372398627928135071049/13097242379228843541217517441\ 385643*c_0101_6^16 - 9828272877631740977345504457922907040/13097242\ 379228843541217517441385643*c_0101_6^15 - 16241473804311244743680740190820094880/1309724237922884354121751744\ 1385643*c_0101_6^14 + 29357947326215187160826192540411479996/130972\ 42379228843541217517441385643*c_0101_6^13 + 51899968337412781881387199838915397059/1309724237922884354121751744\ 1385643*c_0101_6^12 + 164001045247398320457434141882334981919/13097\ 242379228843541217517441385643*c_0101_6^11 + 20169823458310096058076181587915578612/1309724237922884354121751744\ 1385643*c_0101_6^10 + 115129160457518783893186012334128246438/13097\ 242379228843541217517441385643*c_0101_6^9 - 134287013853186908929685142138150938594/130972423792288435412175174\ 41385643*c_0101_6^8 + 151796064691242354709333884785424894007/13097\ 242379228843541217517441385643*c_0101_6^7 - 87533927269916895653124020914190156505/1309724237922884354121751744\ 1385643*c_0101_6^6 + 121016039086987254768812909702499474024/130972\ 42379228843541217517441385643*c_0101_6^5 - 87359614460029986042361963754051186357/1309724237922884354121751744\ 1385643*c_0101_6^4 + 38886813556783495312919240326383595511/1309724\ 2379228843541217517441385643*c_0101_6^3 - 9594925834392267878286130629860297715/13097242379228843541217517441\ 385643*c_0101_6^2 + 1389865382691396136858277682956220502/130972423\ 79228843541217517441385643*c_0101_6 - 83990574705117535275514049924026834/1309724237922884354121751744138\ 5643, c_0101_4 + 19934605179174797322465752340601815/130972423792288435412175\ 17441385643*c_0101_6^18 + 24761851559010699193028282421742195/13097\ 242379228843541217517441385643*c_0101_6^17 - 130096081937914455606975716241264498/130972423792288435412175174413\ 85643*c_0101_6^16 - 318735678983646925433587249283766607/1309724237\ 9228843541217517441385643*c_0101_6^15 - 544318006586144025196970776528492700/130972423792288435412175174413\ 85643*c_0101_6^14 + 860454726816480513982933823290521840/1309724237\ 9228843541217517441385643*c_0101_6^13 + 1670459131754642505495940613325377688/13097242379228843541217517441\ 385643*c_0101_6^12 + 5337630114066605814519642839830363355/13097242\ 379228843541217517441385643*c_0101_6^11 + 1180852261952622477185892846790489395/13097242379228843541217517441\ 385643*c_0101_6^10 + 4047176981153767650748305486629248407/13097242\ 379228843541217517441385643*c_0101_6^9 - 3715998018849888466802883347006801347/13097242379228843541217517441\ 385643*c_0101_6^8 + 4741634146343033479611280237139887093/130972423\ 79228843541217517441385643*c_0101_6^7 - 2488662623826642476197760673571974688/13097242379228843541217517441\ 385643*c_0101_6^6 + 3802297558729304665188483108710057949/130972423\ 79228843541217517441385643*c_0101_6^5 - 2499753840813654821454743081816607410/13097242379228843541217517441\ 385643*c_0101_6^4 + 1216606736098056442257604872899365784/130972423\ 79228843541217517441385643*c_0101_6^3 - 276089131401497157601373676316011397/130972423792288435412175174413\ 85643*c_0101_6^2 + 45262163112126341101470369129948592/130972423792\ 28843541217517441385643*c_0101_6 - 8465143446909129137194291916299283/13097242379228843541217517441385\ 643, c_0101_6^19 + c_0101_6^18 - 116/17*c_0101_6^17 - 245/17*c_0101_6^16 - 399/17*c_0101_6^15 + 846/17*c_0101_6^14 + 1248/17*c_0101_6^13 + 4214/17*c_0101_6^12 - 94/17*c_0101_6^11 + 3207/17*c_0101_6^10 - 4040/17*c_0101_6^9 + 4795/17*c_0101_6^8 - 3130/17*c_0101_6^7 + 3775/17*c_0101_6^6 - 2939/17*c_0101_6^5 + 1544/17*c_0101_6^4 - 502/17*c_0101_6^3 + 109/17*c_0101_6^2 - 14/17*c_0101_6 + 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB