This is a browser-friendly view of the QMath context polysts.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted from content-dictionary polysts || http://www.nag.co.uk/projects/openmath/omsoc/cdfiles/html/core/cd/polysts.html || http://www.openmath.org/cd/polysts.ocd Symbol: polynomial_ring SYMBOL "polysts:polynomial_ring"