Magma V2.19-8 Tue Aug 20 2013 16:19:21 on localhost [Seed = 1014866235] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3451 geometric_solution 6.63910044 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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 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.439631150411 0.691278830288 0 4 0 3 0132 0132 1023 3201 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 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.439631150411 0.691278830288 5 0 6 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306136747100 1.205137083898 2 1 0 4 3012 2310 0132 2103 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 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.262687652508 0.916574862585 5 1 6 3 1023 0132 3201 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306136747100 1.205137083898 2 4 5 5 0132 1023 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 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.057431266213 0.962016431470 4 6 6 2 2310 1230 3012 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 -1 1 0 0 0 1 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597713205991 0.896319023597 ==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_6'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), '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' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0101_6']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 4465576603297572874567303735912378657862/49746164662399557632470259\ 678176214895*c_0101_6^17 - 1359775922473521582515414446674382413214\ 88/49746164662399557632470259678176214895*c_0101_6^16 + 278631616536009327224682353234822796253666/497461646623995576324702\ 59678176214895*c_0101_6^15 - 78760052624273773481020366310904106663\ 0778/49746164662399557632470259678176214895*c_0101_6^14 + 1217499291529617607791924580703876668080664/49746164662399557632470\ 259678176214895*c_0101_6^13 - 5348266161649280001348097421572621358\ 67044/49746164662399557632470259678176214895*c_0101_6^12 + 1597591722609785790918144695383479948558046/49746164662399557632470\ 259678176214895*c_0101_6^11 + 1927620522476144068976712609947582238\ 400784/49746164662399557632470259678176214895*c_0101_6^10 + 554899121307825425743352839056474861713681/497461646623995576324702\ 59678176214895*c_0101_6^9 + 354878961481404402954666450260598688889\ 3846/49746164662399557632470259678176214895*c_0101_6^8 - 79394605597851099519717070074725466691707/1658205488746651921082341\ 9892725404965*c_0101_6^7 + 2342877646471820439593986951770361860746\ 291/49746164662399557632470259678176214895*c_0101_6^6 - 48175674825611861911858437595494681062816/1658205488746651921082341\ 9892725404965*c_0101_6^5 + 1368672446099959886307845877141295879959\ 89/9949232932479911526494051935635242979*c_0101_6^4 - 644970080741056730304585505350530975455/331641097749330384216468397\ 8545080993*c_0101_6^3 + 88075223126314135851038894042863366115161/4\ 9746164662399557632470259678176214895*c_0101_6^2 + 41531522368302136271929922279993786023/1715384988358605435602422747\ 523317755*c_0101_6 + 1732364418625996867034197118964805493483/16582\ 054887466519210823419892725404965, c_0011_0 - 1, c_0011_3 + 12270775852532232685660221732897636/331641097749330384216468\ 3978545080993*c_0101_6^17 + 155126290155314023983452517214824269/99\ 49232932479911526494051935635242979*c_0101_6^16 - 32146076014037643106914086545520963428/9949232932479911526494051935\ 635242979*c_0101_6^15 + 53822661013039555330328410046487507854/9949\ 232932479911526494051935635242979*c_0101_6^14 - 138744016482793316691510767686637357884/994923293247991152649405193\ 5635242979*c_0101_6^13 + 163937419452455207392611686854839489239/99\ 49232932479911526494051935635242979*c_0101_6^12 + 54143209033089198039449835276044544854/9949232932479911526494051935\ 635242979*c_0101_6^11 + 200834451212968882437075897187035583880/994\ 9232932479911526494051935635242979*c_0101_6^10 + 524432968483959334547083883476982108653/994923293247991152649405193\ 5635242979*c_0101_6^9 + 239595553765659730188828417890824048813/994\ 9232932479911526494051935635242979*c_0101_6^8 + 563896630426474185749355831376284987967/994923293247991152649405193\ 5635242979*c_0101_6^7 + 71581070741918027551014156680020913080/3316\ 410977493303842164683978545080993*c_0101_6^6 + 267669015721321898472631638364277079775/994923293247991152649405193\ 5635242979*c_0101_6^5 + 17181501435373036782383622057328941821/3316\ 410977493303842164683978545080993*c_0101_6^4 + 69876793316241290037912302006056963850/9949232932479911526494051935\ 635242979*c_0101_6^3 - 1651618348545540319550603354661981742/331641\ 0977493303842164683978545080993*c_0101_6^2 + 171576469173645316167811877526859339/343076997671721087120484549504\ 663551*c_0101_6 + 4999384134621508159718692154354334034/99492329324\ 79911526494051935635242979, c_0011_6 - 5089931348803476567553147300038089105/9949232932479911526494\ 051935635242979*c_0101_6^17 - 1533819058429373374919194886731416747\ 70/9949232932479911526494051935635242979*c_0101_6^16 + 369508235334748476143197728275514916781/994923293247991152649405193\ 5635242979*c_0101_6^15 - 908392584329888482119770701937201511670/99\ 49232932479911526494051935635242979*c_0101_6^14 + 1455406401200808382248769383993149917127/99492329324799115264940519\ 35635242979*c_0101_6^13 - 509935231231279283179305790407182050414/9\ 949232932479911526494051935635242979*c_0101_6^12 + 1147516331596730200653676251791930605715/99492329324799115264940519\ 35635242979*c_0101_6^11 + 653218080273191742821243919874936484905/3\ 316410977493303842164683978545080993*c_0101_6^10 - 792518197794199036996004532547972267046/994923293247991152649405193\ 5635242979*c_0101_6^9 + 2722385615873492665984079853321805157497/99\ 49232932479911526494051935635242979*c_0101_6^8 - 1150377038249549183986830051754845415102/99492329324799115264940519\ 35635242979*c_0101_6^7 + 1077648389095344761296902335952323468612/9\ 949232932479911526494051935635242979*c_0101_6^6 - 332979695387737719403064543909919544480/994923293247991152649405193\ 5635242979*c_0101_6^5 + 55960276813028943894248113755215360512/9949\ 232932479911526494051935635242979*c_0101_6^4 - 20101420147012580382074687207297594117/9949232932479911526494051935\ 635242979*c_0101_6^3 - 7411064599246792427055358253362892120/994923\ 2932479911526494051935635242979*c_0101_6^2 + 12860344098786186138476893277698537/1143589992239070290401615165015\ 54517*c_0101_6 - 800239161963669027535713338504959117/9949232932479\ 911526494051935635242979, c_0101_0 - 11040616739104952525780708703302658514/994923293247991152649\ 4051935635242979*c_0101_6^17 - 332620960019953976618313213738408641\ 050/9949232932479911526494051935635242979*c_0101_6^16 + 799467659581450827062939920438452623890/994923293247991152649405193\ 5635242979*c_0101_6^15 - 2111506012058169841697584195694411732374/9\ 949232932479911526494051935635242979*c_0101_6^14 + 3491585303097361729514036791486431668257/99492329324799115264940519\ 35635242979*c_0101_6^13 - 1908973426354370257428431634304828885711/\ 9949232932479911526494051935635242979*c_0101_6^12 + 3718998294412173214976631998959826344462/99492329324799115264940519\ 35635242979*c_0101_6^11 + 3883805653476391223529859211824933236109/\ 9949232932479911526494051935635242979*c_0101_6^10 - 279341518346680380989327950995731838562/331641097749330384216468397\ 8545080993*c_0101_6^9 + 2565192137783995002507736645850535486631/33\ 16410977493303842164683978545080993*c_0101_6^8 - 3098264873030654459634069470014763451700/99492329324799115264940519\ 35635242979*c_0101_6^7 + 1556258655315677666216987449675403165168/3\ 316410977493303842164683978545080993*c_0101_6^6 - 1456951325450649853185285684325188697685/99492329324799115264940519\ 35635242979*c_0101_6^5 + 1073366712839759616485724740423815762625/9\ 949232932479911526494051935635242979*c_0101_6^4 - 78152090499853739612067173664625900953/3316410977493303842164683978\ 545080993*c_0101_6^3 + 100870328107002000903588532160175094891/9949\ 232932479911526494051935635242979*c_0101_6^2 - 643501443462301907309080024243663718/343076997671721087120484549504\ 663551*c_0101_6 + 6295144624459283755333536083883520366/99492329324\ 79911526494051935635242979, c_0101_1 + 11040616739104952525780708703302658514/994923293247991152649\ 4051935635242979*c_0101_6^17 + 332620960019953976618313213738408641\ 050/9949232932479911526494051935635242979*c_0101_6^16 - 799467659581450827062939920438452623890/994923293247991152649405193\ 5635242979*c_0101_6^15 + 2111506012058169841697584195694411732374/9\ 949232932479911526494051935635242979*c_0101_6^14 - 3491585303097361729514036791486431668257/99492329324799115264940519\ 35635242979*c_0101_6^13 + 1908973426354370257428431634304828885711/\ 9949232932479911526494051935635242979*c_0101_6^12 - 3718998294412173214976631998959826344462/99492329324799115264940519\ 35635242979*c_0101_6^11 - 3883805653476391223529859211824933236109/\ 9949232932479911526494051935635242979*c_0101_6^10 + 279341518346680380989327950995731838562/331641097749330384216468397\ 8545080993*c_0101_6^9 - 2565192137783995002507736645850535486631/33\ 16410977493303842164683978545080993*c_0101_6^8 + 3098264873030654459634069470014763451700/99492329324799115264940519\ 35635242979*c_0101_6^7 - 1556258655315677666216987449675403165168/3\ 316410977493303842164683978545080993*c_0101_6^6 + 1456951325450649853185285684325188697685/99492329324799115264940519\ 35635242979*c_0101_6^5 - 1073366712839759616485724740423815762625/9\ 949232932479911526494051935635242979*c_0101_6^4 + 78152090499853739612067173664625900953/3316410977493303842164683978\ 545080993*c_0101_6^3 - 100870328107002000903588532160175094891/9949\ 232932479911526494051935635242979*c_0101_6^2 + 643501443462301907309080024243663718/343076997671721087120484549504\ 663551*c_0101_6 - 6295144624459283755333536083883520366/99492329324\ 79911526494051935635242979, c_0101_2 - 2726690661611343936733531729102625438/3316410977493303842164\ 683978545080993*c_0101_6^17 - 2483687345148223660688403902426331048\ 40/9949232932479911526494051935635242979*c_0101_6^16 + 178381391524387066881546556474905750670/331641097749330384216468397\ 8545080993*c_0101_6^15 - 1398732598676555554477672983997840638316/9\ 949232932479911526494051935635242979*c_0101_6^14 + 713488668972043687938873870942080971734/331641097749330384216468397\ 8545080993*c_0101_6^13 - 611643153928796148141320758993109717710/99\ 49232932479911526494051935635242979*c_0101_6^12 + 700060282507578409053990386273479618005/331641097749330384216468397\ 8545080993*c_0101_6^11 + 3721284746352231225002733476081807433338/9\ 949232932479911526494051935635242979*c_0101_6^10 - 130121716874153807452211837809152416308/994923293247991152649405193\ 5635242979*c_0101_6^9 + 5218720657411520049839961131650677909881/99\ 49232932479911526494051935635242979*c_0101_6^8 - 686525960453317571290429880277425523079/994923293247991152649405193\ 5635242979*c_0101_6^7 + 2309661495600264322152896702273813011306/99\ 49232932479911526494051935635242979*c_0101_6^6 - 607137678567279598250057597643814950/331641097749330384216468397854\ 5080993*c_0101_6^5 + 94301522006112147278697898943973192524/3316410\ 977493303842164683978545080993*c_0101_6^4 + 62603612795140224880959692919737354981/9949232932479911526494051935\ 635242979*c_0101_6^3 + 19403223170173544123219264259628643845/99492\ 32932479911526494051935635242979*c_0101_6^2 - 39988166177216493106642661057759383/3430769976717210871204845495046\ 63551*c_0101_6 + 305791623900353003365636559439457271/3316410977493\ 303842164683978545080993, c_0101_6^18 + 392/13*c_0101_6^17 - 929/13*c_0101_6^16 + 2517/13*c_0101_6^15 - 4166/13*c_0101_6^14 + 2466/13*c_0101_6^13 - 4844/13*c_0101_6^12 - 4466/13*c_0101_6^11 + 261/13*c_0101_6^10 - 9809/13*c_0101_6^9 + 3449/13*c_0101_6^8 - 6679/13*c_0101_6^7 + 1912/13*c_0101_6^6 - 1875/13*c_0101_6^5 + 355/13*c_0101_6^4 - 219/13*c_0101_6^3 + 32/13*c_0101_6^2 - 16/13*c_0101_6 + 5/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB