Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 1461111687] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1428 geometric_solution 5.25969217 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.560250643253 0.205572313529 0 2 2 0 3201 0132 1023 0132 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 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.248090986827 0.394698702608 3 1 1 4 0132 0132 1023 0132 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 -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 0 0 0 0 0 0 0.523048596121 0.565582389118 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 0 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 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.033955573161 1.071647527768 3 6 2 5 2310 0132 0132 2310 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 -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.033955573161 1.071647527768 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 -1 0 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 -1 1 1 0 -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.420679417505 0.344215616823 6 4 3 6 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.029537336827 0.932206734876 ==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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1041842984658273443920567837/95000211187528379972679227*c_0110_5^24 - 9474191906486194898028222381/95000211187528379972679227*c_0110_5^\ 22 + 278067152993136889309693598015/95000211187528379972679227*c_01\ 10_5^20 - 2488345757615210527978921383606/9500021118752837997267922\ 7*c_0110_5^18 + 3975845398475802184083978019797/9500021118752837997\ 2679227*c_0110_5^16 - 6476575714489436704712847776300/9500021118752\ 8379972679227*c_0110_5^14 + 7136368235451085542618010709439/9500021\ 1187528379972679227*c_0110_5^12 - 6479405561560613895209189118610/9\ 5000211187528379972679227*c_0110_5^10 + 6299369495365219703172356195409/95000211187528379972679227*c_0110_5\ ^8 - 2705617733461754662207923443974/95000211187528379972679227*c_0\ 110_5^6 - 15212443359952488033058080535/95000211187528379972679227*\ c_0110_5^4 + 89912563572857639498034232374/950002111875283799726792\ 27*c_0110_5^2 - 3098434208207252254361595144/9500021118752837997267\ 9227, c_0011_0 - 1, c_0011_1 + 9809785193720812466912545/95000211187528379972679227*c_0110_\ 5^24 - 89207040420591263789323667/95000211187528379972679227*c_0110\ _5^22 + 2617488130284405176866791000/95000211187528379972679227*c_0\ 110_5^20 - 23423592323568055131067779546/95000211187528379972679227\ *c_0110_5^18 + 37243612902683805551567294720/9500021118752837997267\ 9227*c_0110_5^16 - 59363108056840070937482167476/950002111875283799\ 72679227*c_0110_5^14 + 65551729601623800512138697783/95000211187528\ 379972679227*c_0110_5^12 - 57547414013041793568643191644/9500021118\ 7528379972679227*c_0110_5^10 + 56749157524306930512602038316/950002\ 11187528379972679227*c_0110_5^8 - 22716896505832960520873163931/950\ 00211187528379972679227*c_0110_5^6 - 2595462629465702626294305433/95000211187528379972679227*c_0110_5^4 + 1041846422377605037152040649/95000211187528379972679227*c_0110_5^2 + 7827398287872162572540657/95000211187528379972679227, c_0011_4 + 47359318205444268877747953/95000211187528379972679227*c_0110\ _5^25 - 432619050974343342211095519/95000211187528379972679227*c_01\ 10_5^23 + 12655428548421697757115922186/95000211187528379972679227*\ c_0110_5^21 - 113612515196057236887330717263/9500021118752837997267\ 9227*c_0110_5^19 + 184741062750610811531329346967/95000211187528379\ 972679227*c_0110_5^17 - 296363466669672261822448158239/950002111875\ 28379972679227*c_0110_5^15 + 330424306041034378191045214583/9500021\ 1187528379972679227*c_0110_5^13 - 295938729094850661040520136764/95\ 000211187528379972679227*c_0110_5^11 + 288545848136367813627569138816/95000211187528379972679227*c_0110_5^\ 9 - 124778859101212138111536540294/95000211187528379972679227*c_011\ 0_5^7 - 4858684805408689855299986946/95000211187528379972679227*c_0\ 110_5^5 + 5394483978788696471084999218/95000211187528379972679227*c\ _0110_5^3 + 66027739965687823846298636/95000211187528379972679227*c\ _0110_5, c_0101_0 - 148317907734959702043254360/95000211187528379972679227*c_011\ 0_5^25 + 1354080556776306623881608376/95000211187528379972679227*c_\ 0110_5^23 - 39630334718957794144901380699/9500021118752837997267922\ 7*c_0110_5^21 + 355630853688147637064540676140/95000211187528379972\ 679227*c_0110_5^19 - 577670966785458766971430945453/950002111875283\ 79972679227*c_0110_5^17 + 933446672304232798863146558725/9500021118\ 7528379972679227*c_0110_5^15 - 1039845888691757418415931454455/9500\ 0211187528379972679227*c_0110_5^13 + 940037750026685877434179632763/95000211187528379972679227*c_0110_5^\ 11 - 915310011508652330475977499956/95000211187528379972679227*c_01\ 10_5^9 + 402033842810631642119566587134/95000211187528379972679227*\ c_0110_5^7 + 2325856921776174900089648267/9500021118752837997267922\ 7*c_0110_5^5 - 14021435779559590068531339949/9500021118752837997267\ 9227*c_0110_5^3 + 500415704239924368224885097/950002111875283799726\ 79227*c_0110_5, c_0101_2 - 55641129497948820546838702/95000211187528379972679227*c_0110\ _5^25 + 503180564444066736667037822/95000211187528379972679227*c_01\ 10_5^23 - 14824009533990996800849724302/95000211187528379972679227*\ c_0110_5^21 + 132136731828203473523430935755/9500021118752837997267\ 9227*c_0110_5^19 - 205360085951555244524193174540/95000211187528379\ 972679227*c_0110_5^17 + 332824421114450992777433316503/950002111875\ 28379972679227*c_0110_5^15 - 361404837927625426285100157177/9500021\ 1187528379972679227*c_0110_5^13 + 321888211910268980385223775613/95\ 000211187528379972679227*c_0110_5^11 - 315379312222751603185798579499/95000211187528379972679227*c_0110_5^\ 9 + 123610061236869495221291114473/95000211187528379972679227*c_011\ 0_5^7 + 11607362070801299479114424391/95000211187528379972679227*c_\ 0110_5^5 - 4775140979604134658984624664/95000211187528379972679227*\ c_0110_5^3 - 176570187404506670653102403/95000211187528379972679227\ *c_0110_5, c_0101_3 + 14970448379292952060048678/95000211187528379972679227*c_0110\ _5^24 - 135949793429216107831452312/95000211187528379972679227*c_01\ 10_5^22 + 3993848144479747604287615408/95000211187528379972679227*c\ _0110_5^20 - 35705094756697354169729775813/950002111875283799726792\ 27*c_0110_5^18 + 56668094392762215915903088346/95000211187528379972\ 679227*c_0110_5^16 - 92194434190755284281059342224/9500021118752837\ 9972679227*c_0110_5^14 + 100979623906038495754362225089/95000211187\ 528379972679227*c_0110_5^12 - 91333586272985270870532350997/9500021\ 1187528379972679227*c_0110_5^10 + 88656690011095751315531758945/950\ 00211187528379972679227*c_0110_5^8 - 37244158072469633596216325077/95000211187528379972679227*c_0110_5^6 - 1218188159030423148062700809/95000211187528379972679227*c_0110_5^\ 4 + 1599472553863728623830889822/95000211187528379972679227*c_0110_\ 5^2 - 19110664464733934846047714/95000211187528379972679227, c_0110_5^26 - 9*c_0110_5^24 + 266*c_0110_5^22 - 2363*c_0110_5^20 + 3580*c_0110_5^18 - 5753*c_0110_5^16 + 6147*c_0110_5^14 - 5345*c_0110_5^12 + 5267*c_0110_5^10 - 1834*c_0110_5^8 - 441*c_0110_5^6 + 114*c_0110_5^4 + 12*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB