     L'Hopitals rule (قاعدة لوبيتال): Preamble (مقدمة) (لانهاية)

van=facebook.com/LearningCalculus$

kill(all)$
isLimitMinf(L) := is(equal(L,minf))$ isLimitMinf(minf)$isLimitMinf(0)$isLimitMinf(inf)$
isLimitSifr(L) := is(equal(L,0))$ isLimitSifr(minf)$isLimitSifr(0)$isLimitSifr(inf)$
isLimitInf(L) := is(equal(L,inf))$ isLimitInf(minf)$isLimitInf(0)$isLimitInf(inf)$

isLHopitalApplicable(L):= is(isLimitMinf(L) or isLimitSifr(L) or isLimitInf(L))$

f(x):= %e^x -1;

g(x):= x$

     L'Hopitals rule may be only used if BOTH conditions are true:

A:isLHopitalApplicable(limit(f(x),x,0))$
B:isLHopitalApplicable(limit(g(x),x,0))$
is(A) and is(B);

v(x):=''(diff(f(x),x))/''(diff(g(x),x));

limit(v(x),x,0);