KnownDomain -- an option used to specify to certain functions that we know that the ring is a domain

Description

Functions with optional argument named KnownDomain:

• dualize(...,KnownDomain=>...) -- see dualize -- finds an ideal or module isomorphic to Hom(M, R)
• isReflexive(Ideal,KnownDomain=>...) -- see isReflexive(Ideal) -- whether an ideal or module is reflexive
• isReflexive(Module,KnownDomain=>...) -- see isReflexive(Ideal) -- whether an ideal or module is reflexive
• reflexify(...,KnownDomain=>...) -- see reflexify -- calculate the double dual of an ideal or module Hom(Hom(M, R), R)
• torsionSubmodule(...,KnownDomain=>...) -- see torsionSubmodule -- create the torsion submodule of a module