{"action":"created","issue":{"url":"https://api.github.com/repos/gap-system/gap/issues/634","repository_url":"https://api.github.com/repos/gap-system/gap","labels_url":"https://api.github.com/repos/gap-system/gap/issues/634/labels{/name}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/634/comments","events_url":"https://api.github.com/repos/gap-system/gap/issues/634/events","html_url":"https://github.com/gap-system/gap/issues/634","id":135901774,"number":634,"title":"convert.pl has trouble mixing <vars> and > relations","user":{"login":"chsievers","id":10579186,"avatar_url":"https://avatars.githubusercontent.com/u/10579186?v=3","gravatar_id":"","url":"https://api.github.com/users/chsievers","html_url":"https://github.com/chsievers","followers_url":"https://api.github.com/users/chsievers/followers","following_url":"https://api.github.com/users/chsievers/following{/other_user}","gists_url":"https://api.github.com/users/chsievers/gists{/gist_id}","starred_url":"https://api.github.com/users/chsievers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chsievers/subscriptions","organizations_url":"https://api.github.com/users/chsievers/orgs","repos_url":"https://api.github.com/users/chsievers/repos","events_url":"https://api.github.com/users/chsievers/events{/privacy}","received_events_url":"https://api.github.com/users/chsievers/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-02-23T23:39:14Z","updated_at":"2016-02-24T10:19:50Z","closed_at":null,"body":"The script in etc/convert.pl renders `$|<v1><v2><v3>| > |<v1>| - |<v2>| + |<v3>|$` (which appears in the FGA manual as part of the documentation for `FreeGeneratorsOfGroup`) like this:\r\n` |v1 > v2 v3 | |v1 | − |v2 | + |v3 |`\r\n(see http://gap-system.org/Manuals/pkg/fga/htm/CHAP002.htm#SSEC001.1 at the end of the second inner bullet point)\r\n\r\nTeX with gapmacro as well as the online help have no problem with this admittedly convoluted expression."},"comment":{"url":"https://api.github.com/repos/gap-system/gap/issues/comments/188178635","html_url":"https://github.com/gap-system/gap/issues/634#issuecomment-188178635","issue_url":"https://api.github.com/repos/gap-system/gap/issues/634","id":188178635,"user":{"login":"chsievers","id":10579186,"avatar_url":"https://avatars.githubusercontent.com/u/10579186?v=3","gravatar_id":"","url":"https://api.github.com/users/chsievers","html_url":"https://github.com/chsievers","followers_url":"https://api.github.com/users/chsievers/followers","following_url":"https://api.github.com/users/chsievers/following{/other_user}","gists_url":"https://api.github.com/users/chsievers/gists{/gist_id}","starred_url":"https://api.github.com/users/chsievers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chsievers/subscriptions","organizations_url":"https://api.github.com/users/chsievers/orgs","repos_url":"https://api.github.com/users/chsievers/repos","events_url":"https://api.github.com/users/chsievers/events{/privacy}","received_events_url":"https://api.github.com/users/chsievers/received_events","type":"User","site_admin":false},"created_at":"2016-02-24T10:19:50Z","updated_at":"2016-02-24T10:19:50Z","body":"That works, thanks.\r\nIs it intentional that this fix is in stable-4.8, while the one for #633 is in master?"}}