{"action":"created","issue":{"url":"https://api.github.com/repos/Airini/FEECa/issues/3","repository_url":"https://api.github.com/repos/Airini/FEECa","labels_url":"https://api.github.com/repos/Airini/FEECa/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/Airini/FEECa/issues/3/comments","events_url":"https://api.github.com/repos/Airini/FEECa/issues/3/events","html_url":"https://github.com/Airini/FEECa/issues/3","id":189459111,"number":3,"title":"Remove \"synthetic/implementation\" class functions","user":{"login":"Airini","id":1323224,"avatar_url":"https://avatars.githubusercontent.com/u/1323224?v=3","gravatar_id":"","url":"https://api.github.com/users/Airini","html_url":"https://github.com/Airini","followers_url":"https://api.github.com/users/Airini/followers","following_url":"https://api.github.com/users/Airini/following{/other_user}","gists_url":"https://api.github.com/users/Airini/gists{/gist_id}","starred_url":"https://api.github.com/users/Airini/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Airini/subscriptions","organizations_url":"https://api.github.com/users/Airini/orgs","repos_url":"https://api.github.com/users/Airini/repos","events_url":"https://api.github.com/users/Airini/events{/privacy}","received_events_url":"https://api.github.com/users/Airini/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"patrikja","id":662883,"avatar_url":"https://avatars.githubusercontent.com/u/662883?v=3","gravatar_id":"","url":"https://api.github.com/users/patrikja","html_url":"https://github.com/patrikja","followers_url":"https://api.github.com/users/patrikja/followers","following_url":"https://api.github.com/users/patrikja/following{/other_user}","gists_url":"https://api.github.com/users/patrikja/gists{/gist_id}","starred_url":"https://api.github.com/users/patrikja/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/patrikja/subscriptions","organizations_url":"https://api.github.com/users/patrikja/orgs","repos_url":"https://api.github.com/users/patrikja/repos","events_url":"https://api.github.com/users/patrikja/events{/privacy}","received_events_url":"https://api.github.com/users/patrikja/received_events","type":"User","site_admin":false},"assignees":[{"login":"patrikja","id":662883,"avatar_url":"https://avatars.githubusercontent.com/u/662883?v=3","gravatar_id":"","url":"https://api.github.com/users/patrikja","html_url":"https://github.com/patrikja","followers_url":"https://api.github.com/users/patrikja/followers","following_url":"https://api.github.com/users/patrikja/following{/other_user}","gists_url":"https://api.github.com/users/patrikja/gists{/gist_id}","starred_url":"https://api.github.com/users/patrikja/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/patrikja/subscriptions","organizations_url":"https://api.github.com/users/patrikja/orgs","repos_url":"https://api.github.com/users/patrikja/repos","events_url":"https://api.github.com/users/patrikja/events{/privacy}","received_events_url":"https://api.github.com/users/patrikja/received_events","type":"User","site_admin":false},{"login":"Airini","id":1323224,"avatar_url":"https://avatars.githubusercontent.com/u/1323224?v=3","gravatar_id":"","url":"https://api.github.com/users/Airini","html_url":"https://github.com/Airini","followers_url":"https://api.github.com/users/Airini/followers","following_url":"https://api.github.com/users/Airini/following{/other_user}","gists_url":"https://api.github.com/users/Airini/gists{/gist_id}","starred_url":"https://api.github.com/users/Airini/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Airini/subscriptions","organizations_url":"https://api.github.com/users/Airini/orgs","repos_url":"https://api.github.com/users/Airini/repos","events_url":"https://api.github.com/users/Airini/events{/privacy}","received_events_url":"https://api.github.com/users/Airini/received_events","type":"User","site_admin":false}],"milestone":null,"comments":5,"created_at":"2016-11-15T17:43:16Z","updated_at":"2016-11-21T15:31:17Z","closed_at":null,"body":"Such as those converting to and from 'Double' in ['Field'](https://github.com/Airini/FEECa/blob/master/src/FEECa/Internal/Spaces.hs). So far, they are seen in:\r\n* (pretty) printing\r\n* testing, e.g. ['eqNum'](https://github.com/Airini/FEECa/blob/master/src/FEECa/Utility/Utility.hs) to account for margins of numerical error\r\n* matrix related computations in those modules using HMatrix (note its replacement for Data.Matrix in branch [WIP](https://github.com/Airini/FEECa/tree/WIP), but should still check for feasible component classes/types in the latter library)\r\n* computing projections, due to 'sqrt', see 'project' in ['Simplex'](https://github.com/Airini/FEECa/blob/master/src/FEECa/Internal/Simplex.lhs)\r\n* computations involving 'factorial' and 'choose' in ['Combinatorics'](https://github.com/Airini/FEECa/blob/master/src/FEECa/Utility/Combinatorics.lhs)\r\n\r\nInitially, the existence of these class functions stemmed mostly from the numerics behind integration of polynomials and other computations of the like. Even though most practical uses of the library might involve ℝ<sup>n</sup>, it would be preferable to keep the classes neat and general."},"comment":{"url":"https://api.github.com/repos/Airini/FEECa/issues/comments/261970156","html_url":"https://github.com/Airini/FEECa/issues/3#issuecomment-261970156","issue_url":"https://api.github.com/repos/Airini/FEECa/issues/3","id":261970156,"user":{"login":"simonpf","id":6934149,"avatar_url":"https://avatars.githubusercontent.com/u/6934149?v=3","gravatar_id":"","url":"https://api.github.com/users/simonpf","html_url":"https://github.com/simonpf","followers_url":"https://api.github.com/users/simonpf/followers","following_url":"https://api.github.com/users/simonpf/following{/other_user}","gists_url":"https://api.github.com/users/simonpf/gists{/gist_id}","starred_url":"https://api.github.com/users/simonpf/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/simonpf/subscriptions","organizations_url":"https://api.github.com/users/simonpf/orgs","repos_url":"https://api.github.com/users/simonpf/repos","events_url":"https://api.github.com/users/simonpf/events{/privacy}","received_events_url":"https://api.github.com/users/simonpf/received_events","type":"User","site_admin":false},"created_at":"2016-11-21T15:31:17Z","updated_at":"2016-11-21T15:31:17Z","body":"Yes, you are right. I didn't consider fields different from $\\mathbb{R}$ or\n$\\mathbb{C}$. Sorry for the confusion.\n\nOn 17 November 2016 at 14:28, Irene Lobo Valbuena <notifications@github.com>\nwrote:\n\n> That would be the case if the vector space is over ℝ itself, or another\n> field isomorphic to it. There are finite fields (finite in cardinality, not\n> basis cardinality), for instance.\n>\n> Maybe you were referring to Euclidean spaces (?).\n>\n> In any case, 'toDouble'/'fromDouble' wouldn't \"belong\" in the definition\n> of the 'Field' class since for finite/Galois fields these embeddings\n> (respecting the structure) would not exist. 'Double' is a concrete\n> representation of what we understand ℝ to be but is not exact, in addition.\n>\n> —\n> You are receiving this because you commented.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/Airini/FEECa/issues/3#issuecomment-261246105>, or mute\n> the thread\n> <https://github.com/notifications/unsubscribe-auth/AGnOhZIOfozCjqA3-xXANGDEQ50XSiIfks5q_FZ0gaJpZM4Ky0RU>\n> .\n>\n"}}
{"actor":{"display_login":"simonpf"}}