Magma V2.19-8 Tue Aug 20 2013 16:16:55 on localhost [Seed = 1949690027] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1176 geometric_solution 5.04806182 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 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 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 2.490868276938 0.537183537246 2 0 0 2 0132 0132 1023 3201 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 1 0 -1 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.231932842872 0.204572595152 1 1 3 4 0132 2310 0132 0132 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 1 0 -1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841693198035 1.372797492385 5 6 4 2 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.091921851894 0.684560823995 6 5 2 3 2310 3201 0132 3012 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 1 -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 1.091921851894 0.684560823995 3 5 4 5 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702178682790 0.529342126209 6 3 4 6 3201 0132 3201 2310 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 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 -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.112487423493 0.678425246531 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, 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: 24 Groebner basis: [ t - 73647960844980552220258170036113576/1052470959576298827442688814506\ 03*c_0101_6^23 - 675431392945709961782442480226688632/1052470959576\ 29882744268881450603*c_0101_6^22 - 333385685665737614515510750700510141/105247095957629882744268881450\ 603*c_0101_6^21 + 13447439484738159689685491916996755844/1052470959\ 57629882744268881450603*c_0101_6^20 + 36106256114538112182181944789453171474/1052470959576298827442688814\ 50603*c_0101_6^19 - 47480654093236478435448483983074423969/10524709\ 5957629882744268881450603*c_0101_6^18 - 275003779040541912067940417934091679131/105247095957629882744268881\ 450603*c_0101_6^17 - 163054299948106804273090951896121613133/105247\ 095957629882744268881450603*c_0101_6^16 + 554932976675895640675636618900787726541/105247095957629882744268881\ 450603*c_0101_6^15 + 738963000130400788602700132349897245124/105247\ 095957629882744268881450603*c_0101_6^14 - 452167528696837332706681515731542716536/105247095957629882744268881\ 450603*c_0101_6^13 - 1189441822880185371642728412103969234659/10524\ 7095957629882744268881450603*c_0101_6^12 + 70805516496416968784747519238500409346/1052470959576298827442688814\ 50603*c_0101_6^11 + 1131396628434248251555105886380685923044/105247\ 095957629882744268881450603*c_0101_6^10 + 189482589466069041788693103290045065304/105247095957629882744268881\ 450603*c_0101_6^9 - 63711041318507815410346278095948862395/95679178\ 14329989340388080131873*c_0101_6^8 - 170621819589777720608165640797973100766/105247095957629882744268881\ 450603*c_0101_6^7 + 287121889169705366080375218497177729602/1052470\ 95957629882744268881450603*c_0101_6^6 + 48917039763766307802187888558944065081/1052470959576298827442688814\ 50603*c_0101_6^5 - 82678149657963167266870338571501515977/105247095\ 957629882744268881450603*c_0101_6^4 + 2570132235207069408635135086482988565/10524709595762988274426888145\ 0603*c_0101_6^3 + 13298526670976728731006961296812511099/1052470959\ 57629882744268881450603*c_0101_6^2 - 4149954432894100695239153630916843254/10524709595762988274426888145\ 0603*c_0101_6 + 395941259317448306570884128402673042/10524709595762\ 9882744268881450603, c_0011_0 - 1, c_0011_3 + 3812015917806877989208332616309/8698107103936353945807345574\ 43*c_0101_6^23 + 37660758003788845788065090971056/86981071039363539\ 4580734557443*c_0101_6^22 + 40691097777355156636002370951897/869810\ 710393635394580734557443*c_0101_6^21 - 694067353655585802178449306827333/869810710393635394580734557443*c_\ 0101_6^20 - 2351718059108472257468485022442161/86981071039363539458\ 0734557443*c_0101_6^19 + 1371963485992430405513992436093120/8698107\ 10393635394580734557443*c_0101_6^18 + 16277966373196737565945959014929714/869810710393635394580734557443*\ c_0101_6^17 + 17007432586633554557231959189773497/86981071039363539\ 4580734557443*c_0101_6^16 - 25952438931504889815652528386727628/869\ 810710393635394580734557443*c_0101_6^15 - 55894403464988431891359153986029899/869810710393635394580734557443*\ c_0101_6^14 + 6090266168452321484959456764106269/869810710393635394\ 580734557443*c_0101_6^13 + 78073022708198792607425632259371394/8698\ 10710393635394580734557443*c_0101_6^12 + 23957614394753025538131188910043493/869810710393635394580734557443*\ c_0101_6^11 - 66262346931166198580774140804138512/86981071039363539\ 4580734557443*c_0101_6^10 - 34565716306150700697745894223452158/869\ 810710393635394580734557443*c_0101_6^9 + 36985054854585701123491371316735976/869810710393635394580734557443*\ c_0101_6^8 + 22318944320621886447874293672531235/869810710393635394\ 580734557443*c_0101_6^7 - 14209778474915598413581709142361914/86981\ 0710393635394580734557443*c_0101_6^6 - 6768283160427452593431096480888717/869810710393635394580734557443*c\ _0101_6^5 + 4535210747185158313678415663279414/86981071039363539458\ 0734557443*c_0101_6^4 + 639345133296204309033708727242673/869810710\ 393635394580734557443*c_0101_6^3 - 941176219361861934573541354329055/869810710393635394580734557443*c_\ 0101_6^2 + 239470211106022619577262105523148/8698107103936353945807\ 34557443*c_0101_6 - 20861291025378995656440831948254/86981071039363\ 5394580734557443, c_0101_0 + 19158813870174015647743908318461/869810710393635394580734557\ 443*c_0101_6^23 + 176919049984511898126463727851863/869810710393635\ 394580734557443*c_0101_6^22 + 98931648523339311741331428687901/8698\ 10710393635394580734557443*c_0101_6^21 - 3482836028747001003541564625102371/869810710393635394580734557443*c\ _0101_6^20 - 9609340904024648649004920270983522/8698107103936353945\ 80734557443*c_0101_6^19 + 11562710484962814784724476975342730/86981\ 0710393635394580734557443*c_0101_6^18 + 71802707689024533775379035623030665/869810710393635394580734557443*\ c_0101_6^17 + 47592991000740467004111592674197447/86981071039363539\ 4580734557443*c_0101_6^16 - 137865694998538588654663801753016818/86\ 9810710393635394580734557443*c_0101_6^15 - 198850846871518434527099782976655044/869810710393635394580734557443\ *c_0101_6^14 + 98686793531626140983582928730073426/8698107103936353\ 94580734557443*c_0101_6^13 + 306898158682722107340210834082109248/8\ 69810710393635394580734557443*c_0101_6^12 + 5186037490146813064378404262625428/869810710393635394580734557443*c\ _0101_6^11 - 281337633210765805909120751762788767/86981071039363539\ 4580734557443*c_0101_6^10 - 66657959031856733468374835412796738/869\ 810710393635394580734557443*c_0101_6^9 + 167505764212563748424615291509506846/869810710393635394580734557443\ *c_0101_6^8 + 52191568539860631293913796961753842/86981071039363539\ 4580734557443*c_0101_6^7 - 65940940422910277245395199780160827/8698\ 10710393635394580734557443*c_0101_6^6 - 14942509254735825804050302458090741/869810710393635394580734557443*\ c_0101_6^5 + 18886764338525638552833085419002068/869810710393635394\ 580734557443*c_0101_6^4 + 71187184554155112735354540129271/86981071\ 0393635394580734557443*c_0101_6^3 - 3076121300346205133209404201565483/869810710393635394580734557443*c\ _0101_6^2 + 888519671136693520021539153038317/869810710393635394580\ 734557443*c_0101_6 - 80595805447700343069331322366436/8698107103936\ 35394580734557443, c_0101_1 - 5715485024974205871039308006071/8698107103936353945807345574\ 43*c_0101_6^23 - 52667398539532898514314667908962/86981071039363539\ 4580734557443*c_0101_6^22 - 28239054616285835533925198147679/869810\ 710393635394580734557443*c_0101_6^21 + 1041835802176836951606656725379991/869810710393635394580734557443*c\ _0101_6^20 + 2847679851902910752137424830934016/8698107103936353945\ 80734557443*c_0101_6^19 - 3548929549204471992129097294096790/869810\ 710393635394580734557443*c_0101_6^18 - 21473426557767907449267079997350829/869810710393635394580734557443*\ c_0101_6^17 - 13647629674367829640658129722874389/86981071039363539\ 4580734557443*c_0101_6^16 + 42264353143638208945523125825163510/869\ 810710393635394580734557443*c_0101_6^15 + 59171763428543393083019006501739813/869810710393635394580734557443*\ c_0101_6^14 - 31988902022522281343280678300492054/86981071039363539\ 4580734557443*c_0101_6^13 - 93291971286998285423665076378605056/869\ 810710393635394580734557443*c_0101_6^12 + 803545220151284595597853526338262/869810710393635394580734557443*c_\ 0101_6^11 + 86987340032614955424057247486408747/8698107103936353945\ 80734557443*c_0101_6^10 + 18882501364925889149157721724144511/86981\ 0710393635394580734557443*c_0101_6^9 - 52645321358375913252549477132073434/869810710393635394580734557443*\ c_0101_6^8 - 15617185868358659291389580775106541/869810710393635394\ 580734557443*c_0101_6^7 + 20990921969559411729754518016010854/86981\ 0710393635394580734557443*c_0101_6^6 + 4664793877636821181323090973319557/869810710393635394580734557443*c\ _0101_6^5 - 5965014972196633414963404519808198/86981071039363539458\ 0734557443*c_0101_6^4 - 31589829153709162890561706693177/8698107103\ 93635394580734557443*c_0101_6^3 + 972848783170423450521792283906604\ /869810710393635394580734557443*c_0101_6^2 - 279476720392299680772023164176826/869810710393635394580734557443*c_\ 0101_6 + 25202599053121677441542872961309/8698107103936353945807345\ 57443, c_0101_2 - 10169136187540990353269608482527/869810710393635394580734557\ 443*c_0101_6^23 - 94486076651298392417443568250356/8698107103936353\ 94580734557443*c_0101_6^22 - 57545040984397493701973077460067/86981\ 0710393635394580734557443*c_0101_6^21 + 1848194725023612294965654465281157/869810710393635394580734557443*c\ _0101_6^20 + 5203777577828638894573035546360922/8698107103936353945\ 80734557443*c_0101_6^19 - 5905142729555780675836789528362912/869810\ 710393635394580734557443*c_0101_6^18 - 38543165491368065629028705978678961/869810710393635394580734557443*\ c_0101_6^17 - 27071733373897736114676450140016985/86981071039363539\ 4580734557443*c_0101_6^16 + 72566444923001807127836898419206257/869\ 810710393635394580734557443*c_0101_6^15 + 109147691944539874587430357972037857/869810710393635394580734557443\ *c_0101_6^14 - 48834651319622847940085924124339790/8698107103936353\ 94580734557443*c_0101_6^13 - 166151049192369236478047502962507999/8\ 69810710393635394580734557443*c_0101_6^12 - 8152025986929889191574879017925783/869810710393635394580734557443*c\ _0101_6^11 + 150870023164379682301641877626780982/86981071039363539\ 4580734557443*c_0101_6^10 + 40012493619709625579725825001655430/869\ 810710393635394580734557443*c_0101_6^9 - 89194121478941665867271495041267937/869810710393635394580734557443*\ c_0101_6^8 - 30077345135746496211233090868235094/869810710393635394\ 580734557443*c_0101_6^7 + 35065590471521531964204574838267893/86981\ 0710393635394580734557443*c_0101_6^6 + 8605393346007068395941899510747129/869810710393635394580734557443*c\ _0101_6^5 - 10190285003622902165677858824526591/8698107103936353945\ 80734557443*c_0101_6^4 - 143734419712209275091653577427692/86981071\ 0393635394580734557443*c_0101_6^3 + 1705385655230610993949979355804498/869810710393635394580734557443*c\ _0101_6^2 - 488904339380149110746571891492931/869810710393635394580\ 734557443*c_0101_6 + 44348793720078246279858705378844/8698107103936\ 35394580734557443, c_0101_3 - 10526441075235335396381476081780/869810710393635394580734557\ 443*c_0101_6^23 - 100348555307791166290676484198106/869810710393635\ 394580734557443*c_0101_6^22 - 81515553728432870883284116691319/8698\ 10710393635394580734557443*c_0101_6^21 + 1912521675940442958248826075981712/869810710393635394580734557443*c\ _0101_6^20 + 5843425327182197714692578556398006/8698107103936353945\ 80734557443*c_0101_6^19 - 5110560831984239586544654715054489/869810\ 710393635394580734557443*c_0101_6^18 - 41910145293596236145911805209131046/869810710393635394580734557443*\ c_0101_6^17 - 36106774728346750892261929637402496/86981071039363539\ 4580734557443*c_0101_6^16 + 73025740627004386569972519447258038/869\ 810710393635394580734557443*c_0101_6^15 + 130499593020335306095180073458718740/869810710393635394580734557443\ *c_0101_6^14 - 34560124777004432563415159088066835/8698107103936353\ 94580734557443*c_0101_6^13 - 189698491401511563036442689472271795/8\ 69810710393635394580734557443*c_0101_6^12 - 35627889931638994487018628741179795/869810710393635394580734557443*\ c_0101_6^11 + 165560378538539601955641057764186987/8698107103936353\ 94580734557443*c_0101_6^10 + 67089257638695904243025714141687996/86\ 9810710393635394580734557443*c_0101_6^9 - 94022064104893473923974008201213975/869810710393635394580734557443*\ c_0101_6^8 - 45999806615824543307190864752478431/869810710393635394\ 580734557443*c_0101_6^7 + 35729571713254460674121268462215376/86981\ 0710393635394580734557443*c_0101_6^6 + 13997525203126169382483725212584444/869810710393635394580734557443*\ c_0101_6^5 - 10614270617899293310531819694527990/869810710393635394\ 580734557443*c_0101_6^4 - 1156567077703464596473122633755656/869810\ 710393635394580734557443*c_0101_6^3 + 1974568884478737138071520163837195/869810710393635394580734557443*c\ _0101_6^2 - 486202540821119500184116960152212/869810710393635394580\ 734557443*c_0101_6 + 39802192027453330484248901376879/8698107103936\ 35394580734557443, c_0101_6^24 + 9*c_0101_6^23 + 3*c_0101_6^22 - 183*c_0101_6^21 - 459*c_0101_6^20 + 721*c_0101_6^19 + 3607*c_0101_6^18 + 1608*c_0101_6^17 - 7780*c_0101_6^16 - 8707*c_0101_6^15 + 7573*c_0101_6^14 + 14836*c_0101_6^13 - 3446*c_0101_6^12 - 14762*c_0101_6^11 - 89*c_0101_6^10 + 9554*c_0101_6^9 + 716*c_0101_6^8 - 4068*c_0101_6^7 + 7*c_0101_6^6 + 1161*c_0101_6^5 - 222*c_0101_6^4 - 160*c_0101_6^3 + 83*c_0101_6^2 - 15*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB