{"action":"created","issue":{"url":"https://api.github.com/repos/martin-leuner/alcove/issues/8","labels_url":"https://api.github.com/repos/martin-leuner/alcove/issues/8/labels{/name}","comments_url":"https://api.github.com/repos/martin-leuner/alcove/issues/8/comments","events_url":"https://api.github.com/repos/martin-leuner/alcove/issues/8/events","html_url":"https://github.com/martin-leuner/alcove/issues/8","id":84094844,"number":8,"title":"Bug in TuttePolynomial","user":{"login":"mohamed-barakat","id":871986,"avatar_url":"https://avatars.githubusercontent.com/u/871986?v=3","gravatar_id":"","url":"https://api.github.com/users/mohamed-barakat","html_url":"https://github.com/mohamed-barakat","followers_url":"https://api.github.com/users/mohamed-barakat/followers","following_url":"https://api.github.com/users/mohamed-barakat/following{/other_user}","gists_url":"https://api.github.com/users/mohamed-barakat/gists{/gist_id}","starred_url":"https://api.github.com/users/mohamed-barakat/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mohamed-barakat/subscriptions","organizations_url":"https://api.github.com/users/mohamed-barakat/orgs","repos_url":"https://api.github.com/users/mohamed-barakat/repos","events_url":"https://api.github.com/users/mohamed-barakat/events{/privacy}","received_events_url":"https://api.github.com/users/mohamed-barakat/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-06-02T16:27:31Z","updated_at":"2015-06-03T09:59:23Z","closed_at":null,"body":"Commit dc4ba73 introduced the following bug in `TuttePolynomial`:\r\n\r\n```\r\ngap> LoadPackage( \"alcove\" );\r\ntrue\r\ngap>\r\ngap> F3 := HomalgRingOfIntegers( 3 );\r\nGF(3)\r\ngap> mat :=\r\n>   [ [ Z(3)^0, 0*Z(3), Z(3)^0, 0*Z(3), Z(3)^0, Z(3), Z(3), Z(3)^0, 0*Z(3) ],\r\n>     [ 0*Z(3), Z(3)^0, Z(3), 0*Z(3), Z(3)^0, Z(3), 0*Z(3), Z(3), Z(3)^0 ],\r\n>     [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0, Z(3)^0, Z(3)^0, Z(3)^0, Z(3)^0 ] ];\r\n[ [ Z(3)^0, 0*Z(3), Z(3)^0, 0*Z(3), Z(3)^0, Z(3), Z(3), Z(3)^0, 0*Z(3) ],\r\n  [ 0*Z(3), Z(3)^0, Z(3), 0*Z(3), Z(3)^0, Z(3), 0*Z(3), Z(3), Z(3)^0 ], [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, Z(3)^0, Z(3)^0, Z(3)^0, Z(3)^0,\r\n      Z(3)^0 ] ]\r\ngap> mat := HomalgMatrix( mat, F3 );\r\n<A matrix over an internal ring>\r\ngap> mat := Matroid( mat );\r\n<A vector matroid>\r\ngap> TuttePolynomial( mat );\r\nError, no method found! For debugging hints type ?Recovery from NoMethodFound\r\nError, no 3rd choice method found for `TuttePolynomial' on 3 arguments called from\r\nTuttePolynomial( matroid, xy[1], xy[2] ) called from\r\n<function \"unknown\">( <arguments> )\r\n called from read-eval loop at line 10 of *stdin*\r\nyou can 'quit;' to quit to outer loop, or\r\nyou can 'return;' to continue\r\nbrk>\r\ngap> TuttePolynomial( mat );\r\ny^6+3*y^5+6*y^4+x^3+10*y^3+6*x^2+12*x*y+15*y^2+9*x+9*y\r\n```"},"comment":{"url":"https://api.github.com/repos/martin-leuner/alcove/issues/comments/108283825","html_url":"https://github.com/martin-leuner/alcove/issues/8#issuecomment-108283825","issue_url":"https://api.github.com/repos/martin-leuner/alcove/issues/8","id":108283825,"user":{"login":"martin-leuner","id":3064135,"avatar_url":"https://avatars.githubusercontent.com/u/3064135?v=3","gravatar_id":"","url":"https://api.github.com/users/martin-leuner","html_url":"https://github.com/martin-leuner","followers_url":"https://api.github.com/users/martin-leuner/followers","following_url":"https://api.github.com/users/martin-leuner/following{/other_user}","gists_url":"https://api.github.com/users/martin-leuner/gists{/gist_id}","starred_url":"https://api.github.com/users/martin-leuner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/martin-leuner/subscriptions","organizations_url":"https://api.github.com/users/martin-leuner/orgs","repos_url":"https://api.github.com/users/martin-leuner/repos","events_url":"https://api.github.com/users/martin-leuner/events{/privacy}","received_events_url":"https://api.github.com/users/martin-leuner/received_events","type":"User","site_admin":false},"created_at":"2015-06-03T09:59:23Z","updated_at":"2015-06-03T09:59:23Z","body":"I see. I have a fix in mind, but it'll need some thorough testing."}}