  
  [1X8 [33X[0;0YFunctors[133X[101X
  
      │                     [10XExtendScalars(R,G,EltsG)[110X                     
      │                         [10XHomToIntegers(X) [110X                        
      │                       [10XHomToIntegersModP(R) [110X                      
      │                     [10XHomToIntegralModule(R,f) [110X                    
      │                  [10XTensorWithIntegralModule(R,f) [110X                  
      │                        [10XHomToGModule(R,A) [110X                        
      │                       [10XInduceScalars(R,hom) [110X                      
      │ [10XLowerCentralSeriesLieAlgebra(G) [110X [10XLowerCentralSeriesLieAlgebra(f) [110X
      │                      [10XTensorWithIntegers(X) [110X                      
      │                  [10XFilteredTensorWithIntegers(R) [110X                  
      │                 [10XTensorWithTwistedIntegers(X,rho) [110X                
      │                   [10XTensorWithIntegersModP(X,p) [110X                   
      │              [10XTensorWithTwistedIntegersModP(X,p,rho)[110X              
      │                      [10XTensorWithRationals(R)[110X                      
  
