Magma V2.19-8 Wed Aug 21 2013 01:03:42 on localhost [Seed = 1443909228] Type ? for help. Type -D to quit. Loading file "L14n21840__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n21840 geometric_solution 11.37352243 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 0213 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 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 4 -4 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.318057622436 0.997378679312 0 4 0 5 0132 0132 0213 0132 1 1 1 1 0 0 0 0 0 0 1 -1 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 1 0 0 0 4 -4 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313500672690 0.472811509850 6 5 7 0 0132 0321 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 4 0 0 -4 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.072955993610 1.358069797786 4 8 0 9 0213 0132 0132 0132 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 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.150922627554 1.220930826669 3 1 10 5 0213 0132 0132 0321 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 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 1.009173366236 1.104482014748 11 4 1 2 0132 0321 0132 0321 1 1 1 1 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797367825319 0.863636424878 2 10 11 9 0132 0132 0132 3201 1 1 1 1 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 4 0 0 -4 -4 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.720298491322 1.602468496654 12 12 12 2 0132 1302 3012 0132 1 1 1 0 0 0 0 0 0 0 0 0 1 -1 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 3 -3 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399971355814 0.370588669080 11 3 10 9 1230 0132 3120 2310 1 1 1 1 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 0 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121440027234 0.364454605428 8 6 3 12 3201 2310 0132 3012 1 1 1 1 0 1 0 -1 -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 4 -1 -3 -3 0 0 3 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.654713072013 1.246459489979 11 6 8 4 2031 0132 3120 0132 1 1 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 0 -1 0 1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383877964875 0.478612589410 5 8 10 6 0132 3012 1302 0132 1 1 1 1 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 1 0 -1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.224986823911 0.789587198294 7 7 9 7 0132 1230 1230 2031 1 1 0 1 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 0 -3 3 0 0 0 0 -1 1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.206402154221 0.745096043398 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_9']), 'c_1001_2' : negation(d['c_0110_9']), 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_9']), '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : negation(d['c_1001_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_9']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : negation(d['c_0110_9']), 'c_1100_0' : negation(d['c_1001_12']), 'c_1100_3' : negation(d['c_1001_12']), 'c_1100_2' : negation(d['c_1001_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_9']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : negation(d['c_1001_10']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : negation(d['c_0110_9']), 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : negation(d['c_0110_9']), 'c_1100_8' : d['c_0011_9'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0110_9'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_3'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_11']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_9, c_0101_0, c_0101_12, c_0101_8, c_0110_9, c_1001_0, c_1001_10, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 18482025592683179223388194550205/365337379715179817793954933226*c_1\ 001_12^10 + 496233559069226666648443746462756/182668689857589908896\ 977466613*c_1001_12^9 - 3019074263977711974877781831139639/36533737\ 9715179817793954933226*c_1001_12^8 + 7047234741056743912962024685657301/365337379715179817793954933226*c\ _1001_12^7 + 739645732629072839745046726887852/18266868985758990889\ 6977466613*c_1001_12^6 - 1310252364053609001736353169984345/3653373\ 79715179817793954933226*c_1001_12^5 - 339375109337075132560036423545833/9614141571452100468261971927*c_10\ 01_12^4 + 1802507525450037026217599179302422/1826686898575899088969\ 77466613*c_1001_12^3 + 1850463556888401922897891802144749/182668689\ 857589908896977466613*c_1001_12^2 + 1910823415128572064506297180500836/182668689857589908896977466613*c\ _1001_12 - 2852814310753620652745755086892873/365337379715179817793\ 954933226, c_0011_0 - 1, c_0011_10 + 398250847716126556350305/8960057382527586643300999*c_1001_1\ 2^10 - 21317495872396772999178977/8960057382527586643300999*c_1001_\ 12^9 + 61443719720954252203562149/8960057382527586643300999*c_1001_\ 12^8 - 143374152401638616250689026/8960057382527586643300999*c_1001\ _12^7 - 52789973602876769501553238/8960057382527586643300999*c_1001\ _12^6 + 12277138240648948111127579/8960057382527586643300999*c_1001\ _12^5 + 258411417814017351422745350/8960057382527586643300999*c_100\ 1_12^4 - 38139377058278739657879590/8960057382527586643300999*c_100\ 1_12^3 - 50121654178843472198079355/8960057382527586643300999*c_100\ 1_12^2 - 75262381782394943673967949/8960057382527586643300999*c_100\ 1_12 + 38520302592579850012981693/8960057382527586643300999, c_0011_11 - 849935425335797510586900/8960057382527586643300999*c_1001_1\ 2^10 + 45702998311194332512656395/8960057382527586643300999*c_1001_\ 12^9 - 142097804165084072937036124/8960057382527586643300999*c_1001\ _12^8 + 329714667227984886011465778/8960057382527586643300999*c_100\ 1_12^7 + 56774633440219080120773760/8960057382527586643300999*c_100\ 1_12^6 - 92922700965269157798071553/8960057382527586643300999*c_100\ 1_12^5 - 608116311870020643729114892/8960057382527586643300999*c_10\ 01_12^4 + 222342968458827320382213639/8960057382527586643300999*c_1\ 001_12^3 + 206031601735845391696670648/8960057382527586643300999*c_\ 1001_12^2 + 170269567749123640844126814/8960057382527586643300999*c\ _1001_12 - 161477689971906309183994526/8960057382527586643300999, c_0011_12 + 1, c_0011_3 - 1758283928676213001345850/8960057382527586643300999*c_1001_1\ 2^10 + 94506096291238933060036565/8960057382527586643300999*c_1001_\ 12^9 - 291972137607148704649920595/8960057382527586643300999*c_1001\ _12^8 + 686480354607503900392806061/8960057382527586643300999*c_100\ 1_12^7 + 102415952188608994715597360/8960057382527586643300999*c_10\ 01_12^6 - 122298181197915250730338459/8960057382527586643300999*c_1\ 001_12^5 - 1208848733894611572610817450/8960057382527586643300999*c\ _1001_12^4 + 383108568445953069760361102/8960057382527586643300999*\ c_1001_12^3 + 328014561862737559657646524/8960057382527586643300999\ *c_1001_12^2 + 349377987536634026213724978/896005738252758664330099\ 9*c_1001_12 - 275528505093402079337470686/8960057382527586643300999\ , c_0011_9 - 334558393676872654871830/8960057382527586643300999*c_1001_12\ ^10 + 17927677723233161781465057/8960057382527586643300999*c_1001_1\ 2^9 - 52675668937749940459416347/8960057382527586643300999*c_1001_1\ 2^8 + 124333277082286914527442064/8960057382527586643300999*c_1001_\ 12^7 + 30574616498615335905699904/8960057382527586643300999*c_1001_\ 12^6 + 7271973534094692623242298/8960057382527586643300999*c_1001_1\ 2^5 - 250136207268951812364001969/8960057382527586643300999*c_1001_\ 12^4 + 44030959166675300814330422/8960057382527586643300999*c_1001_\ 12^3 + 49564482338141062547791102/8960057382527586643300999*c_1001_\ 12^2 + 89593665473016150474642822/8960057382527586643300999*c_1001_\ 12 - 53687126013656091423798780/8960057382527586643300999, c_0101_0 - 887552788482770180733925/8960057382527586643300999*c_1001_12\ ^10 + 47636332901184498095026245/8960057382527586643300999*c_1001_1\ 2^9 - 143699146107385426410940255/8960057382527586643300999*c_1001_\ 12^8 + 335834925368794112646837146/8960057382527586643300999*c_1001\ _12^7 + 76598058115277836416251282/8960057382527586643300999*c_1001\ _12^6 - 53405987257753560435718093/8960057382527586643300999*c_1001\ _12^5 - 612767198876631198539319028/8960057382527586643300999*c_100\ 1_12^4 + 146868652661037922170954628/8960057382527586643300999*c_10\ 01_12^3 + 165632480345891777179952071/8960057382527586643300999*c_1\ 001_12^2 + 179762959831117753460060553/8960057382527586643300999*c_\ 1001_12 - 129805290429624858220409235/8960057382527586643300999, c_0101_12 - 99106368859887217347460/8960057382527586643300999*c_1001_12\ ^10 + 5270376786260961281021274/8960057382527586643300999*c_1001_12\ ^9 - 13467203375120675796239820/8960057382527586643300999*c_1001_12\ ^8 + 31784354031962306232453484/8960057382527586643300999*c_1001_12\ ^7 + 22153418546816503463195278/8960057382527586643300999*c_1001_12\ ^6 + 9217961461315940244263314/8960057382527586643300999*c_1001_12^\ 5 - 56622052377016160116207294/8960057382527586643300999*c_1001_12^\ 4 - 10938188855485166813773942/8960057382527586643300999*c_1001_12^\ 3 + 119478057227754150921776/8960057382527586643300999*c_1001_12^2 + 8605315279653857629039090/8960057382527586643300999*c_1001_12 + 3568987153204707780611842/8960057382527586643300999, c_0101_8 + 885590150440715440308850/8960057382527586643300999*c_1001_12\ ^10 - 47556891860646289147529295/8960057382527586643300999*c_1001_1\ 2^9 + 144720021880900575420300217/8960057382527586643300999*c_1001_\ 12^8 - 336557483900862833134961207/8960057382527586643300999*c_1001\ _12^7 - 73588322724797338302962388/8960057382527586643300999*c_1001\ _12^6 + 70314104721795563329264082/8960057382527586643300999*c_1001\ _12^5 + 627511139756076419836760537/8960057382527586643300999*c_100\ 1_12^4 - 176502049697509458147009076/8960057382527586643300999*c_10\ 01_12^3 - 183091444251405568703836948/8960057382527586643300999*c_1\ 001_12^2 - 181549728334543277014517192/8960057382527586643300999*c_\ 1001_12 + 148885723747443246410975799/8960057382527586643300999, c_0110_9 + 99106368859887217347460/8960057382527586643300999*c_1001_12^\ 10 - 5270376786260961281021274/8960057382527586643300999*c_1001_12^\ 9 + 13467203375120675796239820/8960057382527586643300999*c_1001_12^\ 8 - 31784354031962306232453484/8960057382527586643300999*c_1001_12^\ 7 - 22153418546816503463195278/8960057382527586643300999*c_1001_12^\ 6 - 9217961461315940244263314/8960057382527586643300999*c_1001_12^5 + 56622052377016160116207294/8960057382527586643300999*c_1001_12^4 + 10938188855485166813773942/8960057382527586643300999*c_1001_12^3 - 119478057227754150921776/8960057382527586643300999*c_1001_12^2 - 17565372662181444272340089/8960057382527586643300999*c_1001_12 - 3568987153204707780611842/8960057382527586643300999, c_1001_0 + 170985577664703795801195/8960057382527586643300999*c_1001_12\ ^10 - 9209639625501554986599648/8960057382527586643300999*c_1001_12\ ^9 + 29410427611589823579042091/8960057382527586643300999*c_1001_12\ ^8 - 68843736901174322843193091/8960057382527586643300999*c_1001_12\ ^7 - 4502004372679409544476741/8960057382527586643300999*c_1001_12^\ 6 + 17871051212127157497931996/8960057382527586643300999*c_1001_12^\ 5 + 125172448880505528603530302/8960057382527586643300999*c_1001_12\ ^4 - 43684164609669633729109684/8960057382527586643300999*c_1001_12\ ^3 - 42592556183601098436324519/8960057382527586643300999*c_1001_12\ ^2 - 45685688525790822279222129/8960057382527586643300999*c_1001_12 + 30516598225909488108721335/8960057382527586643300999, c_1001_10 - 334558393676872654871830/8960057382527586643300999*c_1001_1\ 2^10 + 17927677723233161781465057/8960057382527586643300999*c_1001_\ 12^9 - 52675668937749940459416347/8960057382527586643300999*c_1001_\ 12^8 + 124333277082286914527442064/8960057382527586643300999*c_1001\ _12^7 + 30574616498615335905699904/8960057382527586643300999*c_1001\ _12^6 + 7271973534094692623242298/8960057382527586643300999*c_1001_\ 12^5 - 250136207268951812364001969/8960057382527586643300999*c_1001\ _12^4 + 44030959166675300814330422/8960057382527586643300999*c_1001\ _12^3 + 49564482338141062547791102/8960057382527586643300999*c_1001\ _12^2 + 89593665473016150474642822/8960057382527586643300999*c_1001\ _12 - 53687126013656091423798780/8960057382527586643300999, c_1001_12^11 - 272/5*c_1001_12^10 + 201*c_1001_12^9 - 2481/5*c_1001_12^8 + 941/5*c_1001_12^7 + 624/5*c_1001_12^6 + 646*c_1001_12^5 - 3424/5*c_1001_12^4 - 293/5*c_1001_12^3 - 324/5*c_1001_12^2 + 1493/5*c_1001_12 - 551/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.510 Total time: 0.720 seconds, Total memory usage: 32.09MB