Name:

infnorm computes an interval bounding the infinity norm of a function on an interval.

Library names:

sollya_obj_t sollya_lib_infnorm(sollya_obj_t, sollya_obj_t, ...) sollya_obj_t sollya_lib_v_infnorm(sollya_obj_t, sollya_obj_t, va_list)

Usage:

infnorm(f,I,filename,Ilist) : (function, range, string, list) -> range

Parameters:

Description:

Example 1:

   > infnorm(exp(x),[-2;3]);
   [20.085536923187667740928529654581717896987907838554;20.0855369231876677409285296545817178969879078385544]

Example 2:

   > infnorm(exp(x),[-2;3],"proof.txt");
   [20.085536923187667740928529654581717896987907838554;20.0855369231876677409285296545817178969879078385544]

Example 3:

   > infnorm(exp(x),[-2;3],[| [0;1], [2;2.5] |]);
   [20.085536923187667740928529654581717896987907838554;20.0855369231876677409285296545817178969879078385544]

Example 4:

   > infnorm(exp(x),[-2;3],"proof.txt", [| [0;1], [2;2.5] |]);
   [20.085536923187667740928529654581717896987907838554;20.0855369231876677409285296545817178969879078385544]

Example 5:

   > infnorm(exp(x),[1;1]);
   [2.7182818284590452353602874713526624977572470936999;2.7182818284590452353602874713526624977572470937]

Example 6:

   > infnorm(exp(x), [log(0);log(1)]);
   [0;infty]
See also: prec, diam, hopitalrecursions, taylorrecursions, dirtyinfnorm, checkinfnorm, supnorm, findzeros, diff, taylorrecursions, autodiff, numberroots, taylorform
Go back to the list of commands