Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 2227509432] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0198 geometric_solution 4.01254363 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 1 0 -1 1 0 0 -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.774730443590 0.059752618733 0 0 2 2 0132 3201 2310 0132 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 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 1.636650899773 0.253970641860 3 1 1 3 0132 3201 0132 1023 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 -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 1.133574397097 0.123861106573 2 4 4 2 0132 0132 1023 1023 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 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.085669215936 0.387196348825 5 3 3 6 0132 0132 1023 0132 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 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.505315402859 0.297771619518 4 6 6 6 0132 1302 3201 0321 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 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.507709020134 0.852442999863 5 5 4 5 2310 0321 0132 2031 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 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.507709020134 0.852442999863 ==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_0011_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), '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' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 8800349164956212864820942760916124390235143381/31866742940567783004\ 871710092704553095367371*c_0101_5^23 - 341441050741212380410522027752382014516066337/318667429405677830048\ 71710092704553095367371*c_0101_5^22 + 96734342613718575927809134400803465595990384537/3186674294056778300\ 4871710092704553095367371*c_0101_5^21 + 126930131463818746276175212212215100765665543885/318667429405677830\ 04871710092704553095367371*c_0101_5^20 - 716081804194496002061836861305012911968520633557/318667429405677830\ 04871710092704553095367371*c_0101_5^19 - 933126534560251154751975099059288345922784267653/318667429405677830\ 04871710092704553095367371*c_0101_5^18 + 3664484475821068687616811088557734547690397444516/31866742940567783\ 004871710092704553095367371*c_0101_5^17 + 4173431038067533094435634701205950411357980653087/31866742940567783\ 004871710092704553095367371*c_0101_5^16 - 17567271330736654830041640381545089898633401992163/3186674294056778\ 3004871710092704553095367371*c_0101_5^15 - 28611357217159809697634979460210547152205120940685/3186674294056778\ 3004871710092704553095367371*c_0101_5^14 + 70818515930356203202881737963062201221472256922017/3186674294056778\ 3004871710092704553095367371*c_0101_5^13 + 169304992826864564238681329323833385239504136854905/318667429405677\ 83004871710092704553095367371*c_0101_5^12 - 96526355737433155145740517669704303477322321915132/3186674294056778\ 3004871710092704553095367371*c_0101_5^11 - 387503509782398394209640208035907289342895704305060/318667429405677\ 83004871710092704553095367371*c_0101_5^10 + 197819834603557945568366837002613661146424997619/861263322718048189\ 320857029532555489063983*c_0101_5^9 + 400909793358649080666869851998036036067124943203300/318667429405677\ 83004871710092704553095367371*c_0101_5^8 + 70226324168385923293594257219923285159467668172562/3186674294056778\ 3004871710092704553095367371*c_0101_5^7 - 196633244357184544846292349633547236935561664173642/318667429405677\ 83004871710092704553095367371*c_0101_5^6 - 48613700003430218155811463794258953054415297378635/3186674294056778\ 3004871710092704553095367371*c_0101_5^5 + 41706080640610179049417001496603479620490190064515/3186674294056778\ 3004871710092704553095367371*c_0101_5^4 + 11308113057292437485885857950153830884620051699347/3186674294056778\ 3004871710092704553095367371*c_0101_5^3 - 209189459378172713556681991687664048985446721579/245128791850521407\ 7297823853284965622720567*c_0101_5^2 - 591367676831674586836953608255738484288088032826/318667429405677830\ 04871710092704553095367371*c_0101_5 + 39887517332645322613499220552323019164775925719/3186674294056778300\ 4871710092704553095367371, c_0011_0 - 1, c_0011_2 + 1024189383777900575861454516516778586748508/2451287918505214\ 077297823853284965622720567*c_0101_5^23 - 505966324289491974062093211219436553242512/245128791850521407729782\ 3853284965622720567*c_0101_5^22 - 110110001115330528850247295538893\ 48495432868/2451287918505214077297823853284965622720567*c_0101_5^21 - 8883122635585561481487183146521312398956078/245128791850521407729\ 7823853284965622720567*c_0101_5^20 + 88321371831896840783868757059978074019796117/2451287918505214077297\ 823853284965622720567*c_0101_5^19 + 61618718667562086374999630091594708093100133/2451287918505214077297\ 823853284965622720567*c_0101_5^18 - 461493981773129960866113820564247300668920504/245128791850521407729\ 7823853284965622720567*c_0101_5^17 - 240431169146584316016145809717512588099620276/245128791850521407729\ 7823853284965622720567*c_0101_5^16 + 2184461481038226010418967259489217495051881969/24512879185052140772\ 97823853284965622720567*c_0101_5^15 + 2167784636026929897989261753451357584224365979/24512879185052140772\ 97823853284965622720567*c_0101_5^14 - 9452891635308241145249062950995060544989742468/24512879185052140772\ 97823853284965622720567*c_0101_5^13 - 14698426484089909596578648299884583471394385706/2451287918505214077\ 297823853284965622720567*c_0101_5^12 + 19322073160785396547754238002092412609397246410/2451287918505214077\ 297823853284965622720567*c_0101_5^11 + 35071204291828867912914869811816685501195079254/2451287918505214077\ 297823853284965622720567*c_0101_5^10 - 546489089926376550830852694175647876455105742/662510248244652453323\ 73617656350422235691*c_0101_5^9 - 367172310537827406995163563157835\ 15325647546166/2451287918505214077297823853284965622720567*c_0101_5\ ^8 + 12312479652404493558309073605714195583855890257/24512879185052\ 14077297823853284965622720567*c_0101_5^7 + 17504495603802982997009397046306962936076177263/2451287918505214077\ 297823853284965622720567*c_0101_5^6 - 4232902965075853661105229390206372184862908756/24512879185052140772\ 97823853284965622720567*c_0101_5^5 - 3371458970802849077980957468646066982959298526/24512879185052140772\ 97823853284965622720567*c_0101_5^4 + 569918356131521168367352431804164016913634831/245128791850521407729\ 7823853284965622720567*c_0101_5^3 + 206877013918191975595966114571916826330890773/245128791850521407729\ 7823853284965622720567*c_0101_5^2 - 16550178658694281797279526010126251690061536/2451287918505214077297\ 823853284965622720567*c_0101_5 - 3108210132609916590075654007237039\ 306561479/2451287918505214077297823853284965622720567, c_0011_6 + 560308266595073782831078135299076495713601/24512879185052140\ 77297823853284965622720567*c_0101_5^23 - 135930147651199689089544731569003182523008/245128791850521407729782\ 3853284965622720567*c_0101_5^22 - 603802570868580171377813373818278\ 8373788022/2451287918505214077297823853284965622720567*c_0101_5^21 - 6353118749651741342271065454458619595456952/24512879185052140772978\ 23853284965622720567*c_0101_5^20 + 46504880747588319024819572923258056468687617/2451287918505214077297\ 823853284965622720567*c_0101_5^19 + 44867541975720486284044247408990950395291724/2451287918505214077297\ 823853284965622720567*c_0101_5^18 - 239939396531922948596411236052138341010456862/245128791850521407729\ 7823853284965622720567*c_0101_5^17 - 187996676328712408942795384909768500520065310/245128791850521407729\ 7823853284965622720567*c_0101_5^16 + 1142001862318238055310598492873174792498616914/24512879185052140772\ 97823853284965622720567*c_0101_5^15 + 1455118053191159037772383865870966295012366983/24512879185052140772\ 97823853284965622720567*c_0101_5^14 - 4776693533259498769286421430979001454201152194/24512879185052140772\ 97823853284965622720567*c_0101_5^13 - 9136526826334795974448669167344491459789945717/24512879185052140772\ 97823853284965622720567*c_0101_5^12 + 8189591325584545541722757558500224461179789114/24512879185052140772\ 97823853284965622720567*c_0101_5^11 + 20705160555534252034559614010721000769331552945/2451287918505214077\ 297823853284965622720567*c_0101_5^10 - 164116141462212644894624650818619702644330950/662510248244652453323\ 73617656350422235691*c_0101_5^9 - 206339613975650561791939692138574\ 55693053486938/2451287918505214077297823853284965622720567*c_0101_5\ ^8 + 2347019502363469375175758104214658450613541327/245128791850521\ 4077297823853284965622720567*c_0101_5^7 + 9462389326708200459529512611460308416939121589/24512879185052140772\ 97823853284965622720567*c_0101_5^6 - 687273178837977635542934953591883929778226323/245128791850521407729\ 7823853284965622720567*c_0101_5^5 - 1821905464853449668922160835864591184751559647/24512879185052140772\ 97823853284965622720567*c_0101_5^4 + 113336919544599756334300006155603327151264586/245128791850521407729\ 7823853284965622720567*c_0101_5^3 + 121074633528930611504554312742945814029056616/245128791850521407729\ 7823853284965622720567*c_0101_5^2 - 4082174721676041153930090295222147245264455/24512879185052140772978\ 23853284965622720567*c_0101_5 - 14961244554226873399052551024595057\ 85190690/2451287918505214077297823853284965622720567, c_0101_0 + 237153928788845726108334872523325489809463/24512879185052140\ 77297823853284965622720567*c_0101_5^23 - 182584429446780696811063791768032084700358/245128791850521407729782\ 3853284965622720567*c_0101_5^22 - 246663587813903391940423083017056\ 8595442865/2451287918505214077297823853284965622720567*c_0101_5^21 - 1383163156400731698490829099092156946763382/24512879185052140772978\ 23853284965622720567*c_0101_5^20 + 20494902861035276936801314428595451040552162/2451287918505214077297\ 823853284965622720567*c_0101_5^19 + 8213761416190720107951283718114436084109680/24512879185052140772978\ 23853284965622720567*c_0101_5^18 - 106564231448655752415753002257649919962477038/245128791850521407729\ 7823853284965622720567*c_0101_5^17 - 23594201454690445224399851873736287406411090/2451287918505214077297\ 823853284965622720567*c_0101_5^16 + 499638649676169005828311496209966272266151868/245128791850521407729\ 7823853284965622720567*c_0101_5^15 + 352615261871043925239726320702259053928227320/245128791850521407729\ 7823853284965622720567*c_0101_5^14 - 2225870326492414055925301975006780052186280129/24512879185052140772\ 97823853284965622720567*c_0101_5^13 - 2701310927322604709135794641919226654481937410/24512879185052140772\ 97823853284965622720567*c_0101_5^12 + 4971331286028608620800754096173564310787607117/24512879185052140772\ 97823853284965622720567*c_0101_5^11 + 6217673426914361484526692319630675827471266344/24512879185052140772\ 97823853284965622720567*c_0101_5^10 - 163975207722746007499369492756762831014829379/662510248244652453323\ 73617656350422235691*c_0101_5^9 - 570940980947548792741639842259256\ 8158152858208/2451287918505214077297823853284965622720567*c_0101_5^\ 8 + 4411531238781038064682974909325884290337953889/2451287918505214\ 077297823853284965622720567*c_0101_5^7 + 1854077790023666512635247647275663729371538227/24512879185052140772\ 97823853284965622720567*c_0101_5^6 - 1735371755945554632219777335206855828735252348/24512879185052140772\ 97823853284965622720567*c_0101_5^5 + 49799218964972714692938286816538165719887778/2451287918505214077297\ 823853284965622720567*c_0101_5^4 + 268910294676486780708504138828453021987484598/245128791850521407729\ 7823853284965622720567*c_0101_5^3 - 59422554578566562153378878758276153773455453/2451287918505214077297\ 823853284965622720567*c_0101_5^2 - 11961574059106887487578340773880722907385543/2451287918505214077297\ 823853284965622720567*c_0101_5 + 9982426414934439391197029077650502\ 40114788/2451287918505214077297823853284965622720567, c_0101_1 + 520130716430390582828931033040852648373285/24512879185052140\ 77297823853284965622720567*c_0101_5^23 - 378024358165839960380863537106251169367359/245128791850521407729782\ 3853284965622720567*c_0101_5^22 - 553445823175874865933340845196889\ 8398044267/2451287918505214077297823853284965622720567*c_0101_5^21 - 3199369978338335170975687145255655843102819/24512879185052140772978\ 23853284965622720567*c_0101_5^20 + 45911119765022262482833065118105805726977290/2451287918505214077297\ 823853284965622720567*c_0101_5^19 + 20797766172865403469906394376120236407050212/2451287918505214077297\ 823853284965622720567*c_0101_5^18 - 241810007667421031078588336130698871693341495/245128791850521407729\ 7823853284965622720567*c_0101_5^17 - 66932343709988571667417834293865334019373094/2451287918505214077297\ 823853284965622720567*c_0101_5^16 + 1138212502234455837603367164742347742960148446/24512879185052140772\ 97823853284965622720567*c_0101_5^15 + 839613491617590902300063320997964126700638758/245128791850521407729\ 7823853284965622720567*c_0101_5^14 - 5058168246074886556033581572220491998158417821/24512879185052140772\ 97823853284965622720567*c_0101_5^13 - 6335849730060770154570459585475768157711456823/24512879185052140772\ 97823853284965622720567*c_0101_5^12 + 11564415301226968975053318068550445294186545124/2451287918505214077\ 297823853284965622720567*c_0101_5^11 + 15476919566113403684061198085572006921553971259/2451287918505214077\ 297823853284965622720567*c_0101_5^10 - 390727790805968961081232439005617428081057650/662510248244652453323\ 73617656350422235691*c_0101_5^9 - 161083239443350467941476150462540\ 06079126722358/2451287918505214077297823853284965622720567*c_0101_5\ ^8 + 10603914537009647857385752317459586553439969190/24512879185052\ 14077297823853284965622720567*c_0101_5^7 + 7191546896284967104022146787983202858110238938/24512879185052140772\ 97823853284965622720567*c_0101_5^6 - 4152314914128967914755423093617739395353670045/24512879185052140772\ 97823853284965622720567*c_0101_5^5 - 1042037350689983415669412630768626148298028552/24512879185052140772\ 97823853284965622720567*c_0101_5^4 + 631007331961923026795243340059547022855524795/245128791850521407729\ 7823853284965622720567*c_0101_5^3 + 5653442823044230232622683692414923302767972/24512879185052140772978\ 23853284965622720567*c_0101_5^2 - 236232348259939172936483993937229\ 91177746998/2451287918505214077297823853284965622720567*c_0101_5 + 178531335768458617905961921004391400485371/245128791850521407729782\ 3853284965622720567, c_0101_3 + 474252123596589519111847909643478232750440/24512879185052140\ 77297823853284965622720567*c_0101_5^23 - 95908309887401613332972814187522368907697/2451287918505214077297823\ 853284965622720567*c_0101_5^22 - 5134459298762683312204563120821486\ 795811322/2451287918505214077297823853284965622720567*c_0101_5^21 - 5580982295616147445537419623164894655098350/24512879185052140772978\ 23853284965622720567*c_0101_5^20 + 39363384019671193811377307561079197476480808/2451287918505214077297\ 823853284965622720567*c_0101_5^19 + 39792369020863949659283353751450286820039025/2451287918505214077297\ 823853284965622720567*c_0101_5^18 - 203218565019184562877800431007119653047869710/245128791850521407729\ 7823853284965622720567*c_0101_5^17 - 169076132044568895073592808339451893296077422/245128791850521407729\ 7823853284965622720567*c_0101_5^16 + 969051410591501153403171843914772374500197642/245128791850521407729\ 7823853284965622720567*c_0101_5^15 + 1278001149580153597146435470299019719350591326/24512879185052140772\ 97823853284965622720567*c_0101_5^14 - 4035435548149625305090278917383503713503768837/24512879185052140772\ 97823853284965622720567*c_0101_5^13 - 7950113666055430596097174551983547453352301527/24512879185052140772\ 97823853284965622720567*c_0101_5^12 + 6795137956298996812236926761440272270550357572/24512879185052140772\ 97823853284965622720567*c_0101_5^11 + 18145850649700823479019302488006049620055703003/2451287918505214077\ 297823853284965622720567*c_0101_5^10 - 128623689717526750714169106361078749532160119/662510248244652453323\ 73617656350422235691*c_0101_5^9 - 184953147291339319881617232607982\ 93813622370365/2451287918505214077297823853284965622720567*c_0101_5\ ^8 + 1540546016377390362965941413446476159389191256/245128791850521\ 4077297823853284965622720567*c_0101_5^7 + 8919162000574150407035512076340676806675660802/24512879185052140772\ 97823853284965622720567*c_0101_5^6 - 358849426101401558396443663598209159551243037/245128791850521407729\ 7823853284965622720567*c_0101_5^5 - 1901278516261571277899909909530846308451283807/24512879185052140772\ 97823853284965622720567*c_0101_5^4 + 53878398641212162229265303928359496036568846/2451287918505214077297\ 823853284965622720567*c_0101_5^3 + 147379900312022873496045347511518649032173862/245128791850521407729\ 7823853284965622720567*c_0101_5^2 + 50581933798788279989607932213497244555006/2451287918505214077297823\ 853284965622720567*c_0101_5 - 1926553726642620375088112644519760550\ 728867/2451287918505214077297823853284965622720567, c_0101_5^24 - 11*c_0101_5^22 - 14*c_0101_5^21 + 82*c_0101_5^20 + 103*c_0101_5^19 - 421*c_0101_5^18 - 459*c_0101_5^17 + 2017*c_0101_5^16 + 3178*c_0101_5^15 - 8185*c_0101_5^14 - 18953*c_0101_5^13 + 11758*c_0101_5^12 + 43755*c_0101_5^11 - 2559*c_0101_5^10 - 45846*c_0101_5^9 - 6326*c_0101_5^8 + 22968*c_0101_5^7 + 4832*c_0101_5^6 - 5096*c_0101_5^5 - 1197*c_0101_5^4 + 385*c_0101_5^3 + 76*c_0101_5^2 - 8*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB