
D.15.10 gradedModules_lib
 Library:
 gradedModules.lib
 Purpose:
 Operations with graded modules/matrices/resolutions
 Authors:
 Oleksandr Motsak <U@D>, where U=motsak, D=mathematik.unikl.de
Hanieh Keneshlou <hkeneshlou@yahoo.com>
 Overview:
 The library contains several procedures for constructing and manipulating graded modules/matrices/resolutions.
Basics about graded objects can be found in [MO].
 Note:
 set assumeLevel to positive integer value in order to autocheck all assumptions.
 References:
 [MO] Motsak, O.: Noncommutative Computer Algebra with applications: Graded commutative algebra and related
structures in Singular with applications, Ph.D. thesis, TU Kaiserslautern, 2010
Procedures:
