Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 4021187337] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0776 geometric_solution 4.71944919 oriented_manifold CS_known -0.0000000000000006 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 0 0 0 0 0 0 0 0 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.234736697359 0.112355375780 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 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 -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 2.662786521660 1.585901937515 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 -1 0 0 1 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.416029740972 0.750182371022 2 4 4 5 0132 2310 3201 0132 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 1 -1 0 1 0 -1 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.155962996288 0.643547597066 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 -1 1 -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 1 -1 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.155962996288 0.643547597066 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.908655175939 1.291871604053 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484752199500 0.440858859320 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), '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_6'], 'c_0101_5' : d['c_0101_0'], '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_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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_6']), '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_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], '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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 29821845715366514000753873099440139020940217825284/1146032817840041\ 6417521588231960861925184681841*c_0101_6^21 - 116064131360956534069986849308995045551466937236058/114603281784004\ 16417521588231960861925184681841*c_0101_6^20 + 1950966820741403302114969598789751429098916446774740/11460328178400\ 416417521588231960861925184681841*c_0101_6^19 + 4381705970956543203276352803192151214902610777245181/11460328178400\ 416417521588231960861925184681841*c_0101_6^18 - 41806811888822610297632023873248554832140047682710081/1146032817840\ 0416417521588231960861925184681841*c_0101_6^17 - 22321392729494100558458387594402529061360049977775298/1146032817840\ 0416417521588231960861925184681841*c_0101_6^16 + 274957457198269408216432146017713866535827719422139079/114603281784\ 00416417521588231960861925184681841*c_0101_6^15 + 44122893404961251846112105874269885680124041656958520/1146032817840\ 0416417521588231960861925184681841*c_0101_6^14 - 661108130537866693981582947349330018567938786936049854/114603281784\ 00416417521588231960861925184681841*c_0101_6^13 - 274903935752402203180920683945006946962346214815077013/114603281784\ 00416417521588231960861925184681841*c_0101_6^12 + 763646153559878114906015761433199488385267987043348011/114603281784\ 00416417521588231960861925184681841*c_0101_6^11 + 484436685058759305428553915969573750357285007305204836/114603281784\ 00416417521588231960861925184681841*c_0101_6^10 - 435590782451214446233015856764730077644073516496319130/114603281784\ 00416417521588231960861925184681841*c_0101_6^9 - 63546547837150615106132736513577024560117975710857959/1146032817840\ 0416417521588231960861925184681841*c_0101_6^8 + 145114777618722024463047744995066325028951245330225404/114603281784\ 00416417521588231960861925184681841*c_0101_6^7 - 81044236204582511345099787557327335418834855028005074/1146032817840\ 0416417521588231960861925184681841*c_0101_6^6 - 18386783576387405435271118590607569703729288019330134/1146032817840\ 0416417521588231960861925184681841*c_0101_6^5 + 24835909688636675508413819875482647148138980486360651/1146032817840\ 0416417521588231960861925184681841*c_0101_6^4 + 12735622188930724535426207268407631248895892042587047/1146032817840\ 0416417521588231960861925184681841*c_0101_6^3 - 11368195313868582455620873923936136198080300315367740/1146032817840\ 0416417521588231960861925184681841*c_0101_6^2 + 1316873463407427837009453106826545403697315448006589/11460328178400\ 416417521588231960861925184681841*c_0101_6 + 275779829906302958307703480425422787858782530204445/114603281784004\ 16417521588231960861925184681841, c_0011_0 - 1, c_0011_2 - 79099591957499392384279733163267678695535897/279520199473180\ 888232233859316118583541089801*c_0101_6^21 - 332736484556038840243358466570749341986964390/279520199473180888232\ 233859316118583541089801*c_0101_6^20 + 5062102520489701203782695946848293124377486126/27952019947318088823\ 2233859316118583541089801*c_0101_6^19 + 13180993426912423716808008696266281950358153996/2795201994731808882\ 32233859316118583541089801*c_0101_6^18 - 106232456987911909382210632141453132641676872888/279520199473180888\ 232233859316118583541089801*c_0101_6^17 - 91280986823475343896902066013998371356099354771/2795201994731808882\ 32233859316118583541089801*c_0101_6^16 + 689892133788581123266517148383942806375474384879/279520199473180888\ 232233859316118583541089801*c_0101_6^15 + 324361838999391673682866944386996745611469559183/279520199473180888\ 232233859316118583541089801*c_0101_6^14 - 1581513863762076715793792979634587758251992662790/27952019947318088\ 8232233859316118583541089801*c_0101_6^13 - 1190110462415879711014604952074461836379165593743/27952019947318088\ 8232233859316118583541089801*c_0101_6^12 + 1487921771101991734090903856404894306427824548577/27952019947318088\ 8232233859316118583541089801*c_0101_6^11 + 1620951248072391542999760693465244145374523997231/27952019947318088\ 8232233859316118583541089801*c_0101_6^10 - 491113387970617452644174838764202655266446008914/279520199473180888\ 232233859316118583541089801*c_0101_6^9 - 137634369281671976066165151176993583104434701779/279520199473180888\ 232233859316118583541089801*c_0101_6^8 + 297597300800364704881500108588063847555086929795/279520199473180888\ 232233859316118583541089801*c_0101_6^7 - 152261876224818316118925043638203777774871460143/279520199473180888\ 232233859316118583541089801*c_0101_6^6 - 74001959316823268817302028403652293622833421873/2795201994731808882\ 32233859316118583541089801*c_0101_6^5 + 27135564814792340432432173294219681039269788189/2795201994731808882\ 32233859316118583541089801*c_0101_6^4 + 33498380687480423800102027186839751455275121227/2795201994731808882\ 32233859316118583541089801*c_0101_6^3 - 16896666083918622097278049746368178151500993934/2795201994731808882\ 32233859316118583541089801*c_0101_6^2 + 2243330796964586331673083632604953319679357071/27952019947318088823\ 2233859316118583541089801*c_0101_6 + 329849815698584984639707113816085815859887264/279520199473180888232\ 233859316118583541089801, c_0011_4 + 55931328403506340019478292605446549018752935/279520199473180\ 888232233859316118583541089801*c_0101_6^21 + 233260249351116399424089711723039086519815793/279520199473180888232\ 233859316118583541089801*c_0101_6^20 - 3590447200793025302525975904863699179435192200/27952019947318088823\ 2233859316118583541089801*c_0101_6^19 - 9202627778822004247084710624140245851653225048/27952019947318088823\ 2233859316118583541089801*c_0101_6^18 + 75612936467448398754148826122007686144546688237/2795201994731808882\ 32233859316118583541089801*c_0101_6^17 + 62308471007613226600721503039389736343465718774/2795201994731808882\ 32233859316118583541089801*c_0101_6^16 - 493439874242441707828613960593844000178731949507/279520199473180888\ 232233859316118583541089801*c_0101_6^15 - 215741734577654305650093603409172939319157379808/279520199473180888\ 232233859316118583541089801*c_0101_6^14 + 1147744362574278685652831397109826716979529812900/27952019947318088\ 8232233859316118583541089801*c_0101_6^13 + 818624923355943421462086886402996903922239494255/279520199473180888\ 232233859316118583541089801*c_0101_6^12 - 1128721989346344809281276194398616529529252154257/27952019947318088\ 8232233859316118583541089801*c_0101_6^11 - 1163254307320306421956169486938182385510463763063/27952019947318088\ 8232233859316118583541089801*c_0101_6^10 + 418573123986319034818808297524972051571917163348/279520199473180888\ 232233859316118583541089801*c_0101_6^9 + 150414380299676071129945815146153531231541666281/279520199473180888\ 232233859316118583541089801*c_0101_6^8 - 204293049405636192671202730097897986415321059111/279520199473180888\ 232233859316118583541089801*c_0101_6^7 + 113811070585686301398027337896051180815469402268/279520199473180888\ 232233859316118583541089801*c_0101_6^6 + 54770470350834419607441612545810719886561769117/2795201994731808882\ 32233859316118583541089801*c_0101_6^5 - 25147100562903167799341122458799481366954215636/2795201994731808882\ 32233859316118583541089801*c_0101_6^4 - 26393206628311984336759545597883602056237313445/2795201994731808882\ 32233859316118583541089801*c_0101_6^3 + 12295449379295315402106416558018544184991007863/2795201994731808882\ 32233859316118583541089801*c_0101_6^2 - 848222307736084016056241344809587122317870553/279520199473180888232\ 233859316118583541089801*c_0101_6 - 215998612293334537602487090271560376806470071/279520199473180888232\ 233859316118583541089801, c_0101_0 - 45223743911517101446510584705657371763697132/279520199473180\ 888232233859316118583541089801*c_0101_6^21 - 185372755148809724948360365204354637081412413/279520199473180888232\ 233859316118583541089801*c_0101_6^20 + 2918650640998375400237658018955885777743929395/27952019947318088823\ 2233859316118583541089801*c_0101_6^19 + 7242659559166989268832122237359342296955402600/27952019947318088823\ 2233859316118583541089801*c_0101_6^18 - 61800695203485283497290697351616142686841574100/2795201994731808882\ 32233859316118583541089801*c_0101_6^17 - 46389024369046222817051776697529916858272375186/2795201994731808882\ 32233859316118583541089801*c_0101_6^16 + 405298613818471376404970554706541885318655946966/279520199473180888\ 232233859316118583541089801*c_0101_6^15 + 148959019267934877201757234124318983813279236275/279520199473180888\ 232233859316118583541089801*c_0101_6^14 - 958218656519499002485082222868258328495516083460/279520199473180888\ 232233859316118583541089801*c_0101_6^13 - 608027636155304779406658926403268622710270927305/279520199473180888\ 232233859316118583541089801*c_0101_6^12 + 1000841989940322126288471059953310581937505780223/27952019947318088\ 8232233859316118583541089801*c_0101_6^11 + 915344110239945669762936147268332001667235133955/279520199473180888\ 232233859316118583541089801*c_0101_6^10 - 442925263676469508360906031441373103786264115788/279520199473180888\ 232233859316118583541089801*c_0101_6^9 - 151636565861094608040806280620252190447734861958/279520199473180888\ 232233859316118583541089801*c_0101_6^8 + 183478683492417884002379159183627873314907818396/279520199473180888\ 232233859316118583541089801*c_0101_6^7 - 88635787293070070821405553426614215294869560278/2795201994731808882\ 32233859316118583541089801*c_0101_6^6 - 41950803381484354044806560040089116865495538859/2795201994731808882\ 32233859316118583541089801*c_0101_6^5 + 25565210833745449074428928083927466814897392558/2795201994731808882\ 32233859316118583541089801*c_0101_6^4 + 23089866959158084444623673229313998231409612871/2795201994731808882\ 32233859316118583541089801*c_0101_6^3 - 12212738403638328801742146238623639792827224785/2795201994731808882\ 32233859316118583541089801*c_0101_6^2 - 225766517853755147203810753618927107743718700/279520199473180888232\ 233859316118583541089801*c_0101_6 + 258004475055355888599405566136590537470369971/279520199473180888232\ 233859316118583541089801, c_0101_1 + 20189687363391910676213480992777825007134152/279520199473180\ 888232233859316118583541089801*c_0101_6^21 + 101215892321679267155908297525035891874442679/279520199473180888232\ 233859316118583541089801*c_0101_6^20 - 1222675005058566556609518654872183577008720738/27952019947318088823\ 2233859316118583541089801*c_0101_6^19 - 4403511219737230929131525476649897831866004373/27952019947318088823\ 2233859316118583541089801*c_0101_6^18 + 24342362646543423049625808133246623279953910610/2795201994731808882\ 32233859316118583541089801*c_0101_6^17 + 45061679568227025341349411451894826738851387040/2795201994731808882\ 32233859316118583541089801*c_0101_6^16 - 156018679929512292377694124679364085859792924265/279520199473180888\ 232233859316118583541089801*c_0101_6^15 - 224610379206303782544450144574385536050320885144/279520199473180888\ 232233859316118583541089801*c_0101_6^14 + 328501545728705848457875394738873652588141984179/279520199473180888\ 232233859316118583541089801*c_0101_6^13 + 631174836692123481408445476603700959413569304079/279520199473180888\ 232233859316118583541089801*c_0101_6^12 - 113831436289321711778101575629285614341670080421/279520199473180888\ 232233859316118583541089801*c_0101_6^11 - 720113956903282613766842477066875173009003056379/279520199473180888\ 232233859316118583541089801*c_0101_6^10 - 239205270906060048465913887329937631444195691594/279520199473180888\ 232233859316118583541089801*c_0101_6^9 + 128396978746368205771313561117794469384641514455/279520199473180888\ 232233859316118583541089801*c_0101_6^8 - 21148543866420575772580669812256605914757185230/2795201994731808882\ 32233859316118583541089801*c_0101_6^7 - 15921236904940272066835238029766947867492930303/2795201994731808882\ 32233859316118583541089801*c_0101_6^6 + 45491846484436637788787761216888852679918035020/2795201994731808882\ 32233859316118583541089801*c_0101_6^5 + 9941301856499722458781270356152760083380023102/27952019947318088823\ 2233859316118583541089801*c_0101_6^4 - 13759825020303455922601152805931323301800801680/2795201994731808882\ 32233859316118583541089801*c_0101_6^3 - 3401414489599730707829723887871887696515007979/27952019947318088823\ 2233859316118583541089801*c_0101_6^2 + 2346209426952579537526648590296678471255174975/27952019947318088823\ 2233859316118583541089801*c_0101_6 + 42282104417148361760522652280216657670270442/2795201994731808882322\ 33859316118583541089801, c_0101_3 - 91478662837997769849625539583269969168786174/279520199473180\ 888232233859316118583541089801*c_0101_6^21 - 361992301750532631615330295153192248343190560/279520199473180888232\ 233859316118583541089801*c_0101_6^20 + 5958811055538764794465859713602943725156196274/27952019947318088823\ 2233859316118583541089801*c_0101_6^19 + 13820036494237376854103280322439204659356938555/2795201994731808882\ 32233859316118583541089801*c_0101_6^18 - 127202708964638979703026034995139905536844744432/279520199473180888\ 232233859316118583541089801*c_0101_6^17 - 76387387809219532016424673505779914905826549950/2795201994731808882\ 32233859316118583541089801*c_0101_6^16 + 835564374503104178287713065057893781178792370030/279520199473180888\ 232233859316118583541089801*c_0101_6^15 + 187034016670211002838265522879988717955875460312/279520199473180888\ 232233859316118583541089801*c_0101_6^14 - 1997127027208743888781792339702450377747523121732/27952019947318088\ 8232233859316118583541089801*c_0101_6^13 - 962811672778370838806294217091177911681891237177/279520199473180888\ 232233859316118583541089801*c_0101_6^12 + 2237864889647414757902905201384394828772955923227/27952019947318088\ 8232233859316118583541089801*c_0101_6^11 + 1595481546513369000234394936689765891395590225179/27952019947318088\ 8232233859316118583541089801*c_0101_6^10 - 1195707854478936519236952249950844528623188295407/27952019947318088\ 8232233859316118583541089801*c_0101_6^9 - 225628501062803242601221769015962066285580098039/279520199473180888\ 232233859316118583541089801*c_0101_6^8 + 421690678387637385478888806607255849713374318694/279520199473180888\ 232233859316118583541089801*c_0101_6^7 - 225732116590818659426176973902121774853835486708/279520199473180888\ 232233859316118583541089801*c_0101_6^6 - 64115219383584789029445728243087324471586124386/2795201994731808882\ 32233859316118583541089801*c_0101_6^5 + 69056775259646282268664042459346326456292265719/2795201994731808882\ 32233859316118583541089801*c_0101_6^4 + 41670876654789810374678891986061981900108424576/2795201994731808882\ 32233859316118583541089801*c_0101_6^3 - 31550771996461612234492751296208829197115677901/2795201994731808882\ 32233859316118583541089801*c_0101_6^2 + 3300446597675781049459817374582710713407953185/27952019947318088823\ 2233859316118583541089801*c_0101_6 + 731590512736099498215267442295420184658943285/279520199473180888232\ 233859316118583541089801, c_0101_6^22 + 4*c_0101_6^21 - 65*c_0101_6^20 - 154*c_0101_6^19 + 1386*c_0101_6^18 + 900*c_0101_6^17 - 9139*c_0101_6^16 - 2476*c_0101_6^15 + 22008*c_0101_6^14 + 11614*c_0101_6^13 - 24609*c_0101_6^12 - 19011*c_0101_6^11 + 12849*c_0101_6^10 + 3708*c_0101_6^9 - 4635*c_0101_6^8 + 2192*c_0101_6^7 + 910*c_0101_6^6 - 766*c_0101_6^5 - 517*c_0101_6^4 + 335*c_0101_6^3 - 3*c_0101_6^2 - 14*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB