Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1579139771] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2026 geometric_solution 5.56711171 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 -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 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.446805027904 0.227673958706 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 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 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.776423445696 0.677697695299 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 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 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.000524341168 1.361979750647 2 5 4 1 3201 1023 3201 0132 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 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.000524341168 1.361979750647 3 2 4 4 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334157480865 0.955403574551 3 6 6 2 1023 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.091594804478 0.471281018432 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.169234191844 0.874351724081 ==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_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 13097061780113720634600747/22925075890116160170932*c_0101_6^21 + 2857259072392390475135808/5731268972529040042733*c_0101_6^20 - 6742023010487662414575073/11462537945058080085466*c_0101_6^19 + 39051376197720986698396973/11462537945058080085466*c_0101_6^18 + 519093312672877344094957793/22925075890116160170932*c_0101_6^17 - 342373733743301684037480233/22925075890116160170932*c_0101_6^16 + 359023564100614454909156075/22925075890116160170932*c_0101_6^15 - 2043679089207762603687825099/22925075890116160170932*c_0101_6^14 - 1069171596553050282168873232/5731268972529040042733*c_0101_6^13 + 1324328847523289911159542483/11462537945058080085466*c_0101_6^12 + 3463976995159602144256332691/22925075890116160170932*c_0101_6^11 + 2753894223338871616617388219/22925075890116160170932*c_0101_6^10 + 940031654183730175663207351/11462537945058080085466*c_0101_6^9 - 2067331310157691472686789713/11462537945058080085466*c_0101_6^8 - 2246310809305770271623105131/22925075890116160170932*c_0101_6^7 - 5455551036408569680707327/5731268972529040042733*c_0101_6^6 + 48312121656997349015646435/11462537945058080085466*c_0101_6^5 + 1518916496833723148453407043/22925075890116160170932*c_0101_6^4 + 63569452421388342027171816/5731268972529040042733*c_0101_6^3 - 489715608681950569070092157/22925075890116160170932*c_0101_6^2 - 39373386762569466398560963/22925075890116160170932*c_0101_6 + 9100135146213388886023133/11462537945058080085466, c_0011_0 - 1, c_0011_1 - 403234828878073084327/301645735396265265407*c_0101_6^21 - 24206384261079985151/301645735396265265407*c_0101_6^20 - 205820860255770312156/301645735396265265407*c_0101_6^19 + 1944536837794115043303/301645735396265265407*c_0101_6^18 + 18206492968725481879079/301645735396265265407*c_0101_6^17 + 4833302113628921635242/301645735396265265407*c_0101_6^16 + 7005507882284165496754/301645735396265265407*c_0101_6^15 - 48572792946603416872527/301645735396265265407*c_0101_6^14 - 189092403889052281588695/301645735396265265407*c_0101_6^13 - 52215352442991074389405/301645735396265265407*c_0101_6^12 + 116188188509040840031031/301645735396265265407*c_0101_6^11 + 147598767288869036913688/301645735396265265407*c_0101_6^10 + 171071661960988203202646/301645735396265265407*c_0101_6^9 - 24556015474476629576722/301645735396265265407*c_0101_6^8 - 116736421071710617201307/301645735396265265407*c_0101_6^7 - 55062763317884971265937/301645735396265265407*c_0101_6^6 - 34922126166148038430640/301645735396265265407*c_0101_6^5 + 27907604001613720325043/301645735396265265407*c_0101_6^4 + 31958024709837489981014/301645735396265265407*c_0101_6^3 - 3556937721075284054689/301645735396265265407*c_0101_6^2 - 3965690057996559194822/301645735396265265407*c_0101_6 - 278980972608549214583/301645735396265265407, c_0011_3 + 101902473802318886738/301645735396265265407*c_0101_6^21 - 114274770169435757878/301645735396265265407*c_0101_6^20 + 238710461861625603651/301645735396265265407*c_0101_6^19 - 851819231468441625986/301645735396265265407*c_0101_6^18 - 3600605624799587844084/301645735396265265407*c_0101_6^17 + 2708556917309454116361/301645735396265265407*c_0101_6^16 - 6942531491742365781421/301645735396265265407*c_0101_6^15 + 23632802697871917228655/301645735396265265407*c_0101_6^14 + 21316578491449795426847/301645735396265265407*c_0101_6^13 - 2545839849936560479698/301645735396265265407*c_0101_6^12 - 10302339987595043411932/301645735396265265407*c_0101_6^11 - 58300881974731255683949/301645735396265265407*c_0101_6^10 - 15479326166978719479738/301645735396265265407*c_0101_6^9 + 9898604669046531845150/301645735396265265407*c_0101_6^8 + 20717687584562130531044/301645735396265265407*c_0101_6^7 + 34436725899609848154788/301645735396265265407*c_0101_6^6 - 1914207760833994535545/301645735396265265407*c_0101_6^5 - 5735623061859843711580/301645735396265265407*c_0101_6^4 - 7109250969432541883240/301645735396265265407*c_0101_6^3 - 5405775551618934073784/301645735396265265407*c_0101_6^2 + 2532281614763165525825/301645735396265265407*c_0101_6 + 842253842955460868163/301645735396265265407, c_0101_0 + 225861598086344460677/301645735396265265407*c_0101_6^21 + 77929303017596855892/301645735396265265407*c_0101_6^20 + 89064317621922011038/301645735396265265407*c_0101_6^19 - 1056504777462183157614/301645735396265265407*c_0101_6^18 - 10516992105458085272364/301645735396265265407*c_0101_6^17 - 5479914993518341875060/301645735396265265407*c_0101_6^16 - 3322147754030623706025/301645735396265265407*c_0101_6^15 + 26309019425336015636240/301645735396265265407*c_0101_6^14 + 113983049597209284164298/301645735396265265407*c_0101_6^13 + 56113292531077825942825/301645735396265265407*c_0101_6^12 - 71321379164589657298636/301645735396265265407*c_0101_6^11 - 102515944352224930843888/301645735396265265407*c_0101_6^10 - 110360332175022498905284/301645735396265265407*c_0101_6^9 - 3877802083484755826323/301645735396265265407*c_0101_6^8 + 81796738118438766580436/301645735396265265407*c_0101_6^7 + 44021976195160350855139/301645735396265265407*c_0101_6^6 + 21664663504190177983861/301645735396265265407*c_0101_6^5 - 13374711972470113423257/301645735396265265407*c_0101_6^4 - 25090970500087452224298/301645735396265265407*c_0101_6^3 - 76015858447934027273/301645735396265265407*c_0101_6^2 + 4119509347152886564736/301645735396265265407*c_0101_6 + 506419419684403287370/301645735396265265407, c_0101_1 - 24066546129312196856/301645735396265265407*c_0101_6^21 - 181130271432157828907/301645735396265265407*c_0101_6^20 + 153853132362399673698/301645735396265265407*c_0101_6^19 - 128328495167672017298/301645735396265265407*c_0101_6^18 + 2245207374009473106918/301645735396265265407*c_0101_6^17 + 7246359557554390636212/301645735396265265407*c_0101_6^16 - 4259897913854070066511/301645735396265265407*c_0101_6^15 + 4040359283065727904004/301645735396265265407*c_0101_6^14 - 41999215984571745838782/301645735396265265407*c_0101_6^13 - 57205771562130925661307/301645735396265265407*c_0101_6^12 + 35794687846959310512535/301645735396265265407*c_0101_6^11 + 44751242663672613739951/301645735396265265407*c_0101_6^10 + 60656795082822413283234/301645735396265265407*c_0101_6^9 + 25814212937058500112968/301645735396265265407*c_0101_6^8 - 52057486023504830224499/301645735396265265407*c_0101_6^7 - 31063778640022123026174/301645735396265265407*c_0101_6^6 - 15816036702273563104576/301645735396265265407*c_0101_6^5 + 1582476094790162386859/301645735396265265407*c_0101_6^4 + 18517586744832249342532/301645735396265265407*c_0101_6^3 + 4312686281684963976850/301645735396265265407*c_0101_6^2 - 3307847861827320259203/301645735396265265407*c_0101_6 - 741399713002805779413/301645735396265265407, c_0101_4 - 363840543239724918862/301645735396265265407*c_0101_6^21 + 283864009748218584822/301645735396265265407*c_0101_6^20 - 528740717978614617357/301645735396265265407*c_0101_6^19 + 2399427861476753511720/301645735396265265407*c_0101_6^18 + 14220136399395444681576/301645735396265265407*c_0101_6^17 - 6757570597771292008760/301645735396265265407*c_0101_6^16 + 15425798245369484614046/301645735396265265407*c_0101_6^15 - 63747083296489662953313/301645735396265265407*c_0101_6^14 - 112451515963559326333250/301645735396265265407*c_0101_6^13 + 24316753012219567492063/301645735396265265407*c_0101_6^12 + 68593504220821613864599/301645735396265265407*c_0101_6^11 + 128454350382357444995191/301645735396265265407*c_0101_6^10 + 72803216214953657104622/301645735396265265407*c_0101_6^9 - 61124830278937112399495/301645735396265265407*c_0101_6^8 - 67014130683067577308470/301645735396265265407*c_0101_6^7 - 49402378449917589847139/301645735396265265407*c_0101_6^6 - 3680358518351414750130/301645735396265265407*c_0101_6^5 + 28134383185206016086622/301645735396265265407*c_0101_6^4 + 16515974388162089356893/301645735396265265407*c_0101_6^3 - 467613296195005058444/301645735396265265407*c_0101_6^2 - 3737663544295687934439/301645735396265265407*c_0101_6 - 741302809409087065175/301645735396265265407, c_0101_6^22 - c_0101_6^21 + c_0101_6^20 - 6*c_0101_6^19 - 39*c_0101_6^18 + 32*c_0101_6^17 - 25*c_0101_6^16 + 157*c_0101_6^15 + 310*c_0101_6^14 - 265*c_0101_6^13 - 289*c_0101_6^12 - 158*c_0101_6^11 - 76*c_0101_6^10 + 371*c_0101_6^9 + 159*c_0101_6^8 - 59*c_0101_6^7 - 39*c_0101_6^6 - 121*c_0101_6^5 - 5*c_0101_6^4 + 56*c_0101_6^3 + 4*c_0101_6^2 - 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB