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

init_cartan([x1,x2,x3]);

1-Formen ω, η, σ

ω:ω1*dx1+ω2*dx2+ω3*dx3;
η:η1*dx1+η2*dx2+η3*dx3;
σ:σ1*dx1+σ2*dx2+σ3*dx3;

Äußeres Produkt von ω und η

facsum(ω ~ η,dx1,dx2,dx3);

Äußeres Produkt von ω, η, σ

factor(ω ~ η ~ σ);