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.

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