Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 4256981470] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s322 geometric_solution 4.50406575 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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.370111054032 0.183607516451 2 0 3 0 0132 2310 0132 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 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.461615638515 0.892046054639 1 4 3 3 0132 0132 3012 1230 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 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.416558930122 1.525216570249 2 2 4 1 3012 1230 3201 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.416558930122 1.525216570249 3 2 5 5 2310 0132 3201 0132 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 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.226146361383 0.505433310994 4 5 4 5 2310 1302 0132 2031 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 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.060958081105 2.034875514221 ==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_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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), '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_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), '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_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 185917865012581277253350040387649/333158838024474775947329355760705\ *c_0101_3^15 - 472255160381504023582534877067143/133263535209789910\ 378931742304282*c_0101_3^14 - 7198834234304415194370033665196294/33\ 3158838024474775947329355760705*c_0101_3^13 + 70784320363669494005327854908283503/6663176760489495518946587115214\ 10*c_0101_3^12 - 62559989518787663313692406755714924/33315883802447\ 4775947329355760705*c_0101_3^11 + 680240009033640962593180365396887\ 36/333158838024474775947329355760705*c_0101_3^10 + 496694683354774077939258217999437099/666317676048949551894658711521\ 410*c_0101_3^9 - 69507343518065311935566173714180031/33315883802447\ 4775947329355760705*c_0101_3^8 - 5198343045257683123475215564985834\ 7/133263535209789910378931742304282*c_0101_3^7 - 428725657160038826662739753930414429/333158838024474775947329355760\ 705*c_0101_3^6 - 868143465250876647913797536446842499/3331588380244\ 74775947329355760705*c_0101_3^5 - 171705717225253208759142973840581\ 49/12114866837253628216266522027662*c_0101_3^4 - 120613139898405276880025902601557021/333158838024474775947329355760\ 705*c_0101_3^3 - 446185776031287002803238575751841163/6663176760489\ 49551894658711521410*c_0101_3^2 - 399436361707987342439428682633766\ 269/666317676048949551894658711521410*c_0101_3 - 103231463046965215248433511126385411/666317676048949551894658711521\ 410, c_0011_0 - 1, c_0011_1 + 24474811424533640444503370992/356319612860400829890191824343\ *c_0101_3^15 - 163546642464420684935897532114/356319612860400829890\ 191824343*c_0101_3^14 - 890373592234557140089949336458/356319612860\ 400829890191824343*c_0101_3^13 + 4928220427963484903809870774300/35\ 6319612860400829890191824343*c_0101_3^12 - 9943511749251802517334523126285/356319612860400829890191824343*c_01\ 01_3^11 + 13119845526990998968372061366812/356319612860400829890191\ 824343*c_0101_3^10 + 26005618812707348808241861347779/3563196128604\ 00829890191824343*c_0101_3^9 - 14461392886837328100324031332097/356\ 319612860400829890191824343*c_0101_3^8 - 10804617285981164444698668489061/356319612860400829890191824343*c_0\ 101_3^7 - 63421818140233703801658697553140/356319612860400829890191\ 824343*c_0101_3^6 - 95691596882084405608394526044492/35631961286040\ 0829890191824343*c_0101_3^5 - 33105604278364767791953051232347/3563\ 19612860400829890191824343*c_0101_3^4 + 1573140414817925051234977225192/356319612860400829890191824343*c_01\ 01_3^3 + 1630061173774378368300823195215/35631961286040082989019182\ 4343*c_0101_3^2 - 440770391002379385167838233885/356319612860400829\ 890191824343*c_0101_3 + 417940570196771811703469396884/356319612860\ 400829890191824343, c_0011_3 - 13536283081314696147214962763/356319612860400829890191824343\ *c_0101_3^15 + 86796860443900469329053727309/3563196128604008298901\ 91824343*c_0101_3^14 + 521016059247020921631352727492/3563196128604\ 00829890191824343*c_0101_3^13 - 2623953722733917828716820539256/356\ 319612860400829890191824343*c_0101_3^12 + 4639468898783672214560088488730/356319612860400829890191824343*c_01\ 01_3^11 - 4828643532541178191857204338925/3563196128604008298901918\ 24343*c_0101_3^10 - 18841586028183024135101040896502/35631961286040\ 0829890191824343*c_0101_3^9 + 8493578758400525153092833441643/35631\ 9612860400829890191824343*c_0101_3^8 + 8751018952857659829827588259849/356319612860400829890191824343*c_01\ 01_3^7 + 33763221475588607355969707045056/3563196128604008298901918\ 24343*c_0101_3^6 + 62935857982607223936134318397257/356319612860400\ 829890191824343*c_0101_3^5 + 21644112694213460021563492916621/35631\ 9612860400829890191824343*c_0101_3^4 - 2564791339029598717217558264189/356319612860400829890191824343*c_01\ 01_3^3 - 1228963710402763828126395604001/35631961286040082989019182\ 4343*c_0101_3^2 + 563400759440523262407435391564/356319612860400829\ 890191824343*c_0101_3 - 520513937087759557964937814197/356319612860\ 400829890191824343, c_0011_5 + 10026488891820953021520042361/356319612860400829890191824343\ *c_0101_3^15 - 62875263585687425678153053888/3563196128604008298901\ 91824343*c_0101_3^14 - 396035380249562053101849353532/3563196128604\ 00829890191824343*c_0101_3^13 + 1897140884206726274876215254728/356\ 319612860400829890191824343*c_0101_3^12 - 3133570061726525639781837789483/356319612860400829890191824343*c_01\ 01_3^11 + 2851363078738112816887727423787/3563196128604008298901918\ 24343*c_0101_3^10 + 15152794705318321649826095497487/35631961286040\ 0829890191824343*c_0101_3^9 - 5652098969223109650404276410294/35631\ 9612860400829890191824343*c_0101_3^8 - 6989627716540503719933026390273/356319612860400829890191824343*c_01\ 01_3^7 - 25646631322592745263473305956874/3563196128604008298901918\ 24343*c_0101_3^6 - 50256185074589875140156096249369/356319612860400\ 829890191824343*c_0101_3^5 - 19616977409228749032306878479331/35631\ 9612860400829890191824343*c_0101_3^4 + 199109252091105926859292218859/356319612860400829890191824343*c_010\ 1_3^3 + 1666895283249015246707767726564/356319612860400829890191824\ 343*c_0101_3^2 - 419792485029939463177739657410/3563196128604008298\ 90191824343*c_0101_3 + 396883706358456662413453474839/3563196128604\ 00829890191824343, c_0101_0 - 15962998919530937778990857316/356319612860400829890191824343\ *c_0101_3^15 + 106206449406390624307568673318/356319612860400829890\ 191824343*c_0101_3^14 + 584003832756962494563177459118/356319612860\ 400829890191824343*c_0101_3^13 - 3199693589382528311213161963699/35\ 6319612860400829890191824343*c_0101_3^12 + 6391913431281823344639057509743/356319612860400829890191824343*c_01\ 01_3^11 - 8300767880351636706215961959198/3563196128604008298901918\ 24343*c_0101_3^10 - 17491038589531713621003912759567/35631961286040\ 0829890191824343*c_0101_3^9 + 9537098399423505441351675031826/35631\ 9612860400829890191824343*c_0101_3^8 + 6744986395656994511807363020412/356319612860400829890191824343*c_01\ 01_3^7 + 40972368897425229544281184464674/3563196128604008298901918\ 24343*c_0101_3^6 + 64290824502727224501532504483687/356319612860400\ 829890191824343*c_0101_3^5 + 23070946837561729404163642450783/35631\ 9612860400829890191824343*c_0101_3^4 + 1264364061114837517018711999615/356319612860400829890191824343*c_01\ 01_3^3 + 382749406445235174830245445392/356319612860400829890191824\ 343*c_0101_3^2 + 242551575261356734450193603076/3563196128604008298\ 90191824343*c_0101_3 - 472238046182314500330425627561/3563196128604\ 00829890191824343, c_0101_3^16 - 6*c_0101_3^15 - 41*c_0101_3^14 + 177*c_0101_3^13 - 267*c_0101_3^12 + 245*c_0101_3^11 + 1464*c_0101_3^10 + 73*c_0101_3^9 - 861*c_0101_3^8 - 2851*c_0101_3^7 - 5675*c_0101_3^6 - 3864*c_0101_3^5 - 749*c_0101_3^4 + 128*c_0101_3^3 + 18*c_0101_3^2 + 16*c_0101_3 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB