Syntax definition csf

Description: Splitting field for a finite set of polynomials.

	Ref	Expression
Assertion	csf	class splitFld