#17587: ToricLattice: fix use of span() and span_of_basis()
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner:
Type: defect | Status: needs_info
Priority: major | Milestone: sage-6.5
Component: geometry | Resolution:
Keywords: | Merged in:
Authors: Jeroen Demeyer | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jdemeyer/ticket/17587 | ab9ada208a895e01f973b0df90075d61e865e0dc
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by novoselt):
But the module is over ZZ for the sake of using saturation, which works
differently for QQ:
{{{
sage: M = ZZ^3
sage: M.span_of_basis([(1,1/2,1/3)])
Free module of degree 3 and rank 1 over Integer Ring
User basis matrix:
[ 1 1/2 1/3]
sage: _.saturation()
Free module of degree 3 and rank 1 over Integer Ring
Echelon basis matrix:
[6 3 2]
sage: M.span_of_basis([(1,1/2,1/3)], QQ)
Vector space of degree 3 and dimension 1 over Rational Field
User basis matrix:
[ 1 1/2 1/3]
sage: _.saturation()
Vector space of degree 3 and dimension 1 over Rational Field
User basis matrix:
[ 1 1/2 1/3]
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/17587#comment:6>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
