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 pei'e'a
type experimental cmavo
creator krtisfranks
time entered Fri Feb 12 05:45:59 2016

Definition #68387 - Preferred [edit]
selma'o VUhU
definition at-most-3-ary mekso operator: "integer exponent" for X1 divided by X2 in algebraic structure X3
notes Produces the maximum integer n such that X2n| X1 in/according to the rules of X3. X1 and X2 each must be nonzero and not units. Context or explicit specification elsewhere may make X3 unnecessary. For natural numbers, the Wolfram Language calls this "IntegerExponent" (if we ignore the arity and the default specifications; but the argument order is preserved). In this case ( X3 = (N, + ,*), where "N" denotes the set of all natural numbers (positive integers)), this function can be usefully restricted to f : (N Exclude Set(1)) Union P - > N Union Set(0), (r, p) - >max( Set(n in N Union Set(0) : pn divides r in N)), where "P" denotes the set of primes in the unique factorization domain of integers.
gloss words
created by krtisfranks
vote information 1
time Fri Feb 12 05:57:57 2016


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?