721) (View other files uploaded by Doug Meade) The HTML version of this file is shown below. To use the contents of this file in a posting, click here to get the source code
> restart;
> IsDecr := proc( F, a, b )
> local b2, R;
> R:=is( diff(F,x), negative ) assuming x>a, x
> if R=FAIL then
b2 := `if`(b=infinity,a+100,b);
R:=convert( map( is, [seq(eval(F,x=k), k=a..b2)], negative ), `and` );
> end if;
> return R
> end proc:
> f := arctan(x)/(1+x^2);

> debug( IsDecr );

> IsDecr( f, 1, infinity );
--> enter IsDecr, args = `/`(`*`(arctan(x)), `*`(`+`(1, `*`(`^`(x, 2))))), 1, infinity

<-- exit IsDecr (now at top level) = false

> df := simplify( diff( f, x ) );

> solve( df=0, x );

> allvalues( % );

> plot( [f,df], x=0..5 );
> ?Student[Calculus1]
> Student[Calculus1]:-CriticalPoints(f);

> Student[Calculus1]:-CriticalPoints(f, x);

> Student[Calculus1]:-CriticalPoints(f, x=0..1, numeric);

> eval( df, x=0.765378 );

> eval( df, x=0.653271 );

> fsolve( df=0, x=0..10 );

>

This post was generated using the MaplePrimes File Manager
View 178_IsDecr.mw on MapleNet or Download 178_IsDecr.mw
View file details
Copy this code into any posting to insert this file into a posting on MaplePrimes
IMPORTANT INFORMATION
When pasting this code into a post on MaplePrimes, make sure that you choose the Worksheet HTML input format
> debug( IsDecr );

> IsDecr( f, 1, infinity );
--> enter IsDecr, args = `/`(`*`(arctan(x)), `*`(`+`(1, `*`(`^`(x, 2))))), 1, infinity

<-- exit IsDecr (now at top level) = false

> df := simplify( diff( f, x ) );

> solve( df=0, x );

> allvalues( % );

> plot( [f,df], x=0..5 );
> ?Student[Calculus1]
> Student[Calculus1]:-CriticalPoints(f);

> Student[Calculus1]:-CriticalPoints(f, x);

> Student[Calculus1]:-CriticalPoints(f, x=0..1, numeric);

> eval( df, x=0.765378 );

> eval( df, x=0.653271 );

> fsolve( df=0, x=0..10 );

>

This post was generated using the MaplePrimes File Manager
View 178_IsDecr.mw on MapleNet or Download 178_IsDecr.mw
View file details
Copy this code into any posting to share this file with other users
25 min 11 sec ago
25 min 13 sec ago
1 hour 32 min ago
1 hour 44 min ago
2 hours 33 min ago
2 hours 43 min ago
2 hours 58 min ago
3 hours 14 min ago
5 hours 28 min ago
6 hours 36 min ago