Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2050746034] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1581 geometric_solution 5.35878679 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 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.161403445591 0.695041228966 3 2 4 0 0132 3012 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.734460899430 1.261781096057 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 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 -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.734460899430 1.261781096057 1 3 3 2 0132 3201 2310 3201 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 -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.647424573925 0.634104381726 5 2 5 1 0132 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475771376607 1.260762209772 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328612143177 0.152043974257 5 6 5 6 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.623009386569 0.357276562122 ==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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], '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_6'], '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_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), '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_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), '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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 14941475938512899981607289310881025111606/1653449235105352293038741\ 463546700082843*c_0101_4^21 + 2238237834648781724996871093502031668\ 75915/4960347705316056879116224390640100248529*c_0101_4^20 + 2392988370245764606426560308511098518115734/49603477053160568791162\ 24390640100248529*c_0101_4^19 + 68318375317060934048473798381538203\ 47950243/4960347705316056879116224390640100248529*c_0101_4^18 - 27779484344693978087514720543868576665981733/4960347705316056879116\ 224390640100248529*c_0101_4^17 + 6304903307537327341309352658165237\ 485172587/4960347705316056879116224390640100248529*c_0101_4^16 + 3611617605919030926677966386632324024997774/45094070048327789810147\ 4944603645477139*c_0101_4^15 - 934913315163778981537419907473013109\ 45351081/4960347705316056879116224390640100248529*c_0101_4^14 + 84872736075164591756578608898112290709310334/4960347705316056879116\ 224390640100248529*c_0101_4^13 + 7357119380706614824720841986110606\ 3057765957/1653449235105352293038741463546700082843*c_0101_4^12 - 296258098764647612624891091991694176008900982/496034770531605687911\ 6224390640100248529*c_0101_4^11 - 314776845440977025664487963410933\ 513654494561/4960347705316056879116224390640100248529*c_0101_4^10 + 131638222403904078079234845086453509951369566/165344923510535229303\ 8741463546700082843*c_0101_4^9 + 9047007366269288706202903291474651\ 533972431/160011216300517963842458851310970975759*c_0101_4^8 - 103134921506357090706176163708517384901731905/165344923510535229303\ 8741463546700082843*c_0101_4^7 - 1205809470336241638403063220767773\ 13394315407/4960347705316056879116224390640100248529*c_0101_4^6 + 146522742370352217142534600524767060217706415/496034770531605687911\ 6224390640100248529*c_0101_4^5 + 5400203999411084722509807653492678\ 198675957/4960347705316056879116224390640100248529*c_0101_4^4 - 41597927426909407592287951463408092479081265/4960347705316056879116\ 224390640100248529*c_0101_4^3 + 98406054801169805862048918878118921\ 74066158/4960347705316056879116224390640100248529*c_0101_4^2 + 6740326659756946905511299250777829089818686/49603477053160568791162\ 24390640100248529*c_0101_4 - 10385238330126327423095525426101426008\ 80114/4960347705316056879116224390640100248529, c_0011_0 - 1, c_0011_1 + 2261033810132274753715803858046209/4460740327855871423781295\ 512000529*c_0101_4^21 - 32564028738517697526358151966124773/1338222\ 0983567614271343886536001587*c_0101_4^20 - 369446458263504457461494674424422526/133822209835676142713438865360\ 01587*c_0101_4^19 - 1100631411049590344161792597571830846/133822209\ 83567614271343886536001587*c_0101_4^18 + 4050134900807715327378699109668538142/13382220983567614271343886536\ 001587*c_0101_4^17 + 44402039804526778278244663456900460/1338222098\ 3567614271343886536001587*c_0101_4^16 - 6377040560688204345994088012371190086/13382220983567614271343886536\ 001587*c_0101_4^15 + 13041858451124794731840738814055326501/1338222\ 0983567614271343886536001587*c_0101_4^14 - 10144593276734564487814532179809817976/1338222098356761427134388653\ 6001587*c_0101_4^13 - 12445534224732320346270018073158066425/446074\ 0327855871423781295512000529*c_0101_4^12 + 38879650528638718737120860448044134763/1338222098356761427134388653\ 6001587*c_0101_4^11 + 58359213664198729521562489632065708509/133822\ 20983567614271343886536001587*c_0101_4^10 - 16724674650437430665695379112051886139/4460740327855871423781295512\ 000529*c_0101_4^9 - 53579665826677051294665203408195793589/13382220\ 983567614271343886536001587*c_0101_4^8 + 12754268421865416193193449620677756010/4460740327855871423781295512\ 000529*c_0101_4^7 + 23980259867991048654289237358591140175/13382220\ 983567614271343886536001587*c_0101_4^6 - 20006256460595577703249306152502163350/1338222098356761427134388653\ 6001587*c_0101_4^5 - 2696152623533661872560333016059565920/13382220\ 983567614271343886536001587*c_0101_4^4 + 6838323901746558450008231679397924766/13382220983567614271343886536\ 001587*c_0101_4^3 - 860400459144017491756939483215911765/1338222098\ 3567614271343886536001587*c_0101_4^2 - 1000556245604501817691154378346338899/13382220983567614271343886536\ 001587*c_0101_4 + 183135147552630895560771151035349957/133822209835\ 67614271343886536001587, c_0011_4 - 6275564786884483225528674741511705633/4848824736379332237650\ 268221544575023*c_0101_4^21 + 9117471682681396186303461046293896831\ 3/14546474209137996712950804664633725069*c_0101_4^20 + 1019496104656900577574156110450883370100/14546474209137996712950804\ 664633725069*c_0101_4^19 + 3021469058332612858033902097482611443027\ /14546474209137996712950804664633725069*c_0101_4^18 - 11255566625121790749114373159809162749915/1454647420913799671295080\ 4664633725069*c_0101_4^17 + 719571097686945013650301527738063994396\ /14546474209137996712950804664633725069*c_0101_4^16 + 16629186048029076641108108747271900104599/1454647420913799671295080\ 4664633725069*c_0101_4^15 - 366775309917769959719994643425969440194\ 93/14546474209137996712950804664633725069*c_0101_4^14 + 30807916002975856356848028547435623301583/1454647420913799671295080\ 4664633725069*c_0101_4^13 + 327770392035008234053882398071437292062\ 00/4848824736379332237650268221544575023*c_0101_4^12 - 108687362041627596940953120456958454548820/145464742091379967129508\ 04664633725069*c_0101_4^11 - 14895794338823428508717700254167088199\ 3721/14546474209137996712950804664633725069*c_0101_4^10 + 45711054153006990236230901563025549484200/4848824736379332237650268\ 221544575023*c_0101_4^9 + 13332732588371171087202743012525391280430\ 2/14546474209137996712950804664633725069*c_0101_4^8 - 34144761057173318303642557895107120654331/4848824736379332237650268\ 221544575023*c_0101_4^7 - 56500508240554147880764539866929598817698\ /14546474209137996712950804664633725069*c_0101_4^6 + 50847295910475537943625844484913293382635/1454647420913799671295080\ 4664633725069*c_0101_4^5 + 4666339768153276884144254140150262766211\ /14546474209137996712950804664633725069*c_0101_4^4 - 16268650068845640519767857775968147449794/1454647420913799671295080\ 4664633725069*c_0101_4^3 + 2303647457109226224147789923162328019829\ /14546474209137996712950804664633725069*c_0101_4^2 + 2272003757410327867356615497844770776651/14546474209137996712950804\ 664633725069*c_0101_4 - 367456375087627454931364145079456812989/145\ 46474209137996712950804664633725069, c_0011_6 + 10475671693686788398060548200687145571/145464742091379967129\ 50804664633725069*c_0101_4^21 - 46492514946347403881575685627294494\ 208/14546474209137996712950804664633725069*c_0101_4^20 - 582763132569110291566650841610834682214/145464742091379967129508046\ 64633725069*c_0101_4^19 - 1928655794864856237799493086929862917550/\ 14546474209137996712950804664633725069*c_0101_4^18 + 5285298773976634506022844931008956743062/14546474209137996712950804\ 664633725069*c_0101_4^17 + 941667475327454433037897098537384886643/\ 14546474209137996712950804664633725069*c_0101_4^16 - 7905191774185358672024179416143378904194/14546474209137996712950804\ 664633725069*c_0101_4^15 + 1860249253605182450447653394469890872338\ 7/14546474209137996712950804664633725069*c_0101_4^14 - 3737716261350528869825825625038621907418/48488247363793322376502682\ 21544575023*c_0101_4^13 - 54836669342342321750291884712135386509925\ /14546474209137996712950804664633725069*c_0101_4^12 + 39311528544544457834862362229564621863476/1454647420913799671295080\ 4664633725069*c_0101_4^11 + 269341505311852781026116561217214120435\ 80/4848824736379332237650268221544575023*c_0101_4^10 - 47089115853514007965671180562061186279122/1454647420913799671295080\ 4664633725069*c_0101_4^9 - 2243423225247089622753825257247950295098\ 8/4848824736379332237650268221544575023*c_0101_4^8 + 37201736475639531578541684442671435319889/1454647420913799671295080\ 4664633725069*c_0101_4^7 + 2777689575333967415650459249418547189108\ 8/14546474209137996712950804664633725069*c_0101_4^6 - 21042800633861784906596937898328503558351/1454647420913799671295080\ 4664633725069*c_0101_4^5 - 3426251489549504989117984294824002232373\ /14546474209137996712950804664633725069*c_0101_4^4 + 6936374064230015896299859154548797816946/14546474209137996712950804\ 664633725069*c_0101_4^3 - 746238600375452240150443789824167549029/1\ 4546474209137996712950804664633725069*c_0101_4^2 - 920770396968329245499354482899381471491/145464742091379967129508046\ 64633725069*c_0101_4 + 57463803473827379365880895251507181786/48488\ 24736379332237650268221544575023, c_0101_0 - 10462005882046060217368245916911695443/145464742091379967129\ 50804664633725069*c_0101_4^21 + 50953852422785008694023598654494359\ 650/14546474209137996712950804664633725069*c_0101_4^20 + 565482145699968215315692163211273333532/145464742091379967129508046\ 64633725069*c_0101_4^19 + 1662703811558422421168119410786774927757/\ 14546474209137996712950804664633725069*c_0101_4^18 - 6323036193581583647028618087721735045391/14546474209137996712950804\ 664633725069*c_0101_4^17 + 463857952906502930637575050091887425208/\ 14546474209137996712950804664633725069*c_0101_4^16 + 9231058264634805992755701502090546598903/14546474209137996712950804\ 664633725069*c_0101_4^15 - 2032209546148809927889036191144336828476\ 5/14546474209137996712950804664633725069*c_0101_4^14 + 5863520331579627386071651454259782684044/48488247363793322376502682\ 21544575023*c_0101_4^13 + 54398692133586701481897728678150261423986\ /14546474209137996712950804664633725069*c_0101_4^12 - 61043237003035925769617151105727162697827/1454647420913799671295080\ 4664633725069*c_0101_4^11 - 277411958528599590085937371112750639694\ 83/4848824736379332237650268221544575023*c_0101_4^10 + 75993145098728694924071387289801145535218/1454647420913799671295080\ 4664633725069*c_0101_4^9 + 2507954322952916240145385756262033154568\ 2/4848824736379332237650268221544575023*c_0101_4^8 - 55512962177506550497290331513064412863948/1454647420913799671295080\ 4664633725069*c_0101_4^7 - 3218457814980879288881658630791861302526\ 0/14546474209137996712950804664633725069*c_0101_4^6 + 26936684695040252084889762066038811284521/1454647420913799671295080\ 4664633725069*c_0101_4^5 + 3076920371726107903119636073261737670483\ /14546474209137996712950804664633725069*c_0101_4^4 - 8648380650929161333497445811413195231228/14546474209137996712950804\ 664633725069*c_0101_4^3 + 992042246923711197163491545595943298260/1\ 4546474209137996712950804664633725069*c_0101_4^2 + 1248356749422692309963015695237934481275/14546474209137996712950804\ 664633725069*c_0101_4 - 48334899959906611170570202436230106439/4848\ 824736379332237650268221544575023, c_0101_1 + 10799836445748664043006250870819046981/145464742091379967129\ 50804664633725069*c_0101_4^21 - 51559628240650239140428535383321419\ 601/14546474209137996712950804664633725069*c_0101_4^20 - 195879373128166934881951317824199409422/484882473637933223765026822\ 1544575023*c_0101_4^19 - 1776132389655087185546809100096152846535/1\ 4546474209137996712950804664633725069*c_0101_4^18 + 6290984037636106177989208422662295281167/14546474209137996712950804\ 664633725069*c_0101_4^17 - 160408626815323439639349658028666040254/\ 14546474209137996712950804664633725069*c_0101_4^16 - 3118734698421046934409718310164500766450/48488247363793322376502682\ 21544575023*c_0101_4^15 + 20710312770023482659245056824887561607794\ /14546474209137996712950804664633725069*c_0101_4^14 - 16533616742622354403850572850049442327961/1454647420913799671295080\ 4664633725069*c_0101_4^13 - 566127262699556226690984944776456531130\ 47/14546474209137996712950804664633725069*c_0101_4^12 + 19578385326064503358470951835521641656071/4848824736379332237650268\ 221544575023*c_0101_4^11 + 8568312361611043775156804279502408550874\ 8/14546474209137996712950804664633725069*c_0101_4^10 - 74055250567380979470839983113319754315008/1454647420913799671295080\ 4664633725069*c_0101_4^9 - 7619045700156857380906704065954792824705\ 6/14546474209137996712950804664633725069*c_0101_4^8 + 55990769576079746097092921093171384500808/1454647420913799671295080\ 4664633725069*c_0101_4^7 + 3257939542068351949575052221968417344401\ 4/14546474209137996712950804664633725069*c_0101_4^6 - 28447358955417958085265509304650925466949/1454647420913799671295080\ 4664633725069*c_0101_4^5 - 3161480547987360095218554092660898690029\ /14546474209137996712950804664633725069*c_0101_4^4 + 3087190705325997480671967513284078119051/48488247363793322376502682\ 21544575023*c_0101_4^3 - 412400743715244403565521651404060572194/48\ 48824736379332237650268221544575023*c_0101_4^2 - 442333494743843145562972411994148971581/484882473637933223765026822\ 1544575023*c_0101_4 + 232141260675645293524108177292253517420/14546\ 474209137996712950804664633725069, c_0101_4^22 - 4*c_0101_4^21 - 58*c_0101_4^20 - 207*c_0101_4^19 + 449*c_0101_4^18 + 413*c_0101_4^17 - 836*c_0101_4^16 + 1278*c_0101_4^15 - 111*c_0101_4^14 - 6269*c_0101_4^13 + 1350*c_0101_4^12 + 11567*c_0101_4^11 - 614*c_0101_4^10 - 11491*c_0101_4^9 - 318*c_0101_4^8 + 6331*c_0101_4^7 - 256*c_0101_4^6 - 2029*c_0101_4^5 + 553*c_0101_4^4 + 475*c_0101_4^3 - 172*c_0101_4^2 - 64*c_0101_4 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB