Home Online Manual
Top
Back: interval_lib
Forward: bounds2
FastBack:
FastForward:
Up: interval_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.2.1 length2

Procedure from library interval.lib (see interval_lib).

Usage:
length2(I), I interval

Return:
length/size in measure sense

Example:
 
LIB "interval.lib";
ring R = 0,x,lp;
interval I = bounds2(0, 1);    I;
==> [0, 1]
==> 
length2(I);
==> 1
I = bounds2(-1/2, 3/7);        I;
==> [-1/2, 3/7]
==> 
length2(I);
==> 13/14