Corrections: 1)I need all the conic sections if I'm going to use them at all. xy + zw + uv >= 4 xz -zv - uw <= 12 ....etc could be arbitrarily ... unnatural... to express as ellipses. Not sure why I thought I could get around that.
2) rational points is just a test. Not sure if it provides useful information in a general context. Unless I choose a rational parameterization. 3) the sign is very important to me. Which boundary conditions most immediately limit the solution space? 4) "sliding along cones" is pretend. The operation has to be a multidimensional transform, otherwise the problem is already solved and there is no "sliding" to do. I have a mental picture of how I want this to work but I am no longer convinced it is a logical one. 5) not sure where n/2 came from. n(n-1)/2 Using the Who's Going to Stop Me Theorem, I can always write the system as a series of linear equations in n(n-1)/2 unknowns. That's not what I want. The vectors giving my unknown parameters is a collection of indivdiual terms factored *out* of the desired form. I lock myself out of a quadratic solution system. But it might be a useful test? I'll try some things in SAGE, figure out how to define some parts of the process; cases. But if no one else is interested (or if my maths aren't strong enough for you) I'll leave it at that for now. Not really a priority. -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
