Magma V2.19-8 Tue Aug 20 2013 16:17:10 on localhost [Seed = 559988209] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1407 geometric_solution 5.24878628 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.522460189714 0.135564994716 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 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 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.684254731379 0.329746405142 1 3 1 4 0132 0132 1023 0132 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 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 1.555067878958 1.356903631686 4 2 6 5 3201 0132 0132 0132 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 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.237732753990 0.835099809478 5 6 2 3 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.237732753990 0.835099809478 5 5 3 4 1230 3012 0132 2310 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.011968170886 0.805802916711 6 6 4 3 1230 3012 2310 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 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.845974847184 1.411852592047 ==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' : 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' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0101_6']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 23602137994088607083823632428719754520405/1969115472432502190604188\ 56626442399372*c_0101_6^19 - 11667548598440345310066770924480065420\ 715/98455773621625109530209428313221199686*c_0101_6^18 + 307095213818301259357967828666200595839697/196911547243250219060418\ 856626442399372*c_0101_6^17 - 1365811062438622269330094311409654411\ 42059/49227886810812554765104714156610599843*c_0101_6^16 - 3628597434400600048261059580254965203944157/19691154724325021906041\ 8856626442399372*c_0101_6^15 + 339268804940194306419047301144727253\ 8753121/196911547243250219060418856626442399372*c_0101_6^14 + 9591729899484182061239728382925722220753319/19691154724325021906041\ 8856626442399372*c_0101_6^13 - 289514659711654971146906406516892959\ 12796035/196911547243250219060418856626442399372*c_0101_6^12 - 38451745065357548418770778508163351568822619/1969115472432502190604\ 18856626442399372*c_0101_6^11 + 25388379779960670573884126733309720\ 126763339/196911547243250219060418856626442399372*c_0101_6^10 + 77199701424374014354728478691553556101987917/1969115472432502190604\ 18856626442399372*c_0101_6^9 + 131027507281743072453693538228315668\ 165433375/196911547243250219060418856626442399372*c_0101_6^8 - 61769356847292038976668307400425197595912557/9845577362162510953020\ 9428313221199686*c_0101_6^7 - 7642397035436560087373670216504854887\ 4520903/98455773621625109530209428313221199686*c_0101_6^6 + 61652779727295370382251842984711953071977253/1969115472432502190604\ 18856626442399372*c_0101_6^5 + 192797523847590155555371175925397555\ 51299107/196911547243250219060418856626442399372*c_0101_6^4 + 8853567052256843030092807660604820166057073/98455773621625109530209\ 428313221199686*c_0101_6^3 + 37021934762972671859342837629193272842\ 69504/49227886810812554765104714156610599843*c_0101_6^2 - 2992502627971067988732848363072627015729999/49227886810812554765104\ 714156610599843*c_0101_6 - 4670004905606849372211379752949366126672\ 16/49227886810812554765104714156610599843, c_0011_0 - 1, c_0011_1 + 1436334016194169383394522003021735993/1969115472432502190604\ 18856626442399372*c_0101_6^19 + 21997038709269866817339287578762775\ 93/196911547243250219060418856626442399372*c_0101_6^18 - 8606688899515452407975306128276771739/98455773621625109530209428313\ 221199686*c_0101_6^17 + 6090762362370176597971334799984428690/49227\ 886810812554765104714156610599843*c_0101_6^16 + 115412384850338340318435334994004100015/984557736216251095302094283\ 13221199686*c_0101_6^15 - 38268581461160207934436108378886483663/98\ 455773621625109530209428313221199686*c_0101_6^14 - 290352946296889037419854721716320501235/984557736216251095302094283\ 13221199686*c_0101_6^13 + 359417467777472425913807630226263846428/4\ 9227886810812554765104714156610599843*c_0101_6^12 + 3022228660542640125031553735012039268589/19691154724325021906041885\ 6626442399372*c_0101_6^11 + 367600057868790781541325398317346111895\ /196911547243250219060418856626442399372*c_0101_6^10 - 977697895213883078384828773552076944546/492278868108125547651047141\ 56610599843*c_0101_6^9 - 4934814353651122309930357048979016463619/9\ 8455773621625109530209428313221199686*c_0101_6^8 + 1640758511381219421097574688568376478965/19691154724325021906041885\ 6626442399372*c_0101_6^7 + 8357789417921124901467183234303408380885\ /196911547243250219060418856626442399372*c_0101_6^6 + 430379778862691940258311397233792948999/984557736216251095302094283\ 13221199686*c_0101_6^5 + 269694065226838455489357113561426026059/19\ 6911547243250219060418856626442399372*c_0101_6^4 - 906929343219233970164595970198487233173/196911547243250219060418856\ 626442399372*c_0101_6^3 - 1184487559898457071960325671194649080003/\ 196911547243250219060418856626442399372*c_0101_6^2 - 91201590817053452310287491301369705881/1969115472432502190604188566\ 26442399372*c_0101_6 + 39886266465429674385050460401476119991/98455\ 773621625109530209428313221199686, c_0011_4 - 11744402876345369920835619239551992985/787646188973000876241\ 675426505769597488*c_0101_6^19 - 6773751441959392704615982796126889\ 931/393823094486500438120837713252884798744*c_0101_6^18 + 148720011388048764993333962821457262247/787646188973000876241675426\ 505769597488*c_0101_6^17 - 62825778225732954579022418351131912615/1\ 96911547243250219060418856626442399372*c_0101_6^16 - 913111750720748516963922033055516117995/393823094486500438120837713\ 252884798744*c_0101_6^15 + 85549781587659117135464016938311661861/4\ 9227886810812554765104714156610599843*c_0101_6^14 + 584624520589170315846294760010843585359/984557736216251095302094283\ 13221199686*c_0101_6^13 - 6852051242608222013744717358889593201039/\ 393823094486500438120837713252884798744*c_0101_6^12 - 20555470121429823084051993460432395136457/7876461889730008762416754\ 26505769597488*c_0101_6^11 + 19296624940503510702356641426946888879\ 51/196911547243250219060418856626442399372*c_0101_6^10 + 34606355889833099921278722806068113093751/7876461889730008762416754\ 26505769597488*c_0101_6^9 + 428464519428316464431498269874502879732\ 0/49227886810812554765104714156610599843*c_0101_6^8 - 45602197263316808747337058090180394294315/7876461889730008762416754\ 26505769597488*c_0101_6^7 - 344784752589276124322970571338308920227\ 31/393823094486500438120837713252884798744*c_0101_6^6 + 24046357305559697551658074712248369797619/7876461889730008762416754\ 26505769597488*c_0101_6^5 + 123860404677373640403661573469123426092\ 5/787646188973000876241675426505769597488*c_0101_6^4 + 3050867688998373196712768725565845300697/39382309448650043812083771\ 3252884798744*c_0101_6^3 + 4056679442158548022834354340920335997291\ /393823094486500438120837713252884798744*c_0101_6^2 - 2758303417702840643269084146830456256691/39382309448650043812083771\ 3252884798744*c_0101_6 - 276612219809519914987282679918516555563/78\ 7646188973000876241675426505769597488, c_0011_5 - 2836206741663492447391678684306632575/7876461889730008762416\ 75426505769597488*c_0101_6^19 - 42372141683068487833773759989194535\ 27/393823094486500438120837713252884798744*c_0101_6^18 + 26608608783316107790849881339253502629/7876461889730008762416754265\ 05769597488*c_0101_6^17 - 471829796923586616469735386336655045/1969\ 11547243250219060418856626442399372*c_0101_6^16 - 258412545700896592032808517973670608917/393823094486500438120837713\ 252884798744*c_0101_6^15 - 64179401207668259847924113562122192445/9\ 8455773621625109530209428313221199686*c_0101_6^14 + 73669958681720649586064859744716330207/4922788681081255476510471415\ 6610599843*c_0101_6^13 - 693200641811343982997066453231177711037/39\ 3823094486500438120837713252884798744*c_0101_6^12 - 9767394189463211527001235055593514417919/78764618897300087624167542\ 6505769597488*c_0101_6^11 - 621705569857348441286169960438259513947\ /49227886810812554765104714156610599843*c_0101_6^10 + 3101945109578308238461391199132171304573/78764618897300087624167542\ 6505769597488*c_0101_6^9 + 3287549297092087195548379358184742810399\ /98455773621625109530209428313221199686*c_0101_6^8 + 24441792896352222761265884042147760024603/7876461889730008762416754\ 26505769597488*c_0101_6^7 - 649481551755646025392447605482939014893\ 5/393823094486500438120837713252884798744*c_0101_6^6 - 15558324097666021275337818588493883014471/7876461889730008762416754\ 26505769597488*c_0101_6^5 - 327557523117662040831457819069552208618\ 1/787646188973000876241675426505769597488*c_0101_6^4 - 1129228008346776995845989420809282669047/39382309448650043812083771\ 3252884798744*c_0101_6^3 + 1378379133913831717985906345881958777699\ /393823094486500438120837713252884798744*c_0101_6^2 + 456811574568026700344619475856078465629/393823094486500438120837713\ 252884798744*c_0101_6 - 321053220827384314464804007236357320433/787\ 646188973000876241675426505769597488, c_0011_6 - 7248991785984793925508474923893653159/3938230944865004381208\ 37713252884798744*c_0101_6^19 - 19847837521979421261181333681168668\ 79/98455773621625109530209428313221199686*c_0101_6^18 + 91817090618716335707690407807466233923/3938230944865004381208377132\ 52884798744*c_0101_6^17 - 40255706480074980195011652811653110013/98\ 455773621625109530209428313221199686*c_0101_6^16 - 556560900050018255936447311598670612389/196911547243250219060418856\ 626442399372*c_0101_6^15 + 224895441089662681747274296675062645339/\ 98455773621625109530209428313221199686*c_0101_6^14 + 693478362397063123017540453516252391975/984557736216251095302094283\ 13221199686*c_0101_6^13 - 4295421101853881451896994153078877266599/\ 196911547243250219060418856626442399372*c_0101_6^12 - 12134125919757392835187959104423175655695/3938230944865004381208377\ 13252884798744*c_0101_6^11 + 24973074483672860435748208496189714133\ 77/196911547243250219060418856626442399372*c_0101_6^10 + 20470389536250522898556994874441105634431/3938230944865004381208377\ 13252884798744*c_0101_6^9 + 101244865132963027114236182479254556156\ 41/98455773621625109530209428313221199686*c_0101_6^8 - 30856162059598363131522704216936309960369/3938230944865004381208377\ 13252884798744*c_0101_6^7 - 977269266310110600791910905835382576994\ 5/98455773621625109530209428313221199686*c_0101_6^6 + 16190115248555228416935180964399836977527/3938230944865004381208377\ 13252884798744*c_0101_6^5 + 144735052636489059496439134704366503813\ 1/393823094486500438120837713252884798744*c_0101_6^4 + 529163341116709806593597761956414768593/492278868108125547651047141\ 56610599843*c_0101_6^3 + 505955686115513452145508847912598032590/49\ 227886810812554765104714156610599843*c_0101_6^2 - 357453009648376796799765064673886621170/492278868108125547651047141\ 56610599843*c_0101_6 - 139837108229619455849432190087703856511/3938\ 23094486500438120837713252884798744, c_0101_0 + 6324986407148070000718888466313679383/7876461889730008762416\ 75426505769597488*c_0101_6^19 + 43360448043159473074108948037182202\ 71/393823094486500438120837713252884798744*c_0101_6^18 - 78494884424053432954371269946617299485/7876461889730008762416754265\ 05769597488*c_0101_6^17 + 28947615427189979559106396877194481721/19\ 6911547243250219060418856626442399372*c_0101_6^16 + 503712678988282998439896993844858162501/393823094486500438120837713\ 252884798744*c_0101_6^15 - 62844306791084975229979328832097139301/9\ 8455773621625109530209428313221199686*c_0101_6^14 - 168356388378160207655622286122459670760/492278868108125547651047141\ 56610599843*c_0101_6^13 + 3236152011399646647134696464214324406669/\ 393823094486500438120837713252884798744*c_0101_6^12 + 12427719319386616063863262873979445746215/7876461889730008762416754\ 26505769597488*c_0101_6^11 - 70155154481182104477738437539230442549\ /49227886810812554765104714156610599843*c_0101_6^10 - 21043668093396781092742440649813003019381/7876461889730008762416754\ 26505769597488*c_0101_6^9 - 587053871886176387371519234316975371506\ 5/98455773621625109530209428313221199686*c_0101_6^8 + 9939208712735093623223697737597835045181/78764618897300087624167542\ 6505769597488*c_0101_6^7 + 2081583067626994035878864616322168591451\ 1/393823094486500438120837713252884798744*c_0101_6^6 + 9141068190103561129615220769361987697167/78764618897300087624167542\ 6505769597488*c_0101_6^5 + 8228337579535296901349739567458625553165\ /787646188973000876241675426505769597488*c_0101_6^4 - 1944395400555602165831186538638747040601/39382309448650043812083771\ 3252884798744*c_0101_6^3 - 3596466655959026768395468946971558038731\ /393823094486500438120837713252884798744*c_0101_6^2 - 399552383064266687624379837510399535357/393823094486500438120837713\ 252884798744*c_0101_6 - 613994113870196128361499428574209731095/787\ 646188973000876241675426505769597488, c_0101_6^20 + c_0101_6^19 - 13*c_0101_6^18 + 23*c_0101_6^17 + 154*c_0101_6^16 - 142*c_0101_6^15 - 408*c_0101_6^14 + 1222*c_0101_6^13 + 1643*c_0101_6^12 - 1057*c_0101_6^11 - 3283*c_0101_6^10 - 5589*c_0101_6^9 + 5171*c_0101_6^8 + 6535*c_0101_6^7 - 2537*c_0101_6^6 - 846*c_0101_6^5 - 761*c_0101_6^4 - 636*c_0101_6^3 + 500*c_0101_6^2 + 85*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB