Magma V2.19-8 Tue Aug 20 2013 16:16:03 on localhost [Seed = 3583265043] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0306 geometric_solution 4.34617502 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 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 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618619738815 0.582361077396 3 2 2 0 0132 3012 1230 0132 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 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.142989872593 0.806778881794 1 3 0 1 1230 3201 0132 3012 0 0 0 0 0 -1 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.142989872593 0.806778881794 1 4 2 4 0132 0132 2310 2310 0 0 0 0 0 1 -1 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 1 -1 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 1.241739655615 0.550609730652 3 3 5 5 3201 0132 3201 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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.379557698732 0.302680806284 4 6 4 6 2310 0132 0132 2310 0 0 0 0 0 1 -1 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 1 -1 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 -2.241137353910 0.895732665094 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 -1 1 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 -1 1 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.352277246355 0.030821112512 ==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' : 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_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_0101_1']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_5, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2220966092422312222546239/1956903820397252463841*c_0110_6^17 + 2158471148252221060604725/230223978870264995746*c_0110_6^16 + 61509504524475579968946791/3913807640794504927682*c_0110_6^15 - 345647992681690752601738748/1956903820397252463841*c_0110_6^14 + 203372874722839746574888846/1956903820397252463841*c_0110_6^13 + 3062477421595190443334378051/3913807640794504927682*c_0110_6^12 - 4464740335070883623536390695/3913807640794504927682*c_0110_6^11 - 3207774348912656174095636975/3913807640794504927682*c_0110_6^10 + 8550407969714269486791286263/3913807640794504927682*c_0110_6^9 + 2131040134284937421881747741/1956903820397252463841*c_0110_6^8 - 5528042064025896255680574895/3913807640794504927682*c_0110_6^7 - 5587278112718550346475814197/3913807640794504927682*c_0110_6^6 + 363909488975410297827551805/3913807640794504927682*c_0110_6^5 + 951103294525863363193682291/1956903820397252463841*c_0110_6^4 + 147648745136479539578697204/1956903820397252463841*c_0110_6^3 - 319798106917762202878286445/3913807640794504927682*c_0110_6^2 - 138301428655920795338666563/3913807640794504927682*c_0110_6 - 16692965949427766017863683/3913807640794504927682, c_0011_0 - 1, c_0011_1 + 81964951219613348849338/1956903820397252463841*c_0110_6^17 - 684058817432863198056569/1956903820397252463841*c_0110_6^16 - 1074981466144769438332725/1956903820397252463841*c_0110_6^15 + 12830792919853542597172763/1956903820397252463841*c_0110_6^14 - 8615675790972924173227323/1956903820397252463841*c_0110_6^13 - 55470695854047665975236659/1956903820397252463841*c_0110_6^12 + 86804913121820428465778625/1956903820397252463841*c_0110_6^11 + 50598120990189900983449556/1956903820397252463841*c_0110_6^10 - 159678467763613640983019547/1956903820397252463841*c_0110_6^9 - 64588057788161230075574582/1956903820397252463841*c_0110_6^8 + 103597669999134714911251507/1956903820397252463841*c_0110_6^7 + 93901049090113676294680015/1956903820397252463841*c_0110_6^6 - 12150654260172877750176635/1956903820397252463841*c_0110_6^5 - 32583589522624369360375666/1956903820397252463841*c_0110_6^4 - 199053230487085867695914/115111989435132497873*c_0110_6^3 + 5625275568870089650567511/1956903820397252463841*c_0110_6^2 + 2151583207540958829956737/1956903820397252463841*c_0110_6 + 233247718407127918122077/1956903820397252463841, c_0011_5 + 106255290433027237036012/1956903820397252463841*c_0110_6^17 - 885332315810810790156476/1956903820397252463841*c_0110_6^16 - 1405910264500198623926559/1956903820397252463841*c_0110_6^15 + 16616561171346383145068805/1956903820397252463841*c_0110_6^14 - 10938988553208243215116423/1956903820397252463841*c_0110_6^13 - 72105318705740755521977729/1956903820397252463841*c_0110_6^12 + 111584315536884554288516404/1956903820397252463841*c_0110_6^11 + 67308587108279376132045230/1956903820397252463841*c_0110_6^10 - 206420370822844130813942034/1956903820397252463841*c_0110_6^9 - 86679453784767454153479399/1956903820397252463841*c_0110_6^8 + 133709463769508157791873539/1956903820397252463841*c_0110_6^7 + 123708145554103132989497460/1956903820397252463841*c_0110_6^6 - 14454010658364525220773481/1956903820397252463841*c_0110_6^5 - 42726898991789645299718407/1956903820397252463841*c_0110_6^4 - 287631524387788942733055/115111989435132497873*c_0110_6^3 + 7330942267811107760278940/1956903820397252463841*c_0110_6^2 + 2885781927149999474549988/1956903820397252463841*c_0110_6 + 322167538100622268885683/1956903820397252463841, c_0101_1 - 96617214565176650184509/1956903820397252463841*c_0110_6^17 + 805925731064040550530336/1956903820397252463841*c_0110_6^16 + 1270581837776067164328124/1956903820397252463841*c_0110_6^15 - 15118521091684361304705124/1956903820397252463841*c_0110_6^14 + 10090567014611872955924187/1956903820397252463841*c_0110_6^13 + 65422524708903394864670892/1956903820397252463841*c_0110_6^12 - 102024197429897631868009538/1956903820397252463841*c_0110_6^11 - 60064313933747434073167073/1956903820397252463841*c_0110_6^10 + 187873624428984749621340998/1956903820397252463841*c_0110_6^9 + 77006387532317548047669020/1956903820397252463841*c_0110_6^8 - 121688335419313739053704384/1956903820397252463841*c_0110_6^7 - 111315325673056319124635079/1956903820397252463841*c_0110_6^6 + 13786134156282424372290072/1956903820397252463841*c_0110_6^5 + 38510557714885682726912687/1956903820397252463841*c_0110_6^4 + 247159183248866514841153/115111989435132497873*c_0110_6^3 - 6626710914311664089225536/1956903820397252463841*c_0110_6^2 - 2577796761888239409760689/1956903820397252463841*c_0110_6 - 284837456217817236069859/1956903820397252463841, c_0101_2 - 92691424861570858206974/1956903820397252463841*c_0110_6^17 + 772584725829155443325518/1956903820397252463841*c_0110_6^16 + 1224212076186336652974934/1956903820397252463841*c_0110_6^15 - 14499080017974795939878606/1956903820397252463841*c_0110_6^14 + 9585182779162662266174058/1956903820397252463841*c_0110_6^13 + 62874803984628868895481895/1956903820397252463841*c_0110_6^12 - 97536060671524340537042733/1956903820397252463841*c_0110_6^11 - 58422366885131690060511711/1956903820397252463841*c_0110_6^10 + 180292922945521054976513043/1956903820397252463841*c_0110_6^9 + 74980788739804658091497110/1956903820397252463841*c_0110_6^8 - 116855597576747318773350799/1956903820397252463841*c_0110_6^7 - 107421654066839459455717360/1956903820397252463841*c_0110_6^6 + 12890080734997083110248879/1956903820397252463841*c_0110_6^5 + 37146604765189587578961225/1956903820397252463841*c_0110_6^4 + 243090222899826920097201/115111989435132497873*c_0110_6^3 - 6371507110171843628715604/1956903820397252463841*c_0110_6^2 - 2491308759213345435742693/1956903820397252463841*c_0110_6 - 279348884524134528687487/1956903820397252463841, c_0101_5 + 1530894446851682312/134006972567092547*c_0110_6^17 - 12657031069642226379/134006972567092547*c_0110_6^16 - 21105783715260165812/134006972567092547*c_0110_6^15 + 238348236042424518866/134006972567092547*c_0110_6^14 - 141884915965138350414/134006972567092547*c_0110_6^13 - 1053568622803162130880/134006972567092547*c_0110_6^12 + 1545045414300854367012/134006972567092547*c_0110_6^11 + 1091356843160872683203/134006972567092547*c_0110_6^10 - 2946786488719805362454/134006972567092547*c_0110_6^9 - 1448003147340240899494/134006972567092547*c_0110_6^8 + 1903366846914054621727/134006972567092547*c_0110_6^7 + 1912861837054459578879/134006972567092547*c_0110_6^6 - 130696128238878847676/134006972567092547*c_0110_6^5 - 651219984808156699720/134006972567092547*c_0110_6^4 - 100158860245623815785/134006972567092547*c_0110_6^3 + 109283381252867389225/134006972567092547*c_0110_6^2 + 47427091341467770201/134006972567092547*c_0110_6 + 5686305976134445410/134006972567092547, c_0110_6^18 - 8*c_0110_6^17 - 16*c_0110_6^16 + 152*c_0110_6^15 - 51*c_0110_6^14 - 713*c_0110_6^13 + 825*c_0110_6^12 + 983*c_0110_6^11 - 1734*c_0110_6^10 - 1461*c_0110_6^9 + 990*c_0110_6^8 + 1582*c_0110_6^7 + 249*c_0110_6^6 - 448*c_0110_6^5 - 179*c_0110_6^4 + 54*c_0110_6^3 + 50*c_0110_6^2 + 12*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB