complex expressions

• Subject: complex expressions
• From: Henry Baker
• Date: Wed, 06 Jun 2012 08:06:31 -0700

I'm trying to get maxima to prove that

abs(a)^2=realpart(a)^2+imagpart(a)^2.

I tell maxima:

declare(a,complex);
abs(a)^2=realpart(a)^2+imagpart(a)^2;

What do I tell maxima to get it to simplify this?

• Prev by Date: Windows ccl installer to play with
• Next by Date: complex expressions
• Previous by thread: Complex conjugates
• Next by thread: complex expressions
• Index(es):
  • Date
  • Thread