Magma V2.19-8 Tue Aug 20 2013 16:14:39 on localhost [Seed = 593674021] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s633 geometric_solution 5.12154789 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 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.341116975543 0.659803978975 3 2 4 0 0132 3012 0132 0132 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 -1 0 1 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745052059972 1.051466709261 1 3 0 4 1230 0132 0132 2310 0 0 0 0 0 0 1 -1 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 -1 0 0 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745052059972 1.051466709261 1 2 3 3 0132 0132 1230 3012 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 0 0 0 0.937345898830 0.898206561295 2 5 5 1 3201 0132 3201 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 0 0 0 1 0 -1 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.053511829245 0.593598839892 4 4 5 5 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.167022449654 0.715949910357 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_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_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 656297010392802506288430939/34562960701517961821105512*c_0101_5^18 + 2640452913113895331979919471/17281480350758980910552756*c_0101_5^17 + 7505801537584006802680571235/34562960701517961821105512*c_0101_5^\ 16 - 8546690637674926265868084273/34562960701517961821105512*c_0101\ _5^15 + 28482843254673111515815088707/34562960701517961821105512*c_\ 0101_5^14 + 56088442443900931204013956307/3456296070151796182110551\ 2*c_0101_5^13 - 139799728972304879292954289093/34562960701517961821\ 105512*c_0101_5^12 - 161464630170292526831125109039/345629607015179\ 61821105512*c_0101_5^11 + 72664461715549463316824926105/34562960701\ 517961821105512*c_0101_5^10 + 72327876100020095504861462527/3456296\ 0701517961821105512*c_0101_5^9 - 2466931400338146057049514053/86407\ 40175379490455276378*c_0101_5^8 + 17292739769943150703825320885/172\ 81480350758980910552756*c_0101_5^7 + 99755793131225665583012281671/17281480350758980910552756*c_0101_5^6 + 11012273569563640648775513480/4320370087689745227638189*c_0101_5^\ 5 - 20226630895585354744545502240/4320370087689745227638189*c_0101_\ 5^4 - 12851883916742805170404032137/8640740175379490455276378*c_010\ 1_5^3 + 48631638502032109149199664823/34562960701517961821105512*c_\ 0101_5^2 + 5640473086428081947260438311/34562960701517961821105512*\ c_0101_5 - 4593672198719489156822859407/34562960701517961821105512, c_0011_0 - 1, c_0011_1 - 305736530151888385041750033/17281480350758980910552756*c_010\ 1_5^18 - 1450718201569069098849886767/8640740175379490455276378*c_0\ 101_5^17 - 7632957171002522975900411185/17281480350758980910552756*\ c_0101_5^16 - 6545410580402227582515778933/172814803507589809105527\ 56*c_0101_5^15 - 21441392317786189836676673445/17281480350758980910\ 552756*c_0101_5^14 - 56101386517716047563361054369/1728148035075898\ 0910552756*c_0101_5^13 - 12463156017432889218414821061/172814803507\ 58980910552756*c_0101_5^12 + 66661447503035389593871991293/17281480\ 350758980910552756*c_0101_5^11 + 63466732465645514518642164681/1728\ 1480350758980910552756*c_0101_5^10 + 44936699895731167606557167763/17281480350758980910552756*c_0101_5^9 + 15025033884936319915739518872/4320370087689745227638189*c_0101_5^\ 8 + 32487844611014469379295733829/8640740175379490455276378*c_0101_\ 5^7 - 4277175250486953525971721511/8640740175379490455276378*c_0101\ _5^6 - 15763212091522032812755465986/4320370087689745227638189*c_01\ 01_5^5 - 3119788526421290406233786632/4320370087689745227638189*c_0\ 101_5^4 + 4478355958401951870077352905/4320370087689745227638189*c_\ 0101_5^3 + 3350211676952433895192841179/17281480350758980910552756*\ c_0101_5^2 - 1776003648499177700278921217/1728148035075898091055275\ 6*c_0101_5 - 206675750969084519699456775/17281480350758980910552756\ , c_0011_4 + 90139820468355648238339353/4320370087689745227638189*c_0101_\ 5^18 + 853795082129542345281593979/4320370087689745227638189*c_0101\ _5^17 + 2236352954576587038161940634/4320370087689745227638189*c_01\ 01_5^16 + 1902114597694291009276353706/4320370087689745227638189*c_\ 0101_5^15 + 6318478758709935588033995716/4320370087689745227638189*\ c_0101_5^14 + 16448390304322153025818662590/43203700876897452276381\ 89*c_0101_5^13 + 3471777786728436561042052916/432037008768974522763\ 8189*c_0101_5^12 - 19482402554832487061770207214/432037008768974522\ 7638189*c_0101_5^11 - 18357357932705200712770585995/432037008768974\ 5227638189*c_0101_5^10 - 13192771707168830167861994141/432037008768\ 9745227638189*c_0101_5^9 - 17674438254039984461832369655/4320370087\ 689745227638189*c_0101_5^8 - 19018388069750647816975345449/43203700\ 87689745227638189*c_0101_5^7 + 2607307370538616076346032885/4320370\ 087689745227638189*c_0101_5^6 + 18286042695384573103313457839/43203\ 70087689745227638189*c_0101_5^5 + 3423194045461401345040916158/4320\ 370087689745227638189*c_0101_5^4 - 5114908511773013067434984029/4320370087689745227638189*c_0101_5^3 - 916596650222323117640821568/4320370087689745227638189*c_0101_5^2 + 494927761637598338117979069/4320370087689745227638189*c_0101_5 + 57669113435725436105787981/4320370087689745227638189, c_0101_0 - 54240607554608409585556326/4320370087689745227638189*c_0101_\ 5^18 - 510411632537167510176975264/4320370087689745227638189*c_0101\ _5^17 - 1312830684495717736751270558/4320370087689745227638189*c_01\ 01_5^16 - 1050018085538769687155127034/4320370087689745227638189*c_\ 0101_5^15 - 3696740806054992965461881679/4320370087689745227638189*\ c_0101_5^14 - 9620548734623071254874614081/432037008768974522763818\ 9*c_0101_5^13 - 1377489600351042903446850315/4320370087689745227638\ 189*c_0101_5^12 + 12114347474159912527432157901/4320370087689745227\ 638189*c_0101_5^11 + 10502371050967813581968903957/4320370087689745\ 227638189*c_0101_5^10 + 7086565168448321025072066095/43203700876897\ 45227638189*c_0101_5^9 + 9810178700014287436907343527/4320370087689\ 745227638189*c_0101_5^8 + 10449608927635414293576455726/43203700876\ 89745227638189*c_0101_5^7 - 2657281019070125181003127052/4320370087\ 689745227638189*c_0101_5^6 - 11339587687545805047500090405/43203700\ 87689745227638189*c_0101_5^5 - 1555310909208968913788517410/4320370\ 087689745227638189*c_0101_5^4 + 3373129359934978683274658512/432037\ 0087689745227638189*c_0101_5^3 + 499098788384212391795501921/432037\ 0087689745227638189*c_0101_5^2 - 333722003461663151210932263/432037\ 0087689745227638189*c_0101_5 - 37705828741069711925415210/432037008\ 7689745227638189, c_0101_1 - 14384415231299086251519483/17281480350758980910552756*c_0101\ _5^18 - 71851540933086929647929897/8640740175379490455276378*c_0101\ _5^17 - 423493557566217756456497595/17281480350758980910552756*c_01\ 01_5^16 - 453339050792165172757900555/17281480350758980910552756*c_\ 0101_5^15 - 1090589542532944125783628847/17281480350758980910552756\ *c_0101_5^14 - 3117626502270841074962073403/17281480350758980910552\ 756*c_0101_5^13 - 1665649082494060986892200491/17281480350758980910\ 552756*c_0101_5^12 + 3370884183309324934225916075/17281480350758980\ 910552756*c_0101_5^11 + 4292681225711764826801619439/17281480350758\ 980910552756*c_0101_5^10 + 2842625964300977864076699669/17281480350\ 758980910552756*c_0101_5^9 + 895459746701384545886643426/4320370087\ 689745227638189*c_0101_5^8 + 2105438585952450168774875125/864074017\ 5379490455276378*c_0101_5^7 + 336310183451201127564820627/864074017\ 5379490455276378*c_0101_5^6 - 887243061073258884881778078/432037008\ 7689745227638189*c_0101_5^5 - 389032100909111111839894234/432037008\ 7689745227638189*c_0101_5^4 + 281543910844191998125742784/432037008\ 7689745227638189*c_0101_5^3 + 338785798374188546572479805/172814803\ 50758980910552756*c_0101_5^2 - 164322050956164540433385631/17281480\ 350758980910552756*c_0101_5 - 17524415140868208694884033/1728148035\ 0758980910552756, c_0101_5^19 + 9*c_0101_5^18 + 61/3*c_0101_5^17 + 28/3*c_0101_5^16 + 60*c_0101_5^15 + 448/3*c_0101_5^14 - 48*c_0101_5^13 - 706/3*c_0101_5^12 - 304/3*c_0101_5^11 - 146/3*c_0101_5^10 - 379/3*c_0101_5^9 - 118*c_0101_5^8 + 388/3*c_0101_5^7 + 190*c_0101_5^6 - 176/3*c_0101_5^5 - 76*c_0101_5^4 + 17*c_0101_5^3 + 32/3*c_0101_5^2 - 2*c_0101_5 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB