On Wed, 26 Oct 2016, Luis Ressel wrote:
> On Wed, 26 Oct 2016 18:00:58 +0200
> Luis Ressel <ara...@aixah.de> wrote:
>
> > and the map "t |-> max(14,t+2)" is applied to eir Ribbon
> > Threshold.
>
> Btw, I'm aware it hasn't been defined anywhere what "applying a map"
> actually means, but it seemed like the easiest way to write this rule.
> Let's see how it works out in practice.
Historical tidbit: we use to have a clause that mathematical (and legal) terms
in context had some precedence over common definitions (e.g. the word "map").
We removed it on the idea that just setting a precedent to "use terms in
context"
(such as math terms in context of a math equation) fit into "common-sense
interpretations" as per R217. Here's what it used to look like:
- A term explicitly defined by the Rules shall be interpreted
as having that meaning, as shall its ordinary-language
synonyms not explicitly defined by the rules. In
particular, the term "number" shall be interpreted as "real
number".
- Any term primarily used in mathematical or legal contexts,
and not addressed by previous provisions of this Rule, shall
be interpreted as having the meaning it has in those
contexts.
- Any term not addressed by previous provisions of this Rule
shall be interpreted as having its ordinary-language
meaning.
