Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 3650635008] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1827 geometric_solution 5.48383004 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.689060942052 0.324777284868 0 0 3 2 2310 0132 0132 0132 0 0 0 0 0 1 -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 0 0 0 0 1 0 0 -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 1.096794495705 1.329199557345 4 5 1 3 0132 0132 0132 3012 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 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.882683953013 0.809126935648 5 4 2 1 3201 2310 1230 0132 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 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.882683953013 0.809126935648 2 6 6 3 0132 0132 3201 3201 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316990825737 0.468334663927 5 2 5 3 2031 0132 1302 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.587108865008 0.425166718152 4 4 6 6 2310 0132 2031 1302 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 0 0 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.723888101213 1.754364551671 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(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' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 118956860422037637128618317/18967626993970736764067840*c_0101_6^28 - 5462094506105805774449275229/18967626993970736764067840*c_0101_6^26 + 3126933317884836127953988023/592738343561585523877120*c_0101_6^24 - 462231891887072207003637044397/9483813496985368382033920*c_0101_6\ ^22 + 447092269595135377455054974699/1896762699397073676406784*c_01\ 01_6^20 - 11837457548988738181610504843067/189676269939707367640678\ 40*c_0101_6^18 + 1045168914310080752602352380491/118547668712317104\ 7754240*c_0101_6^16 - 305037638350630774769984440411/59273834356158\ 5523877120*c_0101_6^14 - 1404173279461313297618759340693/9483813496\ 985368382033920*c_0101_6^12 + 648805578953995389827511763219/237095\ 3374246342095508480*c_0101_6^10 + 32355097101214904582311854993/948\ 3813496985368382033920*c_0101_6^8 - 1318277643758945954889456910077/18967626993970736764067840*c_0101_6\ ^6 + 7979186214381038586316466903/2370953374246342095508480*c_0101_\ 6^4 + 7198087948235674135557038987/18967626993970736764067840*c_010\ 1_6^2 + 296460507469885857844660029/3793525398794147352813568, c_0011_0 - 1, c_0011_2 + 7814864927766727354819/56994071496306300372800*c_0101_6^29 - 358588039206527233386511/56994071496306300372800*c_0101_6^27 + 58604529389251794920509/508875638359877681900*c_0101_6^25 - 30293646881239706443313291/28497035748153150186400*c_0101_6^23 + 20918838899680964280893339/4071005106879021455200*c_0101_6^21 - 777361335193346764735663029/56994071496306300372800*c_0101_6^19 + 55561515118817351096780673/2849703574815315018640*c_0101_6^17 - 170901232132394974782320667/14248517874076575093200*c_0101_6^15 - 1379635463796408828085433/581572158125574493600*c_0101_6^13 + 83792148340197391300169757/14248517874076575093200*c_0101_6^11 - 10037031569526526884020483/28497035748153150186400*c_0101_6^9 - 81712780233423019870395103/56994071496306300372800*c_0101_6^7 + 1398972061317257640086857/7124258937038287546600*c_0101_6^5 + 326722434676747376030693/56994071496306300372800*c_0101_6^3 - 55398515466341178494053/56994071496306300372800*c_0101_6, c_0101_0 - 102335191044182911929/5699407149630630037280*c_0101_6^29 + 686280446683873113599/814201021375804291040*c_0101_6^27 - 11362177434509560275469/712425893703828754660*c_0101_6^25 + 441672144862302034907389/2849703574815315018640*c_0101_6^23 - 465735400573890399935379/569940714963063003728*c_0101_6^21 + 14091176151304158980313159/5699407149630630037280*c_0101_6^19 - 441249732821801033894527/101775127671975536380*c_0101_6^17 + 720380934570521550194892/178106473425957188665*c_0101_6^15 - 3240909477492077248173779/2849703574815315018640*c_0101_6^13 - 785359259584306608106593/712425893703828754660*c_0101_6^11 + 2119992277516939056484479/2849703574815315018640*c_0101_6^9 + 899940026957587368806089/5699407149630630037280*c_0101_6^7 - 67792566350419630551073/356212946851914377330*c_0101_6^5 + 158830297729874884254601/5699407149630630037280*c_0101_6^3 + 512380857997361043807/1139881429926126007456*c_0101_6, c_0101_1 - 105387722025056092133/56994071496306300372800*c_0101_6^29 + 5266525007493537240137/56994071496306300372800*c_0101_6^27 - 6803566555739276654661/3562129468519143773300*c_0101_6^25 + 602238596787849642753677/28497035748153150186400*c_0101_6^23 - 3868697610939286921088971/28497035748153150186400*c_0101_6^21 + 30480451034524016952224003/56994071496306300372800*c_0101_6^19 - 3714323195630939865015099/2849703574815315018640*c_0101_6^17 + 26695209914887005587122089/14248517874076575093200*c_0101_6^15 - 37251423827740939242810361/28497035748153150186400*c_0101_6^13 - 74681704187771055677217/2035502553439510727600*c_0101_6^11 + 2311471886749767641829323/4071005106879021455200*c_0101_6^9 - 6321238656005078379530599/56994071496306300372800*c_0101_6^7 - 993266295228238208500019/7124258937038287546600*c_0101_6^5 + 1838900567824498849901869/56994071496306300372800*c_0101_6^3 - 23116862497840595178269/56994071496306300372800*c_0101_6, c_0101_3 - 344703748780229329273/14248517874076575093200*c_0101_6^28 + 15941812898339249017927/14248517874076575093200*c_0101_6^26 - 18441228391280870585376/890532367129785943325*c_0101_6^24 + 1384477829154348319842257/7124258937038287546600*c_0101_6^22 - 6870433232487039724730381/7124258937038287546600*c_0101_6^20 + 37742288527581726652431143/14248517874076575093200*c_0101_6^18 - 5640689645351416405835901/1424851787407657509320*c_0101_6^16 + 18826444171087514905959663/7124258937038287546600*c_0101_6^14 + 261197133805040318920043/890532367129785943325*c_0101_6^12 - 8561045593858782068155323/7124258937038287546600*c_0101_6^10 + 246541641256634001074889/1781064734259571886650*c_0101_6^8 + 3919233454076254661660471/14248517874076575093200*c_0101_6^6 - 78528992131870140816399/1781064734259571886650*c_0101_6^4 + 10039204236404853485607/2035502553439510727600*c_0101_6^2 - 4013443346912015408459/14248517874076575093200, c_0101_4 + 1974732222994831628329/56994071496306300372800*c_0101_6^28 - 90472894696459410257881/56994071496306300372800*c_0101_6^26 + 103271444795333230537943/3562129468519143773300*c_0101_6^24 - 1085640207460405466941143/4071005106879021455200*c_0101_6^22 + 36516245805051082280362723/28497035748153150186400*c_0101_6^20 - 27457530187369244763329177/8142010213758042910400*c_0101_6^18 + 848949411687082595107717/178106473425957188665*c_0101_6^16 - 734124755451560749750547/254437819179938840950*c_0101_6^14 - 16691457770649383401472057/28497035748153150186400*c_0101_6^12 + 9930248029159134547819211/7124258937038287546600*c_0101_6^10 - 2447094552252840421398443/28497035748153150186400*c_0101_6^8 - 18453355843901583029228313/56994071496306300372800*c_0101_6^6 + 347520855004318188219597/7124258937038287546600*c_0101_6^4 - 135243913358192825557697/56994071496306300372800*c_0101_6^2 - 6403362379049106398803/56994071496306300372800, c_0101_6^30 - 46*c_0101_6^28 + 845*c_0101_6^26 - 7842*c_0101_6^24 + 38240*c_0101_6^22 - 102709*c_0101_6^20 + 149147*c_0101_6^18 - 94352*c_0101_6^16 - 16242*c_0101_6^14 + 45634*c_0101_6^12 - 3438*c_0101_6^10 - 11059*c_0101_6^8 + 1573*c_0101_6^6 - c_0101_6^4 - 6*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB