The torsion module of Kähler differential forms is considered in the context of symbolic computation. Relations between logarithmic differential forms and logarithmic vector fields are investigated. As an application, an effective method is proposed for computing torsion differential forms associated with a hypersurface with an isolated singularity. The main ingredients of the proposed method are logarithmic vector fields and local cohomology.
- Local cohomology
- Logarithmic differential form
- Torsion module