Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 610646212] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1969 geometric_solution 5.54553395 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.312062146151 0.155085656600 0 0 2 2 0132 2310 2310 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 -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 1.818143946520 1.188269424492 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0.763690696067 0.414308988420 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 1 -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 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.325569483748 0.834435425984 3 6 2 5 2310 1023 0132 1023 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 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.325569483748 0.834435425984 5 3 5 4 2031 0132 1302 1023 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 -1 1 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.525986683845 0.493483541552 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222896609677 1.391868021052 ==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' : 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' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 320815600245645967834553102680640790298798506638/324085664974138005\ 8110747593019804614358947417*c_0110_5^35 - 5768206402905254001449128059876344186446253234321/32408566497413800\ 58110747593019804614358947417*c_0110_5^33 + 71424994356001278149387932711618025448536702328091/3240856649741380\ 058110747593019804614358947417*c_0110_5^31 - 423951521873701171826989678868784793589636492144683/324085664974138\ 0058110747593019804614358947417*c_0110_5^29 + 1554352298479719753973140635594630776225061377049791/32408566497413\ 80058110747593019804614358947417*c_0110_5^27 - 4658011367752829938486123094945302463818093295160409/32408566497413\ 80058110747593019804614358947417*c_0110_5^25 + 694412853140192384643519059358684793025456820491383/190638626455375\ 297535926329001164977315232201*c_0110_5^23 - 67708471002065038914794202226780183679592987306441/9078029831208347\ 501710777571484046538820581*c_0110_5^21 + 6438494003552841907934438811071925312431617098735565/46297952139162\ 5722587249656145686373479849631*c_0110_5^19 - 81060472775301963803542682372661195626832338470542950/3240856649741\ 380058110747593019804614358947417*c_0110_5^17 + 42160144151721087647469236164809728277469182773220183/1080285549913\ 793352703582531006601538119649139*c_0110_5^15 - 160315899374107226361905153341943502848242479632125781/324085664974\ 1380058110747593019804614358947417*c_0110_5^13 + 21399419486093540255568970528349928286946352762934228/4629795213916\ 25722587249656145686373479849631*c_0110_5^11 - 28716319158697522869492657076025295159208185504892862/1080285549913\ 793352703582531006601538119649139*c_0110_5^9 + 26183253487087088959249151390922084322964253044786936/3240856649741\ 380058110747593019804614358947417*c_0110_5^7 - 4027538865812165312306892712576962259825191203088976/32408566497413\ 80058110747593019804614358947417*c_0110_5^5 + 380945981768298714938009509868454815268463726087880/324085664974138\ 0058110747593019804614358947417*c_0110_5^3 - 24799479910190437342598824337736068970528297585208/3240856649741380\ 058110747593019804614358947417*c_0110_5, c_0011_0 - 1, c_0011_2 + 14515808116473204990179354282067205049498/692047117177317970\ 982435958364254668878699*c_0110_5^34 - 260745996584375054589187657504382823493087/692047117177317970982435\ 958364254668878699*c_0110_5^32 + 3223773627161089579471049980481968\ 534243276/692047117177317970982435958364254668878699*c_0110_5^30 - 19071686807689192591744171789543305862092377/6920471171773179709824\ 35958364254668878699*c_0110_5^28 + 69338842830075669388997689345133889579263140/6920471171773179709824\ 35958364254668878699*c_0110_5^26 - 206360220704503985819050546777636765587690785/692047117177317970982\ 435958364254668878699*c_0110_5^24 + 30625445803586801449117086251493410887561759/4070865395160693946955\ 5056374367921698747*c_0110_5^22 - 621158172784549243804984733942108\ 71598140225/40708653951606939469555056374367921698747*c_0110_5^20 + 1956307968853683102446689994781633899704801927/69204711717731797098\ 2435958364254668878699*c_0110_5^18 - 3516374863986590516540367973076504707927659499/69204711717731797098\ 2435958364254668878699*c_0110_5^16 + 5439333039036536571898708645356589103397780676/69204711717731797098\ 2435958364254668878699*c_0110_5^14 - 6784075479252091480648061812832431663036848387/69204711717731797098\ 2435958364254668878699*c_0110_5^12 + 6145548943857786022925000319377247612407747309/69204711717731797098\ 2435958364254668878699*c_0110_5^10 - 3248833907689894983309569806059527593646502042/69204711717731797098\ 2435958364254668878699*c_0110_5^8 + 800941433636642532796455303556959323760975033/692047117177317970982\ 435958364254668878699*c_0110_5^6 - 83779384795318701128807773688796773005261752/6920471171773179709824\ 35958364254668878699*c_0110_5^4 + 804585163966336325978433459664946\ 5618815422/692047117177317970982435958364254668878699*c_0110_5^2 - 275887101615548449889211060670203610166663/692047117177317970982435\ 958364254668878699, c_0011_4 - 1352943434457203088608440815949035889882924/1543265071305419\ 07529083218715228791159949877*c_0110_5^35 + 25948113332242615196105469819273851755726795/1543265071305419075290\ 83218715228791159949877*c_0110_5^33 - 329689255896903660066365127305117509521909937/154326507130541907529\ 083218715228791159949877*c_0110_5^31 + 2137598810952536655008538216898120752840874479/15432650713054190752\ 9083218715228791159949877*c_0110_5^29 - 8560197792328349073850816869709874718639366238/15432650713054190752\ 9083218715228791159949877*c_0110_5^27 + 26776238044889301048975001352269398254771089362/1543265071305419075\ 29083218715228791159949877*c_0110_5^25 - 4171263506786210491149905864036308792245081557/90780298312083475017\ 10777571484046538820581*c_0110_5^23 + 9089314985220936740077071092249730110271565339/90780298312083475017\ 10777571484046538820581*c_0110_5^21 - 295362438781665253095036058589751767343188548355/154326507130541907\ 529083218715228791159949877*c_0110_5^19 + 537135354714353543612735911156857258842925899277/154326507130541907\ 529083218715228791159949877*c_0110_5^17 - 882230450257268298923265008681110234685430357934/154326507130541907\ 529083218715228791159949877*c_0110_5^15 + 1209157521190992964200989304281808693225862968094/15432650713054190\ 7529083218715228791159949877*c_0110_5^13 - 1286027852305861584915149873431689088885048147512/15432650713054190\ 7529083218715228791159949877*c_0110_5^11 + 938561322647619618262309565805859851135902207206/154326507130541907\ 529083218715228791159949877*c_0110_5^9 - 402054526842785476355518293758470553018986996426/154326507130541907\ 529083218715228791159949877*c_0110_5^7 + 84569063380881320546240675653576255164043651240/1543265071305419075\ 29083218715228791159949877*c_0110_5^5 - 8296029656999183328074194047488634973826729489/15432650713054190752\ 9083218715228791159949877*c_0110_5^3 + 864148619551807457887281643612100611149562795/154326507130541907529\ 083218715228791159949877*c_0110_5, c_0101_0 + 1662607444383796154304885997887290936909025/1543265071305419\ 07529083218715228791159949877*c_0110_5^35 - 32117884959762181734202568915610626005525036/1543265071305419075290\ 83218715228791159949877*c_0110_5^33 + 409576858974996529977265856180377425463643416/154326507130541907529\ 083218715228791159949877*c_0110_5^31 - 2682359454603593611666904659938631926451297709/15432650713054190752\ 9083218715228791159949877*c_0110_5^29 + 10872594271345798158967113443187704732543675038/1543265071305419075\ 29083218715228791159949877*c_0110_5^27 - 34225727264781253280417111547088471131019256196/1543265071305419075\ 29083218715228791159949877*c_0110_5^25 + 5355691774465474140943635984976214033441051395/90780298312083475017\ 10777571484046538820581*c_0110_5^23 - 11762006336353742921953565004445514560211387585/9078029831208347501\ 710777571484046538820581*c_0110_5^21 + 383458481050147445205542776385340182673234893934/154326507130541907\ 529083218715228791159949877*c_0110_5^19 - 697440462790946856476880031935631117175689281649/154326507130541907\ 529083218715228791159949877*c_0110_5^17 + 1152367885600105862818140133594293835267841085664/15432650713054190\ 7529083218715228791159949877*c_0110_5^15 - 1591717739370616377775928157068161011748644750598/15432650713054190\ 7529083218715228791159949877*c_0110_5^13 + 1712092776816827362522714028191913488276532975394/15432650713054190\ 7529083218715228791159949877*c_0110_5^11 - 1271810505056983658449395530055247656128634310679/15432650713054190\ 7529083218715228791159949877*c_0110_5^9 + 549881423965630942022958304059915923311765425511/154326507130541907\ 529083218715228791159949877*c_0110_5^7 - 113609704723811747439452867969048407542189336314/154326507130541907\ 529083218715228791159949877*c_0110_5^5 + 10473268114703392946614658798741476438663416457/1543265071305419075\ 29083218715228791159949877*c_0110_5^3 - 854358824602254594752705718796393015573093300/154326507130541907529\ 083218715228791159949877*c_0110_5, c_0101_1 + 20668222297176186804880953907423825724135/692047117177317970\ 982435958364254668878699*c_0110_5^34 - 367536884056926936399561429250709693587897/692047117177317970982435\ 958364254668878699*c_0110_5^32 + 4530628811338431458963262303087909\ 404546228/692047117177317970982435958364254668878699*c_0110_5^30 - 26444773259091699266204714290374684635067601/6920471171773179709824\ 35958364254668878699*c_0110_5^28 + 95224584002515038602130144504517988411023881/6920471171773179709824\ 35958364254668878699*c_0110_5^26 - 282767976323184767655045939977521375651359970/692047117177317970982\ 435958364254668878699*c_0110_5^24 + 41724207850352463792521285624355895915181930/4070865395160693946955\ 5056374367921698747*c_0110_5^22 - 841489626523898920238444789521677\ 43260636671/40708653951606939469555056374367921698747*c_0110_5^20 + 2651119195459145488504813699155548820948547398/69204711717731797098\ 2435958364254668878699*c_0110_5^18 - 4753698881105539939293422674504323700770063374/69204711717731797098\ 2435958364254668878699*c_0110_5^16 + 7313800551891825667538302122121465544733128742/69204711717731797098\ 2435958364254668878699*c_0110_5^14 - 9059432022056203211999743157538227392580501055/69204711717731797098\ 2435958364254668878699*c_0110_5^12 + 8103632011701809748232254834726990624871588434/69204711717731797098\ 2435958364254668878699*c_0110_5^10 - 4207496196372493650827458960769392678439385142/69204711717731797098\ 2435958364254668878699*c_0110_5^8 + 1017862007475429528394017808955208073015146642/69204711717731797098\ 2435958364254668878699*c_0110_5^6 - 108342216085218761647695592329393751196162722/692047117177317970982\ 435958364254668878699*c_0110_5^4 + 10768818240085960038260057270009467253463030/6920471171773179709824\ 35958364254668878699*c_0110_5^2 - 617804810516230330776683114608396\ 858566831/692047117177317970982435958364254668878699, c_0101_3 - 14612467682384100372388176467675001266450/692047117177317970\ 982435958364254668878699*c_0110_5^34 + 260394132692587864635055274005252520083413/692047117177317970982435\ 958364254668878699*c_0110_5^32 - 3210316567673936663740631458020742\ 405941469/692047117177317970982435958364254668878699*c_0110_5^30 + 18776592082372654692369154052739215415721535/6920471171773179709824\ 35958364254668878699*c_0110_5^28 - 67555426158242420272607823370998896775522370/6920471171773179709824\ 35958364254668878699*c_0110_5^26 + 200254222190388017753003006121058027830442012/692047117177317970982\ 435958364254668878699*c_0110_5^24 - 29551686106103014485733137481491494369200521/4070865395160693946955\ 5056374367921698747*c_0110_5^22 + 594810836466710492425320008754343\ 82006533997/40708653951606939469555056374367921698747*c_0110_5^20 - 1870615193334502006893996984662430929281059826/69204711717731797098\ 2435958364254668878699*c_0110_5^18 + 3357094200356126414404923265293506423066288953/69204711717731797098\ 2435958364254668878699*c_0110_5^16 - 5155060018324279926192632508075973139345084564/69204711717731797098\ 2435958364254668878699*c_0110_5^14 + 6364650994293468797349053389954038263580600237/69204711717731797098\ 2435958364254668878699*c_0110_5^12 - 5657707493244319753347270437619582005814171588/69204711717731797098\ 2435958364254668878699*c_0110_5^10 + 2875935874449529341337943631345041842886723762/69204711717731797098\ 2435958364254668878699*c_0110_5^8 - 670268392993748524493547964930872186785705907/692047117177317970982\ 435958364254668878699*c_0110_5^6 + 74886586538617330534161473241903169251803529/6920471171773179709824\ 35958364254668878699*c_0110_5^4 - 827485666509500740905217091840503\ 1760795573/692047117177317970982435958364254668878699*c_0110_5^2 + 252469982649338782264655833668840353024793/692047117177317970982435\ 958364254668878699, c_0110_5^36 - 18*c_0110_5^34 + 223*c_0110_5^32 - 1326*c_0110_5^30 + 4872*c_0110_5^28 - 14619*c_0110_5^26 + 37097*c_0110_5^24 - 76109*c_0110_5^22 + 142058*c_0110_5^20 - 255614*c_0110_5^18 + 399548*c_0110_5^16 - 508033*c_0110_5^14 + 477571*c_0110_5^12 - 278662*c_0110_5^10 + 87682*c_0110_5^8 - 14554*c_0110_5^6 + 1529*c_0110_5^4 - 106*c_0110_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB