Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 3347471126] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1353 geometric_solution 5.22268077 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 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 1 -2 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729727776448 0.877101109984 3 4 2 0 0132 0132 1230 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 0 1 -1 0 0 1 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.102490479426 0.954778115808 4 3 0 1 2310 3201 0132 3012 0 0 0 0 0 -1 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 0 -1 2 -1 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.102490479426 0.954778115808 1 5 2 5 0132 0132 2310 1023 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 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.878444175282 0.574465062530 4 1 2 4 3201 0132 3201 2310 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 1 0 -1 0 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.119490919420 0.850882637963 6 3 6 3 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706713647044 0.170814274650 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634033746596 0.061619966585 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 521994965202007355953/21401232287354054781*c_0101_6^19 + 336285600652529867647/21401232287354054781*c_0101_6^18 - 3048605132924871867617/7133744095784684927*c_0101_6^17 - 3775436748253885630052/21401232287354054781*c_0101_6^16 + 9781791810492850343387/7133744095784684927*c_0101_6^15 - 258712062170287052680/21401232287354054781*c_0101_6^14 - 8293580127118825468782/7133744095784684927*c_0101_6^13 - 8241331387438509259882/21401232287354054781*c_0101_6^12 + 5101046722289824993001/7133744095784684927*c_0101_6^11 + 46328935462234314599962/21401232287354054781*c_0101_6^10 - 30950258118780072815207/7133744095784684927*c_0101_6^9 + 3347587523884559592080/1258896016903179693*c_0101_6^8 + 1848805837877990941568/1258896016903179693*c_0101_6^7 - 66017322646658283752761/21401232287354054781*c_0101_6^6 + 2013227130704082424600/1258896016903179693*c_0101_6^5 - 20302003901366146549268/21401232287354054781*c_0101_6^4 + 12419729241053691309633/7133744095784684927*c_0101_6^3 - 39600524668422372353060/21401232287354054781*c_0101_6^2 + 6486439416387704396153/7133744095784684927*c_0101_6 - 3546178816565271697052/21401232287354054781, c_0011_0 - 1, c_0011_1 + 10514465779553/82588467946151*c_0101_6^19 + 18055063704575/82588467946151*c_0101_6^18 - 170949375295358/82588467946151*c_0101_6^17 - 265780906132123/82588467946151*c_0101_6^16 + 410493550920043/82588467946151*c_0101_6^15 + 519360253657687/82588467946151*c_0101_6^14 - 257133401829431/82588467946151*c_0101_6^13 - 546216315062035/82588467946151*c_0101_6^12 - 19596666045202/82588467946151*c_0101_6^11 + 1071977393042400/82588467946151*c_0101_6^10 - 819859924750102/82588467946151*c_0101_6^9 - 18042217226710/4858145173303*c_0101_6^8 + 69417371374752/4858145173303*c_0101_6^7 - 427696936554095/82588467946151*c_0101_6^6 - 18868262271150/4858145173303*c_0101_6^5 - 15850989895035/82588467946151*c_0101_6^4 + 419761858487444/82588467946151*c_0101_6^3 - 196724783931301/82588467946151*c_0101_6^2 - 190303641959573/82588467946151*c_0101_6 + 114150469009943/82588467946151, c_0101_1 - 1761328319153748014/7133744095784684927*c_0101_6^19 - 2455082949460238812/7133744095784684927*c_0101_6^18 + 29790392913448580133/7133744095784684927*c_0101_6^17 + 36070049069081711431/7133744095784684927*c_0101_6^16 - 84987109704973021311/7133744095784684927*c_0101_6^15 - 77169138043908506275/7133744095784684927*c_0101_6^14 + 62623355081375051807/7133744095784684927*c_0101_6^13 + 102489887361246119193/7133744095784684927*c_0101_6^12 + 203788798831160489/7133744095784684927*c_0101_6^11 - 194414564080064488893/7133744095784684927*c_0101_6^10 + 170162868994370073276/7133744095784684927*c_0101_6^9 + 828528315591927294/419632005634393231*c_0101_6^8 - 10666109337450728286/419632005634393231*c_0101_6^7 + 100346412792809621384/7133744095784684927*c_0101_6^6 + 1513412437838090666/419632005634393231*c_0101_6^5 + 50103305570262152879/7133744095784684927*c_0101_6^4 - 96627861140905850049/7133744095784684927*c_0101_6^3 + 39644781071446854901/7133744095784684927*c_0101_6^2 + 8716132460560017654/7133744095784684927*c_0101_6 - 7828347369145141942/7133744095784684927, c_0101_2 + 4038614591534651870/7133744095784684927*c_0101_6^19 + 2008671410576350685/7133744095784684927*c_0101_6^18 - 72429122932364774133/7133744095784684927*c_0101_6^17 - 20890442333554597754/7133744095784684927*c_0101_6^16 + 252291155005699286155/7133744095784684927*c_0101_6^15 - 5078040603129387364/7133744095784684927*c_0101_6^14 - 241956982978675117873/7133744095784684927*c_0101_6^13 - 93324222983115036051/7133744095784684927*c_0101_6^12 + 147703680853860923589/7133744095784684927*c_0101_6^11 + 400827105240766729970/7133744095784684927*c_0101_6^10 - 753691205806848005488/7133744095784684927*c_0101_6^9 + 25063697921192883022/419632005634393231*c_0101_6^8 + 16657485481471200080/419632005634393231*c_0101_6^7 - 543217597254149561008/7133744095784684927*c_0101_6^6 + 13963285605953168834/419632005634393231*c_0101_6^5 - 134651514401248128557/7133744095784684927*c_0101_6^4 + 307687113702209952722/7133744095784684927*c_0101_6^3 - 309336064906470453099/7133744095784684927*c_0101_6^2 + 139420840736294641661/7133744095784684927*c_0101_6 - 19697737155818171187/7133744095784684927, c_0101_4 + 2055045324239809438/7133744095784684927*c_0101_6^19 + 878835483456421272/7133744095784684927*c_0101_6^18 - 36621440474435375859/7133744095784684927*c_0101_6^17 - 7481092081923852858/7133744095784684927*c_0101_6^16 + 124307153050324665312/7133744095784684927*c_0101_6^15 - 20292933007558324199/7133744095784684927*c_0101_6^14 - 113933837372578351138/7133744095784684927*c_0101_6^13 - 19825290189389747467/7133744095784684927*c_0101_6^12 + 84304280543385874050/7133744095784684927*c_0101_6^11 + 184496324380045298087/7133744095784684927*c_0101_6^10 - 412297305329562042091/7133744095784684927*c_0101_6^9 + 15375065124369108689/419632005634393231*c_0101_6^8 + 6576317653670574183/419632005634393231*c_0101_6^7 - 287515254265192852419/7133744095784684927*c_0101_6^6 + 9264876979324391274/419632005634393231*c_0101_6^5 - 80011630658801625949/7133744095784684927*c_0101_6^4 + 155874577853719070989/7133744095784684927*c_0101_6^3 - 178303771232706631776/7133744095784684927*c_0101_6^2 + 89303659229195734806/7133744095784684927*c_0101_6 - 18973107270368131847/7133744095784684927, c_0101_5 - 1207623926299250705/7133744095784684927*c_0101_6^19 - 254109766265675153/7133744095784684927*c_0101_6^18 + 21311018810899285162/7133744095784684927*c_0101_6^17 - 1018024701416160059/7133744095784684927*c_0101_6^16 - 69202093080335456020/7133744095784684927*c_0101_6^15 + 38676279568358576779/7133744095784684927*c_0101_6^14 + 57967032121010535930/7133744095784684927*c_0101_6^13 - 21873670866270348791/7133744095784684927*c_0101_6^12 - 54006272645270379983/7133744095784684927*c_0101_6^11 - 82443224312643682642/7133744095784684927*c_0101_6^10 + 274381234451907083136/7133744095784684927*c_0101_6^9 - 13889270220694510822/419632005634393231*c_0101_6^8 - 1316155292677810726/419632005634393231*c_0101_6^7 + 202020482976405647027/7133744095784684927*c_0101_6^6 - 9304958223342704826/419632005634393231*c_0101_6^5 + 63857080341916117862/7133744095784684927*c_0101_6^4 - 98632404278203551610/7133744095784684927*c_0101_6^3 + 133545946625071886871/7133744095784684927*c_0101_6^2 - 81733666633997248400/7133744095784684927*c_0101_6 + 18757369173490491190/7133744095784684927, c_0101_6^20 - 18*c_0101_6^18 + 4*c_0101_6^17 + 62*c_0101_6^16 - 36*c_0101_6^15 - 51*c_0101_6^14 + 14*c_0101_6^13 + 43*c_0101_6^12 + 72*c_0101_6^11 - 237*c_0101_6^10 + 217*c_0101_6^9 - 169*c_0101_6^7 + 141*c_0101_6^6 - 74*c_0101_6^5 + 95*c_0101_6^4 - 121*c_0101_6^3 + 82*c_0101_6^2 - 27*c_0101_6 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB