{"action":"created","issue":{"url":"https://api.github.com/repos/fplll/fplll/issues/307","repository_url":"https://api.github.com/repos/fplll/fplll","labels_url":"https://api.github.com/repos/fplll/fplll/issues/307/labels{/name}","comments_url":"https://api.github.com/repos/fplll/fplll/issues/307/comments","events_url":"https://api.github.com/repos/fplll/fplll/issues/307/events","html_url":"https://github.com/fplll/fplll/issues/307","id":248098043,"number":307,"title":"subsolutions","user":{"login":"malb","id":1423682,"avatar_url":"https://avatars3.githubusercontent.com/u/1423682?v=4","gravatar_id":"","url":"https://api.github.com/users/malb","html_url":"https://github.com/malb","followers_url":"https://api.github.com/users/malb/followers","following_url":"https://api.github.com/users/malb/following{/other_user}","gists_url":"https://api.github.com/users/malb/gists{/gist_id}","starred_url":"https://api.github.com/users/malb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/malb/subscriptions","organizations_url":"https://api.github.com/users/malb/orgs","repos_url":"https://api.github.com/users/malb/repos","events_url":"https://api.github.com/users/malb/events{/privacy}","received_events_url":"https://api.github.com/users/malb/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2017-08-04T19:34:54Z","updated_at":"2017-08-06T13:07:59Z","closed_at":"2017-08-04T21:37:26Z","body":"It seems `subsoldists` is somehow zero-ed during enumeration. That is, in line\r\n\r\n  https://github.com/fplll/fplll/blob/master/fplll/enum/enumerate_base.h#L113\r\n\r\nI get a floating point value > 0 for e.g. subsoldists[1] but in\r\n\r\n  https://github.com/fplll/fplll/blob/master/fplll/enum/enumerate_base.cpp#L28\r\n\r\nI get a zero. This seems to prevent sub-solutions from working."},"comment":{"url":"https://api.github.com/repos/fplll/fplll/issues/comments/320505938","html_url":"https://github.com/fplll/fplll/issues/307#issuecomment-320505938","issue_url":"https://api.github.com/repos/fplll/fplll/issues/307","id":320505938,"user":{"login":"cr-marcstevens","id":20039241,"avatar_url":"https://avatars2.githubusercontent.com/u/20039241?v=4","gravatar_id":"","url":"https://api.github.com/users/cr-marcstevens","html_url":"https://github.com/cr-marcstevens","followers_url":"https://api.github.com/users/cr-marcstevens/followers","following_url":"https://api.github.com/users/cr-marcstevens/following{/other_user}","gists_url":"https://api.github.com/users/cr-marcstevens/gists{/gist_id}","starred_url":"https://api.github.com/users/cr-marcstevens/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cr-marcstevens/subscriptions","organizations_url":"https://api.github.com/users/cr-marcstevens/orgs","repos_url":"https://api.github.com/users/cr-marcstevens/repos","events_url":"https://api.github.com/users/cr-marcstevens/events{/privacy}","received_events_url":"https://api.github.com/users/cr-marcstevens/received_events","type":"User","site_admin":false},"created_at":"2017-08-06T13:07:59Z","updated_at":"2017-08-06T13:07:59Z","body":"Currently `subsoldists[k]`  defaults to ||b_k^*||,  so b_k cannot be an output, only vectors that are shorter. \r\nBut we could generalize the mechanism similar to solutions, allowing a custom bound and have the evaluator store up to N vectors with any of the strategies. \r\nThe evaluator could also filter out any trivial vectors of the form `[+/-1 0.. 0]`. \r\nMost of that work would be in evaluators with a tweak to the enumerator API. "}}
{"actor":{"display_login":"cr-marcstevens"}}