Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 3002281598] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0372 geometric_solution 4.42793011 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 1 -1 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 8.483528159780 4.633283993316 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -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 -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.107026960842 0.088006970215 1 1 3 3 2310 0132 0132 2310 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 1 -1 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 3.447628235130 4.140749280465 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -1 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.079688395184 0.329044840863 5 3 5 6 2310 0132 2103 0132 0 0 0 0 0 -1 0 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 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.253595520226 1.246949319837 4 6 4 3 2103 2310 3201 0132 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 -1 0 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 0.253595520226 1.246949319837 6 6 4 5 1302 2031 0132 3201 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595638036643 0.598202861954 ==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_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0011_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0110_6']), 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : d['c_0011_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_0011_5, c_0011_6, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 503840285743670068570190532010420816003364/195351475143829911625564\ 384467189582988641*c_0110_6^21 + 1075405961948602336329920759917715\ 184878443/195351475143829911625564384467189582988641*c_0110_6^20 + 611891185817511088508170144063499204150840/195351475143829911625564\ 384467189582988641*c_0110_6^19 + 4991722086798277062778008539416562\ 428448003/195351475143829911625564384467189582988641*c_0110_6^18 - 13610447378151554697772693440584896683882851/1953514751438299116255\ 64384467189582988641*c_0110_6^17 + 2301293846496857314719983922364065537382745/15027036549525377817351\ 106497476121768357*c_0110_6^16 - 8429932040683289214878856028989361\ 1211580243/195351475143829911625564384467189582988641*c_0110_6^15 - 68491643522598128662902491374302865020747/3808020957969393988802424\ 64848322773857*c_0110_6^14 - 23178741126931262781904462795307411235\ 6499481/195351475143829911625564384467189582988641*c_0110_6^13 + 173914354793930024562231271373152888453472164/651171583812766372085\ 21461489063194329547*c_0110_6^12 + 92028035740527094326282737149993387827211897/1953514751438299116255\ 64384467189582988641*c_0110_6^11 + 176586733870478066208966961807943991969140326/195351475143829911625\ 564384467189582988641*c_0110_6^10 - 451692015780031686341208378656594035406545180/195351475143829911625\ 564384467189582988641*c_0110_6^9 - 531640753247352611000056254756280894513486328/195351475143829911625\ 564384467189582988641*c_0110_6^8 + 534134537155306040483297039665683525336059216/195351475143829911625\ 564384467189582988641*c_0110_6^7 - 347420684323021527701346271074180800039779858/195351475143829911625\ 564384467189582988641*c_0110_6^6 + 541738468115665302198840541665097544762486695/195351475143829911625\ 564384467189582988641*c_0110_6^5 + 59877471471840915957511372024985029218367153/1953514751438299116255\ 64384467189582988641*c_0110_6^4 - 280919970108473504866493309651096\ 732479300093/195351475143829911625564384467189582988641*c_0110_6^3 - 5196308345509871140989293794794451233657947/65117158381276637208521\ 461489063194329547*c_0110_6^2 + 17558993636773836989252578059941003\ 488505698/195351475143829911625564384467189582988641*c_0110_6 + 16788497040072996778868354299822578825622490/1953514751438299116255\ 64384467189582988641, c_0011_0 - 1, c_0011_1 + 5410341833469505308159338999888066/6957831094407809224926776\ 2625310209*c_0110_6^21 + 13896872653097211640647500044313665/695783\ 10944078092249267762625310209*c_0110_6^20 + 13294056541022176309175804568085225/6957831094407809224926776262531\ 0209*c_0110_6^19 + 61649060213002891214024972780432836/695783109440\ 78092249267762625310209*c_0110_6^18 - 116329596154048424219648925831752361/695783109440780922492677626253\ 10209*c_0110_6^17 + 280264448460446733485932600604163385/6957831094\ 4078092249267762625310209*c_0110_6^16 - 791677219033357925232957612523204654/695783109440780922492677626253\ 10209*c_0110_6^15 - 693974961092316116972400737927708026/6957831094\ 4078092249267762625310209*c_0110_6^14 - 2862722236885746632124215441350083774/69578310944078092249267762625\ 310209*c_0110_6^13 + 4199407820957631289014711357842081125/69578310\ 944078092249267762625310209*c_0110_6^12 + 2383779587932972404623132098951551968/69578310944078092249267762625\ 310209*c_0110_6^11 + 3164089623409610876858623766462016707/69578310\ 944078092249267762625310209*c_0110_6^10 - 2865478502018392780685142433340033754/69578310944078092249267762625\ 310209*c_0110_6^9 - 6452184137781007397037978716643901351/695783109\ 44078092249267762625310209*c_0110_6^8 + 2932717399956770000495160925723732088/69578310944078092249267762625\ 310209*c_0110_6^7 - 3420886375610791662230865609803768047/695783109\ 44078092249267762625310209*c_0110_6^6 + 4350396753110974240044495635657480358/69578310944078092249267762625\ 310209*c_0110_6^5 + 2364135231751834105435754020441841242/695783109\ 44078092249267762625310209*c_0110_6^4 - 1876975445635906174940732072568379441/69578310944078092249267762625\ 310209*c_0110_6^3 - 333962974562524249745996311298703848/6957831094\ 4078092249267762625310209*c_0110_6^2 - 119232291604912643520436524509478293/695783109440780922492677626253\ 10209*c_0110_6 - 26287465519498500623198015638386198/69578310944078\ 092249267762625310209, c_0011_3 + 1528810097651964222300692281861320/6957831094407809224926776\ 2625310209*c_0110_6^21 + 3744274029746830561070703108324567/6957831\ 0944078092249267762625310209*c_0110_6^20 + 3100331043944537801516601119064004/69578310944078092249267762625310\ 209*c_0110_6^19 + 16291631157643809624693847817594318/6957831094407\ 8092249267762625310209*c_0110_6^18 - 36073998909233322831119226919351440/6957831094407809224926776262531\ 0209*c_0110_6^17 + 80011921141079218386667749426510026/695783109440\ 78092249267762625310209*c_0110_6^16 - 232149389297679471854753541057573017/695783109440780922492677626253\ 10209*c_0110_6^15 - 177206429724303844702351391346438954/6957831094\ 4078092249267762625310209*c_0110_6^14 - 767102047105259127253582580173518525/695783109440780922492677626253\ 10209*c_0110_6^13 + 1328830482273481019388651673044703365/695783109\ 44078092249267762625310209*c_0110_6^12 + 673510731488889739829922021106213142/695783109440780922492677626253\ 10209*c_0110_6^11 + 803761973552428404027500404007715220/6957831094\ 4078092249267762625310209*c_0110_6^10 - 1051897148686417275803968512631042384/69578310944078092249267762625\ 310209*c_0110_6^9 - 1954364128659384305943348815985873777/695783109\ 44078092249267762625310209*c_0110_6^8 + 977268937582773885345863823382075646/695783109440780922492677626253\ 10209*c_0110_6^7 - 861269086881218428970463990002427208/69578310944\ 078092249267762625310209*c_0110_6^6 + 1388471973655116578759795783661561755/69578310944078092249267762625\ 310209*c_0110_6^5 + 624023679300202599137803936898141666/6957831094\ 4078092249267762625310209*c_0110_6^4 - 638051632771089697205357826928541793/695783109440780922492677626253\ 10209*c_0110_6^3 - 125118840256178712496399236727905413/69578310944\ 078092249267762625310209*c_0110_6^2 - 90401382749501421145473676385434098/6957831094407809224926776262531\ 0209*c_0110_6 - 4050739944985155002237214792849740/6957831094407809\ 2249267762625310209, c_0011_5 + 21453131839769711230442259846653607832/380802095796939398880\ 242464848322773857*c_0110_6^21 + 5847945843940753405607784641660217\ 3304/380802095796939398880242464848322773857*c_0110_6^20 + 61347936746555082575807831253506254876/3808020957969393988802424648\ 48322773857*c_0110_6^19 + 253604102950787483290736885069588894731/3\ 80802095796939398880242464848322773857*c_0110_6^18 - 420283985838682720088367671078759357164/380802095796939398880242464\ 848322773857*c_0110_6^17 + 80087870116283576046024240502071738302/2\ 9292468907456876836941728065255597989*c_0110_6^16 - 2952628372084318691527462344513406284654/38080209579693939888024246\ 4848322773857*c_0110_6^15 - 326830155573478148139768833295638248916\ 1/380802095796939398880242464848322773857*c_0110_6^14 - 11738455591396541040148895518680824956161/3808020957969393988802424\ 64848322773857*c_0110_6^13 + 14725400978155998522981214461362409493\ 255/380802095796939398880242464848322773857*c_0110_6^12 + 11933088262533554606780994524566668036339/3808020957969393988802424\ 64848322773857*c_0110_6^11 + 13445797770335454737556750521653883971\ 447/380802095796939398880242464848322773857*c_0110_6^10 - 8759824958453428184566819887928070765568/38080209579693939888024246\ 4848322773857*c_0110_6^9 - 2672036928674176838659256516856227302414\ 4/380802095796939398880242464848322773857*c_0110_6^8 + 8816118103818772836622045904291233781759/38080209579693939888024246\ 4848322773857*c_0110_6^7 - 1153389319671307150190134654055559151487\ 7/380802095796939398880242464848322773857*c_0110_6^6 + 13952957125233060981560354667975844695404/3808020957969393988802424\ 64848322773857*c_0110_6^5 + 119397331502441461060068205310853157766\ 18/380802095796939398880242464848322773857*c_0110_6^4 - 6830772828527945593471405149364629866007/38080209579693939888024246\ 4848322773857*c_0110_6^3 - 2015246428694198173407653667724107231291\ /380802095796939398880242464848322773857*c_0110_6^2 - 150666294031314092806490657396011642318/380802095796939398880242464\ 848322773857*c_0110_6 - 296430918958101878058924612056050074680/380\ 802095796939398880242464848322773857, c_0011_6 + 16027006940406296880680494714788402130/380802095796939398880\ 242464848322773857*c_0110_6^21 + 3889472399295000982121339078706556\ 3303/380802095796939398880242464848322773857*c_0110_6^20 + 33159810093822668881602142611718431636/3808020957969393988802424648\ 48322773857*c_0110_6^19 + 174413024115046567497454878321803548661/3\ 80802095796939398880242464848322773857*c_0110_6^18 - 376450673891350984022132293166935446437/380802095796939398880242464\ 848322773857*c_0110_6^17 + 66728529850294382275259853542956368045/2\ 9292468907456876836941728065255597989*c_0110_6^16 - 2478629212202867869511297213845200489299/38080209579693939888024246\ 4848322773857*c_0110_6^15 - 172235220766402310255564076433870364444\ 5/380802095796939398880242464848322773857*c_0110_6^14 - 8216260902546970123808930322354299814485/38080209579693939888024246\ 4848322773857*c_0110_6^13 + 139028575284099060601568861869645626517\ 47/380802095796939398880242464848322773857*c_0110_6^12 + 5774411966543067831541950788433003663894/38080209579693939888024246\ 4848322773857*c_0110_6^11 + 918464533752336084770959578733236902493\ 2/380802095796939398880242464848322773857*c_0110_6^10 - 10641258333279457662686670335841364950884/3808020957969393988802424\ 64848322773857*c_0110_6^9 - 187316546360834215409145988801606035864\ 65/380802095796939398880242464848322773857*c_0110_6^8 + 9886782556407137512812864888096703216990/38080209579693939888024246\ 4848322773857*c_0110_6^7 - 1094389762032758337137725831329831964516\ 8/380802095796939398880242464848322773857*c_0110_6^6 + 15213850471984147812605195022106248919200/3808020957969393988802424\ 64848322773857*c_0110_6^5 + 535375466830649657813499138576228357799\ 5/380802095796939398880242464848322773857*c_0110_6^4 - 5171879555050814555719774301710537376519/38080209579693939888024246\ 4848322773857*c_0110_6^3 - 1030027456981434304886512760555635220264\ /380802095796939398880242464848322773857*c_0110_6^2 - 615482422506387242712589645313894295058/380802095796939398880242464\ 848322773857*c_0110_6 - 198291056927329115155879923909014231198/380\ 802095796939398880242464848322773857, c_0101_2 - 4925857459670865008126739698209897/6957831094407809224926776\ 2625310209*c_0110_6^21 - 12875819714874700197650750096261226/695783\ 10944078092249267762625310209*c_0110_6^20 - 12997141817872220030764737187305433/6957831094407809224926776262531\ 0209*c_0110_6^19 - 57795052456246782710773959560418096/695783109440\ 78092249267762625310209*c_0110_6^18 + 101628912090882756481322369201762625/695783109440780922492677626253\ 10209*c_0110_6^17 - 255307706576971894692864682952693273/6957831094\ 4078092249267762625310209*c_0110_6^16 + 711855664856203308497671707218272305/695783109440780922492677626253\ 10209*c_0110_6^15 + 651415250508657248127694849294218751/6957831094\ 4078092249267762625310209*c_0110_6^14 + 2668969657226402277625969347938433714/69578310944078092249267762625\ 310209*c_0110_6^13 - 3631456802373232761175571513365921079/69578310\ 944078092249267762625310209*c_0110_6^12 - 2109744923694418282213980355655464240/69578310944078092249267762625\ 310209*c_0110_6^11 - 3043151804986707708533548079473995773/69578310\ 944078092249267762625310209*c_0110_6^10 + 2243714329997533190581007782796703362/69578310944078092249267762625\ 310209*c_0110_6^9 + 5598395415937455923834183499955584762/695783109\ 44078092249267762625310209*c_0110_6^8 - 2437772843005994236741031815964763920/69578310944078092249267762625\ 310209*c_0110_6^7 + 3295078509529623631749956326352806507/695783109\ 44078092249267762625310209*c_0110_6^6 - 3669527157729521088295621683287374884/69578310944078092249267762625\ 310209*c_0110_6^5 - 2221836998856892473770811171231017352/695783109\ 44078092249267762625310209*c_0110_6^4 + 1515114333605301425712482455998123391/69578310944078092249267762625\ 310209*c_0110_6^3 + 250618294637328661402044735645218022/6957831094\ 4078092249267762625310209*c_0110_6^2 + 53777244946096055158783001375250050/6957831094407809224926776262531\ 0209*c_0110_6 + 118646027054118478738880438200727068/69578310944078\ 092249267762625310209, c_0110_6^22 + 2*c_0110_6^21 + c_0110_6^20 + 10*c_0110_6^19 - 28*c_0110_6^18 + 64*c_0110_6^17 - 176*c_0110_6^16 - 45*c_0110_6^15 - 457*c_0110_6^14 + 1077*c_0110_6^13 - c_0110_6^12 + 344*c_0110_6^11 - 857*c_0110_6^10 - 889*c_0110_6^9 + 1204*c_0110_6^8 - 944*c_0110_6^7 + 1160*c_0110_6^6 - 7*c_0110_6^5 - 590*c_0110_6^4 + 132*c_0110_6^3 + 14*c_0110_6^2 - 5*c_0110_6 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB