Magma V2.19-8 Tue Aug 20 2013 23:26:29 on localhost [Seed = 1360474225] Type ? for help. Type -D to quit. Loading file "K10a113__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a113 geometric_solution 5.81712969 oriented_manifold CS_known 0.0000000000000005 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 0 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 0 0 0 0 0 0 0 0 0 0 0.414949502517 2.135858463723 0 1 0 1 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.391185996162 0.161738851385 3 0 5 4 3201 0132 0132 0132 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 -1 0 1 -1 0 8 -7 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.279240344705 0.815244739247 6 6 0 2 0132 1230 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 -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.279240344705 0.815244739247 5 5 2 6 0132 0213 0132 3201 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 7 -7 8 -8 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400223879142 0.361087049068 4 6 4 2 0132 1302 0213 0132 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 0 8 -8 0 0 0 0 -8 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.222367900397 0.881628080162 3 4 3 5 0132 2310 3012 2031 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 7 0 -7 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623968943633 1.097826106828 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_1'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_2'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_1001_2']})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 131959576433763514705187721395/349325856273597941536304938696*c_100\ 1_2^12 + 1738367236317128817489955240427/34932585627359794153630493\ 8696*c_1001_2^11 - 4226832202374609804867437396389/1746629281367989\ 70768152469348*c_1001_2^10 + 5423275076726401973194424611595/873314\ 64068399485384076234674*c_1001_2^9 - 374278826202536241883470175787/7939224006218135034916021334*c_1001_\ 2^8 - 9047914613683339619065312744520/43665732034199742692038117337\ *c_1001_2^7 + 80234115136743145805371844028083/17466292813679897076\ 8152469348*c_1001_2^6 + 149860958195459520622020016571469/174662928\ 136798970768152469348*c_1001_2^5 - 172658010078221327518549237483207/349325856273597941536304938696*c_\ 1001_2^4 - 85387067076108598609433661091959/87331464068399485384076\ 234674*c_1001_2^3 + 102608414954609298786721785842181/1746629281367\ 98970768152469348*c_1001_2^2 + 166363926737964804539401437830859/34\ 9325856273597941536304938696*c_1001_2 - 120600528520794400297651895247083/349325856273597941536304938696, c_0011_0 - 1, c_0011_3 + 12000014980125892273153/5082729837527615259229207*c_1001_2^1\ 2 - 162667678558047980261489/5082729837527615259229207*c_1001_2^11 + 830273826416557573902920/5082729837527615259229207*c_1001_2^10 - 2285142065291448938759647/5082729837527615259229207*c_1001_2^9 + 2377416432079489613517873/5082729837527615259229207*c_1001_2^8 + 5545074335088239684384035/5082729837527615259229207*c_1001_2^7 - 16182339758312922081714945/5082729837527615259229207*c_1001_2^6 - 21953712230748596086104520/5082729837527615259229207*c_1001_2^5 + 23037977535309506392582204/5082729837527615259229207*c_1001_2^4 + 28247002225757483281210408/5082729837527615259229207*c_1001_2^3 - 22667116881255337792296649/5082729837527615259229207*c_1001_2^2 - 12377960090978031024447316/5082729837527615259229207*c_1001_2 + 10612620404424338878488846/5082729837527615259229207, c_0011_4 + 1402158449803253418938/5082729837527615259229207*c_1001_2^12 - 20695167992889963538889/5082729837527615259229207*c_1001_2^11 + 117387755442119570453637/5082729837527615259229207*c_1001_2^10 - 352572107935379093452784/5082729837527615259229207*c_1001_2^9 + 462221719977754297728402/5082729837527615259229207*c_1001_2^8 + 609008479855252349129837/5082729837527615259229207*c_1001_2^7 - 2644619423364055963179313/5082729837527615259229207*c_1001_2^6 - 2183815636727293117400512/5082729837527615259229207*c_1001_2^5 + 8895900889793533666592557/5082729837527615259229207*c_1001_2^4 + 6170529271155776937133187/5082729837527615259229207*c_1001_2^3 - 5666250804474127302102831/5082729837527615259229207*c_1001_2^2 - 2347017452576588608658672/5082729837527615259229207*c_1001_2 + 1115485309504004037012334/5082729837527615259229207, c_0101_0 - 1197363616174609452941/5082729837527615259229207*c_1001_2^12 + 16917922551848721532580/5082729837527615259229207*c_1001_2^11 - 91886190979358189438490/5082729837527615259229207*c_1001_2^10 + 270751832640192710755275/5082729837527615259229207*c_1001_2^9 - 332926084889356340245128/5082729837527615259229207*c_1001_2^8 - 559399235065708208001776/5082729837527615259229207*c_1001_2^7 + 2248220127753511787843445/5082729837527615259229207*c_1001_2^6 + 1058696697866172748953467/5082729837527615259229207*c_1001_2^5 - 4362081316203574751439617/5082729837527615259229207*c_1001_2^4 - 356293987285074337077164/5082729837527615259229207*c_1001_2^3 + 7004966341647088802195615/5082729837527615259229207*c_1001_2^2 - 4090966961563166151080539/5082729837527615259229207*c_1001_2 - 5799206153988994019450782/5082729837527615259229207, c_0101_1 + 1941167441607708860096/5082729837527615259229207*c_1001_2^12 - 27800007444707456155110/5082729837527615259229207*c_1001_2^11 + 154893182233891906042687/5082729837527615259229207*c_1001_2^10 - 477005097834476391720678/5082729837527615259229207*c_1001_2^9 + 680343213442494963457384/5082729837527615259229207*c_1001_2^8 + 596563795345294670877905/5082729837527615259229207*c_1001_2^7 - 3391464232045202807170453/5082729837527615259229207*c_1001_2^6 - 1328233200003042654314868/5082729837527615259229207*c_1001_2^5 + 6883453955054506831212691/5082729837527615259229207*c_1001_2^4 - 1042370147219639831189529/5082729837527615259229207*c_1001_2^3 - 8893868814136263875821575/5082729837527615259229207*c_1001_2^2 + 3544894026443364359983902/5082729837527615259229207*c_1001_2 + 3185974098203953571023556/5082729837527615259229207, c_0101_2 - 15138684933731975365760/5082729837527615259229207*c_1001_2^1\ 2 + 195510532872115419401679/5082729837527615259229207*c_1001_2^11 - 914810014471856405899519/5082729837527615259229207*c_1001_2^10 + 2188976558912697445049174/5082729837527615259229207*c_1001_2^9 - 969342621542187877457228/5082729837527615259229207*c_1001_2^8 - 9689362753777384440271777/5082729837527615259229207*c_1001_2^7 + 17793112717962784144311157/5082729837527615259229207*c_1001_2^6 + 39135319962576076225960385/5082729837527615259229207*c_1001_2^5 - 15183166965790044922083862/5082729837527615259229207*c_1001_2^4 - 45738734404518447701768189/5082729837527615259229207*c_1001_2^3 + 18344089226107744914372760/5082729837527615259229207*c_1001_2^2 + 23236784147268782144063022/5082729837527615259229207*c_1001_2 - 13717912551070585904563771/5082729837527615259229207, c_1001_2^13 - 14*c_1001_2^12 + 75*c_1001_2^11 - 218*c_1001_2^10 + 264*c_1001_2^9 + 436*c_1001_2^8 - 1658*c_1001_2^7 - 1252*c_1001_2^6 + 3139*c_1001_2^5 + 1411*c_1001_2^4 - 3666*c_1001_2^3 + 85*c_1001_2^2 + 1934*c_1001_2 - 781 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB