IntervalOptionList -- a class of lists for options related to intervals

Description

This type is a new type of List, and it works when krawczykOper and krawczykMethod assign intervals to variables in the system.

krawczykOper substitute given intervals into variables in the system as the way IntervalOptionList suggests.

krawczykOper and krawczykMethod doesn't work with List type input. Thus, users should change the list of options into IntervalOptionList.

The function intervalOptionList can be used to convert a List type object into IntervalOptionList.

i1 : R = QQ[x1,x2,y1,y2];

i2 : f = polySystem {3*y1 + 2*y2 -1, 3*x1 + 2*x2 -7/2, x1^2 + y1^2 -1, x2^2 + y2^2 -1};

i3 : (I1, I2, I3, I4) = (interval(.94,.96), interval(.31,.33), interval(-.31,-.29), interval(.94,.96));

i4 : intervalOptionList {("x1" => "I1"), ("x2" => "I2"), ("y1" => "I3"), ("y2" => "I4")}

o4 = {x1 => I1, x2 => I2, y1 => I3, y2 => I4}

o4 : IntervalOptionList

Functions and methods returning an object of class IntervalOptionList :

intervalOptionList -- convert a list type object to list of options for intervals

Methods that use an object of class IntervalOptionList :

"krawczykMethod(PolySystem,IntervalOptionList)" -- see krawczykMethod -- certify the interval box for square polynomial system
"krawczykOper(PolySystem,IntervalOptionList)" -- see krawczykOper -- compute the Krawczyk operator

For the programmer

The object IntervalOptionList is a type, with ancestor classes List < VisibleList < BasicList < Thing.