Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 3937105459] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1829 geometric_solution 5.48492388 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.290312159753 0.283877412586 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948806542950 1.437974083309 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 1 0 -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 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.177537475337 0.893459654465 5 4 2 1 3201 3201 2310 0132 0 0 0 0 0 -1 0 1 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 0 0 0 -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.177537475337 0.893459654465 4 4 3 2 1302 2031 2310 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341626041497 0.514738526968 6 6 2 3 0132 3201 0132 2310 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 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.375363324633 1.914248449386 5 6 5 6 0132 2310 2310 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.454968050708 0.552846815727 ==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_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], '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_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_4']), '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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 516406241358131048059987463908716/12399637527036408538481826196481*\ c_0101_1^22 - 1614346830470000249470991972938110/123996375270364085\ 38481826196481*c_0101_1^21 + 1749088864393324014213539556642762/123\ 99637527036408538481826196481*c_0101_1^20 - 10535325874933143897173924809735978/1239963752703640853848182619648\ 1*c_0101_1^19 + 18351128791540050025029600184606635/123996375270364\ 08538481826196481*c_0101_1^18 + 8100142708242933641568371786396837/\ 12399637527036408538481826196481*c_0101_1^17 - 683679870905607564400906734135686/12399637527036408538481826196481*\ c_0101_1^16 - 40155498596774419208552568520725129/12399637527036408\ 538481826196481*c_0101_1^15 - 92074389578885669446743199981024316/1\ 2399637527036408538481826196481*c_0101_1^14 + 130274327839745150140105912756737007/123996375270364085384818261964\ 81*c_0101_1^13 + 121315148407942689647454228476391226/1239963752703\ 6408538481826196481*c_0101_1^12 + 229365423652165155882331234631629\ 56/12399637527036408538481826196481*c_0101_1^11 - 148082519929662798712666934737521356/123996375270364085384818261964\ 81*c_0101_1^10 - 114924364761323701788007860554240290/1239963752703\ 6408538481826196481*c_0101_1^9 + 2796250145169226010135929627201942\ 33/12399637527036408538481826196481*c_0101_1^8 + 296430113234233023854485017083906112/123996375270364085384818261964\ 81*c_0101_1^7 + 102056786452718012086902863556790676/12399637527036\ 408538481826196481*c_0101_1^6 - 7147797133139390050390790008395992/\ 12399637527036408538481826196481*c_0101_1^5 + 33664358174714630796009338115895/12399637527036408538481826196481*c\ _0101_1^4 + 17885223298659503577543812015078602/1239963752703640853\ 8481826196481*c_0101_1^3 + 7401266656069060765304511264454121/12399\ 637527036408538481826196481*c_0101_1^2 - 1571493820246063119365858821640211/12399637527036408538481826196481\ *c_0101_1 - 3911597148775782502946432893343433/12399637527036408538\ 481826196481, c_0011_0 - 1, c_0011_1 - 1680706798909157787/8757714017229919801*c_0101_1^22 + 5571798624039397670/8757714017229919801*c_0101_1^21 - 7054325500957677515/8757714017229919801*c_0101_1^20 + 36512935305684331706/8757714017229919801*c_0101_1^19 - 67452185800020606637/8757714017229919801*c_0101_1^18 - 7558467908542830748/8757714017229919801*c_0101_1^17 - 5814817910275502080/8757714017229919801*c_0101_1^16 + 124586181880135995699/8757714017229919801*c_0101_1^15 + 275171520265281091693/8757714017229919801*c_0101_1^14 - 451789906862126931959/8757714017229919801*c_0101_1^13 - 251065216972425113998/8757714017229919801*c_0101_1^12 - 89234623098816105734/8757714017229919801*c_0101_1^11 + 408611383267100327420/8757714017229919801*c_0101_1^10 + 270761719341569952625/8757714017229919801*c_0101_1^9 - 881361452601593796320/8757714017229919801*c_0101_1^8 - 722115634454045804691/8757714017229919801*c_0101_1^7 - 339811895506940870935/8757714017229919801*c_0101_1^6 - 1436850435578864658/98401281092471009*c_0101_1^5 - 69633530486823481125/8757714017229919801*c_0101_1^4 - 73916732955983460072/8757714017229919801*c_0101_1^3 - 33728420825399069469/8757714017229919801*c_0101_1^2 + 23594339068025966/98401281092471009*c_0101_1 + 5590829685503713525/8757714017229919801, c_0011_3 - 12716338921158016130899492364/127831314711715551943111610273\ *c_0101_1^22 + 25398413504128778264340361781/1278313147117155519431\ 11610273*c_0101_1^21 + 7636606371300777362684994001/127831314711715\ 551943111610273*c_0101_1^20 + 187558667040166158780421523075/127831\ 314711715551943111610273*c_0101_1^19 - 122193708859715101654355326188/127831314711715551943111610273*c_010\ 1_1^18 - 850255693465535237028527593985/127831314711715551943111610\ 273*c_0101_1^17 + 106877643654133448542588233949/127831314711715551\ 943111610273*c_0101_1^16 + 891700417407749045786496761859/127831314\ 711715551943111610273*c_0101_1^15 + 3351877183656930767407377909672/127831314711715551943111610273*c_01\ 01_1^14 - 1081561667137444685128649333514/1278313147117155519431116\ 10273*c_0101_1^13 - 7269304184716096731884027299283/127831314711715\ 551943111610273*c_0101_1^12 - 1674391101662168924153897705607/12783\ 1314711715551943111610273*c_0101_1^11 + 2896570430566003891230400484100/127831314711715551943111610273*c_01\ 01_1^10 + 6404995372323799209328638623697/1278313147117155519431116\ 10273*c_0101_1^9 - 5313686222499804151625079193846/1278313147117155\ 51943111610273*c_0101_1^8 - 15003177016181090682856758966318/127831\ 314711715551943111610273*c_0101_1^7 - 6779554221592436911621820913926/127831314711715551943111610273*c_01\ 01_1^6 - 2187533833153245813379618854535/12783131471171555194311161\ 0273*c_0101_1^5 - 827222243173391231968657447344/127831314711715551\ 943111610273*c_0101_1^4 - 828237513183796245254322348832/1278313147\ 11715551943111610273*c_0101_1^3 - 601094826217113455824926042110/12\ 7831314711715551943111610273*c_0101_1^2 + 144097962688374939822426919221/127831314711715551943111610273*c_010\ 1_1 + 105488116266521659245321922768/127831314711715551943111610273\ , c_0011_4 - 3426250892363858880077249727/127831314711715551943111610273*\ c_0101_1^22 + 9880516101038592243380724639/127831314711715551943111\ 610273*c_0101_1^21 - 10577251382593192250798346838/1278313147117155\ 51943111610273*c_0101_1^20 + 74245203934620413210931173109/12783131\ 4711715551943111610273*c_0101_1^19 - 118388048117029208995942545082/127831314711715551943111610273*c_010\ 1_1^18 - 40062462043969835376767860418/1278313147117155519431116102\ 73*c_0101_1^17 - 113281397768433855233320108153/1278313147117155519\ 43111610273*c_0101_1^16 + 345501330727394211404431407720/1278313147\ 11715551943111610273*c_0101_1^15 + 676961919490611126479714568042/127831314711715551943111610273*c_010\ 1_1^14 - 632139082900744169923996742600/127831314711715551943111610\ 273*c_0101_1^13 - 893254938960288467211142071122/127831314711715551\ 943111610273*c_0101_1^12 - 1056390365670841238443198209298/12783131\ 4711715551943111610273*c_0101_1^11 + 1359052932453825010638040215837/127831314711715551943111610273*c_01\ 01_1^10 + 1195134765072657765191030043245/1278313147117155519431116\ 10273*c_0101_1^9 - 1506684641849699575164239998636/1278313147117155\ 51943111610273*c_0101_1^8 - 2631912367248563699239530257199/1278313\ 14711715551943111610273*c_0101_1^7 - 2252290317248461626801883920410/127831314711715551943111610273*c_01\ 01_1^6 + 439002357275165147720528941954/127831314711715551943111610\ 273*c_0101_1^5 + 364909951034883437649365527565/1278313147117155519\ 43111610273*c_0101_1^4 - 434807486328656056849700972961/12783131471\ 1715551943111610273*c_0101_1^3 - 147156077533027063855074572674/127\ 831314711715551943111610273*c_0101_1^2 - 235618950899563609026082578119/127831314711715551943111610273*c_010\ 1_1 + 25104228677346724615900944466/127831314711715551943111610273, c_0011_5 - 9581215141012942196624723903/127831314711715551943111610273*\ c_0101_1^22 + 25596882318142919560867814042/12783131471171555194311\ 1610273*c_0101_1^21 - 15414872394676889265260059378/127831314711715\ 551943111610273*c_0101_1^20 + 165010083854309149662002525811/127831\ 314711715551943111610273*c_0101_1^19 - 221986912743409245630088357236/127831314711715551943111610273*c_010\ 1_1^18 - 400399689185766214578689827332/127831314711715551943111610\ 273*c_0101_1^17 + 180274967750994651864134048923/127831314711715551\ 943111610273*c_0101_1^16 + 571516452682969927221346263212/127831314\ 711715551943111610273*c_0101_1^15 + 2075432503048107081513310503029/127831314711715551943111610273*c_01\ 01_1^14 - 1918070531093806760402223018250/1278313147117155519431116\ 10273*c_0101_1^13 - 3552674422705352277309902878438/127831314711715\ 551943111610273*c_0101_1^12 + 95601502065291557283398469139/1278313\ 14711715551943111610273*c_0101_1^11 + 1780676414088981264535102848518/127831314711715551943111610273*c_01\ 01_1^10 + 3084602501955944002148093641931/1278313147117155519431116\ 10273*c_0101_1^9 - 5183548301427615267569884004272/1278313147117155\ 51943111610273*c_0101_1^8 - 7142427023132678542556978516216/1278313\ 14711715551943111610273*c_0101_1^7 - 2207334563144087514292164898139/127831314711715551943111610273*c_01\ 01_1^6 - 1598022024594906556026183419885/12783131471171555194311161\ 0273*c_0101_1^5 - 823409417737860006729615278731/127831314711715551\ 943111610273*c_0101_1^4 - 542950870245834930141623004739/1278313147\ 11715551943111610273*c_0101_1^3 - 128747916227491071651034227709/12\ 7831314711715551943111610273*c_0101_1^2 + 39566854861311923069586375576/127831314711715551943111610273*c_0101\ _1 + 40971394109582235797840139618/127831314711715551943111610273, c_0101_0 - 11422998297637089762464717367/127831314711715551943111610273\ *c_0101_1^22 + 33322261149516997117665401795/1278313147117155519431\ 11610273*c_0101_1^21 - 35093056876669151492515124435/12783131471171\ 5551943111610273*c_0101_1^20 + 239251493494191378107221839848/12783\ 1314711715551943111610273*c_0101_1^19 - 379183046458264436658326255733/127831314711715551943111610273*c_010\ 1_1^18 - 170302504171119523672974218514/127831314711715551943111610\ 273*c_0101_1^17 - 216029428844147095037601558335/127831314711715551\ 943111610273*c_0101_1^16 + 956118639942685082775164225708/127831314\ 711715551943111610273*c_0101_1^15 + 2163696145507077562569421662685/127831314711715551943111610273*c_01\ 01_1^14 - 2128208832604370327572017671189/1278313147117155519431116\ 10273*c_0101_1^13 - 2780245383405395251659555890979/127831314711715\ 551943111610273*c_0101_1^12 - 2286273763756950075934594477738/12783\ 1314711715551943111610273*c_0101_1^11 + 3073217806741900556086328312441/127831314711715551943111610273*c_01\ 01_1^10 + 2922205777584535031700733785590/1278313147117155519431116\ 10273*c_0101_1^9 - 4488276294323264070347662338834/1278313147117155\ 51943111610273*c_0101_1^8 - 7646321486839363544520716886316/1278313\ 14711715551943111610273*c_0101_1^7 - 5714457286010092663356600037274/127831314711715551943111610273*c_01\ 01_1^6 - 1229157827337116644943091382244/12783131471171555194311161\ 0273*c_0101_1^5 - 603397823369826223739200197666/127831314711715551\ 943111610273*c_0101_1^4 - 228173561584305096990316247382/1278313147\ 11715551943111610273*c_0101_1^3 - 424663214721383451131964710623/12\ 7831314711715551943111610273*c_0101_1^2 - 178874633167275357370725055064/127831314711715551943111610273*c_010\ 1_1 + 68491751086496907519446412960/127831314711715551943111610273, c_0101_1^23 - 3*c_0101_1^22 + 3*c_0101_1^21 - 20*c_0101_1^20 + 33*c_0101_1^19 + 20*c_0101_1^18 + c_0101_1^17 - 78*c_0101_1^16 - 188*c_0101_1^15 + 229*c_0101_1^14 + 266*c_0101_1^13 + 76*c_0101_1^12 - 280*c_0101_1^11 - 259*c_0101_1^10 + 511*c_0101_1^9 + 642*c_0101_1^8 + 274*c_0101_1^7 + 14*c_0101_1^6 - 2*c_0101_1^5 + 34*c_0101_1^4 + 19*c_0101_1^3 - c_0101_1^2 - 8*c_0101_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB