Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Thu, 22 Jul 2021 07:44:32 -0700 Received: from [192.168.123.254] (port=43112 helo=web.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.94) (envelope-from ) id 1m6Zw5-001iua-LY for jbovlaste-admin@lojban.org; Thu, 22 Jul 2021 07:44:32 -0700 Received: by web.digitalkingdom.org (sSMTP sendmail emulation); Thu, 22 Jul 2021 14:44:29 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word toryrailu'a -- By krtisfranks Date: Thu, 22 Jul 2021 14:44:29 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has edited a definition of "toryrailu'a" in the language "English". Differences: 2,2c2,2 < $x_1$ is the geodesic path from $x_2$ to $x_3$ via points including/on connected manifold component/in connected graph component $x_4$, with distance being measured by standard/metric/weighting $x_5$.. --- > $x_1$ is the geodesic path from $x_2$ to $x_3$ via points including/on connected manifold component/in connected graph component $x_4$, with distance being measured by standard/metric/weighting $x_5$. Old Data: Definition: $x_1$ is the geodesic path from $x_2$ to $x_3$ via points including/on connected manifold component/in connected graph component $x_4$, with distance being measured by standard/metric/weighting $x_5$.. Notes: $x_1$ and $x_2$ must belong to the same connected component (which includes/encompasses $x_4$). The overall 'distance' travelled must be the minimal option under the orientation (from $x_2$ to $x_3$; this is not always symmetric) and path weighting/the specified metric such that the points $x_4$ are included in the path or the path is in/on manifold/graph $x_4$ (as appropriate). If the notion of distance is well-formed, then the triangle inequality should be satisfied and, therefore, $x_1$ should be composed of certain of geodesic subpaths between points in $x_4$ U Set($x_2$, $x_3$). If $x_4$ is oriented or is an ordered list of points, then the path must connect them in that order (or a permitted order if there are multiple options). Jargon: Gloss Keywords: Word: geodesic, In Sense: Word: geodesic path, In Sense: Place Keywords: New Data: Definition: $x_1$ is the geodesic path from $x_2$ to $x_3$ via points including/on connected manifold component/in connected graph component $x_4$, with distance being measured by standard/metric/weighting $x_5$. Notes: $x_1$ and $x_2$ must belong to the same connected component (which includes/encompasses $x_4$). The overall 'distance' travelled must be the minimal option under the orientation (from $x_2$ to $x_3$; this is not always symmetric) and path weighting/the specified metric such that the points $x_4$ are included in the path or the path is in/on manifold/graph $x_4$ (as appropriate). If the notion of distance is well-formed, then the triangle inequality should be satisfied and, therefore, $x_1$ should be composed of certain of geodesic subpaths between points in $x_4$ U Set($x_2$, $x_3$). If $x_4$ is oriented or is an ordered list of points, then the path must connect them in that order (or a permitted order if there are multiple options). Jargon: Gloss Keywords: Word: geodesic, In Sense: Word: geodesic path, In Sense: Place Keywords: You can go to to see it.