Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 3751690912] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2957 geometric_solution 6.14397555 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.175734643988 0.996620002164 0 3 5 4 0132 0132 0132 0132 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 -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.213132288387 1.291876589925 3 0 4 5 0132 0132 0132 2310 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 -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.213132288387 1.291876589925 2 1 6 6 0132 0132 0132 3201 0 0 0 0 0 -1 1 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 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.277119327191 0.505401844345 4 4 1 2 1302 2031 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 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.589604130242 0.783629229882 2 5 5 1 3201 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227454233568 0.736931739391 6 3 6 3 2310 2310 3201 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 1 0 -1 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.671120689276 1.133371771113 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_4']})} 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_4, c_0011_5, c_0011_6, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 16059637249558835129888761231777491731501735747/3594422641185382037\ 606294709459387156646016*c_0101_3^16 + 375784637385070177816021711231680296875635141971/359442264118538203\ 7606294709459387156646016*c_0101_3^15 - 262570250142810052538907718555765059408611014673/449302830148172754\ 700786838682423394580752*c_0101_3^14 + 38422239051368657105533589492708618007984213949/5616285376852159433\ 7598354835302924322594*c_0101_3^13 + 7775291937710284099010163558374594702537762627219/35944226411853820\ 37606294709459387156646016*c_0101_3^12 - 4150795261372079646107086812028440852108088983595/89860566029634550\ 9401573677364846789161504*c_0101_3^11 - 1173873959746268714373191529300400618083174224419/89860566029634550\ 9401573677364846789161504*c_0101_3^10 + 22785076987251602072547982414182460698414940667469/3594422641185382\ 037606294709459387156646016*c_0101_3^9 - 2916968382211813796069164556400000939519468705349/35944226411853820\ 37606294709459387156646016*c_0101_3^8 - 7659512453865690595007210721993819914849776123623/35944226411853820\ 37606294709459387156646016*c_0101_3^7 - 26192026551048398991482208196815196331168965137/8986056602963455094\ 01573677364846789161504*c_0101_3^6 + 977046089783964274199315833080818787197901000383/179721132059269101\ 8803147354729693578323008*c_0101_3^5 - 174852034397602887770501084960996146833700238621/449302830148172754\ 700786838682423394580752*c_0101_3^4 - 668271338218355605325039149554321020223172069501/359442264118538203\ 7606294709459387156646016*c_0101_3^3 + 4782078465016795968799152806139466171333579967/17972113205926910188\ 03147354729693578323008*c_0101_3^2 + 79464295879544736713855512606146986315058299383/3594422641185382037\ 606294709459387156646016*c_0101_3 - 4793956533797025821437620672501055194768422377/17972113205926910188\ 03147354729693578323008, c_0011_0 - 1, c_0011_4 - 5762083931394822305512753637072880004784373/3594422641185382\ 037606294709459387156646016*c_0101_3^16 + 67139567579416613076245883114181331764028705/1797211320592691018803\ 147354729693578323008*c_0101_3^15 - 741052710651602138392250572856456637338372447/359442264118538203760\ 6294709459387156646016*c_0101_3^14 + 408120962023920070172698153599911060188039731/179721132059269101880\ 3147354729693578323008*c_0101_3^13 + 2840599291731020991952889784606138569090291801/35944226411853820376\ 06294709459387156646016*c_0101_3^12 - 5650347851315096131505679950474249016220129321/35944226411853820376\ 06294709459387156646016*c_0101_3^11 - 1063964348493499028004159831665519399905648699/17972113205926910188\ 03147354729693578323008*c_0101_3^10 + 7734476966140176624224924500291723512748243699/35944226411853820376\ 06294709459387156646016*c_0101_3^9 - 172364877205532423995671490996308149197478563/179721132059269101880\ 3147354729693578323008*c_0101_3^8 - 152289040646477182479775017016975208996886135/224651415074086377350\ 393419341211697290376*c_0101_3^7 - 355988524115554937372109719760963347033423301/359442264118538203760\ 6294709459387156646016*c_0101_3^6 + 16936539483035772296975250424118473968320899/1123257075370431886751\ 96709670605848645188*c_0101_3^5 - 206511888564714062231887698585411\ 569812518363/1797211320592691018803147354729693578323008*c_0101_3^4 - 270446302880101996425143274005589503414043447/3594422641185382037\ 606294709459387156646016*c_0101_3^3 - 49622564293413858270351117226479917014745107/3594422641185382037606\ 294709459387156646016*c_0101_3^2 + 14770023312376386886349884759677242461010377/3594422641185382037606\ 294709459387156646016*c_0101_3 - 5635561185324329575422254283496227\ 45403895/3594422641185382037606294709459387156646016, c_0011_5 + 7358654988203031610040773344295387180225953/7188845282370764\ 075212589418918774313292032*c_0101_3^16 - 84735941944048456741916796072564564355923325/3594422641185382037606\ 294709459387156646016*c_0101_3^15 + 899427014445794843785363715594511247014250403/718884528237076407521\ 2589418918774313292032*c_0101_3^14 - 391055576045434527571384187398731270577085031/359442264118538203760\ 6294709459387156646016*c_0101_3^13 - 3929689903874274512822854996291863913631636725/71888452823707640752\ 12589418918774313292032*c_0101_3^12 + 6289256166164239018480975396561440561051289541/71888452823707640752\ 12589418918774313292032*c_0101_3^11 + 2338436648669734308044971058299331372014255823/35944226411853820376\ 06294709459387156646016*c_0101_3^10 - 9448216078208045124219205007330162814981479719/71888452823707640752\ 12589418918774313292032*c_0101_3^9 - 983155620694839571143552305322696922775376905/359442264118538203760\ 6294709459387156646016*c_0101_3^8 + 227044340822676330475606477868082370070689551/449302830148172754700\ 786838682423394580752*c_0101_3^7 + 921700877514784992117685988727633046939145457/718884528237076407521\ 2589418918774313292032*c_0101_3^6 - 20983561997412392234506376080513690442517343/2246514150740863773503\ 93419341211697290376*c_0101_3^5 + 201055555327241995895501372830572\ 056504357231/3594422641185382037606294709459387156646016*c_0101_3^4 + 468459305004457385497094122356063843198729051/7188845282370764075\ 212589418918774313292032*c_0101_3^3 + 103719213639670300950855270128741518106925575/718884528237076407521\ 2589418918774313292032*c_0101_3^2 - 3982170737595873453570658804757882627344421/71888452823707640752125\ 89418918774313292032*c_0101_3 + 40051219384146888785027385668163515\ 7164507/7188845282370764075212589418918774313292032, c_0011_6 + 252690245965023704855443519796637232123/18022124601696618303\ 8245867755992236288*c_0101_3^16 - 291367140781355273563823742483058\ 3295983/90110623008483091519122933877996118144*c_0101_3^15 + 31074344113652004001881357400346432652465/1802212460169661830382458\ 67755992236288*c_0101_3^14 - 14015333908226815506000820077460917987\ 933/90110623008483091519122933877996118144*c_0101_3^13 - 132662148131915053566301638247951057136087/180221246016966183038245\ 867755992236288*c_0101_3^12 + 2172920170388786653259232869562148821\ 24359/180221246016966183038245867755992236288*c_0101_3^11 + 75292452795957377750957966619667150935509/9011062300848309151912293\ 3877996118144*c_0101_3^10 - 313802082390960789579825716113342544079\ 901/180221246016966183038245867755992236288*c_0101_3^9 - 31337471089701587028240462281929980276659/9011062300848309151912293\ 3877996118144*c_0101_3^8 + 6711897588603362261410532081943514531549\ /11263827876060386439890366734749514768*c_0101_3^7 + 37696734088716704762221405957069345361387/1802212460169661830382458\ 67755992236288*c_0101_3^6 - 621606345404101678618809600780816336781\ /5631913938030193219945183367374757384*c_0101_3^5 + 7504190606785242337354485586621037568053/90110623008483091519122933\ 877996118144*c_0101_3^4 + 15888508052267049399917308620329121514649\ /180221246016966183038245867755992236288*c_0101_3^3 + 4350851725642994803961803389419816921405/18022124601696618303824586\ 7755992236288*c_0101_3^2 + 63011724990990146659223908361144426777/1\ 80221246016966183038245867755992236288*c_0101_3 + 22085435282743081372503898071190930329/1802212460169661830382458677\ 55992236288, c_0101_1 + 16220208805447869875001137315528837233230749/718884528237076\ 4075212589418918774313292032*c_0101_3^16 - 187657511692155305435000558906639484489185353/359442264118538203760\ 6294709459387156646016*c_0101_3^15 + 2024447031208269702832436593906351369197977623/71888452823707640752\ 12589418918774313292032*c_0101_3^14 - 985989255351395158051866695975633577813349835/359442264118538203760\ 6294709459387156646016*c_0101_3^13 - 8280561527395018247958469288289873383508145569/71888452823707640752\ 12589418918774313292032*c_0101_3^12 + 14524395171609300591578770387320642540258537393/7188845282370764075\ 212589418918774313292032*c_0101_3^11 + 4088372390669150842247942715124364153368792211/35944226411853820376\ 06294709459387156646016*c_0101_3^10 - 20226120686589506541151061924257812696947873035/7188845282370764075\ 212589418918774313292032*c_0101_3^9 - 1016780140254320736309479821419020728440331557/35944226411853820376\ 06294709459387156646016*c_0101_3^8 + 389097076676563875881801633970529858068373867/449302830148172754700\ 786838682423394580752*c_0101_3^7 + 1845602181404855306948423573093937672014789165/71888452823707640752\ 12589418918774313292032*c_0101_3^6 - 34669856349677992186870260335470158051206755/2246514150740863773503\ 93419341211697290376*c_0101_3^5 + 507793309896266920031911447751179\ 775582243891/3594422641185382037606294709459387156646016*c_0101_3^4 + 878778484826508322382870903583957894363479407/7188845282370764075\ 212589418918774313292032*c_0101_3^3 + 278388065331686613139615847001012242112627179/718884528237076407521\ 2589418918774313292032*c_0101_3^2 + 14846802505899469532805330249118190048035311/7188845282370764075212\ 589418918774313292032*c_0101_3 + 1575086569469422306610458648837068\ 180328559/7188845282370764075212589418918774313292032, c_0101_2 - 350707320279342057263343705433497966161/18022124601696618303\ 8245867755992236288*c_0101_3^16 + 403788574024238381945884749782155\ 9855469/90110623008483091519122933877996118144*c_0101_3^15 - 42863736519738049161207703236346924108211/1802212460169661830382458\ 67755992236288*c_0101_3^14 + 18853695362301242019976450164304484149\ 815/90110623008483091519122933877996118144*c_0101_3^13 + 183901861605755757604085035190798352196197/180221246016966183038245\ 867755992236288*c_0101_3^12 - 2934303128040839978747938750665551232\ 76341/180221246016966183038245867755992236288*c_0101_3^11 - 106857494719748018685084767901700441898015/901106230084830915191229\ 33877996118144*c_0101_3^10 + 41607323195270549663425770408910840289\ 9447/180221246016966183038245867755992236288*c_0101_3^9 + 49513696589696230198846106074991477618233/9011062300848309151912293\ 3877996118144*c_0101_3^8 - 8095173287843377173322858239720526811247\ /11263827876060386439890366734749514768*c_0101_3^7 - 60247611163322511944317824617081603821217/1802212460169661830382458\ 67755992236288*c_0101_3^6 + 638713089163843298310495037839773965311\ /5631913938030193219945183367374757384*c_0101_3^5 - 9833840474924900990975250274206870234431/90110623008483091519122933\ 877996118144*c_0101_3^4 - 21138300538164100900819173667503867902955\ /180221246016966183038245867755992236288*c_0101_3^3 - 8300957455086458239182841610955432247255/18022124601696618303824586\ 7755992236288*c_0101_3^2 - 711416843361070861964137100447099701355/\ 180221246016966183038245867755992236288*c_0101_3 - 97950032062081654056867299282855494507/1802212460169661830382458677\ 55992236288, c_0101_3^17 - 23*c_0101_3^16 + 851/7*c_0101_3^15 - 5077/49*c_0101_3^14 - 25999/49*c_0101_3^13 + 40486/49*c_0101_3^12 + 31581/49*c_0101_3^11 - 58589/49*c_0101_3^10 - 15831/49*c_0101_3^9 + 19482/49*c_0101_3^8 + 1255/7*c_0101_3^7 - 3261/49*c_0101_3^6 + 370/7*c_0101_3^5 + 3205/49*c_0101_3^4 + 1144/49*c_0101_3^3 + 80/49*c_0101_3^2 + 12/49*c_0101_3 + 1/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB