This has now been corrected.
pow_p(x,3) <= 18
or
pow_pos(x,3) <= 18
Did the error message not give you enough of a clue to get you to look up those functions?
This has now been corrected.
pow_p(x,3) <= 18
or
pow_pos(x,3) <= 18
Did the error message not give you enough of a clue to get you to look up those functions?