Magma V2.19-8 Tue Aug 20 2013 16:16:51 on localhost [Seed = 4273955368] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1119 geometric_solution 4.98621058 oriented_manifold CS_known 0.0000000000000004 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.664792171185 0.084398876340 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.854838388084 0.103541840746 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802186003695 0.299404564923 5 2 6 4 0132 0132 0132 1230 0 0 0 0 0 0 0 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 0 0 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.492760203785 0.853105200996 3 6 2 5 3012 3201 0132 0132 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 0.492760203785 0.853105200996 3 5 4 5 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 0 0 0 0 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 -1 0 1 0 0 0 0 -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.028770420886 1.681494118023 6 6 4 3 1230 3012 2310 0132 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 0 0 0 0 0 0 0 0 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.028770420886 1.681494118023 ==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' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : 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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 795414599190247332203/261595834406428703767*c_0101_6^12 + 7112443784738048253143/2092766675251429630136*c_0101_6^11 - 81928300289133802820817/2092766675251429630136*c_0101_6^10 - 246793934195080831825983/1046383337625714815068*c_0101_6^9 - 353441084794412830402367/1046383337625714815068*c_0101_6^8 - 203581904573653765920463/1046383337625714815068*c_0101_6^7 + 533083399384182244053315/1046383337625714815068*c_0101_6^6 - 4966189587491756786116555/2092766675251429630136*c_0101_6^5 + 5106708970951078066609295/2092766675251429630136*c_0101_6^4 + 1925338182368988652870765/523191668812857407534*c_0101_6^3 - 260240088130483465028889/523191668812857407534*c_0101_6^2 - 740187439778011118419561/2092766675251429630136*c_0101_6 + 120939776420948495416359/2092766675251429630136, c_0011_0 - 1, c_0011_1 + 7200759683626734212/261595834406428703767*c_0101_6^12 + 7632795442267753645/261595834406428703767*c_0101_6^11 - 92876580999447900760/261595834406428703767*c_0101_6^10 - 552717592435673061194/261595834406428703767*c_0101_6^9 - 771503294366149476219/261595834406428703767*c_0101_6^8 - 439650488693971649842/261595834406428703767*c_0101_6^7 + 1190299915545925943469/261595834406428703767*c_0101_6^6 - 5714540284728559491205/261595834406428703767*c_0101_6^5 + 6161864767773756473076/261595834406428703767*c_0101_6^4 + 8225503211739482448230/261595834406428703767*c_0101_6^3 - 1521844840519826624449/261595834406428703767*c_0101_6^2 - 224668036411670281611/261595834406428703767*c_0101_6 + 284622824372027224109/261595834406428703767, c_0011_4 - 7084035280950642453/523191668812857407534*c_0011_6*c_0101_6^\ 12 - 3112501285762728416/261595834406428703767*c_0011_6*c_0101_6^11 + 95048779407289617317/523191668812857407534*c_0011_6*c_0101_6^10 + 264614390737530190774/261595834406428703767*c_0011_6*c_0101_6^9 + 315061685710902934518/261595834406428703767*c_0011_6*c_0101_6^8 + 122601908481251055015/523191668812857407534*c_0011_6*c_0101_6^7 - 1465146426732547034877/523191668812857407534*c_0011_6*c_0101_6^6 + 5736192521077225942797/523191668812857407534*c_0011_6*c_0101_6^5 - 3339070048063038709736/261595834406428703767*c_0011_6*c_0101_6^4 - 4451218618867102734141/261595834406428703767*c_0011_6*c_0101_6^3 + 5328817386406168045019/523191668812857407534*c_0011_6*c_0101_6^2 + 1043131087284119001644/261595834406428703767*c_0011_6*c_0101_6 - 420102920885854472855/261595834406428703767*c_0011_6, c_0011_6^2 - 2765251019503099747/523191668812857407534*c_0101_6^12 - 3655493597539699399/523191668812857407534*c_0101_6^11 + 35310048266017402719/523191668812857407534*c_0101_6^10 + 110989373439479666880/261595834406428703767*c_0101_6^9 + 173361487711049686731/261595834406428703767*c_0101_6^8 + 107737854988449276022/261595834406428703767*c_0101_6^7 - 455446333193942717631/523191668812857407534*c_0101_6^6 + 2044958281283696460917/523191668812857407534*c_0101_6^5 - 1720029036723679921791/523191668812857407534*c_0101_6^4 - 2074142632521896968616/261595834406428703767*c_0101_6^3 - 125931901304071767431/523191668812857407534*c_0101_6^2 + 518247237936134340981/523191668812857407534*c_0101_6 - 297716098678077576871/523191668812857407534, c_0101_0 + 3282627632883870501/261595834406428703767*c_0101_6^12 + 3759842336196125064/261595834406428703767*c_0101_6^11 - 42198924674689532904/261595834406428703767*c_0101_6^10 - 255327081697767720163/261595834406428703767*c_0101_6^9 - 370600711707908647734/261595834406428703767*c_0101_6^8 - 223570331216808820202/261595834406428703767*c_0101_6^7 + 507827864269969423247/261595834406428703767*c_0101_6^6 - 2606730782656858083286/261595834406428703767*c_0101_6^5 + 2505077765724848548148/261595834406428703767*c_0101_6^4 + 4134706338367154154992/261595834406428703767*c_0101_6^3 - 874316765314260339819/261595834406428703767*c_0101_6^2 - 46473950063710364314/261595834406428703767*c_0101_6 + 376714496334722387490/261595834406428703767, c_0101_1 + 4435508664123634465/261595834406428703767*c_0101_6^12 + 3977301844728054246/261595834406428703767*c_0101_6^11 - 57566532733430498041/261595834406428703767*c_0101_6^10 - 330738845556713727434/261595834406428703767*c_0101_6^9 - 424780318944050102757/261595834406428703767*c_0101_6^8 - 224174778717073097798/261595834406428703767*c_0101_6^7 + 734853582351983225838/261595834406428703767*c_0101_6^6 - 3669582003444863030288/261595834406428703767*c_0101_6^5 + 4441835731050076551285/261595834406428703767*c_0101_6^4 + 4077217946695688510998/261595834406428703767*c_0101_6^3 - 1386180907417469688113/261595834406428703767*c_0101_6^2 + 293579201524464059370/261595834406428703767*c_0101_6 + 248502560100378351005/261595834406428703767, c_0101_6^13 + c_0101_6^12 - 13*c_0101_6^11 - 76*c_0101_6^10 - 102*c_0101_6^9 - 52*c_0101_6^8 + 171*c_0101_6^7 - 805*c_0101_6^6 + 893*c_0101_6^5 + 1118*c_0101_6^4 - 337*c_0101_6^3 - 45*c_0101_6^2 + 71*c_0101_6 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB