Magma V2.19-8 Tue Aug 20 2013 16:19:08 on localhost [Seed = 2395935731] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3267 geometric_solution 6.39224519 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 2310 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.516770635021 0.743037419506 0 4 2 5 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 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.472606375804 0.778015736283 0 0 3 1 3201 0132 3012 3012 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 -1 0 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.421546769802 0.866583390319 5 2 4 0 3201 1230 3201 0132 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 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.472606375804 0.778015736283 3 1 6 6 2310 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 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.569452821784 1.418683163019 5 5 1 3 1302 2031 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368327969608 0.837604396744 4 6 6 4 3201 3201 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 -0.670008672878 0.453030793962 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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_2_0' : d['1'], 's_2_1' : negation(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' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0011_6, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1059362648641769830775745386/2597262598784854970754291*c_0101_1*c_0\ 101_4^13 - 40201030893108625446791776811/24241117588658646393706716\ *c_0101_1*c_0101_4^12 - 148332421707310912279142119181/727233527659\ 75939181120148*c_0101_1*c_0101_4^11 - 11995878565793277565273629257/36361676382987969590560074*c_0101_1*c\ _0101_4^10 + 45626943183579882229119231397/363616763829879695905600\ 74*c_0101_1*c_0101_4^9 + 83000686042631304491111947507/242411175886\ 58646393706716*c_0101_1*c_0101_4^8 + 601405942995386589127731346819/72723352765975939181120148*c_0101_1*\ c_0101_4^7 + 71323822245698013451504969663/606027939716466159842667\ 9*c_0101_1*c_0101_4^6 + 70604322655738157431003023059/6060279397164\ 661598426679*c_0101_1*c_0101_4^5 + 22926899292620674686077130032/2597262598784854970754291*c_0101_1*c_\ 0101_4^4 + 30199924157033035195099914881/8080372529552882131235572*\ c_0101_1*c_0101_4^3 - 58967525353091647262994015245/727233527659759\ 39181120148*c_0101_1*c_0101_4^2 - 31937165033872920876414489431/181\ 80838191493984795280037*c_0101_1*c_0101_4 - 18090268291073042393196144535/24241117588658646393706716*c_0101_1, c_0011_0 - 1, c_0011_3 + 57603902427831930229248/22198825630639786074823*c_0101_1*c_0\ 101_4^13 + 227129383895091465358432/22198825630639786074823*c_0101_\ 1*c_0101_4^12 + 258310608762321393048000/22198825630639786074823*c_\ 0101_1*c_0101_4^11 + 24290870483296684430907/4439765126127957214964\ 6*c_0101_1*c_0101_4^10 - 175824908843090106923248/22198825630639786\ 074823*c_0101_1*c_0101_4^9 - 917538823975568205322691/4439765126127\ 9572149646*c_0101_1*c_0101_4^8 - 2225001838480444661588721/44397651\ 261279572149646*c_0101_1*c_0101_4^7 - 1525161373819446801832076/22198825630639786074823*c_0101_1*c_0101_4\ ^6 - 1450460333149774531756770/22198825630639786074823*c_0101_1*c_0\ 101_4^5 - 1058529689898876325461633/22198825630639786074823*c_0101_\ 1*c_0101_4^4 - 395985636011233585062083/22198825630639786074823*c_0\ 101_1*c_0101_4^3 + 161041728712540584712196/22198825630639786074823\ *c_0101_1*c_0101_4^2 + 478795741002938851116191/4439765126127957214\ 9646*c_0101_1*c_0101_4 + 163678521112044802181245/44397651261279572\ 149646*c_0101_1, c_0011_5 - 63944271052832983008364/66596476891919358224469*c_0101_1*c_0\ 101_4^13 - 177009430994963938935595/44397651261279572149646*c_0101_\ 1*c_0101_4^12 - 340956145059178082066920/66596476891919358224469*c_\ 0101_1*c_0101_4^11 - 63555552872881226453552/6659647689191935822446\ 9*c_0101_1*c_0101_4^10 + 212584796148853671767281/66596476891919358\ 224469*c_0101_1*c_0101_4^9 + 355173608772822319293323/4439765126127\ 9572149646*c_0101_1*c_0101_4^8 + 1336207513202633754945314/66596476\ 891919358224469*c_0101_1*c_0101_4^7 + 654120430985528367522623/22198825630639786074823*c_0101_1*c_0101_4^\ 6 + 1255356990538584950354295/44397651261279572149646*c_0101_1*c_01\ 01_4^5 + 2902378192206180524274053/133192953783838716448938*c_0101_\ 1*c_0101_4^4 + 455297113439799616312317/44397651261279572149646*c_0\ 101_1*c_0101_4^3 - 136150137063483026953288/66596476891919358224469\ *c_0101_1*c_0101_4^2 - 561740522082794853947747/1331929537838387164\ 48938*c_0101_1*c_0101_4 - 36943576594563259970308/22198825630639786\ 074823*c_0101_1, c_0011_6 + 54176153095380176840/30534835805556789649*c_0101_4^13 + 211086160551894795963/30534835805556789649*c_0101_4^12 + 231272400762229931064/30534835805556789649*c_0101_4^11 + 1624971644058266340/30534835805556789649*c_0101_4^10 - 151183086330201138948/30534835805556789649*c_0101_4^9 - 418886878166463383521/30534835805556789649*c_0101_4^8 - 1028959780916052584522/30534835805556789649*c_0101_4^7 - 1370387650192249083222/30534835805556789649*c_0101_4^6 - 1318494615670201716820/30534835805556789649*c_0101_4^5 - 992883095362809538753/30534835805556789649*c_0101_4^4 - 368038029542525671176/30534835805556789649*c_0101_4^3 + 126751902016056563593/30534835805556789649*c_0101_4^2 + 178630573447015294046/30534835805556789649*c_0101_4 + 59911222113808586663/30534835805556789649, c_0101_1^2 + 75474943585233018788080/66596476891919358224469*c_0101_4^1\ 3 + 96098245580211808147022/22198825630639786074823*c_0101_4^12 + 315280235052966400706194/66596476891919358224469*c_0101_4^11 + 24094463452725583117166/66596476891919358224469*c_0101_4^10 - 184728321563575007212285/66596476891919358224469*c_0101_4^9 - 195251062587857952614612/22198825630639786074823*c_0101_4^8 - 1417008265222527899640005/66596476891919358224469*c_0101_4^7 - 633984263674092011197649/22198825630639786074823*c_0101_4^6 - 633699209212494364118501/22198825630639786074823*c_0101_4^5 - 1458289671224323943110222/66596476891919358224469*c_0101_4^4 - 202109286000185970716233/22198825630639786074823*c_0101_4^3 + 69983174215850885673790/66596476891919358224469*c_0101_4^2 + 254972970911676423637051/66596476891919358224469*c_0101_4 + 14428620328711642833403/22198825630639786074823, c_0101_3 + 64328233007985578240/30534835805556789649*c_0101_4^13 + 250953558817308720152/30534835805556789649*c_0101_4^12 + 272411240155605917581/30534835805556789649*c_0101_4^11 - 5897398827403612011/30534835805556789649*c_0101_4^10 - 186129400907864294884/30534835805556789649*c_0101_4^9 - 501832791899447194940/30534835805556789649*c_0101_4^8 - 1228468958961112377293/30534835805556789649*c_0101_4^7 - 1615218912769982635939/30534835805556789649*c_0101_4^6 - 1520741200538070446106/30534835805556789649*c_0101_4^5 - 1117339097163631743322/30534835805556789649*c_0101_4^4 - 376501902974224882208/30534835805556789649*c_0101_4^3 + 190613270214441395859/30534835805556789649*c_0101_4^2 + 249748146492255177832/30534835805556789649*c_0101_4 + 79587563839353552218/30534835805556789649, c_0101_4^14 + 261/56*c_0101_4^13 + 52/7*c_0101_4^12 + 107/28*c_0101_4^11 - 143/56*c_0101_4^10 - 573/56*c_0101_4^9 - 1417/56*c_0101_4^8 - 2295/56*c_0101_4^7 - 2571/56*c_0101_4^6 - 311/8*c_0101_4^5 - 1245/56*c_0101_4^4 - 101/28*c_0101_4^3 + 305/56*c_0101_4^2 + 249/56*c_0101_4 + 9/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB