#(* Beispiel *) restart: with(linalg): v1:=vector([a1,b1,c1]); v2:=vector([a2,b2,c2]); v3:=vector([a3,b3,c3]); vs:=dotprod(v3,crossprod(v1,v2));