Magma V2.19-8 Tue Aug 20 2013 16:18:31 on localhost [Seed = 3263389695] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2710 geometric_solution 5.96292904 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 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.783665164736 1.518873574168 0 1 1 5 0132 1230 3012 0132 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 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 1.099638654745 0.907246549047 2 0 5 2 3201 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 -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.289325660426 0.423551548282 3 3 5 0 1302 2031 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143029406720 0.496276305343 6 5 0 6 0132 0132 0132 1023 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350168204017 0.377682752587 3 4 1 2 2310 0132 0132 0132 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 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.783665164736 1.518873574168 4 6 6 4 0132 3201 2310 1023 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 0 0 0 0 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.323240472689 0.864759517018 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1'], 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_1001_2']})} 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_4, c_0101_0, c_0101_1, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 5810803539098570085004701652235/86926054174595521620733842985984*c_\ 1001_2^14 + 21203036033096689502258747862745/8692605417459552162073\ 3842985984*c_1001_2^13 - 1044065367195690262581343420649/4346302708\ 7297760810366921492992*c_1001_2^12 - 74336766465599439361854360120511/86926054174595521620733842985984*c\ _1001_2^11 + 250723899907917264143185661222041/43463027087297760810\ 366921492992*c_1001_2^10 - 423649626258598750755084095358347/869260\ 54174595521620733842985984*c_1001_2^9 - 862316748206214614232390747638697/86926054174595521620733842985984*\ c_1001_2^8 - 376041201841849363387869133958055/43463027087297760810\ 366921492992*c_1001_2^7 - 2605380798172975516860991141815297/434630\ 27087297760810366921492992*c_1001_2^6 + 4490881043012013801277270693256147/43463027087297760810366921492992\ *c_1001_2^5 - 595746886355501039781998424631039/4346302708729776081\ 0366921492992*c_1001_2^4 + 7290452119959549517325571274822963/86926\ 054174595521620733842985984*c_1001_2^3 + 4245446410236842401420754425114241/10865756771824440202591730373248\ *c_1001_2^2 - 27286428816551712811723201607019145/86926054174595521\ 620733842985984*c_1001_2 - 1340902263504595304321915544676253/10865\ 756771824440202591730373248, c_0011_0 - 1, c_0011_3 + 6685447765299711/7692898683193111958*c_1001_2^14 - 23001168683519895/7692898683193111958*c_1001_2^13 - 1075679205251992/3846449341596555979*c_1001_2^12 + 84355977648738253/7692898683193111958*c_1001_2^11 - 279832976836516312/3846449341596555979*c_1001_2^10 + 371378529636453879/7692898683193111958*c_1001_2^9 + 1057558352097056745/7692898683193111958*c_1001_2^8 + 550707563843559811/3846449341596555979*c_1001_2^7 + 3109376792877518678/3846449341596555979*c_1001_2^6 - 4399336023643086948/3846449341596555979*c_1001_2^5 - 117919629928648092/3846449341596555979*c_1001_2^4 - 9889172026960081483/7692898683193111958*c_1001_2^3 - 20597192239258406683/3846449341596555979*c_1001_2^2 + 15939411103592452857/7692898683193111958*c_1001_2 + 8674385463037079571/3846449341596555979, c_0011_4 - 253355201317222499894841405/571881935359181063294301598592*c\ _1001_2^14 + 803151795209428665992036799/57188193535918106329430159\ 8592*c_1001_2^13 + 125855962418435128198636625/28594096767959053164\ 7150799296*c_1001_2^12 - 2916270522313480571762021609/5718819353591\ 81063294301598592*c_1001_2^11 + 10181482613932413139013781631/28594\ 0967679590531647150799296*c_1001_2^10 - 9027919332073383954618656445/571881935359181063294301598592*c_1001_\ 2^9 - 39082193701235288775467418991/571881935359181063294301598592*\ c_1001_2^8 - 29379786475336985404119080897/285940967679590531647150\ 799296*c_1001_2^7 - 127724650538949597665275733655/2859409676795905\ 31647150799296*c_1001_2^6 + 109789406587018780398808177461/28594096\ 7679590531647150799296*c_1001_2^5 + 28106008751034316127437126679/285940967679590531647150799296*c_1001\ _2^4 + 485911923956624675316516546133/57188193535918106329430159859\ 2*c_1001_2^3 + 208625065088087360048645013671/714852419198976329117\ 87699824*c_1001_2^2 - 167420631860330864445367121295/57188193535918\ 1063294301598592*c_1001_2 - 96861722722033318255991399259/714852419\ 19897632911787699824, c_0101_0 + 105150748893513889540077831/571881935359181063294301598592*c\ _1001_2^14 - 430983236333283769760988589/57188193535918106329430159\ 8592*c_1001_2^13 + 113307436229101655211854269/28594096767959053164\ 7150799296*c_1001_2^12 + 1313356402733050950241636683/5718819353591\ 81063294301598592*c_1001_2^11 - 4867319895996177029679749165/285940\ 967679590531647150799296*c_1001_2^10 + 11579804252328669452703787655/571881935359181063294301598592*c_1001\ _2^9 + 10701383372628528193560133565/571881935359181063294301598592\ *c_1001_2^8 + 3365986921126015240320081683/285940967679590531647150\ 799296*c_1001_2^7 + 42890004492092494091054274357/28594096767959053\ 1647150799296*c_1001_2^6 - 98913754586024471426428943599/2859409676\ 79590531647150799296*c_1001_2^5 + 99096597762478117008249567051/285\ 940967679590531647150799296*c_1001_2^4 - 119071534390992195491714782159/571881935359181063294301598592*c_100\ 1_2^3 - 52842445756202730335082886485/71485241919897632911787699824\ *c_1001_2^2 + 614083635606281531079272790301/5718819353591810632943\ 01598592*c_1001_2 - 1799753396002957457232173887/714852419198976329\ 11787699824, c_0101_1 + 113764449566943566359252857/571881935359181063294301598592*c\ _1001_2^14 - 403065262978440104896109523/57188193535918106329430159\ 8592*c_1001_2^13 - 18345264543035801028859389/285940967679590531647\ 150799296*c_1001_2^12 + 1526467532741885923165160501/57188193535918\ 1063294301598592*c_1001_2^11 - 4712215896304540072952675539/2859409\ 67679590531647150799296*c_1001_2^10 + 6715303477817755641732877945/571881935359181063294301598592*c_1001_\ 2^9 + 19740120294164807880849800771/571881935359181063294301598592*\ c_1001_2^8 + 9507886520746487161870769069/2859409676795905316471507\ 99296*c_1001_2^7 + 45100215231266500862410720011/285940967679590531\ 647150799296*c_1001_2^6 - 88630920302612947679274133073/28594096767\ 9590531647150799296*c_1001_2^5 - 12071661637399887882573217483/2859\ 40967679590531647150799296*c_1001_2^4 - 126541041845520564297698341041/571881935359181063294301598592*c_100\ 1_2^3 - 39920259185812043820566433483/71485241919897632911787699824\ *c_1001_2^2 + 505630285063986398023934161763/5718819353591810632943\ 01598592*c_1001_2 + 77342096868886976273200414015/71485241919897632\ 911787699824, c_0101_6 - 423605922824726759891880969/571881935359181063294301598592*c\ _1001_2^14 + 1308139501267258626091685507/5718819353591810632943015\ 98592*c_1001_2^13 + 312733785991012631067736973/2859409676795905316\ 47150799296*c_1001_2^12 - 5288822805874031699769879685/571881935359\ 181063294301598592*c_1001_2^11 + 16657475442477164578793317315/2859\ 40967679590531647150799296*c_1001_2^10 - 10063902625472106478258178185/571881935359181063294301598592*c_1001\ _2^9 - 74272015076578879507131297395/571881935359181063294301598592\ *c_1001_2^8 - 42950220036753412720992185533/28594096767959053164715\ 0799296*c_1001_2^7 - 201228436908804310093551165947/285940967679590\ 531647150799296*c_1001_2^6 + 216571183419516528708921386337/2859409\ 67679590531647150799296*c_1001_2^5 + 99707070483607890818159149179/285940967679590531647150799296*c_1001\ _2^4 + 273312290322722809722580854721/57188193535918106329430159859\ 2*c_1001_2^3 + 318215437557621378819731670219/714852419198976329117\ 87699824*c_1001_2^2 - 678174114290829158531293197331/57188193535918\ 1063294301598592*c_1001_2 - 159778972877460693360894314943/71485241\ 919897632911787699824, c_1001_2^15 - 3*c_1001_2^14 - 2*c_1001_2^13 + 13*c_1001_2^12 - 78*c_1001_2^11 + 17*c_1001_2^10 + 195*c_1001_2^9 + 226*c_1001_2^8 + 982*c_1001_2^7 - 962*c_1001_2^6 - 790*c_1001_2^5 - 1129*c_1001_2^4 - 6656*c_1001_2^3 + 891*c_1001_2^2 + 4848*c_1001_2 + 1216 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB