Magma V2.19-8 Tue Aug 20 2013 16:16:46 on localhost [Seed = 2547387224] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1047 geometric_solution 4.92334446 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.236436338179 0.139517860087 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 -1 1 0 0 0 0 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 0 0 0 0 0 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 1.273560053825 0.359918621460 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 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.544871305239 0.579107864013 2 4 4 5 0132 0321 1302 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 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.725853210705 0.712814678212 3 5 2 3 2031 2310 0132 0321 0 0 0 0 0 -1 1 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 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.725853210705 0.712814678212 6 6 3 4 0132 2310 0132 3201 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 0 1 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.377129035912 0.477393919676 5 6 6 5 0132 3201 2310 3201 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 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.153820723051 0.558924030556 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 129139603063278932742/2755464848530065805*c_0101_6^26 + 1469677907983162000437/2755464848530065805*c_0101_6^25 - 5978885485158868390806/2755464848530065805*c_0101_6^24 + 6204967241394228920899/2755464848530065805*c_0101_6^23 + 28507292195031020611279/2755464848530065805*c_0101_6^22 - 20152071601178295766398/551092969706013161*c_0101_6^21 + 64939774505815007827796/2755464848530065805*c_0101_6^20 + 261995707298858322806616/2755464848530065805*c_0101_6^19 - 16894255845237638523965/78727567100859023*c_0101_6^18 + 17522849640341908663246/393637835504295115*c_0101_6^17 + 229799192510263397740757/551092969706013161*c_0101_6^16 - 1512234097992467110726746/2755464848530065805*c_0101_6^15 - 330503973002947262521927/2755464848530065805*c_0101_6^14 + 2427940554386524656640543/2755464848530065805*c_0101_6^13 - 1646871348599478886252164/2755464848530065805*c_0101_6^12 - 1270028752230513757691866/2755464848530065805*c_0101_6^11 + 470266319162939269547670/551092969706013161*c_0101_6^10 - 491800746919401857435433/2755464848530065805*c_0101_6^9 - 1248080683082746828162223/2755464848530065805*c_0101_6^8 + 869105579854280074952508/2755464848530065805*c_0101_6^7 + 192799601797055065982423/2755464848530065805*c_0101_6^6 - 53917301523647078975106/393637835504295115*c_0101_6^5 + 51766316220603536604869/2755464848530065805*c_0101_6^4 + 66895741256223336379543/2755464848530065805*c_0101_6^3 - 17129480831261369071276/2755464848530065805*c_0101_6^2 - 4295714364564478566856/2755464848530065805*c_0101_6 + 985039546626087238602/2755464848530065805, c_0011_0 - 1, c_0011_4 - 553013648408848861/78727567100859023*c_0101_6^26 + 6485684335376570622/78727567100859023*c_0101_6^25 - 28340739051932830864/78727567100859023*c_0101_6^24 + 42285877338704018655/78727567100859023*c_0101_6^23 + 80248706220761460881/78727567100859023*c_0101_6^22 - 411357315237026916900/78727567100859023*c_0101_6^21 + 470648201510695126711/78727567100859023*c_0101_6^20 + 582298273273020044864/78727567100859023*c_0101_6^19 - 2171917219907361860869/78727567100859023*c_0101_6^18 + 1542755869517638311054/78727567100859023*c_0101_6^17 + 2420287396476836308599/78727567100859023*c_0101_6^16 - 5176561234000836569041/78727567100859023*c_0101_6^15 + 1518551697110202616038/78727567100859023*c_0101_6^14 + 5046670665795035480176/78727567100859023*c_0101_6^13 - 5490098011510381893475/78727567100859023*c_0101_6^12 - 780835330741128327515/78727567100859023*c_0101_6^11 + 4691685653392653952889/78727567100859023*c_0101_6^10 - 1968925469414918706847/78727567100859023*c_0101_6^9 - 1687210279106409755662/78727567100859023*c_0101_6^8 + 1534269796659621468004/78727567100859023*c_0101_6^7 + 156856371401805007776/78727567100859023*c_0101_6^6 - 492579363359502038991/78727567100859023*c_0101_6^5 + 45887744016603370817/78727567100859023*c_0101_6^4 + 74659126754156564605/78727567100859023*c_0101_6^3 - 8487495378070172249/78727567100859023*c_0101_6^2 - 3337971348398444903/78727567100859023*c_0101_6 + 515358856121008199/78727567100859023, c_0011_5 - 661795762667897123/78727567100859023*c_0101_6^26 + 8504205564782607206/78727567100859023*c_0101_6^25 - 43061061581841915898/78727567100859023*c_0101_6^24 + 94016253632827461055/78727567100859023*c_0101_6^23 + 13880845214239219100/78727567100859023*c_0101_6^22 - 552176621664586834234/78727567100859023*c_0101_6^21 + 1151011328429064309583/78727567100859023*c_0101_6^20 - 278373112808802118858/78727567100859023*c_0101_6^19 - 2814008048468597476007/78727567100859023*c_0101_6^18 + 4891934729408860314060/78727567100859023*c_0101_6^17 - 950298257406805463952/78727567100859023*c_0101_6^16 - 7215200935811287933416/78727567100859023*c_0101_6^15 + 9376814457969905805986/78727567100859023*c_0101_6^14 - 392789050026697019783/78727567100859023*c_0101_6^13 - 9637809353743465769507/78727567100859023*c_0101_6^12 + 8244210063826037511045/78727567100859023*c_0101_6^11 + 1350868220599701711591/78727567100859023*c_0101_6^10 - 6223260082454613682639/78727567100859023*c_0101_6^9 + 2882567680729484334501/78727567100859023*c_0101_6^8 + 1282238444071107611301/78727567100859023*c_0101_6^7 - 1573759460186618722085/78727567100859023*c_0101_6^6 + 219328231802669580720/78727567100859023*c_0101_6^5 + 257089613052418915760/78727567100859023*c_0101_6^4 - 91330670715810080494/78727567100859023*c_0101_6^3 - 7567160217745273752/78727567100859023*c_0101_6^2 + 6361749362015378774/78727567100859023*c_0101_6 - 604966871049449312/78727567100859023, c_0101_0 - 65864031321063108/78727567100859023*c_0101_6^26 + 1167772679872254044/78727567100859023*c_0101_6^25 - 8343771575069716078/78727567100859023*c_0101_6^24 + 29373305673978066439/78727567100859023*c_0101_6^23 - 39939957760625247218/78727567100859023*c_0101_6^22 - 70301443123456341520/78727567100859023*c_0101_6^21 + 378190237286401183519/78727567100859023*c_0101_6^20 - 528953298735025838558/78727567100859023*c_0101_6^19 - 248313571275279555859/78727567100859023*c_0101_6^18 + 1848045200763579334412/78727567100859023*c_0101_6^17 - 2172328213637798169670/78727567100859023*c_0101_6^16 - 677310964107728887968/78727567100859023*c_0101_6^15 + 4399718003801024466411/78727567100859023*c_0101_6^14 - 3843152923104797673236/78727567100859023*c_0101_6^13 - 1514632876614972610428/78727567100859023*c_0101_6^12 + 5305264495109309262846/78727567100859023*c_0101_6^11 - 2923421402745330756544/78727567100859023*c_0101_6^10 - 1839992653868177309171/78727567100859023*c_0101_6^9 + 2995081880439800237106/78727567100859023*c_0101_6^8 - 724142687843860919231/78727567100859023*c_0101_6^7 - 910884558103498797548/78727567100859023*c_0101_6^6 + 614262328692047153219/78727567100859023*c_0101_6^5 + 30429989409739208921/78727567100859023*c_0101_6^4 - 123745044479621266746/78727567100859023*c_0101_6^3 + 19506439553840321930/78727567100859023*c_0101_6^2 + 7324365637861861096/78727567100859023*c_0101_6 - 1460718299390756339/78727567100859023, c_0101_1 + 630303371272871946/78727567100859023*c_0101_6^26 - 8145992326074528051/78727567100859023*c_0101_6^25 + 41600221946611345413/78727567100859023*c_0101_6^24 - 92457522523916206400/78727567100859023*c_0101_6^23 - 7128902689125021270/78727567100859023*c_0101_6^22 + 527823178712651250232/78727567100859023*c_0101_6^21 - 1134262151830424648355/78727567100859023*c_0101_6^20 + 339075910368110264305/78727567100859023*c_0101_6^19 + 2671708300776688635844/78727567100859023*c_0101_6^18 - 4853951090906937501451/78727567100859023*c_0101_6^17 + 1213601395349340781870/78727567100859023*c_0101_6^16 + 6848551433108992146229/78727567100859023*c_0101_6^15 - 9425627326700599757726/78727567100859023*c_0101_6^14 + 948526933817700918917/78727567100859023*c_0101_6^13 + 9223021309668594134087/78727567100859023*c_0101_6^12 - 8497559222274325570401/78727567100859023*c_0101_6^11 - 804215930862642878496/78727567100859023*c_0101_6^10 + 6068799644039954244844/78727567100859023*c_0101_6^9 - 3147077652175251870736/78727567100859023*c_0101_6^8 - 1065836171556629622924/78727567100859023*c_0101_6^7 + 1596037298209732755086/78727567100859023*c_0101_6^6 - 305369672942131277004/78727567100859023*c_0101_6^5 - 236015229171002878107/78727567100859023*c_0101_6^4 + 103683498406743654570/78727567100859023*c_0101_6^3 + 2077381697898251255/78727567100859023*c_0101_6^2 - 6650206173266697756/78727567100859023*c_0101_6 + 883593484664571037/78727567100859023, c_0101_2 + 402534202879233151/78727567100859023*c_0101_6^26 - 4963686373231562992/78727567100859023*c_0101_6^25 + 23620456275884696334/78727567100859023*c_0101_6^24 - 44989218379269886924/78727567100859023*c_0101_6^23 - 31498665981626125429/78727567100859023*c_0101_6^22 + 319037622667513903113/78727567100859023*c_0101_6^21 - 535375896876028249217/78727567100859023*c_0101_6^20 - 103621076356769314960/78727567100859023*c_0101_6^19 + 1651379167211585071532/78727567100859023*c_0101_6^18 - 2124779570252442468824/78727567100859023*c_0101_6^17 - 494494343962826955817/78727567100859023*c_0101_6^16 + 4103137961018764573572/78727567100859023*c_0101_6^15 - 3600226959305228954152/78727567100859023*c_0101_6^14 - 1544213740529126044930/78727567100859023*c_0101_6^13 + 5005677996316396555456/78727567100859023*c_0101_6^12 - 2473179116204558154444/78727567100859023*c_0101_6^11 - 1990963875643252877452/78727567100859023*c_0101_6^10 + 2709445106823355450975/78727567100859023*c_0101_6^9 - 405183430499199606772/78727567100859023*c_0101_6^8 - 923942233562560394208/78727567100859023*c_0101_6^7 + 470416903266611896758/78727567100859023*c_0101_6^6 + 86101942977667041510/78727567100859023*c_0101_6^5 - 99527783693299741964/78727567100859023*c_0101_6^4 + 6441588910006778628/78727567100859023*c_0101_6^3 + 5149524029671727346/78727567100859023*c_0101_6^2 - 1123792631160186647/78727567100859023*c_0101_6 + 37654792287840662/78727567100859023, c_0101_6^27 - 12*c_0101_6^26 + 54*c_0101_6^25 - 85*c_0101_6^24 - 150*c_0101_6^23 + 832*c_0101_6^22 - 1018*c_0101_6^21 - 1170*c_0101_6^20 + 4793*c_0101_6^19 - 3731*c_0101_6^18 - 5429*c_0101_6^17 + 12843*c_0101_6^16 - 4687*c_0101_6^15 - 12890*c_0101_6^14 + 16261*c_0101_6^13 + 536*c_0101_6^12 - 14368*c_0101_6^11 + 8444*c_0101_6^10 + 4390*c_0101_6^9 - 6558*c_0101_6^8 + 820*c_0101_6^7 + 2025*c_0101_6^6 - 818*c_0101_6^5 - 232*c_0101_6^4 + 162*c_0101_6^3 - 9*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB