Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1360055735] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0765 geometric_solution 4.70790086 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 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.388120836605 0.205198893352 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.598223266053 0.859417903164 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.281410466997 1.375352062901 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.281410466997 1.375352062901 3 2 5 5 2310 0132 2310 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.360048158546 0.464733216613 6 4 4 6 0132 3201 0132 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.304129223356 0.803508445996 5 5 6 6 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.263915897854 0.430640688594 ==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' : negation(d['c_0101_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], '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_6' : d['c_0101_6'], '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_6' : negation(d['c_0011_5']), '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_6' : 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' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), '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 8 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, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 9539051765699912362992090487/10775215933452686357369901*c_0101_6^19 + 3916376574084944293301643223/10775215933452686357369901*c_0101_6^\ 18 - 170093563282046825212274919863/10775215933452686357369901*c_01\ 01_6^17 - 17231544456022982805860079314/567116628076457176703679*c_\ 0101_6^16 - 840335503323234464197786385020/107752159334526863573699\ 01*c_0101_6^15 - 7155743720976803580694789657819/107752159334526863\ 57369901*c_0101_6^14 - 16273255875616702796351236427302/10775215933\ 452686357369901*c_0101_6^13 - 4306010880422045764133113488004/10775\ 215933452686357369901*c_0101_6^12 + 13481602380739585777803244224466/10775215933452686357369901*c_0101_\ 6^11 + 197391631901015363746807541633/3591738644484228785789967*c_0\ 101_6^10 - 8210460078936268499205390105953/107752159334526863573699\ 01*c_0101_6^9 - 288246349105888535734395660857/10775215933452686357\ 369901*c_0101_6^8 + 608140451805636968042542271897/1077521593345268\ 6357369901*c_0101_6^7 - 146925137420329285520970461227/107752159334\ 52686357369901*c_0101_6^6 + 714590074653146915238304266158/10775215\ 933452686357369901*c_0101_6^5 + 5128524225972575245345212548/119724\ 6214828076261929989*c_0101_6^4 - 18882309408148419083482668691/1077\ 5215933452686357369901*c_0101_6^3 + 106689538368297614129809922351/10775215933452686357369901*c_0101_6^\ 2 - 1211719505934465700278981833/399082071609358753976663*c_0101_6 - 22934147115169185356761900201/10775215933452686357369901, c_0011_0 - 1, c_0011_1 - 8483482093519666783243742/10775215933452686357369901*c_0101_\ 6^19 - 4710887714883985260378638/10775215933452686357369901*c_0101_\ 6^18 + 151425582116794563857519470/10775215933452686357369901*c_010\ 1_6^17 + 16433894340442500750789178/567116628076457176703679*c_0101\ _6^16 + 778120608286797211525627427/10775215933452686357369901*c_01\ 01_6^15 + 6468542929832541006922503968/10775215933452686357369901*c\ _0101_6^14 + 15358577978789900003735946125/107752159334526863573699\ 01*c_0101_6^13 + 5511320692332170179223132195/107752159334526863573\ 69901*c_0101_6^12 - 11793974303257011741490439078/10775215933452686\ 357369901*c_0101_6^11 - 417993850332269210651992291/359173864448422\ 8785789967*c_0101_6^10 + 7775581596328059251442066094/1077521593345\ 2686357369901*c_0101_6^9 + 417172683617054365578125368/107752159334\ 52686357369901*c_0101_6^8 - 79436523087136782416843908/107752159334\ 52686357369901*c_0101_6^7 + 277221521822932017022802711/10775215933\ 452686357369901*c_0101_6^6 - 804549583756866448950139750/1077521593\ 3452686357369901*c_0101_6^5 + 1101588268175558963083638/39908207160\ 9358753976663*c_0101_6^4 + 45881214493400929185574313/1077521593345\ 2686357369901*c_0101_6^3 - 105047710918135004146715878/107752159334\ 52686357369901*c_0101_6^2 + 3836212467459550623008531/1197246214828\ 076261929989*c_0101_6 + 10720401284874730053475490/1077521593345268\ 6357369901, c_0011_3 + 1763657679689326428137113/1197246214828076261929989*c_0101_6\ ^19 + 1914569269015802971376132/3591738644484228785789967*c_0101_6^\ 18 - 93854685419584881280016522/3591738644484228785789967*c_0101_6^\ 17 - 1033600095684866726326806/21004319558387302840877*c_0101_6^16 - 467698874028491091214363159/3591738644484228785789967*c_0101_6^15 - 1322308470073942758054493172/1197246214828076261929989*c_0101_6^14 - 8888956432144550102580718499/3591738644484228785789967*c_0101_6^13 - 2402900551783834407111568687/3591738644484228785789967*c_0101_6^12 + 2183974400007041290606400707/1197246214828076261929989*c_0101_6^11 - 462285048750287088183342127/3591738644484228785789967*c_0101_6^10 - 4043200252617314126228741536/3591738644484228785789967*c_0101_6^9 - 3757104257711172172389887/3591738644484228785789967*c_0101_6^8 - 4906343359125468276753572/1197246214828076261929989*c_0101_6^7 - 150205603997867044643774684/3591738644484228785789967*c_0101_6^6 + 343430158875958728157749800/3591738644484228785789967*c_0101_6^5 - 8749186896563597128895204/1197246214828076261929989*c_0101_6^4 + 845011962836381009986705/399082071609358753976663*c_0101_6^3 + 56646389402932657652418157/3591738644484228785789967*c_0101_6^2 - 11563201825764522405249226/3591738644484228785789967*c_0101_6 - 5733077753363483473438444/3591738644484228785789967, c_0011_5 + 14315097143471834562116281/10775215933452686357369901*c_0101\ _6^19 + 4195271980424387414914486/10775215933452686357369901*c_0101\ _6^18 - 253294944224059243083250280/10775215933452686357369901*c_01\ 01_6^17 - 24263029704698805318550886/567116628076457176703679*c_010\ 1_6^16 - 1249830845085886984584321325/10775215933452686357369901*c_\ 0101_6^15 - 10667935985079689897854405609/1077521593345268635736990\ 1*c_0101_6^14 - 23386713978430536026013859720/107752159334526863573\ 69901*c_0101_6^13 - 5545204490100263432654752018/107752159334526863\ 57369901*c_0101_6^12 + 16943343449502675588647669614/10775215933452\ 686357369901*c_0101_6^11 - 734791992458772602422802077/359173864448\ 4228785789967*c_0101_6^10 - 9907196329901054775197459540/1077521593\ 3452686357369901*c_0101_6^9 + 134018243301717426385942819/107752159\ 33452686357369901*c_0101_6^8 - 153752523243111738510803335/10775215\ 933452686357369901*c_0101_6^7 - 306290231693988890182598851/1077521\ 5933452686357369901*c_0101_6^6 + 754348972759335852967005176/107752\ 15933452686357369901*c_0101_6^5 - 5700886023133388047377580/1197246\ 214828076261929989*c_0101_6^4 + 105507574832267636297901794/1077521\ 5933452686357369901*c_0101_6^3 + 136205007879331657690755419/107752\ 15933452686357369901*c_0101_6^2 - 4630908835870895606369852/1197246\ 214828076261929989*c_0101_6 - 16460204071993997693450956/1077521593\ 3452686357369901, c_0101_0 - 2856484506632468323916380/1197246214828076261929989*c_0101_6\ ^19 - 2827590260189867406156379/3591738644484228785789967*c_0101_6^\ 18 + 152209947159622380881014600/3591738644484228785789967*c_0101_6\ ^17 + 4942997814427220390892508/63012958675161908522631*c_0101_6^16 + 746686678349334489014359223/3591738644484228785789967*c_0101_6^15 + 710244984256342550888135408/399082071609358753976663*c_0101_6^14 + 14173250609729010457244328709/3591738644484228785789967*c_0101_6^13 + 3330159856144478160487676552/3591738644484228785789967*c_0101_6^1\ 2 - 3709878696050174087281583338/1197246214828076261929989*c_0101_6\ ^11 + 541945009079412944647089020/3591738644484228785789967*c_0101_\ 6^10 + 6489411209422184836750944524/3591738644484228785789967*c_010\ 1_6^9 + 84899680715499254210918992/3591738644484228785789967*c_0101\ _6^8 - 10126536054636915884314941/399082071609358753976663*c_0101_6\ ^7 + 62255139386761042874259493/3591738644484228785789967*c_0101_6^\ 6 - 607968582964597758235070353/3591738644484228785789967*c_0101_6^\ 5 + 8895716886300991443578362/1197246214828076261929989*c_0101_6^4 - 4112297681282497175275558/1197246214828076261929989*c_0101_6^3 - 83222092773773952017214473/3591738644484228785789967*c_0101_6^2 + 27754401892308742211542424/3591738644484228785789967*c_0101_6 + 11288256241717055097073118/3591738644484228785789967, c_0101_3 + 5321750473887879145031293/3591738644484228785789967*c_0101_6\ ^19 + 1859527446968000157740974/3591738644484228785789967*c_0101_6^\ 18 - 94395531178113931216911509/3591738644484228785789967*c_0101_6^\ 17 - 9306514235413038002880227/189038876025485725567893*c_0101_6^16 - 468736640321590926652300405/3591738644484228785789967*c_0101_6^15 - 3981031706807542833017614375/3591738644484228785789967*c_0101_6^1\ 4 - 8887076771122180859162158300/3591738644484228785789967*c_0101_6\ ^13 - 2307489283838457026948209777/3591738644484228785789967*c_0101\ _6^12 + 6743499790717936100822109238/3591738644484228785789967*c_01\ 01_6^11 - 70742638260120516872336761/1197246214828076261929989*c_01\ 01_6^10 - 3969571247382996952134139280/3591738644484228785789967*c_\ 0101_6^9 - 132629071193736800456633132/3591738644484228785789967*c_\ 0101_6^8 + 98514894306549418228702808/3591738644484228785789967*c_0\ 101_6^7 - 72583603042863821657017495/3591738644484228785789967*c_01\ 01_6^6 + 317339743544030610212397971/3591738644484228785789967*c_01\ 01_6^5 + 3465225437379368626904204/1197246214828076261929989*c_0101\ _6^4 + 29964789109468339170219323/3591738644484228785789967*c_0101_\ 6^3 + 52078138913977767516418691/3591738644484228785789967*c_0101_6\ ^2 - 1602684786144641410902184/399082071609358753976663*c_0101_6 - 9577649759975556864784660/3591738644484228785789967, c_0101_6^20 - 18*c_0101_6^18 - 27*c_0101_6^17 - 74*c_0101_6^16 - 714*c_0101_6^15 - 1398*c_0101_6^14 + 249*c_0101_6^13 + 1598*c_0101_6^12 - 520*c_0101_6^11 - 887*c_0101_6^10 + 324*c_0101_6^9 + 76*c_0101_6^8 - 42*c_0101_6^7 + 81*c_0101_6^6 - 26*c_0101_6^5 - 4*c_0101_6^4 + 12*c_0101_6^3 - 8*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB