# AssumeNormal -- an option to assume a ring is normal

## Description

AssumeNormal is an option used in various functions, to assume that a ring is normal.

## Functions with optional argument named AssumeNormal :

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

## For the programmer

The object AssumeNormal is .