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
Dictionary record
Back to the main valsi listing.
valsi pau'au
type experimental cmavo
creator krtisfranks
time entered Thu Oct 27 04:13:15 2022

Definition #73015 - Preferred [edit]
selma'o VUhU3
definition ternary mekso operator: p-adic valuation; outputs (positive) infinity if x1 = 0 and, else, outputs sup(Set(k : k is a nonnegative integer, and ((1 - x3)x2 + x3px2)k divides x1)), where pn is the nth prime (such that p1 = 2).
notes The terbri order here was defined in analogy to "de'o". Normally, x1 should be a rational number, and x2 should be a positive integer; some generalizations may be possible, though. x3 is either 0 xor 1, and indicates/toggles between modes: x3 = 0 yields the x2-adic valuation (even for nonprime x2); x3 = 1 yields the px2-adic valuation. x2 = 1, x3 = 0 yields positive infinity for any x1 which is within the domain. If x1 = n/m and is a rational noninteger number such that gcd(n, m) = 1, then pau'au (x1, x2, x3) = pau'au (n, x2, x3) - pau'au (m, x2, x3). See also: "fei'i", "pi'ei'oi". This word is often equivalent to or closely related to "pei'e'a" (which is, in some ways, more general but also is less flexible with respect to its input).
gloss words
created by krtisfranks
vote information 1
time Thu Oct 27 05:51:43 2022


krtisfranksEnglish: "Prime power valuation".[edit]
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?