Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 947496264] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2935 geometric_solution 6.13165480 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 0 0 0 0 0 -1 0 1 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 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 1.036017378843 1.129688733636 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 0.573716641951 1.126214987572 5 3 0 1 0132 3201 0132 3012 0 0 0 0 0 1 -1 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 -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.573716641951 1.126214987572 1 4 2 5 0132 3201 2310 1023 0 0 0 0 0 -1 1 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 1 0 -1 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.090915748691 0.599804833532 6 1 3 6 0132 0132 2310 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.009576284442 0.731435538747 2 6 6 3 0132 2310 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 -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.009576284442 0.731435538747 4 4 5 5 0132 2310 1023 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 2.017896598068 1.366940166455 ==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' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0101_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), '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' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : 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_2'], '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' : negation(d['c_0101_5']), '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' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_2'], '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_0011_2, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 28773160609383984047561/12477033299031570296832*c_0101_6^17 + 116354933067980070606403/12477033299031570296832*c_0101_6^16 + 483045708966228859053361/12477033299031570296832*c_0101_6^15 - 611748619683460839424347/2079505549838595049472*c_0101_6^14 + 1299722420037960461266377/2079505549838595049472*c_0101_6^13 + 670948455160262994642601/12477033299031570296832*c_0101_6^12 - 11935805989848464054319251/4159011099677190098944*c_0101_6^11 + 20812977720008435560165079/6238516649515785148416*c_0101_6^10 + 333231808869954584689129/64984548432456095296*c_0101_6^9 - 686515899874690089566731/129969096864912190592*c_0101_6^8 + 56366717588655137824375/27850520756766897984*c_0101_6^7 + 532122240949434922832513/97476822648684142944*c_0101_6^6 - 4659516106387849850376155/194953645297368285888*c_0101_6^5 - 347744156200556763703001/16246137108114023824*c_0101_6^4 + 308980443834814548696031/16246137108114023824*c_0101_6^3 + 324311420364659761373567/24369205662171035736*c_0101_6^2 - 42747355164714244601045/3046150707771379467*c_0101_6 - 54775701284544674440439/6092301415542758934, c_0011_0 - 1, c_0011_1 - 10246635467544717637/389907290594736571776*c_0101_6^17 + 330514333581131858353/3119258324757892574208*c_0101_6^16 + 1380589459008165147709/3119258324757892574208*c_0101_6^15 - 3481079172717014776447/1039752774919297524736*c_0101_6^14 + 3681283200506109067809/519876387459648762368*c_0101_6^13 + 1122305817008312861291/1559629162378946287104*c_0101_6^12 - 34068485387218284283251/1039752774919297524736*c_0101_6^11 + 117608748340909037399689/3119258324757892574208*c_0101_6^10 + 30677153214197097277309/519876387459648762368*c_0101_6^9 - 15564865389675063892067/259938193729824381184*c_0101_6^8 + 1246997754158258237777/55701041513533795968*c_0101_6^7 + 6132334656209667685607/97476822648684142944*c_0101_6^6 - 13263213116472049811231/48738411324342071472*c_0101_6^5 - 501758368970293453231/2030767138514252978*c_0101_6^4 + 1752753982836898828515/8123068554057011912*c_0101_6^3 + 1872484975319665502149/12184602831085517868*c_0101_6^2 - 973345916209910043007/6092301415542758934*c_0101_6 - 316465452663207457576/3046150707771379467, c_0011_2 + 10246635467544717637/389907290594736571776*c_0101_6^17 - 330514333581131858353/3119258324757892574208*c_0101_6^16 - 1380589459008165147709/3119258324757892574208*c_0101_6^15 + 3481079172717014776447/1039752774919297524736*c_0101_6^14 - 3681283200506109067809/519876387459648762368*c_0101_6^13 - 1122305817008312861291/1559629162378946287104*c_0101_6^12 + 34068485387218284283251/1039752774919297524736*c_0101_6^11 - 117608748340909037399689/3119258324757892574208*c_0101_6^10 - 30677153214197097277309/519876387459648762368*c_0101_6^9 + 15564865389675063892067/259938193729824381184*c_0101_6^8 - 1246997754158258237777/55701041513533795968*c_0101_6^7 - 6132334656209667685607/97476822648684142944*c_0101_6^6 + 13263213116472049811231/48738411324342071472*c_0101_6^5 + 501758368970293453231/2030767138514252978*c_0101_6^4 - 1752753982836898828515/8123068554057011912*c_0101_6^3 - 1872484975319665502149/12184602831085517868*c_0101_6^2 + 973345916209910043007/6092301415542758934*c_0101_6 + 316465452663207457576/3046150707771379467, c_0101_1 + 3998569690546150015/891216664216540735488*c_0101_6^17 - 15446357073464448131/891216664216540735488*c_0101_6^16 - 70451474952253281545/891216664216540735488*c_0101_6^15 + 5206349680845332067/9283506918922299328*c_0101_6^14 - 164323758473170387271/148536110702756789248*c_0101_6^13 - 343915031466553289027/891216664216540735488*c_0101_6^12 + 1700733354821815565703/297072221405513578496*c_0101_6^11 - 1240337421429176888201/222804166054135183872*c_0101_6^10 - 433378465624630751305/37134027675689197312*c_0101_6^9 + 351422816654097745119/37134027675689197312*c_0101_6^8 - 92486838125038591157/55701041513533795968*c_0101_6^7 - 354359884821194016283/27850520756766897984*c_0101_6^6 + 635876771811320455753/13925260378383448992*c_0101_6^5 + 117720586613085656877/2320876729730574832*c_0101_6^4 - 19926966210458479323/580219182432643708*c_0101_6^3 - 58106551374857563891/1740657547297931124*c_0101_6^2 + 24228136135182900133/870328773648965562*c_0101_6 + 9495044318286613549/435164386824482781, c_0101_2 + 5270160637301502965/779814581189473143552*c_0101_6^17 - 81156180349391025745/3119258324757892574208*c_0101_6^16 - 373299591905118478987/3119258324757892574208*c_0101_6^15 + 877867701169288511221/1039752774919297524736*c_0101_6^14 - 429213119052863312791/259938193729824381184*c_0101_6^13 - 994755649076473567937/1559629162378946287104*c_0101_6^12 + 9042682015435132960831/1039752774919297524736*c_0101_6^11 - 25827667411025466335935/3119258324757892574208*c_0101_6^10 - 2349796547972505121097/129969096864912190592*c_0101_6^9 + 3825753624327427787247/259938193729824381184*c_0101_6^8 - 951706269908478472/435164386824482781*c_0101_6^7 - 1955709228026913084287/97476822648684142944*c_0101_6^6 + 427107969825777333559/6092301415542758934*c_0101_6^5 + 155628551302625476911/2030767138514252978*c_0101_6^4 - 436582998818762840451/8123068554057011912*c_0101_6^3 - 157237939632717479278/3046150707771379467*c_0101_6^2 + 258104544789485700331/6092301415542758934*c_0101_6 + 100109550287241243988/3046150707771379467, c_0101_5 + 3256616108422349837/1559629162378946287104*c_0101_6^17 - 28724913430544546609/3119258324757892574208*c_0101_6^16 - 96724302345457510307/3119258324757892574208*c_0101_6^15 + 285110741383542789335/1039752774919297524736*c_0101_6^14 - 10944188768021428527/16246137108114023824*c_0101_6^13 + 228734799299426692471/779814581189473143552*c_0101_6^12 + 2284971179582329800419/1039752774919297524736*c_0101_6^11 - 10964720907670264229093/3119258324757892574208*c_0101_6^10 - 366874489215320905695/129969096864912190592*c_0101_6^9 + 1079629731463948419011/259938193729824381184*c_0101_6^8 - 21027737831163077723/6962630189191724496*c_0101_6^7 - 448026502133014769999/194953645297368285888*c_0101_6^6 + 1951889300735514148727/97476822648684142944*c_0101_6^5 + 211795115454230375383/16246137108114023824*c_0101_6^4 - 126130635133515334327/8123068554057011912*c_0101_6^3 - 49737149566296593803/6092301415542758934*c_0101_6^2 + 64286339068023419423/6092301415542758934*c_0101_6 + 21204793941489402515/3046150707771379467, c_0101_6^18 - 3*c_0101_6^17 - 21*c_0101_6^16 + 110*c_0101_6^15 - 138*c_0101_6^14 - 305*c_0101_6^13 + 1217*c_0101_6^12 - 146*c_0101_6^11 - 3724*c_0101_6^10 - 48*c_0101_6^9 + 1504*c_0101_6^8 - 3264*c_0101_6^7 + 7872*c_0101_6^6 + 20096*c_0101_6^5 + 1536*c_0101_6^4 - 14336*c_0101_6^3 + 10240*c_0101_6 + 4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB