ClassGroup ( fld^num K ) -> grp^abl, map()

Optional Arguments

Results	elt-ord^rat		1 <= Results <= 2
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"