Taylor Model

In CORA, Taylor models are instantiated by

% tay = taylm(I,max_order,name);

where I is the interval domain, max_order is the maximum polynomial order and name is the name of the variable.

Example:

% initialize Taylor model

tx = taylm(interval(-2,2),4,'x');

tay = [tx; sin(tx)];

% plot Taylor model

plot(tay);