[Axiom-developer] [#170 Axiom fails to solve "separable" system of equations]

[kratt6]

Changes 
http://page.axiom-developer.org/zope/mathaction/170AxiomFailsToSolveSeparableSystemOfEquations/diff
--

??changed:
-L := [ A = 2*P1+P2, B = 2*P2+P1, C = 2*Q1+Q2, D = 2*Q2+Q1]
-solve(L, [P1,P2])
L := [ A = 2*X+Y, B = 2*Y+X, C = 2*U+V, D = 2*V+U];
solve(L, [X,Y])

??changed:
-solve([L.1,L.2],[P1,P2])
-solve([L.3,L.4],[Q1,Q2])
-solve(L,[P1,P2,Q1,Q2])
solve(L,[X,Y,U,V])

??changed:
-returns "failed", since the last columns of the matrix contain zeros, the
returns '"failed"', since the last columns of the matrix contain zeros, the

--removed:
-

??changed:
-L := [ A = 2*P1^2+P2, B = 2*P2+P1, C = 2*Q1+Q2, D = 2*Q2+Q1]
-solve(L, [P1,P2])
-solve([L.3,L.4],[P1,P2,Q1,Q2])
L := [ A = 2*X^2+Y, B = 2*Y+X, C = 2*U+V, D = 2*V+U];
solve(L, [X, Y])
)set output algebra on
)set output tex off
solve(L, [X, Y, U, V])
)set output algebra off
)set output tex on

??changed:
-L := [ A = P+Q, B = P-Q, C = 1, C = -1]
L := [ A = P+Q, B = P-Q, C = 1, C = -1];

--removed:
-

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden