Items tagged with simplify simplify Tagged Items Feed

hi every one...

how i can simplify this result (R_arm_F2 $  Twflex) via tringular relations.

where Ixflex & tetadot and other... are constants

thanks

matrix_f.mw


NULL

NULL

R := (Matrix(3, 3, {(1, 1) = 1, (1, 2) = 0, (1, 3) = 0, (2, 1) = 0, (2, 2) = cos(teta), (2, 3) = -sin(teta), (3, 1) = 0, (3, 2) = sin(teta), (3, 3) = cos(teta)})).(Matrix(3, 3, {(1, 1) = cos(phi), (1, 2) = 0, (1, 3) = sin(phi), (2, 1) = 0, (2, 2) = 1, (2, 3) = 0, (3, 1) = -sin(phi), (3, 2) = 0, (3, 3) = cos(phi)})).(Matrix(3, 3, {(1, 1) = cos(si), (1, 2) = -sin(si), (1, 3) = 0, (2, 1) = sin(si), (2, 2) = cos(si), (2, 3) = 0, (3, 1) = 0, (3, 2) = 0, (3, 3) = 1}))

R := Matrix(3, 3, {(1, 1) = cos(phi)*cos(si), (1, 2) = -cos(phi)*sin(si), (1, 3) = sin(phi), (2, 1) = sin(teta)*sin(phi)*cos(si)+cos(teta)*sin(si), (2, 2) = -sin(teta)*sin(phi)*sin(si)+cos(teta)*cos(si), (2, 3) = -sin(teta)*cos(phi), (3, 1) = -cos(teta)*sin(phi)*cos(si)+sin(teta)*sin(si), (3, 2) = cos(teta)*sin(phi)*sin(si)+sin(teta)*cos(si), (3, 3) = cos(teta)*cos(phi)})

(1)

NULL

RT := simplify(1/R)

RT := Matrix(3, 3, {(1, 1) = cos(phi)*cos(si), (1, 2) = sin(teta)*sin(phi)*cos(si)+cos(teta)*sin(si), (1, 3) = -cos(teta)*sin(phi)*cos(si)+sin(teta)*sin(si), (2, 1) = -cos(phi)*sin(si), (2, 2) = -sin(teta)*sin(phi)*sin(si)+cos(teta)*cos(si), (2, 3) = cos(teta)*sin(phi)*sin(si)+sin(teta)*cos(si), (3, 1) = sin(phi), (3, 2) = -sin(teta)*cos(phi), (3, 3) = cos(teta)*cos(phi)})

(2)

R_I_F2 := Matrix(3, 3, {(1, 1) = sin(phi)^2.(1-cos(si))+cos(si), (1, 2) = -(sin(phi).cos(phi).sin(teta))*(1-cos(si))-cos(phi).cos(teta).sin(si), (1, 3) = (sin(phi).cos(phi).cos(teta))*(1-cos(si))-sin(teta)*cos(phi).sin(si), (2, 1) = -(2*sin(phi).cos(phi).sin(teta).cos(teta))*(1-cos(si))+(cos(phi).sin(si))*(cos(teta)^2-sin(teta)^2), (2, 2) = (2*cos(phi)^2.(sin(teta)^2).cos(teta))*(1-cos(si))+cos(teta).cos(si)-sin(teta).sin(phi).sin(si), (2, 3) = -(2*cos(phi)^2.sin(teta))*cos(teta)^2*(1-cos(si))-sin(phi).cos(teta).sin(si)-sin(teta).cos(si), (3, 1) = (sin(phi).cos(phi))*(1-cos(si))*(cos(teta)^2-sin(teta)^2)+2*cos(phi).cos(teta).sin(teta).sin(si), (3, 2) = (cos(phi)^2.sin(teta))*(sin(teta)^2-cos(teta)^2)*(1-cos(si))+cos(si).sin(teta)+sin(phi).cos(teta).sin(si), (3, 3) = (cos(phi)^2.cos(teta))*(cos(teta)^2-sin(teta)^2)*(1-cos(si))-sin(phi).sin(teta).sin(si)+cos(teta).cos(si)})

R_I_F2 := Matrix(3, 3, {(1, 1) = sin(phi)^2.(1-cos(si))+cos(si), (1, 2) = -(`.`(sin(phi), cos(phi), sin(teta)))*(1-cos(si))-`.`(cos(phi), cos(teta), sin(si)), (1, 3) = (`.`(sin(phi), cos(phi), cos(teta)))*(1-cos(si))-sin(teta)*cos(phi).sin(si), (2, 1) = -2*(sin(phi).cos(phi).sin(teta).cos(teta))*(1-cos(si))+(cos(phi).sin(si))*(cos(teta)^2-sin(teta)^2), (2, 2) = 2*(cos(phi)^2.(sin(teta)^2).cos(teta))*(1-cos(si))+cos(teta).cos(si)-`.`(sin(teta), sin(phi), sin(si)), (2, 3) = -2*(cos(phi)^2.sin(teta))*cos(teta)^2*(1-cos(si))-`.`(sin(phi), cos(teta), sin(si))-sin(teta).cos(si), (3, 1) = (sin(phi).cos(phi))*(1-cos(si))*(cos(teta)^2-sin(teta)^2)+2*(cos(phi).cos(teta).sin(teta).sin(si)), (3, 2) = (cos(phi)^2.sin(teta))*(sin(teta)^2-cos(teta)^2)*(1-cos(si))+cos(si).sin(teta)+`.`(sin(phi), cos(teta), sin(si)), (3, 3) = (cos(phi)^2.cos(teta))*(cos(teta)^2-sin(teta)^2)*(1-cos(si))-`.`(sin(phi), sin(teta), sin(si))+cos(teta).cos(si)})

(3)

NULL

R_arm_F2 := RT.R_I_F2

R_arm_F2 := Matrix(3, 3, {(1, 1) = cos(phi)*cos(si)*(sin(phi)^2.(1-cos(si))+cos(si))+(sin(teta)*sin(phi)*cos(si)+cos(teta)*sin(si))*(-2*(`.`(sin(phi), cos(phi), sin(teta), cos(teta)))*(1-cos(si))+(cos(phi).sin(si))*(cos(teta)^2-sin(teta)^2))+(-cos(teta)*sin(phi)*cos(si)+sin(teta)*sin(si))*((sin(phi).cos(phi))*(1-cos(si))*(cos(teta)^2-sin(teta)^2)+2*(`.`(cos(phi), cos(teta), sin(teta), sin(si)))), (1, 2) = cos(phi)*cos(si)*(-(`.`(sin(phi), cos(phi), sin(teta)))*(1-cos(si))-`.`(cos(phi), cos(teta), sin(si)))+(sin(teta)*sin(phi)*cos(si)+cos(teta)*sin(si))*(2*(`.`(cos(phi)^2, sin(teta)^2, cos(teta)))*(1-cos(si))+cos(teta).cos(si)-`.`(sin(teta), sin(phi), sin(si)))+(-cos(teta)*sin(phi)*cos(si)+sin(teta)*sin(si))*((cos(phi)^2.sin(teta))*(sin(teta)^2-cos(teta)^2)*(1-cos(si))+cos(si).sin(teta)+`.`(sin(phi), cos(teta), sin(si))), (1, 3) = cos(phi)*cos(si)*((`.`(sin(phi), cos(phi), cos(teta)))*(1-cos(si))-sin(teta)*cos(phi).sin(si))+(sin(teta)*sin(phi)*cos(si)+cos(teta)*sin(si))*(-2*(cos(phi)^2.sin(teta))*cos(teta)^2*(1-cos(si))-`.`(sin(phi), cos(teta), sin(si))-sin(teta).cos(si))+(-cos(teta)*sin(phi)*cos(si)+sin(teta)*sin(si))*((cos(phi)^2.cos(teta))*(cos(teta)^2-sin(teta)^2)*(1-cos(si))-`.`(sin(phi), sin(teta), sin(si))+cos(teta).cos(si)), (2, 1) = -cos(phi)*sin(si)*(sin(phi)^2.(1-cos(si))+cos(si))+(-sin(teta)*sin(phi)*sin(si)+cos(teta)*cos(si))*(-2*(`.`(sin(phi), cos(phi), sin(teta), cos(teta)))*(1-cos(si))+(cos(phi).sin(si))*(cos(teta)^2-sin(teta)^2))+(cos(teta)*sin(phi)*sin(si)+sin(teta)*cos(si))*((sin(phi).cos(phi))*(1-cos(si))*(cos(teta)^2-sin(teta)^2)+2*(`.`(cos(phi), cos(teta), sin(teta), sin(si)))), (2, 2) = -cos(phi)*sin(si)*(-(`.`(sin(phi), cos(phi), sin(teta)))*(1-cos(si))-`.`(cos(phi), cos(teta), sin(si)))+(-sin(teta)*sin(phi)*sin(si)+cos(teta)*cos(si))*(2*(`.`(cos(phi)^2, sin(teta)^2, cos(teta)))*(1-cos(si))+cos(teta).cos(si)-`.`(sin(teta), sin(phi), sin(si)))+(cos(teta)*sin(phi)*sin(si)+sin(teta)*cos(si))*((cos(phi)^2.sin(teta))*(sin(teta)^2-cos(teta)^2)*(1-cos(si))+cos(si).sin(teta)+`.`(sin(phi), cos(teta), sin(si))), (2, 3) = -cos(phi)*sin(si)*((`.`(sin(phi), cos(phi), cos(teta)))*(1-cos(si))-sin(teta)*cos(phi).sin(si))+(-sin(teta)*sin(phi)*sin(si)+cos(teta)*cos(si))*(-2*(cos(phi)^2.sin(teta))*cos(teta)^2*(1-cos(si))-`.`(sin(phi), cos(teta), sin(si))-sin(teta).cos(si))+(cos(teta)*sin(phi)*sin(si)+sin(teta)*cos(si))*((cos(phi)^2.cos(teta))*(cos(teta)^2-sin(teta)^2)*(1-cos(si))-`.`(sin(phi), sin(teta), sin(si))+cos(teta).cos(si)), (3, 1) = sin(phi)*(sin(phi)^2.(1-cos(si))+cos(si))-sin(teta)*cos(phi)*(-2*(`.`(sin(phi), cos(phi), sin(teta), cos(teta)))*(1-cos(si))+(cos(phi).sin(si))*(cos(teta)^2-sin(teta)^2))+cos(teta)*cos(phi)*((sin(phi).cos(phi))*(1-cos(si))*(cos(teta)^2-sin(teta)^2)+2*(`.`(cos(phi), cos(teta), sin(teta), sin(si)))), (3, 2) = sin(phi)*(-(`.`(sin(phi), cos(phi), sin(teta)))*(1-cos(si))-`.`(cos(phi), cos(teta), sin(si)))-sin(teta)*cos(phi)*(2*(`.`(cos(phi)^2, sin(teta)^2, cos(teta)))*(1-cos(si))+cos(teta).cos(si)-`.`(sin(teta), sin(phi), sin(si)))+cos(teta)*cos(phi)*((cos(phi)^2.sin(teta))*(sin(teta)^2-cos(teta)^2)*(1-cos(si))+cos(si).sin(teta)+`.`(sin(phi), cos(teta), sin(si))), (3, 3) = sin(phi)*((`.`(sin(phi), cos(phi), cos(teta)))*(1-cos(si))-sin(teta)*cos(phi).sin(si))-sin(teta)*cos(phi)*(-2*(cos(phi)^2.sin(teta))*cos(teta)^2*(1-cos(si))-`.`(sin(phi), cos(teta), sin(si))-sin(teta).cos(si))+cos(teta)*cos(phi)*((cos(phi)^2.cos(teta))*(cos(teta)^2-sin(teta)^2)*(1-cos(si))-`.`(sin(phi), sin(teta), sin(si))+cos(teta).cos(si))})

(4)

Twflex := Typesetting:-delayDotProduct(Ixflex, (Typesetting:-delayDotProduct(tetadot, Typesetting:-delayDotProduct(sin(phi)^2, 1-cos(si))+cos(si))+Typesetting:-delayDotProduct(sidot, sin(phi)^3+Typesetting:-delayDotProduct(cos(phi)^2, Typesetting:-delayDotProduct(sin(phi), cos(si)+Typesetting:-delayDotProduct(cos(teta), 1-cos(si)))+Typesetting:-delayDotProduct(sin(teta), sin(si)))))^2)

Ixflex.((tetadot.(sin(phi)^2.(1-cos(si))+cos(si))+sidot.(sin(phi)^3+cos(phi)^2.(sin(phi).(cos(si)+cos(teta).(1-cos(si)))+sin(teta).sin(si))))^2)

(5)

simplify(Twflex)

Ixflex.((tetadot.(sin(phi)^2.(1-cos(si))+cos(si))+sidot.(-sin(phi)*cos(phi)^2+sin(phi)+cos(phi)^2.(sin(phi).(cos(si)+cos(teta).(1-cos(si)))+sin(teta).sin(si))))^2)

(6)

expand(Twflex)

Ixflex.((tetadot.(sin(phi)^2.(1-cos(si))+cos(si))+sidot.(sin(phi)^3+cos(phi)^2.(sin(phi).(cos(si)+cos(teta).(1-cos(si)))+sin(teta).sin(si))))^2)

(7)

``

NULL


Download matrix_f.mw

Hello people in Mapleprimes,

 

I have an expression which I want to modify with another equation.

They are simple, and looks easy to simplify.

nb:=(k-sigma+1)*lambda*L*(gamma*upsilon-delta__1122^k*tau)*upsilon*tau*v/(f__F*sigma*(-tau^2+upsilon^2)*k);

hh := (L*lambda*(k-sigma+1)*upsilon*tau*v)/(f__F*sigma*(-tau^2+upsilon^2)*k)=rho;

 

I want to express nb with hh as

(gamma*upsilon-delta__1122^k*tau)*rho;

With the next code, that modification can be done.

isolate(hh,f__F);subs(%,nb);simplify(%);

But, this isolates hh for f__F, which does not look intuitive.

On the other hand, the outcome of the substitution looks so simple, which you find with executing  the codes of

nb, and hh.

But, algsubs, and subs, and simplify/siderel won't work properly.

 

What I want to ask is this. Isn't there any nice way to substitute hh into nb other than isolating f__F, so that the result is expressed with rho?

 

I will be very glad if you will give me answers.

 

Best wishes.

taro

 

 

 

 

I am trying to solve an equation using surd and I get a strange result.

solve(surd(x^4,8)=-2)
    4, -4, 4 I, -4 I

These solutions are clearly wrong.

The equation (x^4)^(1/8) = -2 has no solution.

This problem is equivalent to asking the computer to solve sqrt(x) = -2

which has no solution in R or C.

 

However if I type

solve((x^4)^(1/8) = -2) , then I get no answer, which is what I expected.

Why does surd behave in this unexpected way.

 

Also another thing I am wondering, why doesn't Maple simplify (x^4)^(1/8) to x^(1/2).

I tried the simplify command it didn't work.

 

What is the Maple command to simplify  -x^(a)+x^n  to zero under the assumption that a=n?

I have attempted the following command

simplify(-x^(a)+x^n) assuming a=n;

However, it did not produce zero. The following command however produces zero

subs(a=n,-x^(a)+x^n);

 How to do this operation using assumptions. How to inform Maple to assume that a=n.

 

Hi,

Here is my question.


restart

convert(diff(lambda(t-t1), t), diff)

eval(diff(lambda(t2), t2), {t2 = t-t1})

(1)

subs(lamda(t-t1) = sin(t-t1), %)

eval(diff(lambda(t2), t2), {t2 = t-t1})

(2)

``

I am trying to substitute value of lambda(t-t1) further but it is not taking the value.

Thanks in advance.

Regards

Sunit

Download question2.mw

Hello people in the mapleprimes,

I have a question, so I hope someone give me answers to it.

I calculated for the solution of the follwing differential equation.

restart
b:=diff(y(x),x)+a*y(x)=f(x);#where a and f(x) is not specified.
dsolve(b,y(x));

subs({f(x)=exp(x),a=2},%);where f(x) and a are specified.

c:=value(%);

The solution of the above was

y(x) = (1/3)*exp(x)+_C1/(exp(x))^2,  (A)

where please note that the second term takes

the form of fraction _C/(exp(x))^2.

 

On the other hand, next I calculated the following differential equation where f(x) and a are specified from the start.

restart
d:=diff(y(x),x)+2*y(x)=exp(x);

dsolve(b,y(x));

Then,

y(x) = (1/3)*exp(x)+exp(-2*x)*_C1  (B)

was the obtained solution.

 

Each (A) and (B) are the same substantially mathematically. But, for Maple, the variable powered to minus brabra

is not the same as one over variable powered to brabra, so that (A) and (B) takes different forms, and maple will see them 

different with each other.

 

  Surely, with algsubs, algsubs(_C1/(exp(x))^2=exp(-2*x)*_C1,c) transforms (A) to (B).

But, I want to know whether there are some other ways than that  to modify (A) to (B).

If there are any good ways for it, I will be happy if you teach them to me.

Thanks in advance.

 

taro

How can I simplify $\sqrt{1−r^2\exp(2i\theta)}$ in Maple. I could do it by hand but I need this type of simplification later for far more complicated expressions.  I allready tried to enter this as a complex number using II, but simplify(...,'symbolic') didn't simplify this expression. Any suggestion?

Hi everybody

In the following attached file that is a simple code, 2 problems occur:

1- The values of Lc1 and Lc2 are specified in the third and fourth lines of the code. when I execute Pcl10, Maple does not replace Lc1 with its value that is 0.5*L. This problem does not happen for Tcl10 and Tcl21. Why Maple does not replace Lc1 with its value that is specified at the start of the worksheet?

2- In the last line, when I try to simplify the Tcl10, Maple returns an error, while for example the first element i.e. Tcl20(1,1) can be simplified as: cos(thet1+thet2). What is the source of error?

 

Thanks in advance

P1.mw

I am curious, can simplify/siderels be executed in mod p by some equivalent Maple function call?

I am trying to simplify the square of a parameterized polynomial mod 2. My parameters are intended to be either 0 or 1. How do I accomplish this?

For example:

 

alias(alpha = RootOf(x^4+x+1))

alpha

(1)

z := alpha^3*a[3]+alpha^2*a[2]+alpha*a[1]+a[0]``

a[3]*alpha^3+a[2]*alpha^2+a[1]*alpha+a[0]

(2)

z2 := collect(`mod`(Expand(z^2), 2), alpha)

a[3]^2*alpha^3+(a[1]^2+a[3]^2)*alpha^2+a[2]^2*alpha+a[0]^2+a[2]^2

(3)

``

``

 

Download Polynomial_Mod_2.mw

 

I would like to simplify the squared parameters modulo 2. a[3]^2=a[3], etc.

Any help would be appreciated. Elegant methods even more so!

Regards.

 

 

 

 

i use the pdsolve to find the solutions of a system of partial differential equations,

but the result contains some indefinite integrals, how to simplify it further?

thank you

code:

eq1 := {6*(diff(_xi[t](x, t, u), u))-3*(diff(_xi[x](x, t, u), u)), 12*(diff(_xi[t](x, t, u), u, u))-6*(diff(_xi[x](x, t, u), u, u)), 2*(diff(_xi[t](x, t, u), u, u, u))-(diff(_xi[x](x, t, u), u, u, u)), diff(_eta[u](x, t, u), t)+diff(_eta[u](x, t, u), x, x, x)+(diff(_eta[u](x, t, u), x))*u, 18*(diff(_xi[t](x, t, u), x, u))+3*(diff(_eta[u](x, t, u), u, u))-9*(diff(_xi[x](x, t, u), x, u)), 6*(diff(_xi[t](x, t, u), x, x))+3*(diff(_eta[u](x, t, u), x, u))-3*(diff(_xi[x](x, t, u), x, x)), 6*(diff(_xi[t](x, t, u), x, u, u))+diff(_eta[u](x, t, u), u, u, u)-3*(diff(_xi[x](x, t, u), x, u, u)), 12*(diff(_xi[t](x, t, u), u))-6*(diff(_xi[x](x, t, u), u))+6*(diff(_xi[t](x, t, u), x, x, u))-6*(diff(_xi[t](x, t, u), u))*u+3*u*(diff(_xi[x](x, t, u), u))-3*(diff(_xi[x](x, t, u), x, x, u))+3*(diff(_eta[u](x, t, u), x, u, u)), 12*(diff(_xi[t](x, t, u), x))-6*(diff(_xi[x](x, t, u), x))+2*(diff(_xi[t](x, t, u), t))+2*(diff(_xi[t](x, t, u), x, x, x))-4*(diff(_xi[t](x, t, u), x))*u+2*(diff(_xi[x](x, t, u), x))*u+_eta[u](x, t, u)-(diff(_xi[x](x, t, u), t))+3*(diff(_eta[u](x, t, u), x, x, u))-(diff(_xi[x](x, t, u), x, x, x))};

simplify(pdsolve(eq1))

 

Dear all

I have such an expression in the file (test.mw). Obviously it is not a simple form. 10should be cancelled both in denominator and nominator. I have applied the function simplify(). However, it doesn't work.  I hope someone can do me a favor. That will help me a lot. Thanks

I know that the following expression (a:=6*s*sqrt(9*s^2+32)+18*s^2+32)

can be rewritten as

However, none of the following maple functions is abble to give the factored result:


factor(a)

simplify(a)

combine(a)

Someone could help me to understand what is going on, please?

I was trying to make a function (or procedure) that uses the simplify command and outputed all the different types of simplify that are in the right click menu.  I never know which one to chose so until I get the hang of what they are, I wanted to see all of them at once.  Can someone set me off on the right path?

Hello,

I would like to simplify a trigonometric equation that I obtain with a vectorial closure (in mechanics)

Here the equation that I would like to simplify 

eq_liaison := (-sin(p(t)+g(t))*cos(a(t))-sin(b(t))*sin(a(t))*cos(p(t)+g(t)))*l2[1]+((-sin(p(t)+g(t))*cos(a(t))-sin(b(t))*sin(a(t))*cos(p(t)+g(t)))*cos(th(t))+(-cos(p(t)+g(t))*cos(a(t))+sin(a(t))*sin(b(t))*sin(p(t)+g(t)))*sin(th(t)))*l3[1]+(-sin(a(t))*sin(g(t))*sin(b(t))+cos(a(t))*cos(g(t)))*xb[1]+sin(a(t))*cos(b(t))*yb[1]+(sin(a(t))*sin(b(t))*cos(g(t))+cos(a(t))*sin(g(t)))*zb[1]+x(t)-xp(t) = 0

Do you have ideas so as to simplify again this expression ?

This expression can still be simplified. You can find here the result expected :

 

I find surprising that I have so many difficulties to make trigonometric simplications with the trigonometric functions.

I attached the code 

Download TrigoTransformVectorialEquations.mwTrigoTransformVectorialEquations.mw

Thank you for your help

1 2 3 4 5 6 7 Last Page 1 of 16