{"action":"closed","issue":{"url":"https://api.github.com/repos/Normaliz/Normaliz/issues/63","labels_url":"https://api.github.com/repos/Normaliz/Normaliz/issues/63/labels{/name}","comments_url":"https://api.github.com/repos/Normaliz/Normaliz/issues/63/comments","events_url":"https://api.github.com/repos/Normaliz/Normaliz/issues/63/events","html_url":"https://github.com/Normaliz/Normaliz/issues/63","id":110004837,"number":63,"title":"Non-pointed cones","user":{"login":"w-bruns","id":10155155,"avatar_url":"https://avatars.githubusercontent.com/u/10155155?v=3","gravatar_id":"","url":"https://api.github.com/users/w-bruns","html_url":"https://github.com/w-bruns","followers_url":"https://api.github.com/users/w-bruns/followers","following_url":"https://api.github.com/users/w-bruns/following{/other_user}","gists_url":"https://api.github.com/users/w-bruns/gists{/gist_id}","starred_url":"https://api.github.com/users/w-bruns/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/w-bruns/subscriptions","organizations_url":"https://api.github.com/users/w-bruns/orgs","repos_url":"https://api.github.com/users/w-bruns/repos","events_url":"https://api.github.com/users/w-bruns/events{/privacy}","received_events_url":"https://api.github.com/users/w-bruns/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":{"login":"w-bruns","id":10155155,"avatar_url":"https://avatars.githubusercontent.com/u/10155155?v=3","gravatar_id":"","url":"https://api.github.com/users/w-bruns","html_url":"https://github.com/w-bruns","followers_url":"https://api.github.com/users/w-bruns/followers","following_url":"https://api.github.com/users/w-bruns/following{/other_user}","gists_url":"https://api.github.com/users/w-bruns/gists{/gist_id}","starred_url":"https://api.github.com/users/w-bruns/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/w-bruns/subscriptions","organizations_url":"https://api.github.com/users/w-bruns/orgs","repos_url":"https://api.github.com/users/w-bruns/repos","events_url":"https://api.github.com/users/w-bruns/events{/privacy}","received_events_url":"https://api.github.com/users/w-bruns/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/Normaliz/Normaliz/milestones/3","html_url":"https://github.com/Normaliz/Normaliz/milestones/3.1","labels_url":"https://api.github.com/repos/Normaliz/Normaliz/milestones/3/labels","id":1404376,"number":3,"title":"3.1","description":null,"creator":{"login":"w-bruns","id":10155155,"avatar_url":"https://avatars.githubusercontent.com/u/10155155?v=3","gravatar_id":"","url":"https://api.github.com/users/w-bruns","html_url":"https://github.com/w-bruns","followers_url":"https://api.github.com/users/w-bruns/followers","following_url":"https://api.github.com/users/w-bruns/following{/other_user}","gists_url":"https://api.github.com/users/w-bruns/gists{/gist_id}","starred_url":"https://api.github.com/users/w-bruns/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/w-bruns/subscriptions","organizations_url":"https://api.github.com/users/w-bruns/orgs","repos_url":"https://api.github.com/users/w-bruns/repos","events_url":"https://api.github.com/users/w-bruns/events{/privacy}","received_events_url":"https://api.github.com/users/w-bruns/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":7,"state":"open","created_at":"2015-11-10T13:19:50Z","updated_at":"2015-12-02T10:42:47Z","due_on":null,"closed_at":null},"comments":1,"created_at":"2015-10-06T13:13:06Z","updated_at":"2015-12-02T10:42:47Z","closed_at":"2015-12-02T10:42:47Z","body":"We need quotient_lattice_representation.cpp with maps to, lifting from, and similarly for dual.\r\n\r\nHilbert basis is HB modulo unit group and lifted.\r\nExtreme rays the same.\r\nConstraints : as in the pointed case, but we compute them on the quotient and lift (with restriction 0 on unit group). Criteria. \r\n\r\nDual algorithm: essentially nothing to do for Hilbert basis since we already compute the Hilbert basis of the quotient. Should think about selecting the essential hyperplanes and extreme rays.\r\n\r\nPrimal algorithm: As soon as it is clear after the computation of the support hyperplanes that the cone is not pointed, stop and return the support hyperplanes to cone. Compute unit group, map the generators to quotient and compute there as usual. Lift results back. (Triangulation? Stanley decomposition? Both doable, but necessary?)"}}