Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 896838121] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0852 geometric_solution 4.76667396 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 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 -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.838000244126 0.065326412915 0 2 0 2 0132 0132 1023 1023 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 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 0.787803777337 0.126879794869 3 1 4 1 0132 0132 0132 1023 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 -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.709497706829 0.466532075996 2 5 4 4 0132 0132 3012 2310 0 0 0 0 0 0 -1 1 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 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.684630744967 1.262884078969 3 3 5 2 3201 1230 1023 0132 0 0 0 0 0 1 -1 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.684630744967 1.262884078969 6 3 4 6 0132 0132 1023 3201 0 0 0 0 0 0 0 0 -1 0 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 -1 0 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.392156074244 0.774440537671 5 5 6 6 0132 2310 1230 3012 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 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.898249968700 0.572073654822 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), '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' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 641996623113882024672520098457774129/622664475086727851121760015569\ 1081*c_0101_6^26 - 155798302207633343514970544448912496/62266447508\ 67278511217600155691081*c_0101_6^25 + 11515752241702007167716574434905840081/6226644750867278511217600155\ 691081*c_0101_6^24 + 1104083774250282869369852154043323337/47897267\ 3143636808555200011976237*c_0101_6^23 - 78652447190921867190090440809051472228/6226644750867278511217600155\ 691081*c_0101_6^22 - 172524301205112918463943983751552269349/622664\ 4750867278511217600155691081*c_0101_6^21 + 182529244504669898228826745165443137447/622664475086727851121760015\ 5691081*c_0101_6^20 + 848476500615135602250272987048227948532/62266\ 44750867278511217600155691081*c_0101_6^19 + 269255061275013021939942565629259168856/622664475086727851121760015\ 5691081*c_0101_6^18 - 1936549419058310110353331075444636796582/6226\ 644750867278511217600155691081*c_0101_6^17 - 2081115652213506477719822291765682316126/62266447508672785112176001\ 55691081*c_0101_6^16 + 1984958583794529793822321044866593481506/622\ 6644750867278511217600155691081*c_0101_6^15 + 305811528940223212916018032137773897534/478972673143636808555200011\ 976237*c_0101_6^14 - 686487648422278034172816720072687378222/622664\ 4750867278511217600155691081*c_0101_6^13 - 4004329564085319570591312506356423908121/62266447508672785112176001\ 55691081*c_0101_6^12 - 525292078936343215617465806165514362980/6226\ 644750867278511217600155691081*c_0101_6^11 + 2242995712646821214991532108621081030188/62266447508672785112176001\ 55691081*c_0101_6^10 + 756683949128630061338111466489345304153/6226\ 644750867278511217600155691081*c_0101_6^9 - 383132323527553677494905077222451153688/622664475086727851121760015\ 5691081*c_0101_6^8 - 426762021607357750577153707845288246720/622664\ 4750867278511217600155691081*c_0101_6^7 - 265718625411654409342897611405756959517/622664475086727851121760015\ 5691081*c_0101_6^6 + 13348813630883261692939512565888752945/4789726\ 73143636808555200011976237*c_0101_6^5 + 98425064329128736178588072110365704212/6226644750867278511217600155\ 691081*c_0101_6^4 - 28231012533437604019610743101088330610/62266447\ 50867278511217600155691081*c_0101_6^3 + 17820785766319700554750258359152996944/6226644750867278511217600155\ 691081*c_0101_6^2 - 1186281534270566876446329968786041041/478972673\ 143636808555200011976237*c_0101_6 + 2562711410312025576604708505190408715/62266447508672785112176001556\ 91081, c_0011_0 - 1, c_0011_4 + 39995781450333827131716615267527/478972673143636808555200011\ 976237*c_0101_6^26 + 23356956353090948026486388020483/4789726731436\ 36808555200011976237*c_0101_6^25 - 702347139753948667668708778846530/478972673143636808555200011976237\ *c_0101_6^24 - 1130845687640935409144749347584201/47897267314363680\ 8555200011976237*c_0101_6^23 + 4388250844243083563088359170312674/4\ 78972673143636808555200011976237*c_0101_6^22 + 12063959401869301405350424761042640/4789726731436368085552000119762\ 37*c_0101_6^21 - 6437201874268816918040096916721090/478972673143636\ 808555200011976237*c_0101_6^20 - 5302169041232322943491301183733077\ 4/478972673143636808555200011976237*c_0101_6^19 - 36377112231321825181469742557533843/4789726731436368085552000119762\ 37*c_0101_6^18 + 98870882430475101126962188450764746/47897267314363\ 6808555200011976237*c_0101_6^17 + 158365096179702466587471394825890\ 027/478972673143636808555200011976237*c_0101_6^16 - 50635494919772120020250516370845051/4789726731436368085552000119762\ 37*c_0101_6^15 - 238896347983230868169158012554142608/4789726731436\ 36808555200011976237*c_0101_6^14 - 52383873626290416867860374736167257/4789726731436368085552000119762\ 37*c_0101_6^13 + 188818493578316944509726879546031500/4789726731436\ 36808555200011976237*c_0101_6^12 + 93049878152982954020530307066638293/4789726731436368085552000119762\ 37*c_0101_6^11 - 71743181010851228670896680634884835/47897267314363\ 6808555200011976237*c_0101_6^10 - 573661145669487311791418075393074\ 32/478972673143636808555200011976237*c_0101_6^9 - 10241436565036302926165856466145579/4789726731436368085552000119762\ 37*c_0101_6^8 + 12263615787552079926476784767822553/478972673143636\ 808555200011976237*c_0101_6^7 + 18418716914905637355182210315061641\ /478972673143636808555200011976237*c_0101_6^6 - 876486885303524325276304167375142/478972673143636808555200011976237\ *c_0101_6^5 - 1943819296953561619349510271728323/478972673143636808\ 555200011976237*c_0101_6^4 + 318433392270819565728507560305851/4789\ 72673143636808555200011976237*c_0101_6^3 - 1322132497874822219401088998449467/47897267314363680855520001197623\ 7*c_0101_6^2 + 398235311278273790862852375602815/478972673143636808\ 555200011976237*c_0101_6 - 525399995384408624902356081575244/478972\ 673143636808555200011976237, c_0101_0 - 1906861152986919863365329487580983/4789726731436368085552000\ 11976237*c_0101_6^26 - 349569164498979597205428058902568/4789726731\ 43636808555200011976237*c_0101_6^25 + 34291105912084093073616921207815915/4789726731436368085552000119762\ 37*c_0101_6^24 + 40610449423097140785228844425975910/47897267314363\ 6808555200011976237*c_0101_6^23 - 237180966213130149933826666375608\ 597/478972673143636808555200011976237*c_0101_6^22 - 499824075576719922947656523880743341/478972673143636808555200011976\ 237*c_0101_6^21 + 579433788821586954077381851966434962/478972673143\ 636808555200011976237*c_0101_6^20 + 2503122230970447067919608537725409053/47897267314363680855520001197\ 6237*c_0101_6^19 + 635759118525517540518795280624950547/47897267314\ 3636808555200011976237*c_0101_6^18 - 5871953672312101537284228311285471120/47897267314363680855520001197\ 6237*c_0101_6^17 - 5870495703767740948325301806423263893/4789726731\ 43636808555200011976237*c_0101_6^16 + 6415980350745687065082020309403549139/47897267314363680855520001197\ 6237*c_0101_6^15 + 11646837604494244997832274525349187208/478972673\ 143636808555200011976237*c_0101_6^14 - 2863892480250134810777505744224614624/47897267314363680855520001197\ 6237*c_0101_6^13 - 12095568901058552768434751997694655914/478972673\ 143636808555200011976237*c_0101_6^12 - 865266423957314271554059335617870702/478972673143636808555200011976\ 237*c_0101_6^11 + 7039194008043549662934916881892237175/47897267314\ 3636808555200011976237*c_0101_6^10 + 1955355164614929209790231898055534173/47897267314363680855520001197\ 6237*c_0101_6^9 - 1397649975269660499515624706259332967/47897267314\ 3636808555200011976237*c_0101_6^8 - 1293235877286757378693057009588486443/47897267314363680855520001197\ 6237*c_0101_6^7 - 716598364744389409259185829803939911/478972673143\ 636808555200011976237*c_0101_6^6 + 600069709181545274244278438142694680/478972673143636808555200011976\ 237*c_0101_6^5 + 287149704593506456353814158129791426/4789726731436\ 36808555200011976237*c_0101_6^4 - 106400692367275253070543527890943\ 201/478972673143636808555200011976237*c_0101_6^3 + 51469815644943019830445944441357314/4789726731436368085552000119762\ 37*c_0101_6^2 - 50538950190407770831619393340770047/478972673143636\ 808555200011976237*c_0101_6 + 9916606931010629695372751701117573/47\ 8972673143636808555200011976237, c_0101_1 + 5117185520025241673423758708941876/4789726731436368085552000\ 11976237*c_0101_6^26 + 1168637390366194286360727117654315/478972673\ 143636808555200011976237*c_0101_6^25 - 91766650582913022280917473377929125/4789726731436368085552000119762\ 37*c_0101_6^24 - 113114221053779465577053769941430193/4789726731436\ 36808555200011976237*c_0101_6^23 + 627869474872824511370258867489754228/478972673143636808555200011976\ 237*c_0101_6^22 + 1365824291515556452082500432374858237/47897267314\ 3636808555200011976237*c_0101_6^21 - 1469662958980154436513204457693100784/47897267314363680855520001197\ 6237*c_0101_6^20 - 6735533192085402491771391731475168324/4789726731\ 43636808555200011976237*c_0101_6^19 - 2063983127987197092784997999772920777/47897267314363680855520001197\ 6237*c_0101_6^18 + 15428523971369066496213618794219569696/478972673\ 143636808555200011976237*c_0101_6^17 + 16374522186343501173740568961608749170/4789726731436368085552000119\ 76237*c_0101_6^16 - 15962924507337043165761019985206333253/47897267\ 3143636808555200011976237*c_0101_6^15 - 31408083766904805966410478749844300844/4789726731436368085552000119\ 76237*c_0101_6^14 + 5806732322881310419549490806397731946/478972673\ 143636808555200011976237*c_0101_6^13 + 31722059263382958366482668127363954476/4789726731436368085552000119\ 76237*c_0101_6^12 + 3809409044608713040241744877834931509/478972673\ 143636808555200011976237*c_0101_6^11 - 17830523561598530284300680037293815678/4789726731436368085552000119\ 76237*c_0101_6^10 - 5799918223246393542385557472995149235/478972673\ 143636808555200011976237*c_0101_6^9 + 3096386084495722447189094155140080603/47897267314363680855520001197\ 6237*c_0101_6^8 + 3347109628208552825645954987761935762/47897267314\ 3636808555200011976237*c_0101_6^7 + 2064575738123106317482935960869422216/47897267314363680855520001197\ 6237*c_0101_6^6 - 1394867390900796579024484826424238569/47897267314\ 3636808555200011976237*c_0101_6^5 - 760170822150452039484778741425478496/478972673143636808555200011976\ 237*c_0101_6^4 + 230431547160004133360539593530028065/4789726731436\ 36808555200011976237*c_0101_6^3 - 142491935947206483583169481412313\ 411/478972673143636808555200011976237*c_0101_6^2 + 122300927182258847791420239265772335/478972673143636808555200011976\ 237*c_0101_6 - 21506079798852405175799242475168326/4789726731436368\ 08555200011976237, c_0101_2 + 46427322240771816347156069599007/478972673143636808555200011\ 976237*c_0101_6^26 + 39995781450333827131716615267527/4789726731436\ 36808555200011976237*c_0101_6^25 - 812334843980801746222322864761643/478972673143636808555200011976237\ *c_0101_6^24 - 1538038940087841361917518031628656/47897267314363680\ 8555200011976237*c_0101_6^23 + 4811851559177857083291227561088695/4\ 78972673143636808555200011976237*c_0101_6^22 + 15484380859787547670058659804475347/4789726731436368085552000119762\ 37*c_0101_6^21 - 4185603382400834316154199598609810/478972673143636\ 808555200011976237*c_0101_6^20 - 6461063664195590280102665212427686\ 1/478972673143636808555200011976237*c_0101_6^19 - 57525140669678095620587150588434453/4789726731436368085552000119762\ 37*c_0101_6^18 + 108522560482127013638004350660967004/4789726731436\ 36808555200011976237*c_0101_6^17 + 215264179288090044709282454935475295/478972673143636808555200011976\ 237*c_0101_6^16 - 22097905370177583553924247705450182/4789726731436\ 36808555200011976237*c_0101_6^15 - 303292982554052344581473847128641145/478972673143636808555200011976\ 237*c_0101_6^14 - 118835292668594951095412416571110506/478972673143\ 636808555200011976237*c_0101_6^13 + 225344368018006588520827233605092617/478972673143636808555200011976\ 237*c_0101_6^12 + 155855094787368954903246070130736530/478972673143\ 636808555200011976237*c_0101_6^11 - 78638359493391222831252838310489593/4789726731436368085552000119762\ 37*c_0101_6^10 - 86646351450138981718333778976166082/47897267314363\ 6808555200011976237*c_0101_6^9 - 1623150706162490189556152987458723\ 0/478972673143636808555200011976237*c_0101_6^8 + 13761489033442726125313831516541040/4789726731436368085552000119762\ 37*c_0101_6^7 + 23963300992226577645960114306772317/478972673143636\ 808555200011976237*c_0101_6^6 + 1147753041338521674040152424231037/\ 478972673143636808555200011976237*c_0101_6^5 - 4915663920250672347478882222488751/47897267314363680855520001197623\ 7*c_0101_6^4 + 1863221126789727321117287435390251/47897267314363680\ 8555200011976237*c_0101_6^3 - 1492232175119281271810579154055422/47\ 8972673143636808555200011976237*c_0101_6^2 - 361858181554532721194450852856487/478972673143636808555200011976237\ *c_0101_6 - 66037911129444372608708320387255/4789726731436368085552\ 00011976237, c_0101_3 + 215588779871237538741927750128621/47897267314363680855520001\ 1976237*c_0101_6^26 - 8693341070965355282616744544687/4789726731436\ 36808555200011976237*c_0101_6^25 - 3889048880422510863185470761046599/47897267314363680855520001197623\ 7*c_0101_6^24 - 3726713115759632266912289844457770/4789726731436368\ 08555200011976237*c_0101_6^23 + 27902757228518209317082179745608878\ /478972673143636808555200011976237*c_0101_6^22 + 50610913778570853163691565212724818/4789726731436368085552000119762\ 37*c_0101_6^21 - 78546160476654410569096183731315706/47897267314363\ 6808555200011976237*c_0101_6^20 - 269405812019238062663724517512918\ 984/478972673143636808555200011976237*c_0101_6^19 - 7835762139601646719012874573965176/47897267314363680855520001197623\ 7*c_0101_6^18 + 684797032568953745042250498086879532/47897267314363\ 6808555200011976237*c_0101_6^17 + 517754332095738071509723136198156\ 708/478972673143636808555200011976237*c_0101_6^16 - 884024782705731156953824310343475940/478972673143636808555200011976\ 237*c_0101_6^15 - 1167974014061013665432683783859889446/47897267314\ 3636808555200011976237*c_0101_6^14 + 626830980136519616846446952415504898/478972673143636808555200011976\ 237*c_0101_6^13 + 1318317042623280844686769789939401004/47897267314\ 3636808555200011976237*c_0101_6^12 - 208127268191594773260353171250769809/478972673143636808555200011976\ 237*c_0101_6^11 - 838660636983955280798978891837380509/478972673143\ 636808555200011976237*c_0101_6^10 - 48680637070703314479636402697790965/4789726731436368085552000119762\ 37*c_0101_6^9 + 216526537457941767078203172267054257/47897267314363\ 6808555200011976237*c_0101_6^8 + 1154909428795738235833956410147080\ 83/478972673143636808555200011976237*c_0101_6^7 + 49587398858892387412665020981723885/4789726731436368085552000119762\ 37*c_0101_6^6 - 88047202600255010618882012479640782/478972673143636\ 808555200011976237*c_0101_6^5 - 20397141685580212210830834909800752\ /478972673143636808555200011976237*c_0101_6^4 + 20082282192755888428481125413227838/4789726731436368085552000119762\ 37*c_0101_6^3 - 8500105108509189672325392477253176/4789726731436368\ 08555200011976237*c_0101_6^2 + 6853158917861207838720643382731508/4\ 78972673143636808555200011976237*c_0101_6 - 1889816242814393486984074652603703/47897267314363680855520001197623\ 7, c_0101_6^27 - 18*c_0101_6^25 - 18*c_0101_6^24 + 128*c_0101_6^23 + 239*c_0101_6^22 - 350*c_0101_6^21 - 1253*c_0101_6^20 - 97*c_0101_6^19 + 3121*c_0101_6^18 + 2507*c_0101_6^17 - 3887*c_0101_6^16 - 5442*c_0101_6^15 + 2586*c_0101_6^14 + 5982*c_0101_6^13 - 710*c_0101_6^12 - 3698*c_0101_6^11 - 321*c_0101_6^10 + 886*c_0101_6^9 + 517*c_0101_6^8 + 252*c_0101_6^7 - 372*c_0101_6^6 - 87*c_0101_6^5 + 82*c_0101_6^4 - 39*c_0101_6^3 + 31*c_0101_6^2 - 10*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB