Positivity Criterion for Algebraic Noncommutative Laws