NEWS
changeset 31812 73dc3a98669c
parent 31810 a6b800855cdd
child 31814 7c122634da81
equal deleted inserted replaced
31811:64dea9a15031 31812:73dc3a98669c
    65 * Abbreviation "arbitrary" of "undefined" has disappeared; use "undefined" directly.
    65 * Abbreviation "arbitrary" of "undefined" has disappeared; use "undefined" directly.
    66 INCOMPATIBILITY.
    66 INCOMPATIBILITY.
    67 
    67 
    68 * New evaluator "approximate" approximates an real valued term using the same method as the
    68 * New evaluator "approximate" approximates an real valued term using the same method as the
    69 approximation method. 
    69 approximation method. 
       
    70 
       
    71 * "approximate" supports now arithmetic expressions as boundaries of intervals and implements
       
    72 interval splitting.
       
    73 
    70 
    74 
    71 *** ML ***
    75 *** ML ***
    72 
    76 
    73 * Eliminated old Attrib.add_attributes, Method.add_methods and related
    77 * Eliminated old Attrib.add_attributes, Method.add_methods and related
    74 cominators for "args".  INCOMPATIBILITY, need to use simplified
    78 cominators for "args".  INCOMPATIBILITY, need to use simplified