Magma V2.19-8 Tue Aug 20 2013 16:18:30 on localhost [Seed = 54697535] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2697 geometric_solution 5.95100461 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819184810682 0.591792474443 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476138624991 0.229358203796 4 0 4 5 0132 0132 0213 0132 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 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.217488061909 1.085377347329 5 5 0 4 1023 1302 0132 2103 0 0 0 0 0 1 -1 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 -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.910593216752 1.066988704297 2 2 6 3 0132 0213 0132 2103 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 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 1.272050198379 1.573181174164 6 3 2 3 2310 1023 0132 2031 0 0 0 0 0 0 0 0 1 0 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 -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.169717481606 1.534929905914 6 6 5 4 1302 2031 3201 0132 0 0 0 0 0 0 -1 1 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242261514339 0.523554306537 ==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' : negation(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' : negation(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' : negation(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' : negation(d['c_1010_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_1010_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_1010_3']), 'c_1010_3' : d['c_1010_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_6']})} 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_0011_6, c_0101_0, c_0101_1, c_0101_4, c_1010_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 306578687637283357629711891663317750502349280/645133736721118062203\ 886666268230436449088109*c_1010_3^25 - 8894104684235191601586741221094771088924038624/64513373672111806220\ 3886666268230436449088109*c_1010_3^23 + 26258284437269011484834784107811755974479242676/6451337367211180622\ 03886666268230436449088109*c_1010_3^21 - 91836290266230126233712668129427187012883366808/6451337367211180622\ 03886666268230436449088109*c_1010_3^19 - 137095156551120322931168971209545671804477939205/645133736721118062\ 203886666268230436449088109*c_1010_3^17 + 379405909359238562179241671314015344870379864903/645133736721118062\ 203886666268230436449088109*c_1010_3^15 + 1521816511690314698919048496480780801183640413264/64513373672111806\ 2203886666268230436449088109*c_1010_3^13 - 2846130307613151473597116995592041352996911741008/64513373672111806\ 2203886666268230436449088109*c_1010_3^11 + 1554201018753002589971873779992346164232576110286/64513373672111806\ 2203886666268230436449088109*c_1010_3^9 - 859890892568852734961178415175483701142451108353/645133736721118062\ 203886666268230436449088109*c_1010_3^7 + 349445282788696876978593698747315281163489297494/645133736721118062\ 203886666268230436449088109*c_1010_3^5 + 1289270171344957958963694933201259564420268783/64513373672111806220\ 3886666268230436449088109*c_1010_3^3 + 47400953079570525968637464634863336327381883568/6451337367211180622\ 03886666268230436449088109*c_1010_3, c_0011_0 - 1, c_0011_3 + 50851905037178411464701731098125858021376/893537031469692606\ 9305909505100144549156345*c_1010_3^24 - 1472744667214732424212520766059230440868096/89353703146969260693059\ 09505100144549156345*c_1010_3^22 + 4286688648701400626183154706757515231931008/89353703146969260693059\ 09505100144549156345*c_1010_3^20 - 15136448543949221614225799460245325979372192/8935370314696926069305\ 909505100144549156345*c_1010_3^18 - 23160959331193296201718847816737387981502096/8935370314696926069305\ 909505100144549156345*c_1010_3^16 + 60639469959233515785074995122019856674055744/8935370314696926069305\ 909505100144549156345*c_1010_3^14 + 253472952866832126567876290045360471256427856/893537031469692606930\ 5909505100144549156345*c_1010_3^12 - 454796671805635750207569403992682284935953808/893537031469692606930\ 5909505100144549156345*c_1010_3^10 + 255954245962756744963948303556211519284064192/893537031469692606930\ 5909505100144549156345*c_1010_3^8 - 32737969904748226132184187676483538184008048/1787074062939385213861\ 181901020028909831269*c_1010_3^6 + 66818113225848897966777625051886121034438393/8935370314696926069305\ 909505100144549156345*c_1010_3^4 - 8960657732934617776613951911870744893738449/89353703146969260693059\ 09505100144549156345*c_1010_3^2 + 446055915237825171024674175459186\ 2662284896/8935370314696926069305909505100144549156345, c_0011_6 - 54094266766828612801174447840212450891008/893537031469692606\ 9305909505100144549156345*c_1010_3^24 + 1568639174227980646456139489326300396255488/89353703146969260693059\ 09505100144549156345*c_1010_3^22 - 4615761477255410045644874023593180921899104/89353703146969260693059\ 09505100144549156345*c_1010_3^20 + 16213250917932437694902016900599500831245696/8935370314696926069305\ 909505100144549156345*c_1010_3^18 + 24224559192040668512243853607456107420626728/8935370314696926069305\ 909505100144549156345*c_1010_3^16 - 65952630357676269314539919548220728807087552/8935370314696926069305\ 909505100144549156345*c_1010_3^14 - 268105928120450009818899356018885634890541608/893537031469692606930\ 5909505100144549156345*c_1010_3^12 + 497184073235693733097789028042234057270503384/893537031469692606930\ 5909505100144549156345*c_1010_3^10 - 279099317843308297782457716487811136150761296/893537031469692606930\ 5909505100144549156345*c_1010_3^8 + 32341360840476438575508527066103983660624040/1787074062939385213861\ 181901020028909831269*c_1010_3^6 - 75559201458869552067279669156437553701521104/8935370314696926069305\ 909505100144549156345*c_1010_3^4 + 16157464618782288752686420910378506731126407/8935370314696926069305\ 909505100144549156345*c_1010_3^2 - 7556323737193461494685014005757833655398948/89353703146969260693059\ 09505100144549156345, c_0101_0 + 25086680818091535610368099616372196233888/893537031469692606\ 9305909505100144549156345*c_1010_3^24 - 684628691921128084148625558670855754973088/893537031469692606930590\ 9505100144549156345*c_1010_3^22 + 907175362666604372862432903806663\ 062781084/8935370314696926069305909505100144549156345*c_1010_3^20 - 4117649162819530644006064140844162637941736/89353703146969260693059\ 09505100144549156345*c_1010_3^18 - 23418293756390569924025509179843929754008363/8935370314696926069305\ 909505100144549156345*c_1010_3^16 + 8844196349485209268595806933649499101434057/89353703146969260693059\ 09505100144549156345*c_1010_3^14 + 171915853395825449625170227568773611970866713/893537031469692606930\ 5909505100144549156345*c_1010_3^12 - 11026129085362874066985015563039816821843604/8935370314696926069305\ 909505100144549156345*c_1010_3^10 - 220490250649174298131738966391241948114226994/893537031469692606930\ 5909505100144549156345*c_1010_3^8 + 17557132528565792655881413152624750445218999/1787074062939385213861\ 181901020028909831269*c_1010_3^6 - 40693916633396709858120001414431291477474781/8935370314696926069305\ 909505100144549156345*c_1010_3^4 + 13008729052836632711553080932626408000015608/8935370314696926069305\ 909505100144549156345*c_1010_3^2 + 9282073498772010539572328704758757999899633/89353703146969260693059\ 09505100144549156345, c_0101_1 - 3465186489683004290083119430184967718030336/1697720359792415\ 95316812280596902746433970555*c_1010_3^25 + 100140379316515237569587225113159156984073216/169772035979241595316\ 812280596902746433970555*c_1010_3^23 - 285726518328283911789885652478257434573227648/169772035979241595316\ 812280596902746433970555*c_1010_3^21 + 1009853816415916588431447680739324922991235072/16977203597924159531\ 6812280596902746433970555*c_1010_3^19 + 1654874884577448180700728821489565993054557536/16977203597924159531\ 6812280596902746433970555*c_1010_3^17 - 4072782869621842198365924055063079575405807744/16977203597924159531\ 6812280596902746433970555*c_1010_3^15 - 17556944105225264620607995070327817014605485456/1697720359792415953\ 16812280596902746433970555*c_1010_3^13 + 30114002890498761261809933611719270576554924768/1697720359792415953\ 16812280596902746433970555*c_1010_3^11 - 15006690654652330164659437423310884159837447472/1697720359792415953\ 16812280596902746433970555*c_1010_3^9 + 1710337290533394070734060369963791777497438864/33954407195848319063\ 362456119380549286794111*c_1010_3^7 - 2756258218391587064402005248261699785335929093/16977203597924159531\ 6812280596902746433970555*c_1010_3^5 - 421615169128040194344769919698452767790212226/169772035979241595316\ 812280596902746433970555*c_1010_3^3 - 169993403140290364544828033666823576580858401/169772035979241595316\ 812280596902746433970555*c_1010_3, c_0101_4 + 5213919300741405952738142738805845883139456/1697720359792415\ 95316812280596902746433970555*c_1010_3^25 - 151142054848637418804013157807269885346521216/169772035979241595316\ 812280596902746433970555*c_1010_3^23 + 443316364667545816992390180583474763120670608/169772035979241595316\ 812280596902746433970555*c_1010_3^21 - 1556619926654710255363485618937174655361658112/16977203597924159531\ 6812280596902746433970555*c_1010_3^19 - 2356132156859682803423513011391160595148224756/16977203597924159531\ 6812280596902746433970555*c_1010_3^17 + 6355274362603602223746611990811780066949249924/16977203597924159531\ 6812280596902746433970555*c_1010_3^15 + 25915227440519261358002401330886147220634899116/1697720359792415953\ 16812280596902746433970555*c_1010_3^13 - 47708279754554789904256058443102624476425822008/1697720359792415953\ 16812280596902746433970555*c_1010_3^11 + 26252762388960869023628488086973216584247309292/1697720359792415953\ 16812280596902746433970555*c_1010_3^9 - 2963397236625923031768048428569690149403608764/33954407195848319063\ 362456119380549286794111*c_1010_3^7 + 6138126377951412951523837829349485045678492388/16977203597924159531\ 6812280596902746433970555*c_1010_3^5 - 221052831652656964081268260369856836148533099/169772035979241595316\ 812280596902746433970555*c_1010_3^3 + 512719492067495630442567993930855702908187286/169772035979241595316\ 812280596902746433970555*c_1010_3, c_1010_3^26 - 29*c_1010_3^24 + 683/8*c_1010_3^22 - 1199/4*c_1010_3^20 - 14335/32*c_1010_3^18 + 39129/32*c_1010_3^16 + 158433/32*c_1010_3^14 - 18407/2*c_1010_3^12 + 166067/32*c_1010_3^10 - 93637/32*c_1010_3^8 + 37441/32*c_1010_3^6 - 297/4*c_1010_3^4 + 1993/16*c_1010_3^2 - 361/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB