# AssumeReduced -- an option to assume a ring is reduced

## Description

AssumeReduced is an option used in various functions, to assume that a ring is reduced.

## Functions with optional argument named AssumeReduced :

• "isFInjective(...,AssumeReduced=>...)" -- see isFInjective -- whether a ring is F-injective

## For the programmer

The object AssumeReduced is .