Помогите, пожалуйста, разобраться с классификацией специальных эффективных дивизоров и их линейных систем. В общих чертах я поняла, что такие дивизоры (и системы) делятся на обыкновенные и исключительные. В известном мне источнике это деление пытаются описать через параметры полной линейной системы

а именно:
Цитата:
линейные системы

с

специальны и для общих таких систем

Последние системы и их дивизоры называют обыкновенными-специальными. Остальные специальные системы

с

и их дивизоры называют исключительными.
Наивный вопрос: если

разве не следует, что

Есть еще понятие иррегулярных дивизоров и линейных систем. Как оно соотносится с этими понятиями?