next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NumericalCertification :: IntervalOptionList

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 :

Methods that use an object of class IntervalOptionList :

For the programmer

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