On Tuesday, June 17, 2014 18:48:54 Jorge Llambías wrote:
> Looking at "number" places:
>
> saclux1 (number) is the decimal equivalent of fraction x2 (number) in base
> x3 (number)x1 should be a mekso: "me'o pa pi mu cu saclu li ci fi'u re li pa no". Also it
>
> This doesn't really make much sense. If "li pa pi mu du li ci fi'u re" is
> true, and "li pa pi mu cu saclu" is true, then we should be able to
> conclude that "li ci fi'u re cu daclu" is true as well, so this place
> structure needs to be fixed. One possibility is "x1 (text) is the decimal
> representation of x2 (number) in base x3 (number)".
makes no sense for the left operand of "ju'u" to be a number; it has to be an
unevaluated digit string.
Pierre
--
li ze te'a ci vu'u ci bi'e te'a mu du
li ci su'i ze te'a mu bi'e vu'u ci
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.