Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 3381155115] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0537 geometric_solution 4.55659928 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 0132 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 -1 0 1 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.663231544150 0.939396536022 0 4 0 4 0132 0132 1023 1023 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 0.623535244313 0.224013291312 3 0 4 4 0321 0132 2103 3012 0 0 0 0 0 0 1 -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 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.338162074259 0.943283955652 2 5 0 5 0321 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421374389519 2.898320290495 2 1 2 1 2103 0132 1230 1023 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 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.623535244313 0.224013291312 3 3 6 6 3201 0132 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 -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.135767347502 0.147991199125 6 5 6 5 2031 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.240076465938 3.759516969209 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0110_4']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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_0110_5']), 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0110_4'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0110_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 131692663207110/7663732040041*c_0110_5^18 - 368601147979485/7663732040041*c_0110_5^17 + 1893467191507592/7663732040041*c_0110_5^16 + 448084365693612/1094818862863*c_0110_5^15 - 1913342693154250/1094818862863*c_0110_5^14 - 8652852540377263/7663732040041*c_0110_5^13 + 48127678402289400/7663732040041*c_0110_5^12 + 424436396044972/7663732040041*c_0110_5^11 - 92238988081715037/7663732040041*c_0110_5^10 + 42518015743401362/7663732040041*c_0110_5^9 + 91535217060962280/7663732040041*c_0110_5^8 - 84080103752696664/7663732040041*c_0110_5^7 - 3078021168875063/696702912731*c_0110_5^6 + 65985297367256415/7663732040041*c_0110_5^5 - 11116001451535923/7663732040041*c_0110_5^4 - 2747858875654883/1094818862863*c_0110_5^3 + 1352582127893188/1094818862863*c_0110_5^2 + 147527639607347/7663732040041*c_0110_5 - 866749648505002/7663732040041, c_0011_0 - 1, c_0011_3 - 63696413004/99528987533*c_0110_5^18 - 179252803101/99528987533*c_0110_5^17 + 907023420872/99528987533*c_0110_5^16 + 1510423417593/99528987533*c_0110_5^15 - 6384260266765/99528987533*c_0110_5^14 - 4106748100156/99528987533*c_0110_5^13 + 22775109518193/99528987533*c_0110_5^12 - 39965059459/99528987533*c_0110_5^11 - 43265586179638/99528987533*c_0110_5^10 + 20722417269564/99528987533*c_0110_5^9 + 42524070280575/99528987533*c_0110_5^8 - 40132366222973/99528987533*c_0110_5^7 - 15562166470904/99528987533*c_0110_5^6 + 31053865471166/99528987533*c_0110_5^5 - 4965373006413/99528987533*c_0110_5^4 - 9226519987618/99528987533*c_0110_5^3 + 4094338031621/99528987533*c_0110_5^2 + 352564479299/99528987533*c_0110_5 - 376396801799/99528987533, c_0011_6 - 119200020200/99528987533*c_0110_5^18 - 324643749423/99528987533*c_0110_5^17 + 1736929114504/99528987533*c_0110_5^16 + 2709584630529/99528987533*c_0110_5^15 - 12296058525681/99528987533*c_0110_5^14 - 6962983538757/99528987533*c_0110_5^13 + 43864120952253/99528987533*c_0110_5^12 - 2376833565135/99528987533*c_0110_5^11 - 82730056691480/99528987533*c_0110_5^10 + 42626085089444/99528987533*c_0110_5^9 + 79320595163198/99528987533*c_0110_5^8 - 78253793843290/99528987533*c_0110_5^7 - 25915163519418/99528987533*c_0110_5^6 + 58403913318799/99528987533*c_0110_5^5 - 12275629854545/99528987533*c_0110_5^4 - 15553035495958/99528987533*c_0110_5^3 + 8561140076030/99528987533*c_0110_5^2 - 331573338628/99528987533*c_0110_5 - 688697517840/99528987533, c_0101_0 + 40850525300/99528987533*c_0110_5^18 + 119210618294/99528987533*c_0110_5^17 - 585025998130/99528987533*c_0110_5^16 - 1093752112070/99528987533*c_0110_5^15 + 4126189795631/99528987533*c_0110_5^14 + 3654559375923/99528987533*c_0110_5^13 - 15038393040091/99528987533*c_0110_5^12 - 4010066199003/99528987533*c_0110_5^11 + 29783300085198/99528987533*c_0110_5^10 - 4767994535572/99528987533*c_0110_5^9 - 32414856459368/99528987533*c_0110_5^8 + 16213069972943/99528987533*c_0110_5^7 + 17731929284019/99528987533*c_0110_5^6 - 14827854001093/99528987533*c_0110_5^5 - 2918153415312/99528987533*c_0110_5^4 + 5181019514319/99528987533*c_0110_5^3 - 787742168728/99528987533*c_0110_5^2 - 487548665620/99528987533*c_0110_5 + 85556416996/99528987533, c_0101_1 - 32072104828/99528987533*c_0110_5^18 - 91015374405/99528987533*c_0110_5^17 + 455401267170/99528987533*c_0110_5^16 + 780159743204/99528987533*c_0110_5^15 - 3182447081291/99528987533*c_0110_5^14 - 2229851065365/99528987533*c_0110_5^13 + 11248002751715/99528987533*c_0110_5^12 + 700362988045/99528987533*c_0110_5^11 - 20990978354903/99528987533*c_0110_5^10 + 8611052662441/99528987533*c_0110_5^9 + 19814866081990/99528987533*c_0110_5^8 - 17475400502147/99528987533*c_0110_5^7 - 6156679690420/99528987533*c_0110_5^6 + 12952430922777/99528987533*c_0110_5^5 - 3319144861846/99528987533*c_0110_5^4 - 2982867446873/99528987533*c_0110_5^3 + 2180670104549/99528987533*c_0110_5^2 - 160828706695/99528987533*c_0110_5 - 152333140606/99528987533, c_0110_4 - 40850525300/99528987533*c_0110_5^18 - 119210618294/99528987533*c_0110_5^17 + 585025998130/99528987533*c_0110_5^16 + 1093752112070/99528987533*c_0110_5^15 - 4126189795631/99528987533*c_0110_5^14 - 3654559375923/99528987533*c_0110_5^13 + 15038393040091/99528987533*c_0110_5^12 + 4010066199003/99528987533*c_0110_5^11 - 29783300085198/99528987533*c_0110_5^10 + 4767994535572/99528987533*c_0110_5^9 + 32414856459368/99528987533*c_0110_5^8 - 16213069972943/99528987533*c_0110_5^7 - 17731929284019/99528987533*c_0110_5^6 + 14827854001093/99528987533*c_0110_5^5 + 2918153415312/99528987533*c_0110_5^4 - 5181019514319/99528987533*c_0110_5^3 + 787742168728/99528987533*c_0110_5^2 + 487548665620/99528987533*c_0110_5 - 85556416996/99528987533, c_0110_5^19 + 4*c_0110_5^18 - 11*c_0110_5^17 - 41*c_0110_5^16 + 73*c_0110_5^15 + 187*c_0110_5^14 - 286*c_0110_5^13 - 438*c_0110_5^12 + 694*c_0110_5^11 + 508*c_0110_5^10 - 1074*c_0110_5^9 - 183*c_0110_5^8 + 1006*c_0110_5^7 - 199*c_0110_5^6 - 499*c_0110_5^5 + 244*c_0110_5^4 + 95*c_0110_5^3 - 83*c_0110_5^2 + 6*c_0110_5 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB