QMath Context File polyd

This is a browser-friendly view of the QMath context polyd.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.

|| Extracted from content-dictionary polyd
||	http://www.openmath.org/cd/polyd.html
|| http://www.openmath.org/cd/polyd.ocd

Symbol: DMP		APPLICATION		"polyd:DMP"
Symbol: DMPL		APPLICATION		"polyd:DMPL"
Symbol: elimination	APPLICATION		"polyd:elimination"
Symbol: graded_lexicographic	APPLICATION	"polyd:graded_lexicographic"
Symbol: graded_reverse_lexicographic	APPLICATION	"polyd:graded_reverse_lexicographic"
Symbol: groebner	APPLICATION		"polyd:groebner"
Symbol: groebner_basis	APPLICATION		"polyd:groebner_basis"
Symbol: lexicographic	APPLICATION		"polyd:lexicographic"
Symbol: ordering	APPLICATION		"polyd:ordering"
Symbol: plus		APPLICATION		"polyd:plus"
Symbol: poly_ring_d	APPLICATION		"polyd:poly_ring_d"
Symbol: power		APPLICATION		"polyd:power"
Symbol: reduce		APPLICATION		"polyd:reduce"
Symbol: reverse_lexicographic	APPLICATION	"polyd:reverse_lexicographic"
Symbol: SDMP		APPLICATION		"polyd:SDMP"
Symbol: term		APPLICATION		"polyd:term"
Symbol: times		APPLICATION		"polyd:times"