Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 4290667518] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s430 geometric_solution 4.73334651 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 3 0132 0132 2310 0132 0 0 0 0 0 0 1 -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 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.692082997539 0.889397239578 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 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 1 -1 0 0 1 -1 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.389470465204 0.226552895746 3 0 3 4 3120 0132 3012 0132 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 -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.716908064102 0.707226717550 4 2 0 2 1023 1230 0132 3120 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 -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.716908064102 0.707226717550 5 3 2 5 0132 1023 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 -1 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 0 0 0 0 1.002614047310 0.378042141635 4 5 5 4 0132 3201 2310 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 1 -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 1.162237462680 0.248597951459 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 3831467297069269829268308310645020523/39261863851923653755606582476\ 2972999*c_0101_5^24 + 2180443202326923306218345026009620310/3926186\ 38519236537556065824762972999*c_0101_5^23 - 47236353227513772055518836062791508488/3926186385192365375560658247\ 62972999*c_0101_5^22 - 32454078502101329310508747848142973931/39261\ 8638519236537556065824762972999*c_0101_5^21 + 105890629898407296513013151037409988161/392618638519236537556065824\ 762972999*c_0101_5^20 + 211629060347134268173107237018614323651/392\ 618638519236537556065824762972999*c_0101_5^19 + 195536581989878254681149789284384703351/392618638519236537556065824\ 762972999*c_0101_5^18 - 797245105582529408562340688196761420172/392\ 618638519236537556065824762972999*c_0101_5^17 - 163098793646458876431477446172934741155/392618638519236537556065824\ 762972999*c_0101_5^16 - 475219469064925026312642777114417814525/392\ 618638519236537556065824762972999*c_0101_5^15 + 1656506541006307917667008842513318227132/39261863851923653755606582\ 4762972999*c_0101_5^14 + 1595253482827335386162402553121788174699/3\ 92618638519236537556065824762972999*c_0101_5^13 - 4596864482125758096650038155198243280991/39261863851923653755606582\ 4762972999*c_0101_5^12 + 3125784217930646885672372791015804152216/3\ 92618638519236537556065824762972999*c_0101_5^11 - 1575166675616502374647679269271748122725/39261863851923653755606582\ 4762972999*c_0101_5^10 + 2544147058562961909466056691111123836413/3\ 92618638519236537556065824762972999*c_0101_5^9 - 3168854373798188899685463124600985410718/39261863851923653755606582\ 4762972999*c_0101_5^8 + 1648938615325584007159108700786842602753/39\ 2618638519236537556065824762972999*c_0101_5^7 + 139294128895756212176643844199647829035/392618638519236537556065824\ 762972999*c_0101_5^6 - 704645975245757005420170309702594952927/3926\ 18638519236537556065824762972999*c_0101_5^5 + 439104731054343706823256830003035740771/392618638519236537556065824\ 762972999*c_0101_5^4 - 110493154604662650786743048133172930626/3926\ 18638519236537556065824762972999*c_0101_5^3 - 17058662902807824856599740015941652976/3926186385192365375560658247\ 62972999*c_0101_5^2 + 26744444174999786854495311977867221697/392618\ 638519236537556065824762972999*c_0101_5 - 6320707772982702357405622318797610786/39261863851923653755606582476\ 2972999, c_0011_0 - 1, c_0011_3 + 282356745269459321566546754031096915/39261863851923653755606\ 5824762972999*c_0101_5^24 + 352636564937377552635811917070911266/39\ 2618638519236537556065824762972999*c_0101_5^23 - 3311611034569201151949122893511252785/39261863851923653755606582476\ 2972999*c_0101_5^22 - 4753764443150721749596226942817495042/3926186\ 38519236537556065824762972999*c_0101_5^21 + 5315553974609607440365457248517524499/39261863851923653755606582476\ 2972999*c_0101_5^20 + 20538788985795914726026474486092886707/392618\ 638519236537556065824762972999*c_0101_5^19 + 27885746118924130410047890491246545717/3926186385192365375560658247\ 62972999*c_0101_5^18 - 44010023686663312388822699832963453870/39261\ 8638519236537556065824762972999*c_0101_5^17 - 49868012608131959143824104881213814322/3926186385192365375560658247\ 62972999*c_0101_5^16 - 62675374317896229841222502918939301841/39261\ 8638519236537556065824762972999*c_0101_5^15 + 88046134503831310297284496948284903018/3926186385192365375560658247\ 62972999*c_0101_5^14 + 195950585776289346548270041761980303959/3926\ 18638519236537556065824762972999*c_0101_5^13 - 217792514229847773318574726381016391714/392618638519236537556065824\ 762972999*c_0101_5^12 + 41293548271412646689654836490831168889/3926\ 18638519236537556065824762972999*c_0101_5^11 - 47715870780884803065686750738366762706/3926186385192365375560658247\ 62972999*c_0101_5^10 + 136148828059077824530398167411743311587/3926\ 18638519236537556065824762972999*c_0101_5^9 - 118326305697366535142312269494688362905/392618638519236537556065824\ 762972999*c_0101_5^8 + 10851986929116781915101831373038245696/39261\ 8638519236537556065824762972999*c_0101_5^7 + 44695393438793315495649773287378818299/3926186385192365375560658247\ 62972999*c_0101_5^6 - 31779765878499752267562336000821137787/392618\ 638519236537556065824762972999*c_0101_5^5 + 7492540873337181441518694272449668871/39261863851923653755606582476\ 2972999*c_0101_5^4 + 3141754484670775701722737746846037870/39261863\ 8519236537556065824762972999*c_0101_5^3 - 1835582782101765655655112801645813196/39261863851923653755606582476\ 2972999*c_0101_5^2 + 383130137360420812753610736276863458/392618638\ 519236537556065824762972999*c_0101_5 + 400496549878242586544879701235051646/392618638519236537556065824762\ 972999, c_0101_0 - 290507878431747830017886369165914323/39261863851923653755606\ 5824762972999*c_0101_5^24 - 843868170101026893839687109901578635/39\ 2618638519236537556065824762972999*c_0101_5^23 + 2428284156120720889619765983673058432/39261863851923653755606582476\ 2972999*c_0101_5^22 + 9392144478436824364243577880774046822/3926186\ 38519236537556065824762972999*c_0101_5^21 + 5261604583293942844426669643060513575/39261863851923653755606582476\ 2972999*c_0101_5^20 - 18582955995845137456909568650958123179/392618\ 638519236537556065824762972999*c_0101_5^19 - 51899055303415123066622322465093378455/3926186385192365375560658247\ 62972999*c_0101_5^18 - 14924123715270894159079262345359125621/39261\ 8638519236537556065824762972999*c_0101_5^17 + 61209975524962736950043595305505477780/3926186385192365375560658247\ 62972999*c_0101_5^16 + 100997035001160071082057863216654602614/3926\ 18638519236537556065824762972999*c_0101_5^15 + 31506476930884595446115021800136657585/3926186385192365375560658247\ 62972999*c_0101_5^14 - 220703723891671089508751271241968152799/3926\ 18638519236537556065824762972999*c_0101_5^13 - 4883796911662198869028223954907658749/39261863851923653755606582476\ 2972999*c_0101_5^12 + 180854112711457246795463205770338057327/39261\ 8638519236537556065824762972999*c_0101_5^11 - 36038070945161767909665289821059243194/3926186385192365375560658247\ 62972999*c_0101_5^10 - 55691276836018853285394796043130456098/39261\ 8638519236537556065824762972999*c_0101_5^9 - 57585929261936701169536419747578873222/3926186385192365375560658247\ 62972999*c_0101_5^8 + 127061552627215521951220815871371122083/39261\ 8638519236537556065824762972999*c_0101_5^7 - 58730809833763149290530416341503263439/3926186385192365375560658247\ 62972999*c_0101_5^6 - 11115282957192146873390168488846063890/392618\ 638519236537556065824762972999*c_0101_5^5 + 24951912349550871192973706076263470405/3926186385192365375560658247\ 62972999*c_0101_5^4 - 14601267167919168371451974774372328993/392618\ 638519236537556065824762972999*c_0101_5^3 + 3868095575330513766965615253813071486/39261863851923653755606582476\ 2972999*c_0101_5^2 + 544205949555615617720959101503837079/392618638\ 519236537556065824762972999*c_0101_5 - 712982250529234026581875509039140516/392618638519236537556065824762\ 972999, c_0101_1 + 543147066389097187594486618773582861/39261863851923653755606\ 5824762972999*c_0101_5^24 + 1108359260839631889116316444923727223/3\ 92618638519236537556065824762972999*c_0101_5^23 - 5193964365994894084912032425330520503/39261863851923653755606582476\ 2972999*c_0101_5^22 - 12504328229053850728057404797752676020/392618\ 638519236537556065824762972999*c_0101_5^21 - 2151637258904958247840116307329242568/39261863851923653755606582476\ 2972999*c_0101_5^20 + 29793726332102547988509942858218118687/392618\ 638519236537556065824762972999*c_0101_5^19 + 72038552055473341415902145665107502428/3926186385192365375560658247\ 62972999*c_0101_5^18 - 14212188050532565015792196994990193402/39261\ 8638519236537556065824762972999*c_0101_5^17 - 61417268777977726453912303909908547238/3926186385192365375560658247\ 62972999*c_0101_5^16 - 154402986943157796704603557082714057007/3926\ 18638519236537556065824762972999*c_0101_5^15 + 23026033959266914197003900958592623299/3926186385192365375560658247\ 62972999*c_0101_5^14 + 298990861058531669101435336834097843881/3926\ 18638519236537556065824762972999*c_0101_5^13 - 215917934823789039016483152089438138290/392618638519236537556065824\ 762972999*c_0101_5^12 + 52212588574614056847219761727808107031/3926\ 18638519236537556065824762972999*c_0101_5^11 - 100797422324724644008333359986302201102/392618638519236537556065824\ 762972999*c_0101_5^10 + 195248052700443996591637235043716024986/392\ 618638519236537556065824762972999*c_0101_5^9 - 132025283157701193261924107388469969042/392618638519236537556065824\ 762972999*c_0101_5^8 + 83549405483455294590464540442180984/39261863\ 8519236537556065824762972999*c_0101_5^7 + 50142763227210016060299615081533423429/3926186385192365375560658247\ 62972999*c_0101_5^6 - 31967019944602662019067728940913320951/392618\ 638519236537556065824762972999*c_0101_5^5 + 5428398250296149079531830588592704794/39261863851923653755606582476\ 2972999*c_0101_5^4 + 1428504661539736639686754159166667926/39261863\ 8519236537556065824762972999*c_0101_5^3 - 796044276450346074080308321312901429/392618638519236537556065824762\ 972999*c_0101_5^2 - 161826514286567022986251594874367516/3926186385\ 19236537556065824762972999*c_0101_5 + 295585503518135438956497398843161683/392618638519236537556065824762\ 972999, c_0101_4 + 283565828081850890481388600052944920/39261863851923653755606\ 5824762972999*c_0101_5^24 + 605841137229018936776670107349029887/39\ 2618638519236537556065824762972999*c_0101_5^23 - 2629392098811748746570644925200704886/39261863851923653755606582476\ 2972999*c_0101_5^22 - 6710178044505666068749247882617109333/3926186\ 38519236537556065824762972999*c_0101_5^21 - 1939855741524300906242544339897489715/39261863851923653755606582476\ 2972999*c_0101_5^20 + 14657160319862151881150390483774980678/392618\ 638519236537556065824762972999*c_0101_5^19 + 38331060521840525841065480924595344722/3926186385192365375560658247\ 62972999*c_0101_5^18 - 2937694263505341466041309019500595072/392618\ 638519236537556065824762972999*c_0101_5^17 - 28441245926612656460040437417691640957/3926186385192365375560658247\ 62972999*c_0101_5^16 - 80821994118918000321287027795637783236/39261\ 8638519236537556065824762972999*c_0101_5^15 + 3262257342789883796895650003420679729/39261863851923653755606582476\ 2972999*c_0101_5^14 + 148743116298553072565639391440855476209/39261\ 8638519236537556065824762972999*c_0101_5^13 - 103298411035891517755730087186795919861/392618638519236537556065824\ 762972999*c_0101_5^12 + 27577808836423707353991888116474808441/3926\ 18638519236537556065824762972999*c_0101_5^11 - 50799657288851928710162332919214385398/3926186385192365375560658247\ 62972999*c_0101_5^10 + 96453751234246908573141478337642820226/39261\ 8638519236537556065824762972999*c_0101_5^9 - 64605620912233474452134623381345913058/3926186385192365375560658247\ 62972999*c_0101_5^8 - 559321164010330536291613862194918240/39261863\ 8519236537556065824762972999*c_0101_5^7 + 25403335995766360115158993543474551964/3926186385192365375560658247\ 62972999*c_0101_5^6 - 15709376710627254499126558270186823614/392618\ 638519236537556065824762972999*c_0101_5^5 + 2319281409082972092850978237958065798/39261863851923653755606582476\ 2972999*c_0101_5^4 + 1125629858661561854964335187075246167/39261863\ 8519236537556065824762972999*c_0101_5^3 - 797647344687293727632299440762864209/392618638519236537556065824762\ 972999*c_0101_5^2 - 629191599916135732822875315335798578/3926186385\ 19236537556065824762972999*c_0101_5 + 144863129372875772166596578590128663/392618638519236537556065824762\ 972999, c_0101_5^25 + 5/3*c_0101_5^24 - 31/3*c_0101_5^23 - 58/3*c_0101_5^22 + 5*c_0101_5^21 + 166/3*c_0101_5^20 + 109*c_0101_5^19 - 232/3*c_0101_5^18 - 292/3*c_0101_5^17 - 668/3*c_0101_5^16 + 452/3*c_0101_5^15 + 1567/3*c_0101_5^14 - 1945/3*c_0101_5^13 + 234*c_0101_5^12 - 452/3*c_0101_5^11 + 1195/3*c_0101_5^10 - 357*c_0101_5^9 + 51*c_0101_5^8 + 137*c_0101_5^7 - 117*c_0101_5^6 + 37*c_0101_5^5 + 11/3*c_0101_5^4 - 28/3*c_0101_5^3 + 10/3*c_0101_5^2 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB