Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 3600239163] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0691 geometric_solution 4.65329615 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676722467168 0.068809418994 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 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.860688449344 0.079907241003 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -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 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.781491369623 0.228275465024 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 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 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 1.085554110827 0.934117289250 3 6 5 5 0132 0132 0213 2310 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 0 0 0 -1 0 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.377011474247 0.738702136808 4 4 6 3 3201 0213 1023 0132 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 0 1 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.377011474247 0.738702136808 6 4 5 6 3012 0132 1023 1230 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 1.451873604747 1.073978292631 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 186027989945372109406572635378176304331982645659/760506172183481853\ 7767150346407136089722080256*c_0101_6^29 - 2137509308897558061676476352685053886220233724851/95063271522935231\ 7220893793300892011215260032*c_0101_6^27 + 491455535155281887113770252175592205420416974355203/760506172183481\ 8537767150346407136089722080256*c_0101_6^25 - 3402473176793482237505575180414829356758069219968453/38025308609174\ 09268883575173203568044861040128*c_0101_6^23 + 52267557042186958762370484111298788498217055803842847/7605061721834\ 818537767150346407136089722080256*c_0101_6^21 - 236859727448342541226456727944260248308315484101811017/760506172183\ 4818537767150346407136089722080256*c_0101_6^19 + 7331849043512823034949771498089823379694206451975957/82663714367769\ 766714860329852251479236109568*c_0101_6^17 - 1290184216228782205293651302680208937623889664445005271/76050617218\ 34818537767150346407136089722080256*c_0101_6^15 + 1698917954657778525405387865475752188611598335830436821/76050617218\ 34818537767150346407136089722080256*c_0101_6^13 - 1545844130677509160845137168588555961499145442957259581/76050617218\ 34818537767150346407136089722080256*c_0101_6^11 + 957181220680740063675486992745033134027534553170259651/760506172183\ 4818537767150346407136089722080256*c_0101_6^9 - 375329617334887701978127057644642599496883266913206925/760506172183\ 4818537767150346407136089722080256*c_0101_6^7 + 79666225289940879179112695120073606452196916556619647/7605061721834\ 818537767150346407136089722080256*c_0101_6^5 - 942528585344862300503219267365248218317061066971693/950632715229352\ 317220893793300892011215260032*c_0101_6^3 + 14848006239679142625331709464556496814184147660175/4753163576146761\ 58610446896650446005607630016*c_0101_6, c_0011_0 - 1, c_0011_1 + 28361427145307284857192172016722975300779/594145447018345198\ 26305862081305750700953752*c_0101_6^28 - 5174814653288436727532059334993292705464419/11882908940366903965261\ 1724162611501401907504*c_0101_6^26 + 73126727236545484790810686610482151091086273/5941454470183451982630\ 5862081305750700953752*c_0101_6^24 - 1972155229740726659182721570036405962601783839/11882908940366903965\ 2611724162611501401907504*c_0101_6^22 + 3632067251546464052293778991065955151617165373/29707272350917259913\ 152931040652875350476876*c_0101_6^20 - 61569024855464915369337869383266534376757693513/1188290894036690396\ 52611724162611501401907504*c_0101_6^18 + 6894817262813413677365845734970764310392349715/51664821479856104196\ 78770615765717452256848*c_0101_6^16 - 132029377932894209971966807288900624071197929471/594145447018345198\ 26305862081305750700953752*c_0101_6^14 + 282214562334573063470376011347949052763562428217/118829089403669039\ 652611724162611501401907504*c_0101_6^12 - 180630212120226190180768993781026365438951295315/118829089403669039\ 652611724162611501401907504*c_0101_6^10 + 51112544289101287120856397705769154218510193079/1188290894036690396\ 52611724162611501401907504*c_0101_6^8 + 14962647299303328185008821382132753772833398559/1188290894036690396\ 52611724162611501401907504*c_0101_6^6 - 14538872927807522921272217037429232868274063225/1188290894036690396\ 52611724162611501401907504*c_0101_6^4 + 1585352161318492924252396865474249805156533237/11882908940366903965\ 2611724162611501401907504*c_0101_6^2 + 3335926558317138275635791589276160890378915/29707272350917259913152\ 931040652875350476876, c_0011_5 - 116192499789311057964580707636607371276996747/19012654304587\ 04634441787586601784022430520064*c_0101_6^29 + 1334498908735711354052970985014094315433357285/23765817880733807930\ 5223448325223002803815008*c_0101_6^27 - 306533399397001812507266643648667318357281183795/190126543045870463\ 4441787586601784022430520064*c_0101_6^25 + 2119031223719251475028206296297153698703768339357/95063271522935231\ 7220893793300892011215260032*c_0101_6^23 - 32476479699088667636876092394893599544334729209327/1901265430458704\ 634441787586601784022430520064*c_0101_6^21 + 146643874192778038425852135051390186541492227252841/190126543045870\ 4634441787586601784022430520064*c_0101_6^19 - 4515919050193383884188637729505340802730220779561/20665928591942441\ 678715082463062869809027392*c_0101_6^17 + 789352194950432335277430508908999877982510080543239/190126543045870\ 4634441787586601784022430520064*c_0101_6^15 - 1029973032076993834251641964104372522942027608857909/19012654304587\ 04634441787586601784022430520064*c_0101_6^13 + 925171507655938825917610578701109666062637766662013/190126543045870\ 4634441787586601784022430520064*c_0101_6^11 - 562002407993419812138685062850101661260722344758115/190126543045870\ 4634441787586601784022430520064*c_0101_6^9 + 213024354920224439244624582742138736460462334098797/190126543045870\ 4634441787586601784022430520064*c_0101_6^7 - 41902636197007458973980776617082134404988613920095/1901265430458704\ 634441787586601784022430520064*c_0101_6^5 + 410744070311206173427458665923346241980619981823/237658178807338079\ 305223448325223002803815008*c_0101_6^3 - 3980678297700012885925651696014538746064125355/11882908940366903965\ 2611724162611501401907504*c_0101_6, c_0101_0 - 401889497475612957639189023823898661961990857/38025308609174\ 09268883575173203568044861040128*c_0101_6^29 + 4616173901004039080892840152881917895888495119/47531635761467615861\ 0446896650446005607630016*c_0101_6^27 - 1060521084220436367477662812255090154377404925185/38025308609174092\ 68883575173203568044861040128*c_0101_6^25 + 7333297233014917392198300237416298867790709080719/19012654304587046\ 34441787586601784022430520064*c_0101_6^23 - 112438559926785603778749770784428318439267159304277/380253086091740\ 9268883575173203568044861040128*c_0101_6^21 + 508034322656892470509627766735538208311601455517491/380253086091740\ 9268883575173203568044861040128*c_0101_6^19 - 15659256265628854272275298638614903545692635068035/4133185718388488\ 3357430164926125739618054784*c_0101_6^17 + 2740273380349366664141165048390849663963520024228189/38025308609174\ 09268883575173203568044861040128*c_0101_6^15 - 3581010724956702740493187384854590514710217640398007/38025308609174\ 09268883575173203568044861040128*c_0101_6^13 + 3223241250834997127071527173782417779675504009013711/38025308609174\ 09268883575173203568044861040128*c_0101_6^11 - 1963690002996254049873755022796127373163645373366993/38025308609174\ 09268883575173203568044861040128*c_0101_6^9 + 748024067877499048018502971949624170380690102835487/380253086091740\ 9268883575173203568044861040128*c_0101_6^7 - 148694016121740204983317268184549856297511920741349/380253086091740\ 9268883575173203568044861040128*c_0101_6^5 + 1491540867146751719692963219284864059544069191181/47531635761467615\ 8610446896650446005607630016*c_0101_6^3 - 15513484507935555227843527510378460711424754257/2376581788073380793\ 05223448325223002803815008*c_0101_6, c_0101_1 + 384135135537630942681341154473370975791203/82663714367769766\ 714860329852251479236109568*c_0101_6^28 - 4406563615489703699046943882819040392266297/10332964295971220839357\ 541231531434904513696*c_0101_6^26 + 1009509605886257930855663574951828666299914315/82663714367769766714\ 860329852251479236109568*c_0101_6^24 - 6950069720941922846503234407409927586489515381/41331857183884883357\ 430164926125739618054784*c_0101_6^22 + 105852508853652608351743162311389840805458215335/826637143677697667\ 14860329852251479236109568*c_0101_6^20 - 473415564871430722627263808027790525809608436369/826637143677697667\ 14860329852251479236109568*c_0101_6^18 + 330897550406061701868709275155672113658055061199/206659285919424416\ 78715082463062869809027392*c_0101_6^16 - 2473839222779958596824051664972448930957412423487/82663714367769766\ 714860329852251479236109568*c_0101_6^14 + 3160151249018586162837907262348382835037314456509/82663714367769766\ 714860329852251479236109568*c_0101_6^12 - 2760285603456334223742134860700233817939856793989/82663714367769766\ 714860329852251479236109568*c_0101_6^10 + 1614151772227282585167800667684631672803145294491/82663714367769766\ 714860329852251479236109568*c_0101_6^8 - 575103020054352323937287306610914625697839861941/826637143677697667\ 14860329852251479236109568*c_0101_6^6 + 100431141107393805207271408753851266983939493879/826637143677697667\ 14860329852251479236109568*c_0101_6^4 - 865333281827808783236921372586356393904857939/103329642959712208393\ 57541231531434904513696*c_0101_6^2 + 10216753918380688757637420112149936609760163/5166482147985610419678\ 770615765717452256848, c_0101_3 - 1897146462260169154524859630201024671470619/4753163576146761\ 58610446896650446005607630016*c_0101_6^28 + 43608156963464135759414041732298052100058019/1188290894036690396526\ 11724162611501401907504*c_0101_6^26 - 5015858939994867457312880916101777205021485459/47531635761467615861\ 0446896650446005607630016*c_0101_6^24 + 34753695343763839967849602687657064939205606351/2376581788073380793\ 05223448325223002803815008*c_0101_6^22 - 534484482507739563257952115255884219098617765095/475316357614676158\ 610446896650446005607630016*c_0101_6^20 + 2425948231412377640108924684073518983815611234061/47531635761467615\ 8610446896650446005607630016*c_0101_6^18 - 37615259002445264873461168640220486680583527201/2583241073992805209\ 839385307882858726128424*c_0101_6^16 + 13258929499054603048406657313434182815221179503415/4753163576146761\ 58610446896650446005607630016*c_0101_6^14 - 17477291952642426420110624973883359604106266859993/4753163576146761\ 58610446896650446005607630016*c_0101_6^12 + 15895306465374669156682529856215912660795168233593/4753163576146761\ 58610446896650446005607630016*c_0101_6^10 - 9803050865040150741699443138013781633524703248959/47531635761467615\ 8610446896650446005607630016*c_0101_6^8 + 3794052964264610010016135452927882540971903106353/47531635761467615\ 8610446896650446005607630016*c_0101_6^6 - 766572985420669907202172446499776681679246886747/475316357614676158\ 610446896650446005607630016*c_0101_6^4 + 14476159651431074218270735547001012718074746567/1188290894036690396\ 52611724162611501401907504*c_0101_6^2 - 14612029445490744394467017432922222346351551/7426818087729314978288\ 232760163218837619219, c_0101_6^30 - 92*c_0101_6^28 + 2649*c_0101_6^26 - 36786*c_0101_6^24 + 283813*c_0101_6^22 - 1295087*c_0101_6^20 + 3724736*c_0101_6^18 - 7215941*c_0101_6^16 + 9667187*c_0101_6^14 - 9010227*c_0101_6^12 + 5778309*c_0101_6^10 - 2405483*c_0101_6^8 + 577593*c_0101_6^6 - 70972*c_0101_6^4 + 3888*c_0101_6^2 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB