Difference between revisions of "Manuals/calci/MODWITH"
Jump to navigation
Jump to search
(Created page with "MODWITH") |
|||
| Line 1: | Line 1: | ||
| − | MODWITH | + | <div style="font-size:30px">'''MODWITH(Dividend,Divider)'''</div><br/> |
| + | *<math>Dividend</math> and <math>Divider</math> are any real number . | ||
| + | |||
| + | ==Description== | ||
| + | *This function returns the remainder after division of a number. | ||
| + | *In <math>MODWITH(Dividend,Divider)</math>,<math>Dividend</math> and <math>Divider</math> are any numerical numbers. | ||
| + | *So Mod function divides one numeric expression by another numeric expression and returns the remainder. | ||
| + | *The result has the same sign as divisor. | ||
| + | |||
| + | ==Examples== | ||
| + | # MODWITH(85,3) = 1 | ||
| + | #MODWITH(543,11) = 4 | ||
| + | #MODWITH(9832,65.4) = 22 | ||
| + | #MODWITH(5643,-65) = -12 | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Manuals/calci/MOD | MOD ]] | ||
| + | *[[Manuals/calci/MODBY | MODBY ]] | ||
| + | *[[Z_API_Functions | List of Main Z Functions]] | ||
| + | *[[ Z3 | Z3 home ]] | ||
| + | |||
| + | ==References== | ||
| + | *[https://www.mathworks.com/help/matlab/ref/mod.html Mod] | ||
| + | *[[Z_API_Functions | List of Main Z Functions]] | ||
| + | *[[ Z3 | Z3 home ]] | ||
Revision as of 13:55, 11 April 2017
MODWITH(Dividend,Divider)
- and are any real number .
and 
are any real number .Description
- This function returns the remainder after division of a number.
- In , and are any numerical numbers.
- So Mod function divides one numeric expression by another numeric expression and returns the remainder.
- The result has the same sign as divisor.
,Examples
- MODWITH(85,3) = 1
- MODWITH(543,11) = 4
- MODWITH(9832,65.4) = 22
- MODWITH(5643,-65) = -12