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

x:[x1,x2,x3];
dx:init_cartan(x);

1-Form ω

ω:[ω1,ω2,ω3];
depends(ω,x);
ω:ω . dx;

Äußere Ableitung dω

dω:ext_diff(ω)$
facsum(%,dx1,dx2,dx3);

2-Form η

depends([η12,η13,η23],x);
η:η12*dx1~dx2+η13*dx1~dx3+η23*dx2~dx3;

Äußere Ableitung dη

dη:ext_diff(η)$
factor(%);