CanonicalStrategy -- an option for isFInjective

Functions with optional argument named CanonicalStrategy :

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