The solve function doesn't use the fact database all that much, so it's unlikely that any additional assumptions or declarations will allow Maxima to
solve these equations automatically. For an automated solution to these equations (and similar equations), it's likely that you'll need to write additional code
for either the solve function or the to_poly_solve function.
--bw
________________________________________
I often use this function for illustration:
z: x^a*y^b - c*x - d*y;
Maxima will not provide the solution requested below.
[Dx,Dy] : [diff(z,x),diff(z,y)];
solve([Dx,Dy],[x,y]);
I can solve the system in a few steps, as below.
declare(a,noninteger)$ assume(a>0,b>0,c>0,d>0,x>0,y>0)$
solve(Dx/Dy, x); subst(rhs(%[1]), x, Dy);
solve(%,y);
/*and so forth*/
Does Maxima offer a way for me to tell solve( ) enough for it to return a solution?