a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Discussion of "fi'au"
[parent] [root]
Comment #1: Distinction from "se'au"
Curtis W Franks (Mon Apr 2 06:35:41 2018)

The temptation - and indeed the motivation for the "K" notation - is to
just allow the big-operator converter "se'au" act on mau'au fi'u
zai'ai or something (possibly involving summations and erasing default
settings (via zmico)). In particular, the traditional notation is

If summations were involved, it is possible to succeed. However, it is
messy and does not really lend intuition or match the traditional notation.
On the other hand, iterated fractions or external summing of these is
incorrect, meaning that "se'au" does not directly support the traditional
notation. But this notation is clean and simple!

What is really happening is the "a/b" is really a pair of sequences which
mutually interleave so as to produce the extended fraction. This word
essentially preserves the notation (replacing "K(a/b)" with "K((a,b))",
which is easy enough to track) while making it more correct.

Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?