plotListStyle<\/a> y como su segundo argumento (el PloStyle) usar<\/p>\n \n (defaultStyle {plotType = LinesPoints,\n lineSpec = CustomStyle [PointType 7]})\n<\/pre>\nComprobar con QuickCheck que todos los elementos de (restosNumerosCon1y2 n) son distintos.<\/p>\n
Soluciones<\/h4>\n\nimport Test.QuickCheck\nimport Graphics.Gnuplot.Simple\n\n-- Definici\u00f3n de numerosCon1y2\n-- ===========================\n\nnumerosCon1y2 :: Int -> [Int]\nnumerosCon1y2 = map digitosAnumero . digitos\n\n-- (d\u00edgitos n) es la lista ordenada de de listas de n elementos que\n-- se pueden formar con los d\u00edgitos 1 y 2. Por ejemplo,\n-- \u03bb> digitos 2\n-- [[1,1],[1,2],[2,1],[2,2]]\n-- \u03bb> digitos 3\n-- [[1,1,1],[1,1,2],[1,2,1],[1,2,2],[2,1,1],[2,1,2],[2,2,1],[2,2,2]]\ndigitos :: Int -> [[Int]]\ndigitos 0 = [[]]\ndigitos n = map (1:) xss ++ map (2:) xss\n where xss = digitos (n-1)\n\n-- (digitosAnumero ds) es el n\u00famero cuyos d\u00edgitos son ds. Por ejemplo,\n-- digitosAnumero [2,0,1,9] == 2019\ndigitosAnumero :: [Int] -> Int\ndigitosAnumero = read . concatMap show\n\n-- Definici\u00f3n de restosNumerosCon1y2\n-- =================================\n\nrestosNumerosCon1y2 :: Int -> [Int]\nrestosNumerosCon1y2 n =\n [x `mod` m | x <- numerosCon1y2 n]\n where m = 2^n\n\n-- Definici\u00f3n de graficaRestosNumerosCon1y2\n-- =========================================\n\ngraficaRestosNumerosCon1y2 :: Int -> IO ()\ngraficaRestosNumerosCon1y2 n =\n plotListStyle\n [ Key Nothing\n , PNG (\"Numeros_con_digitos_1_y_2_\" ++ show n ++ \".png\")\n ]\n (defaultStyle {plotType = LinesPoints,\n lineSpec = CustomStyle [PointType 7]})\n (restosNumerosCon1y2 n)\n\n-- Propiedad de restosNumerosCon1y2\n-- ================================\n\n-- La propiedad\nprop_restosNumerosCon1y2 :: Positive Int -> Bool\nprop_restosNumerosCon1y2 (Positive n) =\n todosDistintos (restosNumerosCon1y2 n)\n where todosDistintos xs = xs == nub xs\n\n-- La comprobaci\u00f3n es\n-- \u03bb> quickCheckWith (stdArgs {maxSize=12}) prop_restosNumerosCon1y2\n-- +++ OK, passed 100 tests.\n<\/pre>\nPensamiento<\/h4>\n\n\u00bfPara qu\u00e9 llamar caminos
\na los surcos del azar? …
\nTodo el que camina anda,
\ncomo Jes\u00fas, sobre el mar.<\/p>\n
Antonio Machado\n<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"
Definir las funciones numerosCon1y2 :: Int -> [Int] restosNumerosCon1y2 :: Int -> [Int] grafica_restosNumerosCon1y2 :: Int -> IO () tales que (numerosCon1y2 n) es la lista ordenada de n\u00fameros de n d\u00edgitos que se pueden formar con los d\u00edgitos 1 y 2. Por ejemplo, numerosCon1y2 2 == [11,12,21,22] numerosCon1y2 3 == [111,112,121,122,211,212,221,222] (restosNumerosCon1y2 n) es…<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[5],"tags":[8,58,376,10,89,24,11,463,95,6,33,146],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/4640"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/comments?post=4640"}],"version-history":[{"count":6,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/4640\/revisions"}],"predecessor-version":[{"id":4679,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/posts\/4640\/revisions\/4679"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/media?parent=4640"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/categories?post=4640"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/exercitium\/wp-json\/wp\/v2\/tags?post=4640"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
![\"\"](\"https:\/\/i0.wp.com\/www.glc.us.es\/~jalonso\/exercitium\/wp-content\/uploads\/2019\/01\/Numeros_con_digitos_1_y_2_3.png?resize=640%2C480\")
<\/a><\/p>\n![\"\"](\"https:\/\/i0.wp.com\/www.glc.us.es\/~jalonso\/exercitium\/wp-content\/uploads\/2019\/01\/Numeros_con_digitos_1_y_2_4.png?resize=640%2C480\")
<\/a><\/p>\n![\"\"](\"https:\/\/i0.wp.com\/www.glc.us.es\/~jalonso\/exercitium\/wp-content\/uploads\/2019\/01\/Numeros_con_digitos_1_y_2_3.png\")
<\/a><\/p>\n