Changes between Version 10 and Version 11 of Ticket #11751


Ignore:
Timestamp:
09/19/11 12:24:05 (10 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11751

    • Property Reviewers changed from to Maarten Derickx, Julian Rueth
    • Property Summary changed from make free_module_generic_pid also work for pid's other then integers to make free_module_generic_pid also work for pid's other than integers
    • Property Authors changed from to Maarten Derickx, Julian Rueth
  • Ticket #11751 – Description

    v10 v11  
    1 Before this patch the following code would fail horribly
     1Before this patch the following code would fail
    22{{{
    33sage: R.<x>=QQ[]
    44sage: L=R^1
    5 sage: a=L.span([(1/x,)])
    6 sage: a
    7 Free module of degree 1 and rank 1 over Univariate Polynomial Ring in x over Rational Field
    8 Echelon basis matrix:
    9 [1/x]
    10 sage: b=L.span([(1/x,)])
    11 sage: a(b.gens()[0])
    12 (1/x)
    13 sage: L2 = R^2
    14 sage: L2.span([[(x^2+x)/(x^2-3*x+2),1/5],[(x^2+2*x)/(x^2-4*x+3),x]])
    15 Free module of degree 2 and rank 2 over Univariate Polynomial Ring in x over Rational Field
    16 Echelon basis matrix:
    17 [x/(x^3 - 6*x^2 + 11*x - 6)  2/15*x^2 - 17/75*x - 1/75]
    18 [                         0 x^3 - 11/5*x^2 - 3*x + 4/5]
     5sage: L.span([(1/x,)])
     6TypeError
    197}}}
    208
    21 First apply: http://trac.sagemath.org/sage_trac/raw-attachment/ticket/11751/11751_free_module_generic_pid-fix.patch
    22 and then http://trac.sagemath.org/sage_trac/raw-attachment/ticket/11751/trac_11751_free_module_generic_pid-review.patch
     9Now it works
     10{{{
     11sage: R.<x>=QQ[]
     12sage: L=R^1
     13sage: L.span([(1/x,)])
     14Free module of degree 1 and rank 1 over Univariate Polynomial Ring in x over Rational Field
     15Echelon basis matrix:
     16[1/x]
     17}}}