## simplification example...

Asked by:

I am curious whether anyone here can come up with a way to simplify the expression x1 to 15*Pi/32 in fewer exact, symbolic steps. The following was performed in Maple 2016.2 for Linux.

 > restart;
 > x1 := arcsin(1/2*(2+(2+(2+2^(1/2))^(1/2))^(1/2))^(1/2));

 > x2 := evalc(convert(x1,expln));

 > x3 := convert(x2, expln);

 > # non-Pro wolframalpha can simplify x3 to 15*Pi/32 (but not x2 or x1). #
 > x4 := combine(x3);

 > x5 := simplify(x4);

 > x6 := expand(x5);

 > x7 := combine(x6);

 > simplify(x7,constant);

 > # It's a pity that last step worked while this next is inadequate. simplify(x7);

 > # Another way, using x7 simplify(evalc(x7));

 > # Another way, using x7 simplify(combine(expand(x7)));

 >

Download simplify_example.mw

## How can I get more "clean" radical answers when no...

Asked by:

I'm trying to solve a Quantum Mechanics problem that requires me to normalize a wavefunction before I proceed. I have the book solutions to these problems (I'm just trying to practice solving using Maple) so I know what the answers are SUPPOSED to be. But I'm not getting the answers I expected when dumping it into Maple.

What I put into Maple:

What I was SUPPOSED to get:

I assume this is a radical simplication I need to make. But in highlighting the expression, right clicking, and trying the different simplification options, nothing worked.

Thanks!

## How to find all ideals in this?...

Asked by:

Dear All

Using Lie algebra package in Maple we can easily find nilradical for given abstract algebra, but how we can find all the ideal in lower central series by taking new basis as nilradical itself?

Please see following;

 >
 >
 (1)
 Euc >
 (2)
 Euc >
 (3)
 Euc >
 (4)
 L1 >
 L1 >
 (5)
 L1 >
 (6)
 L1 >
 (7)

Taking N as new basis , how we can find all ideals in lower central series of this solvable ideal N?

Download [944]_Structure_of_Lie_algebra.mw

Regards

## Simplifying Radicals: Part III...

Asked by:

In this question, I asked for a way to simplify an expression containing radicals. The discussion led us to that as default field for simplicfication is the Complex number system we should use assume or assuming command to simplify the radicals. However, the mothod suggested there seems to not work in this new case that I have. For details please see the attached file. The terms sqrt{u} and sqrt{u-1} should cancel in denominator.

What Maple Does

 >
 >
 (1)
 >
 (2)
 >
 (3)
 >
 (4)
 >
 (5)
 >
 (6)
 >

Radical.mw

Remark by Markiyan Hirnyk. The below content is added by the questionner on 08.02.2016 .

What Mathematica Does

## Simplifying Radicals: Part II...

Asked by:

I have the following expression

f=u/(sqrt(u*(u-1)))

and I want to simplify it. Eventhough that I tell Maple that u is real and greater than 1 but it does not simplify the expression. What is wrong? Please see the attached file.

Radical.mw

## Simplifying Radicals: Part I...

Asked by:

I want to cancel some expressions in numerator and denominator of a quotient. But Maple deos not cancel it!

Please see the attached file.

## Computation of radical ideal ...

Asked by:

In the running of an example I faced to computation of radical ideal of the following ideal:

<-c*m*u+d*c*n+m*b*v+m*c*t>

I used from Radical command in PolynomialIdeals package. But I dno't now why it's computation is very hard and Time-consuming?

What I have to do? I think there is a bug, since this ideal is simple, apparently.

## Certain functions are partly plotted...

Asked by:

why the the software can't plot the function like x^(4/3)*sin(1/x) or x^(1/3)

it could only plot where x>0,but the value is does exist where x<0.

Thanks in advance for your help.

## How to compute radical of polynomial? ...

Asked by:

Which of Maple commands is better for computing the radical of a polynomial f (less time of computation and less complexity)?

For example if f=x^3+3x^2y+3xy^2+y^3 then rad(f)=x+y.

## radical of a number ...

Asked by:

is there a built in function which calculates the radical of a number?

e.g. 54=2*3^3

rad(54)=2*3=6

## Combining square roots of expressions in Maple, ho...

Asked by:

Hello all. I have a probably simple problem, that is drinving me totally crazy. I have a expression having:

(sqrt(M+m)*sqrt(M-m).(sqrt(M+m)*sqrt(M-m))

and it refuses to simplify. I told maple assume(m>0, M>0), etc. But it doesn't want to simplify. Anyone has any ideas?

Regards,

Jelmew

Edit: uploaded the mw file, so it can be seen what the problem is.10.1.mw10.1.mw

[I added Physics to the tags.--Carl Love as moderator]

## The sqrt 2 denominator jumper...

Asked by:

The simplification of 1/sqrt(2) is always simplified or unsimplified as the case may be to sqrt(2)/2.  It is a matter of opinion which is simpler I suppose, but throughout mathematics teachings I've always learned cos(45) as 1/sqrt(2) as I'm sure the rest of you all have as well. Yes it is merely aesthetic, but a quirk to see it as sqrt(2)/2

Is the simplification process to get radicals in the numerator rather than the denominator?  I think yes if the answer...

## Conversion of trigonmetric expression to radicals...

Asked by:

Hi,

with great interest and surprise I read the post
"Converting Half-Angle Trig Formulas to Radicals".
Isnt it possible to evaluate cos(arccos(13/14)/3) also
to an exact expression in radicals ?
I simply do not succeed with my humble knowledge of
the Maple commands/internal workings...
Would be great if someone finds a solution ( of an
unsolvable problem ??? ).

[Edit: Excess white space deleted.---Carl Love]

## Bug in PolynomialIdeals

by: Maple 16

Hello,

I am experiencing wrong results using the PolynomialIdeals package in Maple 16 (see radical_error.mw). Creating the same ideal with different generators, the radicals computed differ which of course is wrong:

with(PolynomialIdeals);
J := <t*(a+A), A*(b+B+t), b*(a+A), B*a-A*(b+t), (variables = {A, B, a, b, t})>:
J2 := <t*(a+A), A*(b+B+t), b*(a+A), B*(a+A...

## simplification example...

Asked by:

Maybe many questions on forum because method is not universal. What about this one:

JA1S := (2*sqrt(2*y+3)*y+3*sqrt(2*y+3)-3*sqrt(3))/((2*y+3)^(3/2)*y);

simplify(JA1S, power, radical, symbolic); - nothing

combine(JA1S, power, radical, symbolic); - nothing

Moreover, can i somehow also reduce by y?

 1 2 Page 1 of 2
﻿