help links subscribe changes refresh edit

	IssueTracker
#177 expand (cos (2*x)) ←	↑	→ #179 differentiating sums with respect to a bound is wrong

#178 Linear Agebra problem

Edit detail for #178 Linear Agebra problem revision 1 of 1

	1
Editor: Time: 2007/11/17 22:03:09 GMT-8
Note: Same as bug #170

changed:
-
This doesn't work:
\begin{axiom}
L := [ A = 2*P1+P2, B = 2*P2+P1, C = 2*Q1+Q2, D = 2*Q2+Q1]
solve(L, [P1,P2])
\end{axiom}
But it should, observe this:
\begin{axiom}
SA:=solve([L.1,L.2],[P1,P2])
SB:=solve([L.3,L.4],[Q1,Q2])
\end{axiom}
First two equationa do not depend on $Q_i$, the later two don't depend on $P_i$.
Now check it again the initial set:
\begin{axiom}
S:=[SA.1.1,SA.1.2,SB.1.1,SB.1.2]
map(x+->eval(x,S),L)
\end{axiom}

From kratt6 Tue Jun 21 02:20:21 -0500 2005
From: kratt6
Date: Tue, 21 Jun 2005 02:20:21 -0500
Subject: Same as bug #170
Message-ID: <20050621022021-0500@page.axiom-developer.org>

Status: open => duplicate

This doesn't work:

axiom

L := [ A = 2*P1+P2, B = 2*P2+P1, C = 2*Q1+Q2, D = 2*Q2+Q1]

$\label{eq1}\begin{array}{@{}l} \displaystyle \left[{A ={P 2 +{2 \ P 1}}}, \:{B ={{2 \ P 2}+ P 1}}, \:{C ={Q 2 +{2 \ Q 1}}}, \: \right. \ \ \displaystyle \left.{D ={{2 \ Q 2}+ Q 1}}\right]$

(1)

Type: List(Equation(Polynomial(Integer)))

axiom

solve(L, [P1,P2])

$\label{eq2}\left[ \right]$

(2)

Type: List(List(Equation(Fraction(Polynomial(Integer)))))

But it should, observe this:

axiom

SA:=solve([L.1,L.2],[P1,P2])

$\label{eq3}\left[{\left[{P 1 ={{- B +{2 \ A}}\over 3}}, \:{P 2 ={{{2 \ B}- A}\over 3}}\right]}\right]$

(3)

Type: List(List(Equation(Fraction(Polynomial(Integer)))))

axiom

SB:=solve([L.3,L.4],[Q1,Q2])

$\label{eq4}\left[{\left[{Q 1 ={{- D +{2 \ C}}\over 3}}, \:{Q 2 ={{{2 \ D}- C}\over 3}}\right]}\right]$

(4)

Type: List(List(Equation(Fraction(Polynomial(Integer)))))

First two equationa do not depend on , the later two don't depend on . Now check it again the initial set:

axiom

S:=[SA.1.1,SA.1.2,SB.1.1,SB.1.2]

$\label{eq5}\begin{array}{@{}l} \displaystyle \left[{P 1 ={{- B +{2 \ A}}\over 3}}, \:{P 2 ={{{2 \ B}- A}\over 3}}, \:{Q 1 ={{- D +{2 \ C}}\over 3}}, \: \right. \ \ \displaystyle \left.{Q 2 ={{{2 \ D}- C}\over 3}}\right]$

(5)

Type: List(Equation(Fraction(Polynomial(Integer))))

axiom

map(x+->eval(x,S),L)

$\label{eq6}\left[{A = A}, \:{B = B}, \:{C = C}, \:{D = D}\right]$

(6)

Type: List(Equation(Expression(Integer)))

Same as bug #170 --kratt6, Tue, 21 Jun 2005 02:20:21 -0500 reply

Status: open => duplicate