Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 661044167] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1994 geometric_solution 5.55842216 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.407678075216 0.291764971210 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.970227561063 0.869127272212 1 4 3 5 0132 0132 3012 0132 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 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 1.238925172731 0.982486890744 5 2 4 1 1023 1230 1023 0132 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 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.238925172731 0.982486890744 6 2 3 6 0132 0132 1023 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 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.256168866715 0.339521540741 5 3 2 5 3012 1023 0132 1230 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 0 0 1 -1 1 0 0 -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.096192314077 0.678937245423 4 4 6 6 0132 2310 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 0 0 0 0 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.379694561737 2.202922449206 ==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' : 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' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 38660782116175793332/42867099340930211*c_0101_6^19 - 510296492197176234035/128601298022790633*c_0101_6^18 + 425598775404751437812/42867099340930211*c_0101_6^17 - 1917460902219678387137/128601298022790633*c_0101_6^16 + 407232051185334629708/128601298022790633*c_0101_6^15 + 659837711512009795150/42867099340930211*c_0101_6^14 - 6298032007734208532966/128601298022790633*c_0101_6^13 + 1148133282759334533985/42867099340930211*c_0101_6^12 + 936135742616079341864/128601298022790633*c_0101_6^11 - 460066258543806131542/42867099340930211*c_0101_6^10 + 5837731530871978729565/128601298022790633*c_0101_6^9 + 10202557562720442488906/128601298022790633*c_0101_6^8 + 204182360254877627053/128601298022790633*c_0101_6^7 + 2185258304779125930003/42867099340930211*c_0101_6^6 - 1932696555657725599144/128601298022790633*c_0101_6^5 - 13296137184834307010981/128601298022790633*c_0101_6^4 + 897610241331538684406/128601298022790633*c_0101_6^3 + 3407284957007108344708/128601298022790633*c_0101_6^2 - 86317910188220114956/42867099340930211*c_0101_6 - 100272039414311476099/128601298022790633, c_0011_0 - 1, c_0011_1 - 2372079291858054/1045539008315371*c_0101_6^19 + 11625791856103136/1045539008315371*c_0101_6^18 - 31531948296889180/1045539008315371*c_0101_6^17 + 53218424389466677/1045539008315371*c_0101_6^16 - 30475180747045335/1045539008315371*c_0101_6^15 - 32042079428416220/1045539008315371*c_0101_6^14 + 146408878908286203/1045539008315371*c_0101_6^13 - 136870492344187806/1045539008315371*c_0101_6^12 + 26986879626077745/1045539008315371*c_0101_6^11 + 27296269380879365/1045539008315371*c_0101_6^10 - 130374686975017929/1045539008315371*c_0101_6^9 - 148351892135681900/1045539008315371*c_0101_6^8 + 91007356327722608/1045539008315371*c_0101_6^7 - 144362762539812405/1045539008315371*c_0101_6^6 + 113387066341155180/1045539008315371*c_0101_6^5 + 239240570168536278/1045539008315371*c_0101_6^4 - 144164235100395966/1045539008315371*c_0101_6^3 - 42829337469685797/1045539008315371*c_0101_6^2 + 32136044862471065/1045539008315371*c_0101_6 - 3335893815977488/1045539008315371, c_0011_3 - 1910927760661197/1045539008315371*c_0101_6^19 + 8906105840752902/1045539008315371*c_0101_6^18 - 23278489675579386/1045539008315371*c_0101_6^17 + 37350893188126234/1045539008315371*c_0101_6^16 - 15735367206247103/1045539008315371*c_0101_6^15 - 29412384333749140/1045539008315371*c_0101_6^14 + 111047280356597481/1045539008315371*c_0101_6^13 - 84101539979081187/1045539008315371*c_0101_6^12 + 2365388065110144/1045539008315371*c_0101_6^11 + 22677841168003239/1045539008315371*c_0101_6^10 - 100658915746909956/1045539008315371*c_0101_6^9 - 143518322303606906/1045539008315371*c_0101_6^8 + 38789725025128774/1045539008315371*c_0101_6^7 - 109223863834520234/1045539008315371*c_0101_6^6 + 64955198360827830/1045539008315371*c_0101_6^5 + 208959109761395989/1045539008315371*c_0101_6^4 - 65755204550100575/1045539008315371*c_0101_6^3 - 47737639955575727/1045539008315371*c_0101_6^2 + 14297818026236281/1045539008315371*c_0101_6 - 576765857567093/1045539008315371, c_0101_0 + 1666170798171167/1045539008315371*c_0101_6^19 - 7163932887939345/1045539008315371*c_0101_6^18 + 17674866826171428/1045539008315371*c_0101_6^17 - 26015235620327012/1045539008315371*c_0101_6^16 + 3920915906213581/1045539008315371*c_0101_6^15 + 27597672115783209/1045539008315371*c_0101_6^14 - 86688456992201822/1045539008315371*c_0101_6^13 + 40654098789203333/1045539008315371*c_0101_6^12 + 15131991217510519/1045539008315371*c_0101_6^11 - 15636568938786305/1045539008315371*c_0101_6^10 + 80090899641089087/1045539008315371*c_0101_6^9 + 155821753991862068/1045539008315371*c_0101_6^8 + 20290022708531892/1045539008315371*c_0101_6^7 + 100277314358107276/1045539008315371*c_0101_6^6 - 18146266880646174/1045539008315371*c_0101_6^5 - 186628802714266453/1045539008315371*c_0101_6^4 - 8445707634774190/1045539008315371*c_0101_6^3 + 45407205145219152/1045539008315371*c_0101_6^2 + 1547109642396817/1045539008315371*c_0101_6 - 2214803289964883/1045539008315371, c_0101_1 - 2960627344093496/1045539008315371*c_0101_6^19 + 13782381973023476/1045539008315371*c_0101_6^18 - 36136205750427582/1045539008315371*c_0101_6^17 + 58279723883426831/1045539008315371*c_0101_6^16 - 25586855939397984/1045539008315371*c_0101_6^15 - 43395117857021682/1045539008315371*c_0101_6^14 + 171205323978722474/1045539008315371*c_0101_6^13 - 131110796896108540/1045539008315371*c_0101_6^12 + 10303287854839057/1045539008315371*c_0101_6^11 + 31705869699513779/1045539008315371*c_0101_6^10 - 155165556516454810/1045539008315371*c_0101_6^9 - 222178458932311590/1045539008315371*c_0101_6^8 + 51551838749559682/1045539008315371*c_0101_6^7 - 183760706652326578/1045539008315371*c_0101_6^6 + 95069859738021030/1045539008315371*c_0101_6^5 + 310035077401484589/1045539008315371*c_0101_6^4 - 103085681831430632/1045539008315371*c_0101_6^3 - 62041169563572250/1045539008315371*c_0101_6^2 + 24134455108960165/1045539008315371*c_0101_6 - 1601199928045589/1045539008315371, c_0101_3 - 3610553460480394/1045539008315371*c_0101_6^19 + 17637445789202206/1045539008315371*c_0101_6^18 - 47719920303283464/1045539008315371*c_0101_6^17 + 80258689933573013/1045539008315371*c_0101_6^16 - 45127171011817485/1045539008315371*c_0101_6^15 - 49496437188924765/1045539008315371*c_0101_6^14 + 222177323241735651/1045539008315371*c_0101_6^13 - 204674241552174663/1045539008315371*c_0101_6^12 + 37584896034711369/1045539008315371*c_0101_6^11 + 43100952680295897/1045539008315371*c_0101_6^10 - 197845925960605375/1045539008315371*c_0101_6^9 - 230180099882413089/1045539008315371*c_0101_6^8 + 135939808684148130/1045539008315371*c_0101_6^7 - 219553844373992461/1045539008315371*c_0101_6^6 + 166875340832276219/1045539008315371*c_0101_6^5 + 365940558070316440/1045539008315371*c_0101_6^4 - 213667164394794565/1045539008315371*c_0101_6^3 - 68878710738794485/1045539008315371*c_0101_6^2 + 47758392153117819/1045539008315371*c_0101_6 - 5073544136746158/1045539008315371, c_0101_6^20 - 4*c_0101_6^19 + 9*c_0101_6^18 - 11*c_0101_6^17 - 6*c_0101_6^16 + 23*c_0101_6^15 - 49*c_0101_6^14 + 4*c_0101_6^13 + 34*c_0101_6^12 - 18*c_0101_6^11 + 45*c_0101_6^10 + 111*c_0101_6^9 + 24*c_0101_6^8 + 37*c_0101_6^7 + 8*c_0101_6^6 - 136*c_0101_6^5 - 32*c_0101_6^4 + 60*c_0101_6^3 + 4*c_0101_6^2 - 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB