$f(x,y)=(x/2^y) mod 16$ a Bivariate function?











up vote
0
down vote

favorite












I have a two-input function on the integers or naturals. Is a bivariate function a function that takes two inputs or is there anything more to it?



For example take the function:



$f(x,y)=(x/2^y) mod 16$



where $f:mathbb{N}tomathbb{N}$ or $mathbb{Z^+}tomathbb{Z^+}$, $x$ and $y in mathbb{N}$ or $mathbb{Z^+}$.



Is $f(x,y)$ called a bivariate function?



Does it have other names or is this the only description for such a function?










share|cite|improve this question






















  • $2$ does not have a multiplicative inverse modulo $16$ so $frac {1}{2}$ doesn't have a meaning.
    – Doug M
    2 days ago

















up vote
0
down vote

favorite












I have a two-input function on the integers or naturals. Is a bivariate function a function that takes two inputs or is there anything more to it?



For example take the function:



$f(x,y)=(x/2^y) mod 16$



where $f:mathbb{N}tomathbb{N}$ or $mathbb{Z^+}tomathbb{Z^+}$, $x$ and $y in mathbb{N}$ or $mathbb{Z^+}$.



Is $f(x,y)$ called a bivariate function?



Does it have other names or is this the only description for such a function?










share|cite|improve this question






















  • $2$ does not have a multiplicative inverse modulo $16$ so $frac {1}{2}$ doesn't have a meaning.
    – Doug M
    2 days ago















up vote
0
down vote

favorite









up vote
0
down vote

favorite











I have a two-input function on the integers or naturals. Is a bivariate function a function that takes two inputs or is there anything more to it?



For example take the function:



$f(x,y)=(x/2^y) mod 16$



where $f:mathbb{N}tomathbb{N}$ or $mathbb{Z^+}tomathbb{Z^+}$, $x$ and $y in mathbb{N}$ or $mathbb{Z^+}$.



Is $f(x,y)$ called a bivariate function?



Does it have other names or is this the only description for such a function?










share|cite|improve this question













I have a two-input function on the integers or naturals. Is a bivariate function a function that takes two inputs or is there anything more to it?



For example take the function:



$f(x,y)=(x/2^y) mod 16$



where $f:mathbb{N}tomathbb{N}$ or $mathbb{Z^+}tomathbb{Z^+}$, $x$ and $y in mathbb{N}$ or $mathbb{Z^+}$.



Is $f(x,y)$ called a bivariate function?



Does it have other names or is this the only description for such a function?







functions terminology integers natural-numbers






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 2 days ago









Natural Number Guy

442415




442415












  • $2$ does not have a multiplicative inverse modulo $16$ so $frac {1}{2}$ doesn't have a meaning.
    – Doug M
    2 days ago




















  • $2$ does not have a multiplicative inverse modulo $16$ so $frac {1}{2}$ doesn't have a meaning.
    – Doug M
    2 days ago


















$2$ does not have a multiplicative inverse modulo $16$ so $frac {1}{2}$ doesn't have a meaning.
– Doug M
2 days ago






$2$ does not have a multiplicative inverse modulo $16$ so $frac {1}{2}$ doesn't have a meaning.
– Doug M
2 days ago












1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










I've learned my math in American English and I would call that function "binary", or "a function of two variables". "Bivariate" does get used in statistics, with a meaning that is similar to the way you're using it, but it's subtly different and I think you're more likely to confuse people if you use it here.



Your notation $f : mathbb{N} rightarrow mathbb{N}$ is not correct. You should write $f : mathbb{N} times mathbb{N} rightarrow mathbb{N}$, and likewise for $mathbb{Z}^+$. If you talk to computer programmers, especially Haskell programmers, they will disagree with this notation, but it is correct when doing math.



You do have another problem lurking in your statement, though, in that your function, as written, doesn't seem to map into the naturals all the time. For instance $$f(69,2) = (69/4 mod 16) = (17 tfrac{1}{4} mod 16)$$ I don't think there's a universally agreed understanding of what the $mod()$ function should do for non-interger inputs. You could choose to have it equal $ 1 tfrac{1}{4}$, in which case $f : mathbb{N} times mathbb{N} rightarrow mathbb{Q}$, or you could truncate the fraction part, and have it equal $1$, but you'd need to change your definition to specify that.





Response to comments:



Math doesn't really use the concept of "integer division"; that's more of a computer programming thing. We tend to use the "floor" function, aka "greatest integer less than or equal to", aka "drop the fractional part", aka "truncate", which is written $lfloor x rfloor$. So you would write $$ text{Consider } f:mathbb{N} times mathbb{N} rightarrow mathbb{N} text{ given by } f(x,y) = lfloor x/2^y rfloor mod 16.$$



You don't really need to mention that $f$ is binary -- it's obvious from the way it's written. You might mention it if you were comparing it to functions that take more arguments, in which case the word you would use is "arity".






share|cite|improve this answer























  • How do I define that the mod function should only take integer inputs? Also I forgot to say that the division is an integer division, also how do I define or describe that in the text, meaning that both the numerator, denominator and result of the operation is integer?
    – Natural Number Guy
    2 days ago










  • @NaturalNumberGuy - response added to answer.
    – JonathanZ
    2 days ago










  • That answered my question
    – Natural Number Guy
    2 days ago











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005683%2ffx-y-x-2y-mod-16-a-bivariate-function%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
0
down vote



accepted










I've learned my math in American English and I would call that function "binary", or "a function of two variables". "Bivariate" does get used in statistics, with a meaning that is similar to the way you're using it, but it's subtly different and I think you're more likely to confuse people if you use it here.



Your notation $f : mathbb{N} rightarrow mathbb{N}$ is not correct. You should write $f : mathbb{N} times mathbb{N} rightarrow mathbb{N}$, and likewise for $mathbb{Z}^+$. If you talk to computer programmers, especially Haskell programmers, they will disagree with this notation, but it is correct when doing math.



You do have another problem lurking in your statement, though, in that your function, as written, doesn't seem to map into the naturals all the time. For instance $$f(69,2) = (69/4 mod 16) = (17 tfrac{1}{4} mod 16)$$ I don't think there's a universally agreed understanding of what the $mod()$ function should do for non-interger inputs. You could choose to have it equal $ 1 tfrac{1}{4}$, in which case $f : mathbb{N} times mathbb{N} rightarrow mathbb{Q}$, or you could truncate the fraction part, and have it equal $1$, but you'd need to change your definition to specify that.





Response to comments:



Math doesn't really use the concept of "integer division"; that's more of a computer programming thing. We tend to use the "floor" function, aka "greatest integer less than or equal to", aka "drop the fractional part", aka "truncate", which is written $lfloor x rfloor$. So you would write $$ text{Consider } f:mathbb{N} times mathbb{N} rightarrow mathbb{N} text{ given by } f(x,y) = lfloor x/2^y rfloor mod 16.$$



You don't really need to mention that $f$ is binary -- it's obvious from the way it's written. You might mention it if you were comparing it to functions that take more arguments, in which case the word you would use is "arity".






share|cite|improve this answer























  • How do I define that the mod function should only take integer inputs? Also I forgot to say that the division is an integer division, also how do I define or describe that in the text, meaning that both the numerator, denominator and result of the operation is integer?
    – Natural Number Guy
    2 days ago










  • @NaturalNumberGuy - response added to answer.
    – JonathanZ
    2 days ago










  • That answered my question
    – Natural Number Guy
    2 days ago















up vote
0
down vote



accepted










I've learned my math in American English and I would call that function "binary", or "a function of two variables". "Bivariate" does get used in statistics, with a meaning that is similar to the way you're using it, but it's subtly different and I think you're more likely to confuse people if you use it here.



Your notation $f : mathbb{N} rightarrow mathbb{N}$ is not correct. You should write $f : mathbb{N} times mathbb{N} rightarrow mathbb{N}$, and likewise for $mathbb{Z}^+$. If you talk to computer programmers, especially Haskell programmers, they will disagree with this notation, but it is correct when doing math.



You do have another problem lurking in your statement, though, in that your function, as written, doesn't seem to map into the naturals all the time. For instance $$f(69,2) = (69/4 mod 16) = (17 tfrac{1}{4} mod 16)$$ I don't think there's a universally agreed understanding of what the $mod()$ function should do for non-interger inputs. You could choose to have it equal $ 1 tfrac{1}{4}$, in which case $f : mathbb{N} times mathbb{N} rightarrow mathbb{Q}$, or you could truncate the fraction part, and have it equal $1$, but you'd need to change your definition to specify that.





Response to comments:



Math doesn't really use the concept of "integer division"; that's more of a computer programming thing. We tend to use the "floor" function, aka "greatest integer less than or equal to", aka "drop the fractional part", aka "truncate", which is written $lfloor x rfloor$. So you would write $$ text{Consider } f:mathbb{N} times mathbb{N} rightarrow mathbb{N} text{ given by } f(x,y) = lfloor x/2^y rfloor mod 16.$$



You don't really need to mention that $f$ is binary -- it's obvious from the way it's written. You might mention it if you were comparing it to functions that take more arguments, in which case the word you would use is "arity".






share|cite|improve this answer























  • How do I define that the mod function should only take integer inputs? Also I forgot to say that the division is an integer division, also how do I define or describe that in the text, meaning that both the numerator, denominator and result of the operation is integer?
    – Natural Number Guy
    2 days ago










  • @NaturalNumberGuy - response added to answer.
    – JonathanZ
    2 days ago










  • That answered my question
    – Natural Number Guy
    2 days ago













up vote
0
down vote



accepted







up vote
0
down vote



accepted






I've learned my math in American English and I would call that function "binary", or "a function of two variables". "Bivariate" does get used in statistics, with a meaning that is similar to the way you're using it, but it's subtly different and I think you're more likely to confuse people if you use it here.



Your notation $f : mathbb{N} rightarrow mathbb{N}$ is not correct. You should write $f : mathbb{N} times mathbb{N} rightarrow mathbb{N}$, and likewise for $mathbb{Z}^+$. If you talk to computer programmers, especially Haskell programmers, they will disagree with this notation, but it is correct when doing math.



You do have another problem lurking in your statement, though, in that your function, as written, doesn't seem to map into the naturals all the time. For instance $$f(69,2) = (69/4 mod 16) = (17 tfrac{1}{4} mod 16)$$ I don't think there's a universally agreed understanding of what the $mod()$ function should do for non-interger inputs. You could choose to have it equal $ 1 tfrac{1}{4}$, in which case $f : mathbb{N} times mathbb{N} rightarrow mathbb{Q}$, or you could truncate the fraction part, and have it equal $1$, but you'd need to change your definition to specify that.





Response to comments:



Math doesn't really use the concept of "integer division"; that's more of a computer programming thing. We tend to use the "floor" function, aka "greatest integer less than or equal to", aka "drop the fractional part", aka "truncate", which is written $lfloor x rfloor$. So you would write $$ text{Consider } f:mathbb{N} times mathbb{N} rightarrow mathbb{N} text{ given by } f(x,y) = lfloor x/2^y rfloor mod 16.$$



You don't really need to mention that $f$ is binary -- it's obvious from the way it's written. You might mention it if you were comparing it to functions that take more arguments, in which case the word you would use is "arity".






share|cite|improve this answer














I've learned my math in American English and I would call that function "binary", or "a function of two variables". "Bivariate" does get used in statistics, with a meaning that is similar to the way you're using it, but it's subtly different and I think you're more likely to confuse people if you use it here.



Your notation $f : mathbb{N} rightarrow mathbb{N}$ is not correct. You should write $f : mathbb{N} times mathbb{N} rightarrow mathbb{N}$, and likewise for $mathbb{Z}^+$. If you talk to computer programmers, especially Haskell programmers, they will disagree with this notation, but it is correct when doing math.



You do have another problem lurking in your statement, though, in that your function, as written, doesn't seem to map into the naturals all the time. For instance $$f(69,2) = (69/4 mod 16) = (17 tfrac{1}{4} mod 16)$$ I don't think there's a universally agreed understanding of what the $mod()$ function should do for non-interger inputs. You could choose to have it equal $ 1 tfrac{1}{4}$, in which case $f : mathbb{N} times mathbb{N} rightarrow mathbb{Q}$, or you could truncate the fraction part, and have it equal $1$, but you'd need to change your definition to specify that.





Response to comments:



Math doesn't really use the concept of "integer division"; that's more of a computer programming thing. We tend to use the "floor" function, aka "greatest integer less than or equal to", aka "drop the fractional part", aka "truncate", which is written $lfloor x rfloor$. So you would write $$ text{Consider } f:mathbb{N} times mathbb{N} rightarrow mathbb{N} text{ given by } f(x,y) = lfloor x/2^y rfloor mod 16.$$



You don't really need to mention that $f$ is binary -- it's obvious from the way it's written. You might mention it if you were comparing it to functions that take more arguments, in which case the word you would use is "arity".







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 2 days ago

























answered 2 days ago









JonathanZ

2,022613




2,022613












  • How do I define that the mod function should only take integer inputs? Also I forgot to say that the division is an integer division, also how do I define or describe that in the text, meaning that both the numerator, denominator and result of the operation is integer?
    – Natural Number Guy
    2 days ago










  • @NaturalNumberGuy - response added to answer.
    – JonathanZ
    2 days ago










  • That answered my question
    – Natural Number Guy
    2 days ago


















  • How do I define that the mod function should only take integer inputs? Also I forgot to say that the division is an integer division, also how do I define or describe that in the text, meaning that both the numerator, denominator and result of the operation is integer?
    – Natural Number Guy
    2 days ago










  • @NaturalNumberGuy - response added to answer.
    – JonathanZ
    2 days ago










  • That answered my question
    – Natural Number Guy
    2 days ago
















How do I define that the mod function should only take integer inputs? Also I forgot to say that the division is an integer division, also how do I define or describe that in the text, meaning that both the numerator, denominator and result of the operation is integer?
– Natural Number Guy
2 days ago




How do I define that the mod function should only take integer inputs? Also I forgot to say that the division is an integer division, also how do I define or describe that in the text, meaning that both the numerator, denominator and result of the operation is integer?
– Natural Number Guy
2 days ago












@NaturalNumberGuy - response added to answer.
– JonathanZ
2 days ago




@NaturalNumberGuy - response added to answer.
– JonathanZ
2 days ago












That answered my question
– Natural Number Guy
2 days ago




That answered my question
– Natural Number Guy
2 days ago


















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005683%2ffx-y-x-2y-mod-16-a-bivariate-function%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

A Topological Invariant for $pi_3(U(n))$