Sponsored links: Algebra eBooks
 

Related

true

f: not b and not c an...

f,a=false, b=false, c...

f,a=false, b=false, c...

Calculate

true

%enumer:true;

ln(2),numer;

Calculate

true

d^4/(8*(k-1)^2* k^2)-...

d^4/((k-1)^2* k^2)-d^...

Calculate

true

f,a=false,b=false,c=f...

f,h=false,c=false,p=f...

Calculate

true

x: (not a0) or b1;

m: a0 and b1;

n: (not a1) and b0;

Calculate

true

A:matrix[[-3,1,0],[2,...

B:matrix[[2,-1,3],[1,...

C:matrix[[-1,2,1],[1,...

Calculate

true

f: not c and ( not b ...

f,a=false, b=false, c...

f,a=false, b=false, c...

Calculate

true

y:(not a and b and no...

y,a=false,b=false,c=f...

y,a=false,b=false,c=f...

Calculate

true

t1:a1 and a2;

t2: a2 and a3 and (no...

solstice:t1 or t2;

Calculate

true

j:((not A and not C) ...

j, A=false, B=false, ...

j, A=false, B=false, ...

Calculate

true

Run Example
(%i1)derivabbrev:true ;
(%o1)                                true
(%i2) mainvar: t;
(%o2)                                  t
(%i3) x(t):= r(t)*sin(theta(t));
(%o3)                     x(t) := r(t) sin(theta(t))
(%i4) y(t):=r(t)*cos(theta(t));
(%o4)                     y(t) := r(t) cos(theta(t))
(%i5) xdot(t):= diff(x(t), t, 1);
(%o5)                     xdot(t) := diff(x(t), t, 1)
(%i6) ydot(t):= diff(y(t), t, 1);
(%o6)                     ydot(t) := diff(y(t), t, 1)
(%i7) xdotdot(t):= diff(xdot(t), t, 1);
(%o7)                  xdotdot(t) := diff(xdot(t), t, 1)
(%i8) ydotdot(t):= diff(ydot(t), t, 1);
(%o8)                  ydotdot(t) := diff(ydot(t), t, 1)
(%i9) thetadot(t):= diff(theta(t), t, 1);
(%o9)                 thetadot(t) := diff(theta(t), t, 1)
(%i10) thetadotdot(t) := diff(thetadot(t), t, 1);
(%o10)             thetadotdot(t) := diff(thetadot(t), t, 1)
(%i11) Assumption1: xdotdot(t)=0;
                                                                      2
(%o11) r(t) cos(theta(t)) theta(t)    - r(t) sin(theta(t)) (theta(t) )
                                  t t                               t
                  + 2 r(t)  cos(theta(t)) theta(t)  + r(t)    sin(theta(t)) = 0
                          t                       t       t t
(%i12) solve(Assumption1, r(t));
                 sin(theta(t)) r(t)    + 2 cos(theta(t)) theta(t)  r(t)
                                   t t                           t     t
(%o12) [r(t) = - -------------------------------------------------------]
                                                                      2
                 cos(theta(t)) theta(t)    - sin(theta(t)) (theta(t) )
                                       t t                          t
(%i13) Assumption2: ydotdot(t)=0;
                                                                        2
(%o13) - r(t) sin(theta(t)) theta(t)    - r(t) cos(theta(t)) (theta(t) )
                                    t t                               t
                  - 2 r(t)  sin(theta(t)) theta(t)  + r(t)    cos(theta(t)) = 0
                          t                       t       t t
(%i14) E1_1: subst(rdot(t), diff(r(t), t, 1), Assumption1);
                                                                      2
(%o14) r(t) cos(theta(t)) theta(t)    - r(t) sin(theta(t)) (theta(t) )
                                  t t                               t
                + 2 rdot(t) cos(theta(t)) theta(t)  + r(t)    sin(theta(t)) = 0
                                                  t       t t
(%i15) E1_2: subst(rdotdot(t), diff(diff(r(t), t, 1),t,1), E1_1);
                                                                      2
(%o15) r(t) cos(theta(t)) theta(t)    - r(t) sin(theta(t)) (theta(t) )
                                  t t                               t
             + 2 rdot(t) cos(theta(t)) theta(t)  + rdotdot(t) sin(theta(t)) = 0
                                               t
(%i16) E1_3: subst(rr(t), r(t), E1_2);
                                                                        2
(%o16) rr(t) cos(theta(t)) theta(t)    - rr(t) sin(theta(t)) (theta(t) )
                                   t t                                t
             + 2 rdot(t) cos(theta(t)) theta(t)  + rdotdot(t) sin(theta(t)) = 0
                                               t
(%i17) E1_4: solve(E1_3, rr(t));
                  2 rdot(t) cos(theta(t)) theta(t)  + rdotdot(t) sin(theta(t))
                                                  t
(%o17) [rr(t) = - ------------------------------------------------------------]
                                                                          2
                     cos(theta(t)) theta(t)    - sin(theta(t)) (theta(t) )
                                           t t                          t
(%i18) E1_5: subst(r(t), rr(t), E1_4[1]);
                2 rdot(t) cos(theta(t)) theta(t)  + rdotdot(t) sin(theta(t))
                                                t
(%o18) r(t) = - ------------------------------------------------------------
                                                                        2
                   cos(theta(t)) theta(t)    - sin(theta(t)) (theta(t) )
                                         t t                          t
(%i19) 
Run Example
numer:true;
(%o1)                                true
(%i2) sqrt(34);
(%o2)                          5.830951894845301
(%i3) 
Run Example
declare(theta,scalar,phi,scalar);
(%o1)                                done
(%i2) declare(T12, nonscalar ,T14c, nonscalar ,T14e,nonscalar,B,nonscalar,A,nonscalar);
(%o2)                                done
(%i3) dotscrules:true;
(%o3)                                true
(%i4) I(X):=(X^^(-1));
                                         <- 1>
(%o4)                           I(X) := X
(%i5) T(X):=X.I(T12).T14c.I(T14e).T12.I(X).T14e;
(%o5)  T(X) := X . (I(T12) . (T14c . (I(T14e) . (T12 . (I(X) . T14e)))))
(%i6) T(T12+a*A)-T(T12);
                       <- 1>              <- 1>                    <- 1>
(%o6) (T12 + a A) . T12      . T14c . T14e      . T12 . (T12 + a A)      . T14e
                                                                         - T14c
(%i7) 
[algsys,diff,obase,plot2d,realonly,true] [and,or,true] [and,true] [append,ascii,block,concat,copylist,delete,divsum,first,if,make_random_state,next_prime,second,set_random_state,slength,substring,true] [append,ascii,block,concat,delete,divsum,first,if,make_random_state,next_prime,second,set_random_state,slength,substring,true] [append,ascii,block,copylist,delete,divsum,first,if,make_random_state,next_prime,print,sconcat,second,set_random_state,slength,substring,true] [append,block,debugmode,print,return,rhs,true] [backsubst,linsolve_params,linsolvewarn,true] [block,concat,do,kill,makelist,obase,return,stringdisp,true,while] [cos,derivabbrev,diff,lhs,sin,solve,subst,true] [cos,diff,float,globalsolve,integrate,sin,true] [cos,expand,factor,halfangles,integrate,sin,trigexpand,true] [cos,globalsolve,linsolve,plot2d,sin,true] [debugmode,diff,plot2d,true] [debugmode,integrate,true] [debugmode,load,true] [debugmode,matrix,true] [debugmode,plot2d,sin,true] [debugmode,solve,true] [debugmode,true] [define,false,integrate,kill,logabs,ratprint,reset,true] [diff,false,kill,load,logabs,ratprint,reset,true] [diff,globalsolve,kill,linsolve,phi,true] [diff,globalsolve,linsolve,phi,true] [diff,globalsolve,linsolve,true] [diff,globalsolve,true] [einstein,false,invert,kill,load,ratfac,ratriemann,rinvariant,scurvature,sin,true] [ev,horner,keepfloat,true] [exp,float,globalsolve,linsolve,plot2d,true] [exp,numer,plot2d,sqrt,true] [exp,numer,plot2d,true] [expand,powerdisp,true] [globalsolve,linsolve,plot2d,true] [globalsolve,linsolve,true] [globalsolve,true] [horner,keepfloat,true] [hypergeometric,true] [inf,makelist,numer,powerdisp,simpsum,sum,true] [linsolve,numer,true] [linsolve,true] [load,matrix,sin,true] [load,slength,string,true,union] [load,true] [log,matrix,min,numer,plot2d,true] [mod,numer,true] [numer,solve,true] [numer,sqrt,true] [numer,true] [or,true] [simp,true]

Related Help

Help for True