{"head":"b11c2d603e27f1173f2c6e12bb06a57477876c99","size":1,"push_id":44317990,"shas":[["b11c2d603e27f1173f2c6e12bb06a57477876c99","31f32c38d376716288ed3532810268fc4a4ffcc6@gmail.com","Merge pull request #550 from mattpap/groebner\n\nA few improvements to Groebner bases framework","Aaron Meurer"]],"ref":"refs/heads/master"}