%% 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);