Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 1225315754] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1996 geometric_solution 5.55898938 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534129097403 0.135655083512 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 1 -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 -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.623804591366 0.677847284082 4 1 5 3 0132 0132 0132 1230 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 -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.887512615065 1.282599510567 2 5 1 4 3012 1023 0132 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 1 -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.887512615065 1.282599510567 2 3 6 6 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.676855225354 0.560772186765 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 1 -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 0 1 -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.872755646957 0.752198110668 6 4 4 6 3012 3201 0132 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 0.092285802309 0.890116408377 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], '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_3'], 'c_0011_4' : negation(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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], '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_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 7698194385418994476097101535702708278995664/19107188471188633513455\ 10652767501949*c_0101_5^22 - 11200457887313480667464898366392260763\ 87664/173701713374442122849591877524318359*c_0101_5^21 - 13961734820326605235626999649801011281455288/1737017133744421228495\ 91877524318359*c_0101_5^20 + 73556462624001428442593426516511003629\ 425448/173701713374442122849591877524318359*c_0101_5^19 - 1932646647476267524891944058041271363204495531/19107188471188633513\ 45510652767501949*c_0101_5^18 + 25148830350401543370714780833811367\ 7584196091/173701713374442122849591877524318359*c_0101_5^17 - 2399174516492245542624547081762587761110022165/19107188471188633513\ 45510652767501949*c_0101_5^16 + 75953037815910372990173127519074703\ 2886336565/1910718847118863351345510652767501949*c_0101_5^15 + 1253913656648412041453642485273607630897240251/19107188471188633513\ 45510652767501949*c_0101_5^14 - 25161708777367363490202646921835026\ 04754439342/1910718847118863351345510652767501949*c_0101_5^13 + 2533249623941151055781921250207276922753007561/19107188471188633513\ 45510652767501949*c_0101_5^12 - 15346362707874851576465272546639855\ 2709829258/173701713374442122849591877524318359*c_0101_5^11 + 697321868642479478711943792416826798840665273/191071884711886335134\ 5510652767501949*c_0101_5^10 - 499207656051724384262686759579964635\ 03980558/1910718847118863351345510652767501949*c_0101_5^9 - 176493404335249064210104066229280116025198353/191071884711886335134\ 5510652767501949*c_0101_5^8 + 1594176196446089670019069223877161448\ 27746101/1910718847118863351345510652767501949*c_0101_5^7 - 76999426041291219794706539105635014900355015/1910718847118863351345\ 510652767501949*c_0101_5^6 + 20410448190434058461168684674844044928\ 255449/1910718847118863351345510652767501949*c_0101_5^5 + 34776637711449282766886644574542334435930/1737017133744421228495918\ 77524318359*c_0101_5^4 - 316210604630678980899661954826544776440589\ 1/1910718847118863351345510652767501949*c_0101_5^3 + 1485166128588890123363095429918553225090106/19107188471188633513455\ 10652767501949*c_0101_5^2 - 446488741562517059527961668657467848101\ 631/1910718847118863351345510652767501949*c_0101_5 + 72807215823819982758053743215048284891728/1910718847118863351345510\ 652767501949, c_0011_0 - 1, c_0011_3 - 10720197769850523662929389087974029786640/191071884711886335\ 1345510652767501949*c_0101_5^22 + 154960418795233139276860008614483\ 9689472/173701713374442122849591877524318359*c_0101_5^21 + 19452927186810069882913880768501627022296/1737017133744421228495918\ 77524318359*c_0101_5^20 - 10222385056815555436461397207406708919057\ 6/173701713374442122849591877524318359*c_0101_5^19 + 2680941219834472161327185477582199219795447/19107188471188633513455\ 10652767501949*c_0101_5^18 - 34821289946662864388381751944581380959\ 7264/173701713374442122849591877524318359*c_0101_5^17 + 3313469400383263308652835521489926911897405/19107188471188633513455\ 10652767501949*c_0101_5^16 - 10383241583708908044124201508789864591\ 73231/1910718847118863351345510652767501949*c_0101_5^15 - 1746725887596815262663659937887461722381637/19107188471188633513455\ 10652767501949*c_0101_5^14 + 34859263600061760300720894603499984492\ 30842/1910718847118863351345510652767501949*c_0101_5^13 - 3501546919232420370553173968233507662986332/19107188471188633513455\ 10652767501949*c_0101_5^12 + 21170024102098934905263050957867243117\ 0990/173701713374442122849591877524318359*c_0101_5^11 - 958891558287879642371664933042040151066742/191071884711886335134551\ 0652767501949*c_0101_5^10 + 661812695809940705118661102233263553151\ 91/1910718847118863351345510652767501949*c_0101_5^9 + 244677684466568866653855399112005559102625/191071884711886335134551\ 0652767501949*c_0101_5^8 - 2201636346661071389324716335223205206412\ 01/1910718847118863351345510652767501949*c_0101_5^7 + 106104223145391166873915032933694459468420/191071884711886335134551\ 0652767501949*c_0101_5^6 - 2806869466252056473221588000425858961014\ 9/1910718847118863351345510652767501949*c_0101_5^5 - 51460373638097445641170225165789365861/1737017133744421228495918775\ 24318359*c_0101_5^4 + 4369896576001418618250702109554860064177/1910\ 718847118863351345510652767501949*c_0101_5^3 - 2050201019689477969793660000053866105502/19107188471188633513455106\ 52767501949*c_0101_5^2 + 618317224255118834043876769603197557372/19\ 10718847118863351345510652767501949*c_0101_5 - 100166088205699023726182858348067845983/191071884711886335134551065\ 2767501949, c_0011_6 + 4483817124325730657884214742413024695984/1910718847118863351\ 345510652767501949*c_0101_5^22 - 6505766735778348999122763110135397\ 71856/173701713374442122849591877524318359*c_0101_5^21 - 8130579759252349455880352966930127973496/17370171337444212284959187\ 7524318359*c_0101_5^20 + 42801875351096913683375098903694333693000/\ 173701713374442122849591877524318359*c_0101_5^19 - 1124571393435885723085671357572603309440229/19107188471188633513455\ 10652767501949*c_0101_5^18 + 14645098167819144623753717730518254492\ 8835/173701713374442122849591877524318359*c_0101_5^17 - 1400355723590758752169479456152170278772008/19107188471188633513455\ 10652767501949*c_0101_5^16 + 44875494166961798047241325432869350876\ 8603/1910718847118863351345510652767501949*c_0101_5^15 + 724015055083789386026237238899124081533437/191071884711886335134551\ 0652767501949*c_0101_5^14 - 146310445526803723066343047793766319497\ 4283/1910718847118863351345510652767501949*c_0101_5^13 + 1477989759932481990629503385513838474191956/19107188471188633513455\ 10652767501949*c_0101_5^12 - 89868574487928026470744455200589198739\ 944/173701713374442122849591877524318359*c_0101_5^11 + 411060575736328730483700495464303197533404/191071884711886335134551\ 0652767501949*c_0101_5^10 - 318507607774982369934868075072896510760\ 27/1910718847118863351345510652767501949*c_0101_5^9 - 101987888302003636527708658829569679804637/191071884711886335134551\ 0652767501949*c_0101_5^8 + 9302396301853955851877926506023247747111\ 5/1910718847118863351345510652767501949*c_0101_5^7 - 45176420602415345540726028953016648967791/1910718847118863351345510\ 652767501949*c_0101_5^6 + 12093470341826917358425187724383657986577\ /1910718847118863351345510652767501949*c_0101_5^5 + 13636564496550249829895358118174170011/1737017133744421228495918775\ 24318359*c_0101_5^4 - 1826125458589081249214689800434116549817/1910\ 718847118863351345510652767501949*c_0101_5^3 + 865107918392541460599650223181825639670/191071884711886335134551065\ 2767501949*c_0101_5^2 - 261366159469665123526848270089348576405/191\ 0718847118863351345510652767501949*c_0101_5 + 42130955541014076533870002749801881301/1910718847118863351345510652\ 767501949, c_0101_0 + 120349059877686329543040036969214459088176/19107188471188633\ 51345510652767501949*c_0101_5^22 - 17378860928236822712645730380193495615904/1737017133744421228495918\ 77524318359*c_0101_5^21 - 21842609948099772458164612751734684988508\ 0/173701713374442122849591877524318359*c_0101_5^20 + 1147252386172096706500105971308104706620800/17370171337444212284959\ 1877524318359*c_0101_5^19 - 300741103758116771471543577337267384606\ 38861/1910718847118863351345510652767501949*c_0101_5^18 + 3903918521515638715459009333494849272913238/17370171337444212284959\ 1877524318359*c_0101_5^17 - 371161644188196657557946039470508927765\ 60074/1910718847118863351345510652767501949*c_0101_5^16 + 11590674715386407382214284231179867205352929/1910718847118863351345\ 510652767501949*c_0101_5^15 + 1962151133535552859101785332362936467\ 6584127/1910718847118863351345510652767501949*c_0101_5^14 - 39088593086631836453055948754740789697713527/1910718847118863351345\ 510652767501949*c_0101_5^13 + 3923363228870417962725165056194624008\ 7157872/1910718847118863351345510652767501949*c_0101_5^12 - 2370259717814578122334722567440502685141109/17370171337444212284959\ 1877524318359*c_0101_5^11 + 107225583122017415632967588320456860738\ 50682/1910718847118863351345510652767501949*c_0101_5^10 - 728567084964973230054977460499040913841171/191071884711886335134551\ 0652767501949*c_0101_5^9 - 2744707799463012329895305466796935484423\ 477/1910718847118863351345510652767501949*c_0101_5^8 + 2464721993482349603152749687748616079303582/19107188471188633513455\ 10652767501949*c_0101_5^7 - 118567504330732557078083967948864368014\ 8150/1910718847118863351345510652767501949*c_0101_5^6 + 312537852752261996498210813426262787890262/191071884711886335134551\ 0652767501949*c_0101_5^5 + 628035958745757457461168234044471028859/\ 173701713374442122849591877524318359*c_0101_5^4 - 48944692923389344076516681099102492284214/1910718847118863351345510\ 652767501949*c_0101_5^3 + 22841480788599782028253470478390140107001\ /1910718847118863351345510652767501949*c_0101_5^2 - 6864490020757459508712335956381465616389/19107188471188633513455106\ 52767501949*c_0101_5 + 1104273173030260943198379641835374350813/191\ 0718847118863351345510652767501949, c_0101_1 - 79734264927638330249514581573410288489328/191071884711886335\ 1345510652767501949*c_0101_5^22 + 114986846439545579405192697475876\ 28128944/173701713374442122849591877524318359*c_0101_5^21 + 144731714365298420828125894556884062438344/173701713374442122849591\ 877524318359*c_0101_5^20 - 7597713152660732619548044419043502089754\ 96/173701713374442122849591877524318359*c_0101_5^19 + 19908422160176439190331184724315831068508177/1910718847118863351345\ 510652767501949*c_0101_5^18 - 2583174003966774482577064230732245203\ 675389/173701713374442122849591877524318359*c_0101_5^17 + 24544508216098842014360914797859995335621101/1910718847118863351345\ 510652767501949*c_0101_5^16 - 7646884271189002028762044403037245847\ 383740/1910718847118863351345510652767501949*c_0101_5^15 - 13000017989494658771955601314409451048766576/1910718847118863351345\ 510652767501949*c_0101_5^14 + 2586660596302087934057877618475047277\ 9282138/1910718847118863351345510652767501949*c_0101_5^13 - 25949755395419923275624679839102953582327860/1910718847118863351345\ 510652767501949*c_0101_5^12 + 1567068105926443098684021858230981918\ 074826/173701713374442122849591877524318359*c_0101_5^11 - 7084603008042681668999740685330062157611879/19107188471188633513455\ 10652767501949*c_0101_5^10 + 47783400899512346434459219146590210317\ 9868/1910718847118863351345510652767501949*c_0101_5^9 + 1816264745697863858819603894518196475036775/19107188471188633513455\ 10652767501949*c_0101_5^8 - 162969722242854408988224953911820321735\ 7518/1910718847118863351345510652767501949*c_0101_5^7 + 783570432598890828249995293024039998794218/191071884711886335134551\ 0652767501949*c_0101_5^6 - 2064184380232080889015439876847203152577\ 36/1910718847118863351345510652767501949*c_0101_5^5 - 422146924253676895068823408259329058287/173701713374442122849591877\ 524318359*c_0101_5^4 + 32360457020948103653456613650809975643752/19\ 10718847118863351345510652767501949*c_0101_5^3 - 15095612181381559947808818668831290252425/1910718847118863351345510\ 652767501949*c_0101_5^2 + 4535741552280099048683517761781994400840/\ 1910718847118863351345510652767501949*c_0101_5 - 727660449036725806024432600485934737184/191071884711886335134551065\ 2767501949, c_0101_2 - 23382789327062667613592198901102254691552/191071884711886335\ 1345510652767501949*c_0101_5^22 + 338027545298699637023756026951816\ 1483568/173701713374442122849591877524318359*c_0101_5^21 + 42440718247735869869173338683642866897456/1737017133744421228495918\ 77524318359*c_0101_5^20 - 22298525256983958547828084403677855148714\ 4/173701713374442122849591877524318359*c_0101_5^19 + 5845532478270896167527969449080038196223714/19107188471188633513455\ 10652767501949*c_0101_5^18 - 75862165774084235959519292641017626627\ 6461/173701713374442122849591877524318359*c_0101_5^17 + 7207173365178736137650081677588347491100344/19107188471188633513455\ 10652767501949*c_0101_5^16 - 22418724956876269224249353916276836415\ 01768/1910718847118863351345510652767501949*c_0101_5^15 - 3822511656235361334077556365982969105491643/19107188471188633513455\ 10652767501949*c_0101_5^14 + 75985854733948191226357806769898431333\ 75049/1910718847118863351345510652767501949*c_0101_5^13 - 7618774357051988837359167118960155922580794/19107188471188633513455\ 10652767501949*c_0101_5^12 + 45974465752779315742797623470117751450\ 4524/173701713374442122849591877524318359*c_0101_5^11 - 2075656898633352399494156042720519939074287/19107188471188633513455\ 10652767501949*c_0101_5^10 + 13758001844847015739540937527379255329\ 6850/1910718847118863351345510652767501949*c_0101_5^9 + 534017704972504836183981193261096151335060/191071884711886335134551\ 0652767501949*c_0101_5^8 - 4781273184561833373323453285406907250639\ 39/1910718847118863351345510652767501949*c_0101_5^7 + 229584059506306553407463163453076631977238/191071884711886335134551\ 0652767501949*c_0101_5^6 - 6032815024209411869658637324409808028174\ 9/1910718847118863351345510652767501949*c_0101_5^5 - 129875742064873580162808856958925943424/173701713374442122849591877\ 524318359*c_0101_5^4 + 9485099480111773976479629210683049425994/191\ 0718847118863351345510652767501949*c_0101_5^3 - 4413286664934773192408878832596992140149/19107188471188633513455106\ 52767501949*c_0101_5^2 + 1323399370489889111525331473920344304430/1\ 910718847118863351345510652767501949*c_0101_5 - 212904500295388076439362473014034785083/191071884711886335134551065\ 2767501949, c_0101_5^23 - 37/19*c_0101_5^22 - 737/38*c_0101_5^21 + 4257/38*c_0101_5^20 - 87405/304*c_0101_5^19 + 135723/304*c_0101_5^18 - 66325/152*c_0101_5^17 + 62877/304*c_0101_5^16 + 39095/304*c_0101_5^15 - 116533/304*c_0101_5^14 + 134513/304*c_0101_5^13 - 50691/152*c_0101_5^12 + 6335/38*c_0101_5^11 - 721/19*c_0101_5^10 - 6281/304*c_0101_5^9 + 8713/304*c_0101_5^8 - 2613/152*c_0101_5^7 + 49/8*c_0101_5^6 - 265/304*c_0101_5^5 - 65/152*c_0101_5^4 + 51/152*c_0101_5^3 - 1/8*c_0101_5^2 + 9/304*c_0101_5 - 1/304 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB