Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 678016233] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0397 geometric_solution 4.46235157 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.325745298323 0.116516669703 0 2 2 0 0132 0132 3201 3201 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 0 0 0 0 0 0 0 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.146384787968 0.476015785079 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 1 0 -1 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 -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.206365477753 0.187327934619 4 2 5 2 0132 2310 0132 0132 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 0 -1 1 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.739254859478 1.321546091521 3 5 6 5 0132 3201 0132 2310 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 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.176389893957 1.238406804043 4 6 4 3 3201 0132 2310 0132 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 -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 -0.176389893957 1.238406804043 6 5 6 4 2031 0132 1302 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 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.391406837292 0.641967073527 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 1467474075555716427693536471754927676/24628509221794269260011938629\ 456763*c_0101_3^26 + 67310346065640209511639406802565436979/4925701\ 8443588538520023877258913526*c_0101_3^25 + 2683657792236195279749220633034685214565/19702807377435415408009550\ 9035654104*c_0101_3^24 + 15172366727949178639246912091892958394359/\ 197028073774354154080095509035654104*c_0101_3^23 + 6654122462615000629334232244936223271644/24628509221794269260011938\ 629456763*c_0101_3^22 + 59603271786673134741239326934414868653909/9\ 8514036887177077040047754517827052*c_0101_3^21 + 42302520016711821310057272853548801441065/4925701844358853852002387\ 7258913526*c_0101_3^20 + 145838803438201890381109140868952165291561\ /197028073774354154080095509035654104*c_0101_3^19 + 18782021008275364233033454645851807723835/6567602459145138469336516\ 9678551368*c_0101_3^18 - 5332398409502760207748570635137451376383/1\ 6419006147862846173341292419637842*c_0101_3^17 - 183767839526444837382824096384427773015701/197028073774354154080095\ 509035654104*c_0101_3^16 - 5504701430186309078904396386659121101907\ 9/49257018443588538520023877258913526*c_0101_3^15 - 181190816972802276493429793242808450137823/197028073774354154080095\ 509035654104*c_0101_3^14 - 5242190301369470022873337033561260326632\ 9/98514036887177077040047754517827052*c_0101_3^13 + 2965601093889111377181877975314408322065/82095030739314230866706462\ 09818921*c_0101_3^12 + 195088670524573530809910140272473462685619/1\ 97028073774354154080095509035654104*c_0101_3^11 + 53135347556738095735166965809156430132033/9851403688717707704004775\ 4517827052*c_0101_3^10 - 121641499278561277940604754899810373605757\ /197028073774354154080095509035654104*c_0101_3^9 - 72244859745283935483013194392894003264539/1970280737743541540800955\ 09035654104*c_0101_3^8 + 93259461408509164438034747248733545699421/\ 197028073774354154080095509035654104*c_0101_3^7 + 2237191756485338425230980706205299145799/19702807377435415408009550\ 9035654104*c_0101_3^6 - 1107554922099695243829319468450935254923/16\ 419006147862846173341292419637842*c_0101_3^5 - 325779934058517681456331558300427302907/197028073774354154080095509\ 035654104*c_0101_3^4 - 233391808211611487999670656188651006879/4925\ 7018443588538520023877258913526*c_0101_3^3 + 196120379388174142349369649857266786729/197028073774354154080095509\ 035654104*c_0101_3^2 + 160118501762966357104153053029865078341/1970\ 28073774354154080095509035654104*c_0101_3 - 4513612286814177603983650163527763207/65676024591451384693365169678\ 551368, c_0011_0 - 1, c_0011_3 + 140146858627349978992306118125/38510627765598325726143526256\ 92*c_0101_3^26 + 826177306232520526571303586001/9627656941399581431\ 53588156423*c_0101_3^25 + 34143764445970207546138458002153/38510627\ 76559832572614352625692*c_0101_3^24 + 50629097646142899341018571139652/962765694139958143153588156423*c_0\ 101_3^23 + 379749863014014351546102092626071/1925531388279916286307\ 176312846*c_0101_3^22 + 1874113779229425696358733497000601/38510627\ 76559832572614352625692*c_0101_3^21 + 1543641143535372333392285964612011/1925531388279916286307176312846*\ c_0101_3^20 + 3401119453047006904847774355096279/385106277655983257\ 2614352625692*c_0101_3^19 + 2367780182453571993620757476563721/3851\ 062776559832572614352625692*c_0101_3^18 + 290729246153387714169645220276699/3851062776559832572614352625692*c\ _0101_3^17 - 2247190805725282848200656026146257/3851062776559832572\ 614352625692*c_0101_3^16 - 3970128066706351959041362812567701/38510\ 62776559832572614352625692*c_0101_3^15 - 1059745304164636955594115074734523/962765694139958143153588156423*c\ _0101_3^14 - 3333965526261670385735287485805565/3851062776559832572\ 614352625692*c_0101_3^13 - 714973773366510778043859379240307/385106\ 2776559832572614352625692*c_0101_3^12 + 2259241927314979059508907855577435/3851062776559832572614352625692*\ c_0101_3^11 + 656453299937054487114538738579388/9627656941399581431\ 53588156423*c_0101_3^10 - 68258636567062420383163639022799/96276569\ 4139958143153588156423*c_0101_3^9 - 704410131601474161531204650741499/1925531388279916286307176312846*c\ _0101_3^8 + 458805208495748826224434235921385/385106277655983257261\ 4352625692*c_0101_3^7 + 562326341800924955920384447164067/385106277\ 6559832572614352625692*c_0101_3^6 - 7958857796095073585378847350911/3851062776559832572614352625692*c_0\ 101_3^5 - 43629924326890297621857926110073/385106277655983257261435\ 2625692*c_0101_3^4 - 8357985072852558973526005620421/19255313882799\ 16286307176312846*c_0101_3^3 - 2949776521925891190615597755011/1925\ 531388279916286307176312846*c_0101_3^2 + 3092715770512547316298502146589/3851062776559832572614352625692*c_0\ 101_3 - 587743997687082108462577868669/1925531388279916286307176312\ 846, c_0011_5 + 13069328895942310766571036087556253/656760245914513846933651\ 69678551368*c_0101_3^26 + 298624227091554036008790454451016761/6567\ 6024591451384693365169678551368*c_0101_3^25 + 2961994273116690762986691869140531711/65676024591451384693365169678\ 551368*c_0101_3^24 + 16633265750854194970474650812030115917/6567602\ 4591451384693365169678551368*c_0101_3^23 + 14446444344508162721657311033611203593/1641900614786284617334129241\ 9637842*c_0101_3^22 + 127403479422644265934931059301613753427/65676\ 024591451384693365169678551368*c_0101_3^21 + 175964979456071229918808206589005007155/656760245914513846933651696\ 78551368*c_0101_3^20 + 143119953810117798639012433424251467471/6567\ 6024591451384693365169678551368*c_0101_3^19 + 10649264940391952815755526479162856207/1641900614786284617334129241\ 9637842*c_0101_3^18 - 42562306361591072740603964665946933747/328380\ 12295725692346682584839275684*c_0101_3^17 - 51572631341637636539554281785374809815/1641900614786284617334129241\ 9637842*c_0101_3^16 - 57881479326415735721657550658041126069/164190\ 06147862846173341292419637842*c_0101_3^15 - 178740510977209282265878885165460250643/656760245914513846933651696\ 78551368*c_0101_3^14 - 91612397324395577667999642306280329195/65676\ 024591451384693365169678551368*c_0101_3^13 + 24973780776470203645042382910230213343/1641900614786284617334129241\ 9637842*c_0101_3^12 + 110195709065934541477784893790886621555/32838\ 012295725692346682584839275684*c_0101_3^11 + 105720872925287930564074548854524802397/656760245914513846933651696\ 78551368*c_0101_3^10 - 73587768592141356448588567446370665897/32838\ 012295725692346682584839275684*c_0101_3^9 - 37808996849049803462860592815872357293/3283801229572569234668258483\ 9275684*c_0101_3^8 + 106939140024441503741981349295726286991/656760\ 24591451384693365169678551368*c_0101_3^7 - 896288286588999693240157124504507251/164190061478628461733412924196\ 37842*c_0101_3^6 - 6646507462942133651282289269262755765/3283801229\ 5725692346682584839275684*c_0101_3^5 - 668163595506135258371922710926068335/328380122957256923466825848392\ 75684*c_0101_3^4 - 1366136160764551729299058735607595845/6567602459\ 1451384693365169678551368*c_0101_3^3 + 275480297983232344403141950776605095/328380122957256923466825848392\ 75684*c_0101_3^2 + 141266799641123166899533564160125735/65676024591\ 451384693365169678551368*c_0101_3 + 4303247886513242666148967133831639/65676024591451384693365169678551\ 368, c_0101_0 - 31480784171369987446647946471452593/656760245914513846933651\ 69678551368*c_0101_3^26 - 727186394097708821927350384723907745/6567\ 6024591451384693365169678551368*c_0101_3^25 - 7314626424392134398384399649407079203/65676024591451384693365169678\ 551368*c_0101_3^24 - 41851266607184082516392005538863613461/6567602\ 4591451384693365169678551368*c_0101_3^23 - 37311303714432727662237122575311703809/1641900614786284617334129241\ 9637842*c_0101_3^22 - 342040493652268390487794936010601284519/65676\ 024591451384693365169678551368*c_0101_3^21 - 502660525534528855701666714034746492507/656760245914513846933651696\ 78551368*c_0101_3^20 - 458392153373777495146725848860965533907/6567\ 6024591451384693365169678551368*c_0101_3^19 - 25913058141357907950463292242729194318/8209503073931423086670646209\ 818921*c_0101_3^18 + 75048783672411295711036114043684917657/3283801\ 2295725692346682584839275684*c_0101_3^17 + 64719407011758469290939304706131261561/8209503073931423086670646209\ 818921*c_0101_3^16 + 82805495794213486401255657094753144281/8209503\ 073931423086670646209818921*c_0101_3^15 + 569905912777030721891777623152751385651/656760245914513846933651696\ 78551368*c_0101_3^14 + 351497884284110740416187320931543761239/6567\ 6024591451384693365169678551368*c_0101_3^13 - 18570185714821763715544283770655755196/8209503073931423086670646209\ 818921*c_0101_3^12 - 276809353749641179934025311034862418397/328380\ 12295725692346682584839275684*c_0101_3^11 - 358460212489031964759924135842214031949/656760245914513846933651696\ 78551368*c_0101_3^10 + 146617470716124833161668356739375247449/3283\ 8012295725692346682584839275684*c_0101_3^9 + 123527823187588391235078294292228920157/328380122957256923466825848\ 39275684*c_0101_3^8 - 234433428660822768703144211563234549635/65676\ 024591451384693365169678551368*c_0101_3^7 - 5893906218516601182331801562452356033/82095030739314230866706462098\ 18921*c_0101_3^6 + 23050532753438303808169770855010041463/328380122\ 95725692346682584839275684*c_0101_3^5 + 923673287660005626592486848460647385/328380122957256923466825848392\ 75684*c_0101_3^4 + 2005870372900991979094760250105171581/6567602459\ 1451384693365169678551368*c_0101_3^3 + 62582044257394792159435670416522121/3283801229572569234668258483927\ 5684*c_0101_3^2 - 521307695408526230505948964062245339/656760245914\ 51384693365169678551368*c_0101_3 - 3342250572448974878019412411484087/65676024591451384693365169678551\ 368, c_0101_1 - 956208654345387056327433760593/19255313882799162863071763128\ 46*c_0101_3^26 - 86612843295047747289881354399751/77021255531196651\ 45228705251384*c_0101_3^25 - 424498797664713045479249010419797/3851\ 062776559832572614352625692*c_0101_3^24 - 4690938447082019947083785621427955/7702125553119665145228705251384*\ c_0101_3^23 - 7959820897487687098269610910652863/385106277655983257\ 2614352625692*c_0101_3^22 - 16925945897844996745315764842244095/385\ 1062776559832572614352625692*c_0101_3^21 - 43987428140913089506232302139474683/7702125553119665145228705251384\ *c_0101_3^20 - 7931881744234041072845754110445921/19255313882799162\ 86307176312846*c_0101_3^19 - 4740735180029694146602590191490905/770\ 2125553119665145228705251384*c_0101_3^18 + 26190362664178914078314610015940391/7702125553119665145228705251384\ *c_0101_3^17 + 54030400032029405536878284681935653/7702125553119665\ 145228705251384*c_0101_3^16 + 54717373586191974566452847820754149/7\ 702125553119665145228705251384*c_0101_3^15 + 38623569304690049637832191378918865/7702125553119665145228705251384\ *c_0101_3^14 + 8632150934864114975762856244631277/38510627765598325\ 72614352625692*c_0101_3^13 - 33052035771919109595452695391330357/77\ 02125553119665145228705251384*c_0101_3^12 - 56975342749343721255085005119355741/7702125553119665145228705251384\ *c_0101_3^11 - 16656055134900875749792719785680943/7702125553119665\ 145228705251384*c_0101_3^10 + 24651887985087688647329267588903875/3\ 851062776559832572614352625692*c_0101_3^9 + 3043892044623028872685190207462849/1925531388279916286307176312846*\ c_0101_3^8 - 18403391741922269784391115426766437/385106277655983257\ 2614352625692*c_0101_3^7 + 7894018706553915295370592191374801/77021\ 25553119665145228705251384*c_0101_3^6 + 4267066479472353424319835788398689/7702125553119665145228705251384*\ c_0101_3^5 - 882885989530008625252835483504309/77021255531196651452\ 28705251384*c_0101_3^4 + 263223957645586132991797827001133/77021255\ 53119665145228705251384*c_0101_3^3 - 23480968877402171604854774799928/962765694139958143153588156423*c_0\ 101_3^2 - 9952825283520409556815434282975/3851062776559832572614352\ 625692*c_0101_3 + 16015421870263182506745834964737/7702125553119665\ 145228705251384, c_0101_2 - 1143653202930159866159659977873839/3283801229572569234668258\ 4839275684*c_0101_3^26 - 43929111718636933271631813106451707/656760\ 24591451384693365169678551368*c_0101_3^25 - 81764745638790419390656811706270271/1641900614786284617334129241963\ 7842*c_0101_3^24 - 1000964002171387627289961979274177999/6567602459\ 1451384693365169678551368*c_0101_3^23 + 356578938893061231401665848844890171/328380122957256923466825848392\ 75684*c_0101_3^22 + 1981819108216101897342068104456406795/820950307\ 3931423086670646209818921*c_0101_3^21 + 55334561921468945828283559485964139677/6567602459145138469336516967\ 8551368*c_0101_3^20 + 49624819145622147971123358383203246979/328380\ 12295725692346682584839275684*c_0101_3^19 + 103878395910340086946719921022577265481/656760245914513846933651696\ 78551368*c_0101_3^18 + 64669483925889534304713913121861248853/65676\ 024591451384693365169678551368*c_0101_3^17 - 1454996373881619953221094096886447005/65676024591451384693365169678\ 551368*c_0101_3^16 - 87309722604733743597287190916141253245/6567602\ 4591451384693365169678551368*c_0101_3^15 - 129387784253155729130359135226123273011/656760245914513846933651696\ 78551368*c_0101_3^14 - 30754373314463188607058005650052076565/16419\ 006147862846173341292419637842*c_0101_3^13 - 104163260419935051448847087568545529731/656760245914513846933651696\ 78551368*c_0101_3^12 + 1542634656088752467332384803946344777/656760\ 24591451384693365169678551368*c_0101_3^11 + 115156133369133058832548458665675193773/656760245914513846933651696\ 78551368*c_0101_3^10 + 52778804108611003770543521542594950855/32838\ 012295725692346682584839275684*c_0101_3^9 - 8068549979439543351798328388622146045/82095030739314230866706462098\ 18921*c_0101_3^8 - 16881912298472447316084026960127787617/164190061\ 47862846173341292419637842*c_0101_3^7 + 61901651633624247307037430142084908927/6567602459145138469336516967\ 8551368*c_0101_3^6 + 3152084154813304096230145912028979771/65676024\ 591451384693365169678551368*c_0101_3^5 - 5929426789528696162668889039282649735/65676024591451384693365169678\ 551368*c_0101_3^4 - 141240796276765940591969987887927091/6567602459\ 1451384693365169678551368*c_0101_3^3 - 246978070554436425734621596912481773/164190061478628461733412924196\ 37842*c_0101_3^2 + 16071973132975218288279042020068097/820950307393\ 1423086670646209818921*c_0101_3 + 609281629036379723973472448896709\ 53/65676024591451384693365169678551368, c_0101_3^27 + 23*c_0101_3^26 + 230*c_0101_3^25 + 1305*c_0101_3^24 + 4595*c_0101_3^23 + 10313*c_0101_3^22 + 14587*c_0101_3^21 + 12246*c_0101_3^20 + 3978*c_0101_3^19 - 6619*c_0101_3^18 - 16685*c_0101_3^17 - 19299*c_0101_3^16 - 14982*c_0101_3^15 - 7804*c_0101_3^14 + 7332*c_0101_3^13 + 18173*c_0101_3^12 + 9644*c_0101_3^11 - 11543*c_0101_3^10 - 7952*c_0101_3^9 + 8515*c_0101_3^8 + 1420*c_0101_3^7 - 1893*c_0101_3^6 - 173*c_0101_3^5 + 18*c_0101_3^4 + 25*c_0101_3^3 + 23*c_0101_3^2 - c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB