Magma V2.19-8 Tue Aug 20 2013 16:19:13 on localhost [Seed = 4273955835] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3332 geometric_solution 6.46872793 oriented_manifold CS_known -0.0000000000000003 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.363532105337 0.217860910895 2 0 3 0 0132 2310 0132 0132 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.612560791926 0.995045015420 1 4 5 6 0132 0132 0132 0132 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 -1 0 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.538038836432 1.184053064034 6 5 4 1 3201 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.538038836432 1.184053064034 3 2 6 6 2310 0132 1302 2031 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 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.156752431219 1.009590245081 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581494274136 0.599421721033 4 4 2 3 2031 1302 0132 2310 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 -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.511955612451 0.821937736475 ==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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], '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_1'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(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_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3420072102162861873492896047799/323563936736260352657606657212*c_01\ 01_0*c_0101_3^15 + 63198813045259369385223545029007/258851149389008\ 2821260853257696*c_0101_0*c_0101_3^14 + 1666128662264520106033056051565195/5177022987780165642521706515392*\ c_0101_0*c_0101_3^13 - 887999211535310984141486869563565/5177022987\ 780165642521706515392*c_0101_0*c_0101_3^12 + 4176682910859945346143191893028133/2588511493890082821260853257696*\ c_0101_0*c_0101_3^11 - 9953648192190744876181240453931703/517702298\ 7780165642521706515392*c_0101_0*c_0101_3^10 - 6168571655766865873578570792449613/647127873472520705315213314424*c\ _0101_0*c_0101_3^9 - 97090609934333644427375866773419235/5177022987\ 780165642521706515392*c_0101_0*c_0101_3^8 - 121599954782338249040288231033784879/258851149389008282126085325769\ 6*c_0101_0*c_0101_3^7 - 474539831368666210621022449427193995/517702\ 2987780165642521706515392*c_0101_0*c_0101_3^6 - 1035135257597468166549598564427536547/51770229877801656425217065153\ 92*c_0101_0*c_0101_3^5 - 298202743333495750065034770438026621/12942\ 55746945041410630426628848*c_0101_0*c_0101_3^4 - 33134805285168204255319500420854345/184893678135005915804346661264*\ c_0101_0*c_0101_3^3 - 4855301965674491196417304440423221/8089098418\ 4065088164401664303*c_0101_0*c_0101_3^2 - 1058879657798333297712185235483402/80890984184065088164401664303*c_\ 0101_0*c_0101_3 + 432209233732494299529888178585527/161781968368130\ 176328803328606*c_0101_0, c_0011_0 - 1, c_0011_1 + 53322763530036978560142/888911914110605364443974333*c_0101_3\ ^15 + 4309950680842334591676695/28445181251539371662207178656*c_010\ 1_3^14 - 180007468277784938222865869/56890362503078743324414357312*\ c_0101_3^13 - 333526950840671865223674817/5689036250307874332441435\ 7312*c_0101_3^12 + 846260266194761428053628341/56890362503078743324\ 414357312*c_0101_3^11 - 3322388010691371419781079615/56890362503078\ 743324414357312*c_0101_3^10 + 12258109209487764049273732845/5689036\ 2503078743324414357312*c_0101_3^9 + 10565303251141863619877473157/56890362503078743324414357312*c_0101_\ 3^8 + 14124256566012690446289145575/56890362503078743324414357312*c\ _0101_3^7 + 61968193252910008223060748941/5689036250307874332441435\ 7312*c_0101_3^6 + 20429461831655754673811884675/1422259062576968583\ 1103589328*c_0101_3^5 + 20738618356202614935006586595/7111295312884\ 842915551794664*c_0101_3^4 - 5873671045501260488343891055/355564765\ 6442421457775897332*c_0101_3^3 - 2274555828787040020654571359/17778\ 23828221210728887948666*c_0101_3^2 - 384315182218934940612189499/888911914110605364443974333*c_0101_3 + 597480614259446399392584827/888911914110605364443974333, c_0011_3 - 20183420300647088134937215/14222590625769685831103589328*c_0\ 101_0*c_0101_3^15 + 111318596180091427229273287/2844518125153937166\ 2207178656*c_0101_0*c_0101_3^14 + 148218238662458015739050147/35556\ 47656442421457775897332*c_0101_0*c_0101_3^13 - 1208530534544190429901007789/28445181251539371662207178656*c_0101_0\ *c_0101_3^12 + 1631336056469981354145254807/71112953128848429155517\ 94664*c_0101_0*c_0101_3^11 - 9937917150471275316689814169/284451812\ 51539371662207178656*c_0101_0*c_0101_3^10 - 16593045325877271045943150705/14222590625769685831103589328*c_0101_\ 0*c_0101_3^9 - 54520856729934321609433136021/2844518125153937166220\ 7178656*c_0101_0*c_0101_3^8 - 75451296068941282031011690549/1422259\ 0625769685831103589328*c_0101_0*c_0101_3^7 - 138629488722155192634200220099/14222590625769685831103589328*c_0101\ _0*c_0101_3^6 - 309702487079129585964959700349/14222590625769685831\ 103589328*c_0101_0*c_0101_3^5 - 283466278516318242850872325979/1422\ 2590625769685831103589328*c_0101_0*c_0101_3^4 - 43948485721577051617834353193/3555647656442421457775897332*c_0101_0\ *c_0101_3^3 - 913918742549859422428683331/8889119141106053644439743\ 33*c_0101_0*c_0101_3^2 - 1220152689717059585888751717/1777823828221\ 210728887948666*c_0101_0*c_0101_3 + 4714892404060812276584045/888911914110605364443974333*c_0101_0, c_0011_6 - 29195925403401554257167419/14222590625769685831103589328*c_0\ 101_0*c_0101_3^15 + 79429148949159854722342481/14222590625769685831\ 103589328*c_0101_0*c_0101_3^14 + 3431822278491961497234915431/56890\ 362503078743324414357312*c_0101_0*c_0101_3^13 - 3334165977176515524173027141/56890362503078743324414357312*c_0101_0\ *c_0101_3^12 + 19040819172922890504361941107/5689036250307874332441\ 4357312*c_0101_0*c_0101_3^11 - 28542960103238002027606972451/568903\ 62503078743324414357312*c_0101_0*c_0101_3^10 - 95104964385880857065094322697/56890362503078743324414357312*c_0101_\ 0*c_0101_3^9 - 164363932456080596215781096779/568903625030787433244\ 14357312*c_0101_0*c_0101_3^8 - 449544269711068109360328902267/56890\ 362503078743324414357312*c_0101_0*c_0101_3^7 - 828142000819448922336715208597/56890362503078743324414357312*c_0101\ _0*c_0101_3^6 - 928020722658004839911167738917/28445181251539371662\ 207178656*c_0101_0*c_0101_3^5 - 447220105931338184058784751109/1422\ 2590625769685831103589328*c_0101_0*c_0101_3^4 - 152332485617084793935021810895/7111295312884842915551794664*c_0101_\ 0*c_0101_3^3 - 14404167012824859903311259819/3555647656442421457775\ 897332*c_0101_0*c_0101_3^2 - 1616103606764044882597213609/888911914\ 110605364443974333*c_0101_0*c_0101_3 + 442206478236151588737250167/888911914110605364443974333*c_0101_0, c_0101_0^2 + 53322763530036978560142/888911914110605364443974333*c_0101\ _3^15 + 4309950680842334591676695/28445181251539371662207178656*c_0\ 101_3^14 - 180007468277784938222865869/5689036250307874332441435731\ 2*c_0101_3^13 - 333526950840671865223674817/56890362503078743324414\ 357312*c_0101_3^12 + 846260266194761428053628341/568903625030787433\ 24414357312*c_0101_3^11 - 3322388010691371419781079615/568903625030\ 78743324414357312*c_0101_3^10 + 12258109209487764049273732845/56890\ 362503078743324414357312*c_0101_3^9 + 10565303251141863619877473157/56890362503078743324414357312*c_0101_\ 3^8 + 14124256566012690446289145575/56890362503078743324414357312*c\ _0101_3^7 + 61968193252910008223060748941/5689036250307874332441435\ 7312*c_0101_3^6 + 20429461831655754673811884675/1422259062576968583\ 1103589328*c_0101_3^5 + 20738618356202614935006586595/7111295312884\ 842915551794664*c_0101_3^4 - 5873671045501260488343891055/355564765\ 6442421457775897332*c_0101_3^3 - 2274555828787040020654571359/17778\ 23828221210728887948666*c_0101_3^2 - 384315182218934940612189499/888911914110605364443974333*c_0101_3 - 291431299851158965051389506/888911914110605364443974333, c_0101_1 - 1716840236673053606318527/7111295312884842915551794664*c_010\ 1_3^15 + 36807322191470149352265789/28445181251539371662207178656*c\ _0101_3^14 + 304389653971017073857412075/56890362503078743324414357\ 312*c_0101_3^13 - 1464674660026418669296131889/56890362503078743324\ 414357312*c_0101_3^12 + 3323833287129802714153342543/56890362503078\ 743324414357312*c_0101_3^11 - 9044208168987476553233763919/56890362\ 503078743324414357312*c_0101_3^10 - 2687241270152001350072159329/56890362503078743324414357312*c_0101_3\ ^9 + 11824785764318222184358575905/56890362503078743324414357312*c_\ 0101_3^8 - 5836807177324373124705943563/568903625030787433244143573\ 12*c_0101_3^7 + 36540331085359912506081071577/568903625030787433244\ 14357312*c_0101_3^6 + 13331429078080085661567893113/284451812515393\ 71662207178656*c_0101_3^5 + 84476396195438746394440210669/142225906\ 25769685831103589328*c_0101_3^4 + 22329399779340850940128852347/355\ 5647656442421457775897332*c_0101_3^3 + 7363263736421591940766279831/1777823828221210728887948666*c_0101_3^\ 2 + 205425701085868220471356990/888911914110605364443974333*c_0101_\ 3 - 19478607660751989591067592/888911914110605364443974333, c_0101_3^16 - 5/2*c_0101_3^15 - 30*c_0101_3^14 + 22*c_0101_3^13 - 156*c_0101_3^12 + 211*c_0101_3^11 + 866*c_0101_3^10 + 1604*c_0101_3^9 + 4115*c_0101_3^8 + 15687/2*c_0101_3^7 + 17308*c_0101_3^6 + 18282*c_0101_3^5 + 12984*c_0101_3^4 + 2672*c_0101_3^3 + 336*c_0101_3^2 - 416*c_0101_3 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB