[Axiom-developer] [#162 nested cross products for Vector Polynomial Integer probelm]

[unknown]

Changes 
http://page.axiom-developer.org/zope/mathaction/162NestedCrossProductsForVectorPolynomialIntegerProbelm/diff
--
(a0x, a1x, a2x, a3x, a0y, a1y, a2y, a3y) : Polynomial Integer

(PR0, PR1, PR2, PR3, PRN0, PRN1, PRN2, PRN3, X, Y, Z, XN, YN, ZN): Vector 
Polynomial  Integer

PR0 := vector[PR0x, PR0y, PR0z]

PR1 := vector[PR1x, PR1y, PR1z]

PR2 := vector[PR2x, PR2y, PR2z]

PR3 := vector[PR3x, PR3y, PR3z]

X := cross(PR0, PR3)

Y := cross(PR1, PR2)

PRN0 := PR0 + a0x*X + a0y*Y

PRN3 := PR3 + a3x*X + a3y*Y

XN := cross(PRN0, PRN3)

PRN1 := PR1 + a1x*X + a1y*Y

PRN2 := PR2 + a2x*X + a2y*Y

YN := cross(PRN1, PRN2)

ZN := cross(XN, YN)
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden