#11751: make free_module_generic_pid also work for pid's other than integers
---------------------------------------------+------------------------------
Reporter: mderickx | Owner: jason, was
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7.2
Component: linear algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: Maarten Derickx, Julian Rueth | Author: Maarten
Derickx, Julian Rueth
Merged: | Dependencies:
---------------------------------------------+------------------------------
Changes (by newvalueoldvalue):
* reviewer: => Maarten Derickx, Julian Rueth
* author: => Maarten Derickx, Julian Rueth
Old description:
> Before this patch the following code would fail horribly
> {{{
> sage: R.<x>=QQ[]
> sage: L=R^1
> sage: a=L.span([(1/x,)])
> sage: a
> Free module of degree 1 and rank 1 over Univariate Polynomial Ring in x
> over Rational Field
> Echelon basis matrix:
> [1/x]
> sage: b=L.span([(1/x,)])
> sage: a(b.gens()[0])
> (1/x)
> sage: L2 = R^2
> sage: L2.span([[(x^2+x)/(x^2-3*x+2),1/5],[(x^2+2*x)/(x^2-4*x+3),x]])
> Free module of degree 2 and rank 2 over Univariate Polynomial Ring in x
> over Rational Field
> Echelon basis matrix:
> [x/(x^3 - 6*x^2 + 11*x - 6) 2/15*x^2 - 17/75*x - 1/75]
> [ 0 x^3 - 11/5*x^2 - 3*x + 4/5]
> }}}
>
> First apply: http://trac.sagemath.org/sage_trac/raw-
> attachment/ticket/11751/11751_free_module_generic_pid-fix.patch
> and then http://trac.sagemath.org/sage_trac/raw-attachment/ticket/11751
> /trac_11751_free_module_generic_pid-review.patch
New description:
Before this patch the following code would fail
{{{
sage: R.<x>=QQ[]
sage: L=R^1
sage: L.span([(1/x,)])
TypeError
}}}
Now it works
{{{
sage: R.<x>=QQ[]
sage: L=R^1
sage: L.span([(1/x,)])
Free module of degree 1 and rank 1 over Univariate Polynomial Ring in x
over Rational Field
Echelon basis matrix:
[1/x]
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11751#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
