[Maxima-discuss] is(somefunction((a*b)^k=a^k*b^k)) -> true

[Eduardo O. <edu...@gm...>]

Hi list,

is there a function that simplifies, or expands, (a*b)^k to a^k*b^k?
I've tried this,

  o1 : a^k*b^k = (a*b)^k;
  o2 : a^k*b^k + a^k*c^k = a^k*(b^k+c^k);
  is(o1);             /* false */
  is(o2);             /* false */
  is(ratsimp(o1));    /* false */
  is(ratsimp(o2));    /* true */
  is(ratexpand(o1));  /* false */
  is(ratexpand(o2));  /* true */

I've also tried "is(somefunction(o1))" for all somefunctions in:

(info "(maxima)Functions and Variables for Polynomials")
https://maxima.sourceforge.io/docs/manual/maxima_80.html#Functions-and-Variables-for-Polynomials-1

and I couldn't find anything that makes is(somefunction(o1)) return
true...

  Thanks in advance - and I hope I haven't committed any typos in my
  tests...
    Eduardo Ochs
    http://anggtwu.net/eev-maxima.html