ExtensionsAndTorsWithLimitedDegree : Index
- ExtDegreeLimit -- Computes the components in degree <=d of Ext^i(M,N)
- ExtDegreeLimit(..., printTimings => ...) -- a Boolean value, default value false, whether to print timings of the key steps of the function.
- ExtDegreeLimit(ZZ,Ideal,Ideal,ZZ) -- Computes the components in degree <=d of Ext^i(M,N)
- ExtDegreeLimit(ZZ,Ideal,Matrix,ZZ) -- Computes the map Ext^i(M, source f)_{<=d} -> Ext^i(M, target f)_{<=d} induced by f.
- ExtDegreeLimit(ZZ,Ideal,Module,ZZ) -- Computes the components in degree <=d of Ext^i(M,N)
- ExtDegreeLimit(ZZ,Ideal,Ring,ZZ) -- Computes the components in degree <=d of Ext^i(M,N)
- ExtDegreeLimit(ZZ,Matrix,Ideal,ZZ) -- Computes the map Ext^i(target f,N)_{<=d} -> Ext^i(source f,N)_{<=d} induced by f.
- ExtDegreeLimit(ZZ,Matrix,Module,ZZ) -- Computes the map Ext^i(target f,N)_{<=d} -> Ext^i(source f,N)_{<=d} induced by f.
- ExtDegreeLimit(ZZ,Matrix,Ring,ZZ) -- Computes the map Ext^i(target f,N)_{<=d} -> Ext^i(source f,N)_{<=d} induced by f.
- ExtDegreeLimit(ZZ,Module,Ideal,ZZ) -- Computes the components in degree <=d of Ext^i(M,N)
- ExtDegreeLimit(ZZ,Module,Matrix,ZZ) -- Computes the map Ext^i(M, source f)_{<=d} -> Ext^i(M, target f)_{<=d} induced by f.
- ExtDegreeLimit(ZZ,Module,Module,ZZ) -- Computes the components in degree <=d of Ext^i(M,N)
- ExtDegreeLimit(ZZ,Module,Ring,ZZ) -- Computes the components in degree <=d of Ext^i(M,N)
- extension -- Construct the Yoneda extension corresponding to an element in Ext^1(M,N)_deg for deg<=d
- extension(Matrix) -- Construct the Yoneda extension corresponding to an element in Ext^1(M,N)_deg for deg<=d
- ExtensionsAndTorsWithLimitedDegree -- computation of the homogeneous components of the graded modules Ext^i(M,N) and Tor^i(M,N) with a fixed degree limit
- printTimings -- a Boolean value, default value false, whether to print timings of the key steps of the function.
- TorDegreeLimit -- Computes the components in degree <=d of Tor^i(M,N)
- TorDegreeLimit(..., printTimings => ...) -- a Boolean value, default value false, whether to print timings of the key steps of the function.
- TorDegreeLimit(ZZ,Ideal,Ideal,ZZ) -- Computes the components in degree <=d of Tor^i(M,N)
- TorDegreeLimit(ZZ,Ideal,Matrix,ZZ) -- Computes the map Tor^i(M, source f)_{<=d} -> Tor^i(M, target f)_{<=d} induced by f.
- TorDegreeLimit(ZZ,Ideal,Module,ZZ) -- Computes the components in degree <=d of Tor^i(M,N)
- TorDegreeLimit(ZZ,Ideal,Ring,ZZ) -- Computes the components in degree <=d of Tor^i(M,N)
- TorDegreeLimit(ZZ,Matrix,Ideal,ZZ) -- Computes the map Tor^i(source f,N)_{<=d} -> Tor^i(target f,N)_{<=d} induced by f.
- TorDegreeLimit(ZZ,Matrix,Module,ZZ) -- Computes the map Tor^i(source f,N)_{<=d} -> Tor^i(target f,N)_{<=d} induced by f.
- TorDegreeLimit(ZZ,Matrix,Ring,ZZ) -- Computes the map Tor^i(source f,N)_{<=d} -> Tor^i(target f,N)_{<=d} induced by f.
- TorDegreeLimit(ZZ,Module,Ideal,ZZ) -- Computes the components in degree <=d of Tor^i(M,N)
- TorDegreeLimit(ZZ,Module,Matrix,ZZ) -- Computes the map Tor^i(M, source f)_{<=d} -> Tor^i(M, target f)_{<=d} induced by f.
- TorDegreeLimit(ZZ,Module,Module,ZZ) -- Computes the components in degree <=d of Tor^i(M,N)
- TorDegreeLimit(ZZ,Module,Ring,ZZ) -- Computes the components in degree <=d of Tor^i(M,N)