Résolution stellaire en OCaml
 
 
 

3 lines
82 B

{ [+7(l.X), +7(r.X)] + [3(X), +8(l.X)] + [-7(X), -8(X)] }
|-
{ [+8(r.X), 6(X)] }