From: "Apache" <apache@digitalkingdom.org>
Date: Thu, 11 Feb 2016 21:55:28 -0800
To: webmaster@lojban.org, curtis289@att.net
Subject: [jvsw] Definition Edited At Word pei'e'a -- By krtisfranks
Bcc: jbovlaste-admin@lojban.org
Message-ID: <56bd73d0.4gTTH6Lr2jb7DSOb%webmaster@lojban.org>
User-Agent: Heirloom mailx 12.5 7/5/10
MIME-Version: 1.0
Content-Type: application/octet-stream
Content-Transfer-Encoding: 8bit
X-Spam_score: 3.2
X-Spam_score_int: 32
X-Spam_bar: +++
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  [...] 
 
 Content analysis details:   (3.2 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  1.4 RCVD_IN_BRBL_LASTEXT   RBL: No description available.
                             [173.13.139.235 listed in bb.barracudacentral.org]
  0.8 BAYES_50               BODY: Bayes spam probability is 40 to 60%
                             [score: 0.4751]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


In jbovlaste, the user krtisfranks has edited a
definition of "pei'e'a" in the language "English".

Differences:

5,5c5,5
< 		Produces the maximum integer $n$ such that $X_2 ^n | X_1$ in/according to the rules of $X_3$. $X_1$ and $X_2$ each must be nonzero and not units. Context or explicit specification elsewhere may make $X_3$ 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 ($X_3 = (N, +, •)$, where "$N $" denotes the set of all natural numbers (positive integers)), this function can be usefully restricted to $f:(N \\ \{1\})$ Union $P -> N$ Union $\{0\}, (r,p) -> max( \{n$ in $N$ Union $\{0\}: p^n \| r \})$, where "P" denotes the set of primes in the unique factorization domain of integers.
---
> 		Produces the maximum integer $n$ such that $X_2 ^n | X_1$ in/according to the rules of $X_3$. $X_1$ and $X_2$ each must be nonzero and not units. Context or explicit specification elsewhere may make $X_3$ 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 ($X_3 = (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): p^n divides r $in$ N))$, where "P" denotes the set of primes in the unique factorization domain of integers.


Old Data:

	Definition:
		at-most-3-ary mekso operator: "integer exponent" for $X_1$ divided by $X_2$ in algebraic structure $X_3$

	Notes:
		Produces the maximum integer $n$ such that $X_2 ^n | X_1$ in/according to the rules of $X_3$. $X_1$ and $X_2$ each must be nonzero and not units. Context or explicit specification elsewhere may make $X_3$ 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 ($X_3 = (N, +, •)$, where "$N $" denotes the set of all natural numbers (positive integers)), this function can be usefully restricted to $f:(N \\ \{1\})$ Union $P -> N$ Union $\{0\}, (r,p) -> max( \{n$ in $N$ Union $\{0\}: p^n \| r \})$, where "P" denotes the set of primes in the unique factorization domain of integers.

	Jargon:
		

	Gloss Keywords:
		Word: exponent of factors, In Sense: 
		Word: integer exponent, In Sense: 

	Place Keywords:


New Data:

	Definition:
		at-most-3-ary mekso operator: "integer exponent" for $X_1$ divided by $X_2$ in algebraic structure $X_3$

	Notes:
		Produces the maximum integer $n$ such that $X_2 ^n | X_1$ in/according to the rules of $X_3$. $X_1$ and $X_2$ each must be nonzero and not units. Context or explicit specification elsewhere may make $X_3$ 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 ($X_3 = (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): p^n divides r $in$ N))$, where "P" denotes the set of primes in the unique factorization domain of integers.

	Jargon:
		

	Gloss Keywords:
		Word: exponent of factors, In Sense: 
		Word: integer exponent, In Sense: 

	Place Keywords:


You can go to <http://jbovlaste.lojban.org/dict/pei'e'a> to see it.