Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 2176851363] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s376 geometric_solution 4.59393807 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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 -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.260468005308 0.145854835281 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 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.139883970723 1.546072785975 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 0 0 0 -1 0 1 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.577571386874 0.543929109558 2 4 4 5 0132 0321 1302 0132 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 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.626350493062 0.679831620677 3 5 2 3 2031 1023 0132 0321 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 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.626350493062 0.679831620677 4 5 3 5 1023 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 0.786468926251 0.439064635800 ==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' : negation(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_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' : negation(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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], '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_5' : d['c_0101_0'], '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_4'], 'c_0011_4' : 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_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], '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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0110_5']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 774844288078427253089096894542252289105/162096094102974923280890051\ 26392192313*c_0110_5^22 - 5110225385573984832332999773315317187069/\ 16209609410297492328089005126392192313*c_0110_5^21 - 196524396099553937379757450853628487598/162096094102974923280890051\ 26392192313*c_0110_5^20 + 12875062883057239209152430789605788501361\ /16209609410297492328089005126392192313*c_0110_5^19 + 98682970119402905641207234424316952857752/1620960941029749232808900\ 5126392192313*c_0110_5^18 - 223274652919054185762928765924053784151\ 01/16209609410297492328089005126392192313*c_0110_5^17 - 614638737719473468341318060922831242091143/162096094102974923280890\ 05126392192313*c_0110_5^16 + 72452255486522540802925127794809098238\ 4180/16209609410297492328089005126392192313*c_0110_5^15 + 1143766269126214897499888808267309104685550/16209609410297492328089\ 005126392192313*c_0110_5^14 - 2085109961053656255848014400000979210\ 915709/16209609410297492328089005126392192313*c_0110_5^13 - 1348031653067917792573348270843652316923884/16209609410297492328089\ 005126392192313*c_0110_5^12 + 2010875239168654744018024277226075267\ 789084/16209609410297492328089005126392192313*c_0110_5^11 + 1662289892217073821751020255082234645702591/16209609410297492328089\ 005126392192313*c_0110_5^10 - 1645639038013682641674177455218234299\ 512986/16209609410297492328089005126392192313*c_0110_5^9 - 1180820774170163677773441029149994632921869/16209609410297492328089\ 005126392192313*c_0110_5^8 + 11260586140098793458764127438921549844\ 92545/16209609410297492328089005126392192313*c_0110_5^7 + 784261305506772225884347334059656362771415/162096094102974923280890\ 05126392192313*c_0110_5^6 - 446972833423718270667181511965936565652\ 856/16209609410297492328089005126392192313*c_0110_5^5 - 356048350865415853957138426591832214237204/162096094102974923280890\ 05126392192313*c_0110_5^4 + 484307200695412221626952193088825350398\ 11/16209609410297492328089005126392192313*c_0110_5^3 + 73582088912081601223958299221802252204963/1620960941029749232808900\ 5126392192313*c_0110_5^2 + 1532303906902848826947286252919750884638\ /16209609410297492328089005126392192313*c_0110_5 - 5668827086777613873009263141135542385502/16209609410297492328089005\ 126392192313, c_0011_0 - 1, c_0011_2 - 4350562227286351524852940092029623587/1620960941029749232808\ 9005126392192313*c_0110_5^22 - 277472642962374005817736973587464445\ 56/16209609410297492328089005126392192313*c_0110_5^21 + 4523212233990458279497226977251416602/16209609410297492328089005126\ 392192313*c_0110_5^20 + 5314832158483526607971949237512568058/12468\ 93031561345563699154240491707101*c_0110_5^19 + 541926888583499404136363515290410122363/162096094102974923280890051\ 26392192313*c_0110_5^18 - 235825808264842596560855471754832912747/1\ 6209609410297492328089005126392192313*c_0110_5^17 - 3354118267147465662651590094516349886901/16209609410297492328089005\ 126392192313*c_0110_5^16 + 4729107054958100701039503865341337468624\ /16209609410297492328089005126392192313*c_0110_5^15 + 5079483540610682410321114989866867460565/16209609410297492328089005\ 126392192313*c_0110_5^14 - 1211348433597256958942991670733519320593\ 6/16209609410297492328089005126392192313*c_0110_5^13 - 4735194177640417957368423156225329219696/16209609410297492328089005\ 126392192313*c_0110_5^12 + 1072298121418456585592439514286385883532\ 6/16209609410297492328089005126392192313*c_0110_5^11 + 7293012971340777990388210339276549171922/16209609410297492328089005\ 126392192313*c_0110_5^10 - 9274091052827126194967827868283316646139\ /16209609410297492328089005126392192313*c_0110_5^9 - 4397571269268820603697168848050452071648/16209609410297492328089005\ 126392192313*c_0110_5^8 + 451464708578716954692364385426564083946/1\ 246893031561345563699154240491707101*c_0110_5^7 + 3121069884531554511729744189886466918089/16209609410297492328089005\ 126392192313*c_0110_5^6 - 2299098880394517908081882427040213007294/\ 16209609410297492328089005126392192313*c_0110_5^5 - 1482870628208414955629971087234755157796/16209609410297492328089005\ 126392192313*c_0110_5^4 + 137236323089075556143362266708496071029/1\ 6209609410297492328089005126392192313*c_0110_5^3 + 276381186793180431273649690625787355975/162096094102974923280890051\ 26392192313*c_0110_5^2 + 12838514860055445883309081124688458716/162\ 09609410297492328089005126392192313*c_0110_5 - 11550087619114000273426857259818553563/1620960941029749232808900512\ 6392192313, c_0011_4 + 7169222789607220888499699710185034107/1620960941029749232808\ 9005126392192313*c_0110_5^22 + 361062837309226570259055959193265046\ 6/1246893031561345563699154240491707101*c_0110_5^21 - 340998086461612783636067463262578043/162096094102974923280890051263\ 92192313*c_0110_5^20 - 118688703680807595402564168121603652947/1620\ 9609410297492328089005126392192313*c_0110_5^19 - 908794716410406323686104315946737489673/162096094102974923280890051\ 26392192313*c_0110_5^18 + 247300443071466486710475192758897109418/1\ 6209609410297492328089005126392192313*c_0110_5^17 + 435808987573601403988639379564564798802/124689303156134556369915424\ 0491707101*c_0110_5^16 - 534307447104553792598219361549149674693/12\ 46893031561345563699154240491707101*c_0110_5^15 - 10156995748336444197005094800785533105347/1620960941029749232808900\ 5126392192313*c_0110_5^14 + 195499853883987178947442268209876871346\ 80/16209609410297492328089005126392192313*c_0110_5^13 + 11444927513700952814535934902495504423566/1620960941029749232808900\ 5126392192313*c_0110_5^12 - 185313934580254440830899628139779740299\ 37/16209609410297492328089005126392192313*c_0110_5^11 - 14546382036713647038100985555749255077066/1620960941029749232808900\ 5126392192313*c_0110_5^10 + 150526720765658684177476198413385633721\ 02/16209609410297492328089005126392192313*c_0110_5^9 + 10070269890923875367054826670391228890147/1620960941029749232808900\ 5126392192313*c_0110_5^8 - 1012927856155716681516876428010649973485\ 7/16209609410297492328089005126392192313*c_0110_5^7 - 6657206476503972204159760126075001181140/16209609410297492328089005\ 126392192313*c_0110_5^6 + 3918592863219077680406208117087203113632/\ 16209609410297492328089005126392192313*c_0110_5^5 + 3027361854003313733344033306080958704198/16209609410297492328089005\ 126392192313*c_0110_5^4 - 282069048317784570898038959379497305760/1\ 6209609410297492328089005126392192313*c_0110_5^3 - 574300044537466721255478219329830892922/162096094102974923280890051\ 26392192313*c_0110_5^2 - 39887550439419473475595320842855115919/162\ 09609410297492328089005126392192313*c_0110_5 + 23533473926498642141909701221004729282/1620960941029749232808900512\ 6392192313, c_0101_0 - 2776305194595823556094532626936944579/1620960941029749232808\ 9005126392192313*c_0110_5^22 - 163709071414373240231905211097664730\ 60/16209609410297492328089005126392192313*c_0110_5^21 + 11739337796965308627966743294145623121/1620960941029749232808900512\ 6392192313*c_0110_5^20 + 44781007894242996125531024412357515744/162\ 09609410297492328089005126392192313*c_0110_5^19 + 324215074267172435471766293454399703029/162096094102974923280890051\ 26392192313*c_0110_5^18 - 320835159288473436266960057172695977908/1\ 6209609410297492328089005126392192313*c_0110_5^17 - 2108957724349372304640560336260481159201/16209609410297492328089005\ 126392192313*c_0110_5^16 + 4067816985505343807554622537020274723041\ /16209609410297492328089005126392192313*c_0110_5^15 + 2017866152918645174334994329630253991430/16209609410297492328089005\ 126392192313*c_0110_5^14 - 9671299363596223905608315067707645312188\ /16209609410297492328089005126392192313*c_0110_5^13 + 508841912421993317602036462718012258575/162096094102974923280890051\ 26392192313*c_0110_5^12 + 9041262034918511296065306253630801557408/\ 16209609410297492328089005126392192313*c_0110_5^11 + 107243300416789126448750493018482195042/124689303156134556369915424\ 0491707101*c_0110_5^10 - 8447117856361305997911254278942216046314/1\ 6209609410297492328089005126392192313*c_0110_5^9 - 272665562798746832078444675600866482370/162096094102974923280890051\ 26392192313*c_0110_5^8 + 5413473018945786155017554094723912128313/1\ 6209609410297492328089005126392192313*c_0110_5^7 + 221968656831873320908457011854744445613/162096094102974923280890051\ 26392192313*c_0110_5^6 - 2551120547489244450011304216923327357264/1\ 6209609410297492328089005126392192313*c_0110_5^5 - 316402210853717489636181916139630343028/162096094102974923280890051\ 26392192313*c_0110_5^4 + 527983185875637757668807782883393283335/16\ 209609410297492328089005126392192313*c_0110_5^3 + 147967136337676119360984232055930721711/162096094102974923280890051\ 26392192313*c_0110_5^2 - 50087787241852597131443030677979949517/162\ 09609410297492328089005126392192313*c_0110_5 - 5906354839004793836457857245842747429/16209609410297492328089005126\ 392192313, c_0101_1 + 7571881577067683354723569172973752163/1620960941029749232808\ 9005126392192313*c_0110_5^22 + 495608132140026457177660239812843644\ 26/16209609410297492328089005126392192313*c_0110_5^21 + 675969772833521056020459231300689704/162096094102974923280890051263\ 92192313*c_0110_5^20 - 9067686244900147166916468506864743149/124689\ 3031561345563699154240491707101*c_0110_5^19 - 958442612986238345563843661850313234999/162096094102974923280890051\ 26392192313*c_0110_5^18 + 247901857284777575576219294354896074653/1\ 6209609410297492328089005126392192313*c_0110_5^17 + 5840169855604357267764684167823379332947/16209609410297492328089005\ 126392192313*c_0110_5^16 - 7328456471299641215038128963701972589258\ /16209609410297492328089005126392192313*c_0110_5^15 - 9889764920382028812702691000320285821749/16209609410297492328089005\ 126392192313*c_0110_5^14 + 1965454738125448694876814699255873117060\ 1/16209609410297492328089005126392192313*c_0110_5^13 + 10741885659593292778783525740389906902056/1620960941029749232808900\ 5126392192313*c_0110_5^12 - 170641824905546344653662046694509207771\ 78/16209609410297492328089005126392192313*c_0110_5^11 - 13966676232280102909038954429219020091879/1620960941029749232808900\ 5126392192313*c_0110_5^10 + 142411679596995922275635585638066132291\ 74/16209609410297492328089005126392192313*c_0110_5^9 + 8959095267685779738844359676292602411595/16209609410297492328089005\ 126392192313*c_0110_5^8 - 710046960443528347283234172050889593809/1\ 246893031561345563699154240491707101*c_0110_5^7 - 6177295862352670476168112699695619604291/16209609410297492328089005\ 126392192313*c_0110_5^6 + 3261911890430834027614562691376222030135/\ 16209609410297492328089005126392192313*c_0110_5^5 + 2592527311118189252149280373541775314772/16209609410297492328089005\ 126392192313*c_0110_5^4 - 142398426559399426720841570730975168192/1\ 6209609410297492328089005126392192313*c_0110_5^3 - 458548206669864961822912797722778185132/162096094102974923280890051\ 26392192313*c_0110_5^2 - 28762845334880569941596874552426186919/162\ 09609410297492328089005126392192313*c_0110_5 + 25405579061661649381992609961286902300/1620960941029749232808900512\ 6392192313, c_0110_5^23 + 7*c_0110_5^22 + 3*c_0110_5^21 - 16*c_0110_5^20 - 134*c_0110_5^19 - 24*c_0110_5^18 + 795*c_0110_5^17 - 613*c_0110_5^16 - 1794*c_0110_5^15 + 2030*c_0110_5^14 + 2709*c_0110_5^13 - 1703*c_0110_5^12 - 3039*c_0110_5^11 + 1083*c_0110_5^10 + 2195*c_0110_5^9 - 706*c_0110_5^8 - 1466*c_0110_5^7 + 81*c_0110_5^6 + 604*c_0110_5^5 + 151*c_0110_5^4 - 81*c_0110_5^3 - 37*c_0110_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB