Hom(ChainComplex,ChainComplex) -- Create the homomorphism complex of a pair of chain complexes.

Synopsis

• Function: Hom

• Usage:

  Hom(F,F)

• Inputs:
  • F, a chain complex,
  • G, a chain complex,
• Optional inputs:
  • DegreeLimit => ..., default value null,
  • MinimalGenerators => ..., default value true,
  • Strategy => ..., default value null,
• Outputs:
  • Hom(F,G)

Description

i1 : R = ZZ/101[a,b,c]

o1 = R

o1 : PolynomialRing

i2 : kRes = res coker vars R

      1      3      3      1
o2 = R  <-- R  <-- R  <-- R  <-- 0
                                  
     0      1      2      3      4

o2 : ChainComplex

i3 : Hom(kRes,kRes)

             1      6      15      20      15      6      1
o3 = 0  <-- R  <-- R  <-- R   <-- R   <-- R   <-- R  <-- R  <-- 0
                                                                 
     -4     -3     -2     -1      0       1       2      3      4

o3 : ChainComplex