- Home
- Get A Printable Dictionary
- Search Best Words
- Recent Changes
- How You Can Help
- valsi - All
- valsi - Preferred Only
- natlang - All
- natlang - Preferred Only
- Languages
- XML Export
- user Listing
- Report Bugs
- Utilities
- Status
- Help
- Admin Request
- Create Account
|
Discussion of "fa'ai'ai"
[parent]
[root]
Comment #2:
Re: Example
|
Curtis W Franks (Sun Sep 8 05:41:45 2019)
|
(It did not display before, so I am hoping to fix that)
krtisfranks wrote: > Example: Ultimate digital roots are preserved under integer addition. Let "dr" denote the ultimate digital root function in decimal base. Then for any nonnegative integer m and for any natural numbers n_1, n_2, ..., n_m, it is true that dr(n_1 + n_2 +...+ n_m) = dr(n_1) + dr(n_2) +...+ dr(n_m), where m = 0 implies an empty sum which we conventionally define to be equal to 0. The rhs in that equation (in general function form) can be expressed via "fa'ai'ai" where f = '+' (Lojban: "su'i"), g = 'dr', and S = "ro".
|
-
Comment #3:
Re: Example
|
Curtis W Franks (Sun Sep 8 05:49:55 2019)
|
The relevant rhs should actually be "dr(rhs_0)", where rhs_0 is the relevant one originally displayed; the mention of "rhs" in the original text should instead refer to rhs_0.
krtisfranks wrote: > it is true that dr(n_1 + n_2 +...+ n_m) = dr(n_1) + dr(n_2) +...+ > dr(n_m), where m = 0 implies an empty sum which we conventionally define > to be equal to 0. The rhs in that equation (in general function form) can > be expressed via "fa'ai'ai" where f = '+' (Lojban: "su'i"), g = 'dr', > and S = "ro".
|
-
Comment #4:
Re: Example
|
Curtis W Franks (Sun Sep 8 06:07:59 2019)
|
I just edited the definition of this word. The previous comments assume that m=0.
krtisfranks wrote: > The relevant rhs should actually be "dr(rhs_0)", where rhs_0 is the > relevant one originally displayed; the mention of "rhs" in the original > text should instead refer to rhs_0. > > krtisfranks wrote: > > it is true that dr(n_1 + n_2 +...+ n_m) = dr(n_1) + dr(n_2) +...+ > > dr(n_m), where m = 0 implies an empty sum which we conventionally define > > to be equal to 0. The rhs in that equation (in general function form) > can > > be expressed via "fa'ai'ai" where f = '+' (Lojban: "su'i"), g = 'dr', > > and S = "ro".
|
-
|
|
|
|