Home Online Manual
Top
Back: bounds
Forward: boxSet
FastBack:
FastForward:
Up: rootisolation_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.8.2 length

Procedure from library rootisolation.lib (see rootisolation_lib).

Usage:
length(I); I interval

Return:
number, the Euclidean length of the interval

Example:
 
LIB "rootisolation.lib";
ring R = 0,x,dp;
interval I = -1,3;
length(I);
==> 4
I = 1/5,1/3;
length(I);
==> 2/15