This doesn't work: axiom L := [ A = 2*P1+P2,
Type: List(Equation(Polynomial(Integer)))
axiom solve(L,
Type: List(List(Equation(Fraction(Polynomial(Integer)))))
But it should, observe this: axiom SA:=solve([L.1,
Type: List(List(Equation(Fraction(Polynomial(Integer)))))
axiom SB:=solve([L.3,
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,
Type: List(Equation(Fraction(Polynomial(Integer))))
axiom map(x+->eval(x,
Type: List(Equation(Expression(Integer)))
Same as bug #170 --kratt6, Tue, 21 Jun 2005 02:20:21 -0500 reply Status: open => duplicate
|