Maple worksheet for Scheiderer's example
@Misc{GuoSafeyZhi20123,
author = "Qingdong Guo and Mohab Safey El Din and Lihong Zhi",
title = " Computing rational solutions of linear matrix inequalities",
howpublished = "Manuscript",
year = "2013",
note = "8 pages. Submitted to ISSAC 2013",
}