Ask Your Question

metabeta's profile - activity

2018-08-26 10:38:54 +0200 received badge  Nice Question (source)
2016-03-04 18:54:22 +0200 answered a question Automatic expression.maxima_methods().rootscontract() ?

I think the answer to my actual question should be:

sage.calculus.calculus.maxima('radexpand:all');
sage.calculus.calculus.maxima('rootsconmode:all');

Seems that with these setting one can avoid also other pitfalls when comparing expressions involving sqrts, e.g.

assume(x>0)
bool(sqrt(x^3)/x==sqrt(x))

should give True, which it does with the settings, but not without.

2016-03-04 18:09:46 +0200 commented answer Automatic expression.maxima_methods().rootscontract() ?

Does your comment mean that assumptions are not propagated to a complete expression like here:

sage: %var a,b
sage: assume(a>0)
sage: assume(b>0)
sage: bool(sqrt((a*b)^2)/sqrt(a*b)==sqrt(a*b))
False

Or am I missing again smth?

2016-03-03 18:59:37 +0200 received badge  Scholar (source)
2016-03-03 18:51:28 +0200 received badge  Student (source)
2016-03-03 18:46:53 +0200 asked a question Automatic expression.maxima_methods().rootscontract() ?

I have to compare quite a lot expressions and I like to do it with Sage. Sadly something like

sqrt(x^3)/sqrt(x^2) == sqrt(x)

gives false in default mode sage. Here

expression.maxima_methods().rootscontract()

does help, but is there a automatic way doing that, at least for one notebook? (Btw, why is it not the default?) Shouldn't at least simplify_full be enough to trigger that?

Maybe worth another question: Are there other pitfalls like this, I should be aware of?