Le rotationnel : curl

### 6.61.5 Le rotationnel : curl

curl a deux paramètres : une expression F dependant de 3 variables rèelles et un vecteur de dimension 3 indiquant le nom de ces variables.
curl désigne le rotationnel de F.
Attention, ici n=3.
On a :
curl([A,B,C],[x,y,z])= [∂ C/∂ y−∂ B/∂ z, ∂ A/∂ z−∂ C/∂ x, ∂ B/∂ x−∂ A/∂ y].
On tape :

curl([x*z,-y`^`2,2*x`^`y],[x,y,z])

On obtient :

[2*x`^`y*log(x),x-2*y*x`^`(y-1),0]