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(...,KnownDomain=>...) -- see isReflexive -- 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