Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 509575735] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0044 geometric_solution 3.61096459 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.146548358842 0.031359859138 0 0 2 2 2310 0132 2310 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 5.653369150922 1.372424597696 3 1 1 3 0132 3201 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.386684247695 0.245223962006 2 2 5 4 0132 2310 0132 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 -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.514645119756 0.638218937632 6 5 3 5 0132 2031 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 0 1 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.745489427115 0.254919936501 4 6 4 3 1302 2310 2031 0132 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 0 -1 1 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745489427115 0.254919936501 4 6 6 5 0132 1230 3012 3201 0 0 0 0 0 1 -1 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 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.799028520061 0.410671918703 ==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' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 7360330366012625559379219/3497821435988899135249008*c_0101_6^16 - 67247883887777862595676869/3497821435988899135249008*c_0101_6^15 - 57738545555604519218856359/3497821435988899135249008*c_0101_6^14 - 1274225011779877956232735835/3497821435988899135249008*c_0101_6^13 - 7573214123628817835155201/74421732680614875218064*c_0101_6^12 - 464236101239193633131829355/218613839749306195953063*c_0101_6^11 - 1022569066968876716586161425/3497821435988899135249008*c_0101_6^10 - 5429601278760242763696618905/874455358997224783812252*c_0101_6^9 - 1844107314521507550071021609/3497821435988899135249008*c_0101_6^8 - 36063406262427429924708986489/3497821435988899135249008*c_0101_6^7 - 1549295157725815307893392769/3497821435988899135249008*c_0101_6^6 - 34243729707503753257765655705/3497821435988899135249008*c_0101_6^5 + 813188982108259172239154233/3497821435988899135249008*c_0101_6^4 - 1405613025455152970091289511/291485119665741594604084*c_0101_6^3 + 1335869326337036669229237515/1748910717994449567624504*c_0101_6^2 - 384520088223671082602251069/437227679498612391906126*c_0101_6 + 190000586990138312859482579/437227679498612391906126, c_0011_0 - 1, c_0011_2 - 88353749413053829897/4878412044614922085424*c_0101_6^16 + 899325254795173235029/4878412044614922085424*c_0101_6^15 + 1741686608645186993/4878412044614922085424*c_0101_6^14 + 13052377950035979588279/4878412044614922085424*c_0101_6^13 - 248442710462539042729/103796000949253661392*c_0101_6^12 + 3886662545431344814394/304900752788432630339*c_0101_6^11 - 62232288444121830564901/4878412044614922085424*c_0101_6^10 + 68275105593440100673035/2439206022307461042712*c_0101_6^9 - 152416631647050470119165/4878412044614922085424*c_0101_6^8 + 156545204307171690156769/4878412044614922085424*c_0101_6^7 - 210519345063792155080287/4878412044614922085424*c_0101_6^6 + 94781813753797399047583/4878412044614922085424*c_0101_6^5 - 166588001590261212157319/4878412044614922085424*c_0101_6^4 + 16351051662322641623055/2439206022307461042712*c_0101_6^3 - 8057165163084558185997/609801505576865260678*c_0101_6^2 + 565508324510742212235/304900752788432630339*c_0101_6 - 371743736762604559210/304900752788432630339, c_0011_4 + 44423309421561096891/4878412044614922085424*c_0101_6^16 - 441130314672445829295/4878412044614922085424*c_0101_6^15 - 49471589766203719199/4878412044614922085424*c_0101_6^14 - 7173095170783379116241/4878412044614922085424*c_0101_6^13 + 82124497000945254423/103796000949253661392*c_0101_6^12 - 9838562697593892439637/1219603011153730521356*c_0101_6^11 + 25653271058646051340899/4878412044614922085424*c_0101_6^10 - 51765992348654832999149/2439206022307461042712*c_0101_6^9 + 70581837134501118103483/4878412044614922085424*c_0101_6^8 - 142433871510560288672707/4878412044614922085424*c_0101_6^7 + 103029691475548630685777/4878412044614922085424*c_0101_6^6 - 94887813355481623515401/4878412044614922085424*c_0101_6^5 + 80402215424481597800905/4878412044614922085424*c_0101_6^4 - 9934661893745370763959/2439206022307461042712*c_0101_6^3 + 6838468654066712949167/1219603011153730521356*c_0101_6^2 - 61629084309939208671/304900752788432630339*c_0101_6 + 39311148123117695099/304900752788432630339, c_0101_0 - 47521777973000897379/4878412044614922085424*c_0101_6^16 + 433117680134007937167/4878412044614922085424*c_0101_6^15 + 421247665410051178047/4878412044614922085424*c_0101_6^14 + 7876021105141739382433/4878412044614922085424*c_0101_6^13 + 47480504605630549065/103796000949253661392*c_0101_6^12 + 10334524322510394456539/1219603011153730521356*c_0101_6^11 + 6717221125036770015701/4878412044614922085424*c_0101_6^10 + 50934295372309035727889/2439206022307461042712*c_0101_6^9 + 16233440367000503898541/4878412044614922085424*c_0101_6^8 + 127913873098222428990099/4878412044614922085424*c_0101_6^7 + 27819422639353819702191/4878412044614922085424*c_0101_6^6 + 70126295622908935903065/4878412044614922085424*c_0101_6^5 + 28412694595319557953447/4878412044614922085424*c_0101_6^4 + 3178820407379359446659/2439206022307461042712*c_0101_6^3 + 3671513739294144627537/1219603011153730521356*c_0101_6^2 - 181843461674889405521/304900752788432630339*c_0101_6 + 162437256634331611437/304900752788432630339, c_0101_1 + 45732662785800085095/4878412044614922085424*c_0101_6^16 - 339573228583230674513/4878412044614922085424*c_0101_6^15 - 1119385214320486830621/4878412044614922085424*c_0101_6^14 - 8184498463243691590439/4878412044614922085424*c_0101_6^13 - 313803698843297820431/103796000949253661392*c_0101_6^12 - 20806257506268127916651/2439206022307461042712*c_0101_6^11 - 71715181732520464361705/4878412044614922085424*c_0101_6^10 - 12626902557938862438347/609801505576865260678*c_0101_6^9 - 177893649920262192496613/4878412044614922085424*c_0101_6^8 - 132481659584239681797829/4878412044614922085424*c_0101_6^7 - 233679649199745850715701/4878412044614922085424*c_0101_6^6 - 88125762170501938200479/4878412044614922085424*c_0101_6^5 - 157538746890516842515233/4878412044614922085424*c_0101_6^4 - 2233773640774296586741/609801505576865260678*c_0101_6^3 - 5889191581563459905557/609801505576865260678*c_0101_6^2 + 714959466294358500335/609801505576865260678*c_0101_6 - 416699614399094148880/304900752788432630339, c_0101_3 - 97912229986116162813/4878412044614922085424*c_0101_6^16 + 996298651365146332947/4878412044614922085424*c_0101_6^15 - 69277158463367407421/4878412044614922085424*c_0101_6^14 + 15234693322729758478969/4878412044614922085424*c_0101_6^13 - 275757495897061997415/103796000949253661392*c_0101_6^12 + 39627124744344015080355/2439206022307461042712*c_0101_6^11 - 80008434392055090348297/4878412044614922085424*c_0101_6^10 + 12310170233999438287566/304900752788432630339*c_0101_6^9 - 216184508363673492780685/4878412044614922085424*c_0101_6^8 + 254645331174941083945255/4878412044614922085424*c_0101_6^7 - 315447999874244882753717/4878412044614922085424*c_0101_6^6 + 162794555994875143504849/4878412044614922085424*c_0101_6^5 - 250166448448233880844921/4878412044614922085424*c_0101_6^4 + 11775452759587058070255/1219603011153730521356*c_0101_6^3 - 22627344726873690447085/1219603011153730521356*c_0101_6^2 + 753465159042937981652/304900752788432630339*c_0101_6 - 342150935269578103330/304900752788432630339, c_0101_6^17 - 9*c_0101_6^16 - 9*c_0101_6^15 - 175*c_0101_6^14 - 73*c_0101_6^13 - 1032*c_0101_6^12 - 287*c_0101_6^11 - 3066*c_0101_6^10 - 703*c_0101_6^9 - 5221*c_0101_6^8 - 1017*c_0101_6^7 - 5175*c_0101_6^6 - 745*c_0101_6^5 - 2774*c_0101_6^4 - 140*c_0101_6^3 - 640*c_0101_6^2 + 80*c_0101_6 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB