#11751: make free_module_generic_pid also work for pid's other then 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: | Author:
Merged: | Dependencies:
------------------------------+---------------------------------------------
Description changed by mderickx:
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]
> }}}
New 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
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11751#comment:10>
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.
