Added the enforcement of the algebraic constraints

1 job for master
Status Job ID Name Coverage
  External
failed master