On Fri, Nov 30, 2012 at 1:36 PM, Eviatar <eviatarb...@gmail.com> wrote:

> Hello,
>
> I was planning to work on the patch for this; however, is "normal form"
> known terminology for dividing a vector by the leading entry? A Google
> search returns no such use. Wouldn't it be better for it to be named
> something like divided_by_leading, to remove ambiguity and potential
> confusion?
>
>
The author of that method may have named it in the context of projective
geometry.

See http://en.wikipedia.org/wiki/Homogeneous_coordinates. For example, in
the projective space P_2, each non-zero vector (x, y, z) corresponds to a
point and two vectors correspond to the same point iff one is a scalar
multiple of the other. So for each point with representative vectors
satisfying x \ne 0 (i.e. the points in one of the standard coordinate
patches), there is a unique "normal form" coordinate (1, y/x, z/x).

--
Benjamin Jones
benjaminfjo...@gmail.com

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To post to this group, send email to sage-devel@googlegroups.com.
To unsubscribe from this group, send email to 
sage-devel+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.


Reply via email to