leading ideal