Magma V2.19-8 Tue Aug 20 2013 16:16:47 on localhost [Seed = 2050746034] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1069 geometric_solution 4.93860587 oriented_manifold CS_known -0.0000000000000002 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 -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.646282045095 0.189340324305 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 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 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.928714751631 0.228140821414 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 -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 1.173643277772 0.347060144529 5 2 6 5 0132 0132 0132 3201 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 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.814026311039 0.382293603662 5 6 2 5 2310 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.814026311039 0.382293603662 3 3 4 4 0132 2310 3201 1023 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 -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.993522305557 0.472675120689 6 4 6 3 2031 0132 1302 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728333672996 0.507712511762 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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' : 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' : d['1'], 's_0_5' : negation(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_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : negation(d['c_0101_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], '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_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], '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_0101_0, c_0101_1, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 26251257467647072681248536313326353140431141031414754553061011/3172\ 039234675606605827768439255242840632420831646731347867941658*c_1001\ _3^15 + 12910297005375586770203344317429146328704393108953113808083\ 770/158601961733780330291388421962762142031621041582336567393397082\ 9*c_1001_3^14 + 419953554741687789454502678205844306175081295165893\ 988300385940/528673205779267767637961406542540473438736805274455224\ 644656943*c_1001_3^13 + 6521390546847619628747926975750466574865875\ 694953855053868909241/317203923467560660582776843925524284063242083\ 1646731347867941658*c_1001_3^12 + 426321691981401227668819102320569\ 64072776287128362056507138457506/1586019617337803302913884219627621\ 420316210415823365673933970829*c_1001_3^11 + 36229110321687254503359722047578193639405573945948949605777813096/5\ 28673205779267767637961406542540473438736805274455224644656943*c_10\ 01_3^10 + 154961963639311324565413330721791466848121104558925470551\ 869903996/528673205779267767637961406542540473438736805274455224644\ 656943*c_1001_3^9 + 25755240186701553514914479866340362763840890230\ 8077389792570202995/52867320577926776763796140654254047343873680527\ 4455224644656943*c_1001_3^8 + 1938093052198443020115658664314599308\ 429711640856510037350098097897/158601961733780330291388421962762142\ 0316210415823365673933970829*c_1001_3^7 + 597495715234447347341639421734182527915917041020901033004346650389/\ 1057346411558535535275922813085080946877473610548910449289313886*c_\ 1001_3^6 + 39212246461360281648220542345703825460042817007213660979\ 44945102623/1057346411558535535275922813085080946877473610548910449\ 289313886*c_1001_3^5 + 41475149177223509092120420817148329706752936\ 17162609996291194752119/1586019617337803302913884219627621420316210\ 415823365673933970829*c_1001_3^4 - 219167597343441357917705308934205142569814688620380276094529937179/\ 1586019617337803302913884219627621420316210415823365673933970829*c_\ 1001_3^3 + 62411100058077366680678577680608539269628299819650497076\ 0598381221/18659054321621215328398637877972016709602475480274890281\ 5761274*c_1001_3^2 + 3150117034414355754209515903250725401521543362\ 771970174308859006977/317203923467560660582776843925524284063242083\ 1646731347867941658*c_1001_3 + 779676134116142371347335905964759449\ 620065270159768788270147739415/528673205779267767637961406542540473\ 438736805274455224644656943, c_0011_0 - 1, c_0011_1 + 619912697387955329885812588735524961308450690976/42204453687\ 6608350600119117544288902435165131581108549*c_1001_3^15 + 718980921378403549606717154525556866393912253852/422044536876608350\ 600119117544288902435165131581108549*c_1001_3^14 + 59679896421605461417944863862900622974348657192226/4220445368766083\ 50600119117544288902435165131581108549*c_1001_3^13 + 163635498390356642949398756805026654450806917723026/422044536876608\ 350600119117544288902435165131581108549*c_1001_3^12 + 2046655438694619495503184243325365085717801386491483/42204453687660\ 8350600119117544288902435165131581108549*c_1001_3^11 + 5417114227125317625241848094254526361781097012723862/42204453687660\ 8350600119117544288902435165131581108549*c_1001_3^10 + 22881744225476871285144058497267957465719731419826792/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^9 + 37981023155439083343682558409409545442780123400820033/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^8 + 93630299152951537919553713049396969185738714657197442/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^7 + 31678884202991146652811298953111295616003818689950398/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^6 + 253881565093480721830431673078349625657612773495640922/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^5 + 146112517668862652435930677289112909931513190257324173/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^4 + 88358302726441442923750091777823903687256721430256746/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^3 - 7822442490318726094636439946147664778592131945309143/42204453687660\ 8350600119117544288902435165131581108549*c_1001_3^2 + 123498806058996593335215951543459885583139830252270507/422044536876\ 608350600119117544288902435165131581108549*c_1001_3 + 174515697622756333852667446281377936295097747371307286/422044536876\ 608350600119117544288902435165131581108549, c_0101_0 + 790122453596896032590665192318326905028669791157/42204453687\ 6608350600119117544288902435165131581108549*c_1001_3^15 + 1340341980547367443780793605997244586534024457231/42204453687660835\ 0600119117544288902435165131581108549*c_1001_3^14 + 77399960657730293613630720078453170213511240845653/4220445368766083\ 50600119117544288902435165131581108549*c_1001_3^13 + 250369256445185750006888217765550094723379986589030/422044536876608\ 350600119117544288902435165131581108549*c_1001_3^12 + 2801613644518584886495830230282989100582476518273059/42204453687660\ 8350600119117544288902435165131581108549*c_1001_3^11 + 8529444470362455030956769946152057684446033321749007/42204453687660\ 8350600119117544288902435165131581108549*c_1001_3^10 + 35656028486239202491512884381545337509964771954567078/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^9 + 71615266118699538758123078980911222352391262685998777/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^8 + 176981051387716047665202505361164768520936138567682320/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^7 + 160973645022815708202888847701060995322871584976153871/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^6 + 485546687733618962802422757175191817198597012354003327/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^5 + 431328158120979353867087424134871062958460622735530343/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^4 + 595289129526747903455703237972700014737561741991189403/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^3 + 246018679893527427103993975810242331017339817101276692/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^2 + 48433668477881124376630083901581057610282873138419618/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3 + 325815441068648459615797752239559525338173362633520067/422044536876\ 608350600119117544288902435165131581108549, c_0101_1 - 633270780958322405049694402815406669857271822433/42204453687\ 6608350600119117544288902435165131581108549*c_1001_3^15 - 1171258688116905832377453974838657577082304484835/42204453687660835\ 0600119117544288902435165131581108549*c_1001_3^14 - 60985695905355666024597038437585733905341577927389/4220445368766083\ 50600119117544288902435165131581108549*c_1001_3^13 - 209248237418713074682361632759099174466365900297061/422044536876608\ 350600119117544288902435165131581108549*c_1001_3^12 - 2160185909317664299320843494230647472147651562468259/42204453687660\ 8350600119117544288902435165131581108549*c_1001_3^11 - 6905311545137452836689183715150652342783904277148622/42204453687660\ 8350600119117544288902435165131581108549*c_1001_3^10 - 25771332960054850388426033719549754059542862697705290/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^9 - 52697904375469425012909889278935416870398832124044525/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^8 - 110567265649122678214384822455661169215205862912072829/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^7 - 91971522962264461072765493191950785738990430027649168/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^6 - 251693564088150646534724155776599725799828558478441629/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^5 - 393484375784725833605044241880931927327419183286936445/422044536876\ 608350600119117544288902435165131581108549*c_1001_3^4 - 22480939487658820690013555244945057339197013224169540/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^3 - 39595740790427340033563763355934361779833601430435821/4220445368766\ 08350600119117544288902435165131581108549*c_1001_3^2 - 172202267194100986093744620304871131213048762011556086/422044536876\ 608350600119117544288902435165131581108549*c_1001_3 + 176495061706597766534977056847678861306458781332436651/422044536876\ 608350600119117544288902435165131581108549, c_0101_3 + 309352664436295022572301131965282361079190035302402/75545972\ 100912894757421322040427713535894558553018430271*c_1001_3^15 + 272477645214506748610488653724941072403824088737803/755459721009128\ 94757421322040427713535894558553018430271*c_1001_3^14 + 29599552020162049756276353810115594147840319254382568/7554597210091\ 2894757421322040427713535894558553018430271*c_1001_3^13 + 73812059281760755518431713237404989904648258306740472/7554597210091\ 2894757421322040427713535894558553018430271*c_1001_3^12 + 991017979172397106973750534751410219429185251241058417/755459721009\ 12894757421322040427713535894558553018430271*c_1001_3^11 + 2450116957439946440097046225827819288440718641450885006/75545972100\ 912894757421322040427713535894558553018430271*c_1001_3^10 + 10514312345231876030629421485949815481090694579485107717/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^9 + 16823681524139210425595681237872041943701828396886520462/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^8 + 42390715576381546397380405976287775056114012932264041515/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^7 + 15897525274811266916493292211466193074119052639101512771/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^6 + 134097191609081814900454476724756044441197672179258932257/755459721\ 00912894757421322040427713535894558553018430271*c_1001_3^5 + 97566319140274810371666491924502741102649787074906060795/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^4 - 22315946686689379871130224974563559076999855248133657208/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^3 + 163899065953451045975791333345296404764926247295546427378/755459721\ 00912894757421322040427713535894558553018430271*c_1001_3^2 + 54049918312372920761771423746372912387265911097092011981/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3 + 32616237442137990005871974842911352881222113123121215473/7554597210\ 0912894757421322040427713535894558553018430271, c_0101_5 - 459068886169831829215477765792302125878992445890511/75545972\ 100912894757421322040427713535894558553018430271*c_1001_3^15 - 302066137232409723931362546723124412417038485457729/755459721009128\ 94757421322040427713535894558553018430271*c_1001_3^14 - 43956483856323097323691341405490904356997581336729477/7554597210091\ 2894757421322040427713535894558553018430271*c_1001_3^13 - 99716418978262228814811216074282340193308809424250844/7554597210091\ 2894757421322040427713535894558553018430271*c_1001_3^12 - 1457864425149404912502279908331742230073259045595450499/75545972100\ 912894757421322040427713535894558553018430271*c_1001_3^11 - 3323947969627388166409655469107564241876878181512855183/75545972100\ 912894757421322040427713535894558553018430271*c_1001_3^10 - 15158451227331314369204799824758064567218748251317995832/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^9 - 22015664479308748076442289812527497248427458178571432649/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^8 - 60603993622975473939988381360288291589923789340655690363/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^7 - 11421723114318074735997800101503556751846711017996452996/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^6 - 202930372598280141084391804873902444360946950505542296561/755459721\ 00912894757421322040427713535894558553018430271*c_1001_3^5 - 77326585804899847521958845530977431909148726308428020923/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^4 + 36153313411659725009241015569097976362962031294607816392/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3^3 - 165121048922279191493419699216741109367925318032530750789/755459721\ 00912894757421322040427713535894558553018430271*c_1001_3^2 + 14228569834249885632194849165710337622620349490683144892/7554597210\ 0912894757421322040427713535894558553018430271*c_1001_3 - 43949198731703335959154900015483390755515988171134337785/7554597210\ 0912894757421322040427713535894558553018430271, c_1001_3^16 + c_1001_3^15 + 96*c_1001_3^14 + 250*c_1001_3^13 + 3252*c_1001_3^12 + 8334*c_1001_3^11 + 35552*c_1001_3^10 + 59453*c_1001_3^9 + 148622*c_1001_3^8 + 70786*c_1001_3^7 + 449304*c_1001_3^6 + 323773*c_1001_3^5 - 11898*c_1001_3^4 + 405093*c_1001_3^3 + 127391*c_1001_3^2 + 178550*c_1001_3 + 3689 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB