validate
validate copied to clipboard
use `<=` in stead of `<` when accounting for machine rounding
To be more consistent with deductive
, rspa
, and also <validator>$linear_coefficients
To be more consistent with deductive
, rspa
, and also <validator>$linear_coefficients