|  |  D.15.30.2 length Procedure from libraryrootisolation.lib(see  rootisolation_lib).
 
Example:Usage:
length(I);I interval
Return:
number, the Euclidean length of the interval
 |  | LIB "rootisolation.lib";
ring R = 0,x,dp;
interval I = -1,3;
length(I);
==> 4
I = 1/5,1/3;
length(I);
==> 2/15
 | 
 
 |