Difference between revisions of "Manuals/calci/MODBY"
Jump to navigation
Jump to search
(Created page with "MODBY") |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | MODBY | + | <div style="font-size:30px">'''MODBY(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>MODBY(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== | ||
| + | # MODBY(90,6) = 0 | ||
| + | #MODBY(1005,8) = 5 | ||
| + | #MODBY(679.54,23) = 12.539999999999964 | ||
| + | #MODBY(6543,-306) = -189 | ||
| + | |||
| + | ==Related Videos== | ||
| + | |||
| + | {{#ev:youtube|io-EZ8VS0MY|280|center|MOD}} | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Manuals/calci/MOD | MOD ]] | ||
| + | *[[Manuals/calci/MODWITH | MODWITH ]] | ||
| + | *[[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 ]] | ||
Latest revision as of 14:16, 15 January 2019
MODBY(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
- MODBY(90,6) = 0
- MODBY(1005,8) = 5
- MODBY(679.54,23) = 12.539999999999964
- MODBY(6543,-306) = -189