ClassNumber ( ord^num O ) -> elt-ord^rat

Optional Arguments

Proof	string		"Bound" or "Current" or "Full" or "GRH" or "Subgroup"
Bound	elt-ord^rat
Enum	elt-alg^boo
FactorBasisBound	elt-fld^rea
ProofBound	elt-fld^rea
ExtraRelations	elt-ord^rat
Al	string		"Automatic" or "ReducedForms" or "Relations" or "Shanks"