Sponsored links: Algebra eBooks
 

Help Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

The Maxima on-line user's manual

Algebra Calculator

Search:

Assume Calculator

Assume

Function: assume (<pred_1>, ..., <pred_n>) Adds predicates <pred_1>, ..., <pred_n> to the current context. If a predicate is inconsistent or redundant with the predicates in the current context, it is not added to the context. The context accumulates predicates from each call to assume.

/*Aproximación de 3 orden*//* Función de prueba y derivadas*/y3(x):=(A3*x^3)+(B3*x^2)-(3*A3*L^2+2*B3*L)*x;
dy3(x):=diff(y3(x),x);
ddy3(x):=diff(dy3(x),x);
dy3(x);
ddy3(x);
assume(L>0);
/* Integrando formulación variacional*/Vr3(x):=E*I/2*(dy3(x))^2+c*x*y3(x);
PI(var):=integrate(Vr3(x),x,0,L);
PI(var);
/* Minimización respecto a el coeficiente*/dVar3(A3):=diff(PI(var),A3);
deVar3(B3):=diff(PI(var),B3);
dVar3(A3);
deVar3(B3);
/*Resolver A2*/Avar3:solve(dVar3(A3)=0,A3);
Bvar3:solve(deVar3(B3)=0,B3);
Avar3:ev(A3,Avar3[1]);
Bvar3:ev(B3,Bvar3[1]);
Avar3;
Bvar3;
/*solucion variacional*/yvar3(x):=(Avar3*x^3)+(Bvar3*x^2)-(3*Avar3*L^2+2*Bvar3*L)*x;
/*evaluar funciones*/ E:2e6;
c:100;
I:5e-6;
L:2;
plot2d ([yexa(x),yvar3(x)], [x, 0, L],[legend,"exacta","variacional 3 orden"],[style,lines]);

assume returns a list whose elements are the predicates added to the context or the atoms redundant or inconsistent where applicable.

The predicates <pred_1>, ..., <pred_n> can only be expressions with the relational operators < <= equal notequal >= and >. Predicates cannot be literal equality = or literal inequality # expressions, nor can they be predicate functions such as integerp.

Compound predicates of the form <pred_1> and ... and <pred_n> are recognized, but not <pred_1> or ... or <pred_n>. not <pred_k> is recognized if <pred_k> is a relational predicate. Expressions of the form not (<pred_1> and <pred_2>) and not (<pred_1> or <pred_2>) are not recognized.

Maximas deduction mechanism is not very strong; there are many obvious consequences which cannot be determined by is. This is a known weakness.

assume does not handle predicates with complex numbers. If a predicate contains a complex number assume returns inconsistent or redunant.

assume evaluates its arguments.

See also is, facts, forget, context, and declare.

Examples:

          (%i1) assume (xx > 0, yy < -1, zz >= 0);
          (%o1)              [xx > 0, yy < - 1, zz >= 0]
          (%i2) assume (aa < bb and bb < cc);
          (%o2)                  [bb > aa, cc > bb]
          (%i3) facts ();
          (%o3)     [xx > 0, - 1 > yy, zz >= 0, bb > aa, cc > bb]
          (%i4) is (xx > yy);
          (%o4)                         true
          (%i5) is (yy < -yy);
          (%o5)                         true
          (%i6) is (sinh (bb - aa) > 0);
          (%o6)                         true
          (%i7) forget (bb > aa);
          (%o7)                       [bb > aa]
          (%i8) prederror : false;
          (%o8)                         false
          (%i9) is (sinh (bb - aa) > 0);
          (%o9)                        unknown
          (%i10) is (bb^2 < cc^2);
          (%o10)                       unknown

There are also some inexact matches for assume. Try ?? assume to see them.

(%o1)                                true
(%i2) 

Assume Example

Related Examples

assume-defint-diff

assume (x*y>0);

f(x,y):=defint(%e^(-t...

p(x,y):=(x/y)*diff(di...

Calculate

assume

assume(a<1);

sum(a^n,n,1,N);

Calculate

assume-diff-exp-integrate-pade-taylor

assume(a>1);

assume(T>0);

assume(b<0);

Calculate

assume-inf-simpsum

assume(x > 0,x<...

sum (n*0.5^n, n, 0, i...

Calculate

assume-diff-ev-ic1-ic2-ode2-plot2d
plot2d(fu1,[t,0,1]);

assume(m>0,k>0,...

eq1:ode2(m*'diff(z,t,...

eq2:ode2(m*'diff(v,t)...

Calculate

assume-coeff-denom-expand-solve-sqrt

jedn:[c1*s*u1-c1*u0+u...

prom:[u1,u2];

odziv: solve(jedn,prom);

Calculate

assume-declare-stirling2

combn(n,k):= n!/(k!*(...

declare(n, integer);

assume(n >=0);

Calculate

assume-equal-is-radcan

assume(equal(a,b));

is(equal(a,b));

radcan(a-b);

Calculate

assume-diff-facts-forget-ode2-trigexpand

eq: diff(r(t),t,2)-C*...

eq2:diff(r(t), t, 2)=0;

assume(C<0);

Calculate

assume-diff-ev-integrate-sin

/* [wxMaxima: title ...

/* Función de prueba ...

dy(x):=diff(y(x),x);

Calculate