Ticket #1046: 1046-fixes.patch

File 1046-fixes.patch, 1.9 kB (added by robertwb, 3 months ago)

  • a/sage/categories/pushout.py

    old new  
    325325    rank = 10 # ranking of functor, not rank of module 
    326326 
    327327    def __init__(self, n, is_sparse=False, inner_product_matrix=None): 
    328 #        if nrows == ncols: 
    329 #            Functor.__init__(self, Rings(), RingModules()) # takes a basering 
    330 #        else: 
    331 #            Functor.__init__(self, Rings(), MatrixAlgebras()) # takes a basering 
    332         Functor.__init__(self, Rings(), Rings()) 
     328#        Functor.__init__(self, Rings(), FreeModules()) # takes a basering 
     329        Functor.__init__(self, Objects(), Objects()) 
    333330        self.n = n 
    334331        self.is_sparse = is_sparse 
    335332        self.inner_product_matrix = inner_product_matrix 
    …… 
    351348class SubspaceFunctor(ConstructionFunctor): 
    352349    rank = 11 # ranking of functor, not rank of module 
    353350    def __init__(self, basis): 
     351#        Functor.__init__(self, FreeModules(), FreeModules()) # takes a basering 
     352        Functor.__init__(self, Objects(), Objects()) 
    354353        self.basis = basis 
    355354    def __call__(self, ambient): 
    356355        return ambient.span_of_basis(self.basis) 

  • a/sage/structure/parent.pyx

    old new  
    12341234            (FractionField, Integer Ring) 
    12351235            sage: f, R = QQ['x'].construction() 
    12361236            sage: f 
    1237             PolynomialFunctor 
     1237            Poly[x] 
    12381238            sage: R 
    12391239            Rational Field 
    12401240            sage: f(R)