#15396: fix .an_element for affine and projective spaces
-------------------------------------+-------------------------------------
Reporter: bhutz | Owner: bhutz
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-6.1
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: sage-days55, | Reviewers:
TestSuite | Work issues:
Authors: bhutz | Commit:
Report Upstream: N/A | 82b1a730e73cc6f57b64e6ed6fb6639a1103f09c
Branch: u/chapoton/15396 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by bhutz):
Yes, in just about any instance I can think of it will be fine. But, what
if the base ring is something like {{{GL_n(F_2)}}} so that multiplying by
2 gives you the zero matrix which is not in the ring, i.e.
{{{2*R.an_element()}}} does not exist.
I see now you are also removing the last coordinate{{{R.one()}}} from my
code, in this case all you are really defining in the point
{{{(n,n-1,n-2,...,1,0)}}} since in projective space you can just factor
out the {{{R.an_element()}}} from each coordinate. So you certainly cannot
just have some multiple of {{{R.an_element()}}} for every coordinate.
--
Ticket URL: <http://trac.sagemath.org/ticket/15396#comment:8>
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/groups/opt_out.
