# HG changeset patch
# User Georg S. Weber <GeorgSWeberYouKnowWhatGooglemailYouKnowTheRest>
# Date 1278279618 7200
# Node ID 39b9ce152ad0ed95ff3fc18b2e03b9e89f3df97d
# Parent 718d8dde7ea71417692dc32a7afeb8b1d057c839
fix for trac ticket #9425
diff r 718d8dde7ea7 r 39b9ce152ad0 sage/matrix/matrix2.pyx
a

b


2651  2651  [ 1 2/7 0 2/7] 
2652  2652  sage: ker.0 * k 
2653  2653  (0, 0, 0, 0) 
 2654  
 2655  Test that trac ticket #9425 is fixed. 
 2656  
 2657  :: 
 2658  
 2659  sage: V = span([[1/7,0,0] ,[0,1,0]], ZZ); V 
 2660  Free module of degree 3 and rank 2 over Integer Ring 
 2661  Echelon basis matrix: 
 2662  [1/7 0 0] 
 2663  [ 0 1 0] 
 2664  sage: T = matrix(ZZ,3,[1,0,0,0,0,0,0,0,0]); T 
 2665  [1 0 0] 
 2666  [0 0 0] 
 2667  [0 0 0] 
 2668  sage: W = T.kernel_on(V); W.basis() 
 2669  [ 
 2670  (0, 1, 0) 
 2671  ] 
 2672  sage: W.is_submodule(V) 
 2673  True 
2654  2674  """ 
2655  2675  A = self.restrict(V, check=check) 
2656  2676  if not poly is None: 
… 
… 

2662  2682  A = V.basis_matrix() 
2663  2683  B = W.basis_matrix() 
2664  2684  C = B*A 
2665   return C.row_module() 
 2685  return C.row_module(base_ring=V.base_ring()) 
2666  2686  
2667  2687  
2668  2688  def integer_kernel(self, ring=ZZ): 