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.