Assertion: positive remainder | /r/HasProperty | chosen in number theory
Facets:
value: always
type: TEMPORAL
Source sentences:
text: Usually, in number theory, the positive remainder is always chosen, but programming languages choose depending on the language and the signs of a or n. Standard Pascal and ALGOL