if get('cartan,'version)=false then load(cartan)$

init_cartan([x1,x2,x3]);

1-Form ω

ω:4*x1*x2*dx1+4*(x2^2)*dx2;

Äußere Ableitung dω

dω:ext_diff(ω);

Test auf Integrierbarkeit (Frobenius)

dω~ω;