Received: from mail-pa0-f55.google.com ([209.85.220.55]:33348) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1U0J6l-0000CA-Qu; Tue, 29 Jan 2013 13:52:56 -0800 Received: by mail-pa0-f55.google.com with SMTP id hz11sf443443pad.20 for ; Tue, 29 Jan 2013 13:52:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-received:x-beenthere:x-received:x-received:received-spf :mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=KrYj4DN/ESxj2CXY8zg+0H2/1Ug4Acmm5G7oPig75nc=; b=eLErkTv7m6krdpgIsHpgHJVheFcrokXZL4zQkvGEmiFLmmzdZuofc17UP54YHmauuj B0I4LBZWAkCHgRKcYFpsgnw6e6+aRzHzUNWRV/+9FOD22AljTtwXd6NlAZp1OfkYJpSd xNygBIONYlo8B2tIS1YXbkYS2hsW5ZDJqNmaoc61yJFYKDKo/f91OyuxedUe1YnEDMz2 vcTrZgVqmK58sj5U3Kd1T69puAD4Nua/kzuLrmAX0Vlm1Z7zDzH9ps2trmPUcAFcyXpb MZW4Q5ja3Yuk0MuOnFT12OAsEoFm8tVV1JTD951UaXx+36vYwBrneu23g+vXXpRNlt1N YDJw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:x-beenthere:x-received:x-received:received-spf :mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=KrYj4DN/ESxj2CXY8zg+0H2/1Ug4Acmm5G7oPig75nc=; b=nd3jPtqeycNC8xSM3vlgieVWTyJbudqP9itdZgxkKHmIL+XWM/4RgoArMcysMuLE2V khsYqxHrQ9ZNkRph5Zr2kMibTVICDyH4KVWwq/YSnfKqHPy5ikjpDDpgvlJQn35c40c/ +DLzfu/Hjyfqc0Bsln12Va+79OA6agzSewWxb6+XCtqvzpGAQjGaTmEIrzV05lf6zfhH BnheMmdt7gICt4ZSIE9g4HzBrMllGzmYACle9fkAqmWHrx7yz8qEHnGaxuERP0XznEqW CIBxg/VaSEgLR8lFojm0rwoWGjzCrKZaex3rmojnhhIHKHPRuuLyIEpI/KynGXccBWPK yNug== X-Received: by 10.50.150.180 with SMTP id uj20mr481761igb.7.1359496360300; Tue, 29 Jan 2013 13:52:40 -0800 (PST) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.50.188.170 with SMTP id gb10ls582090igc.16.gmail; Tue, 29 Jan 2013 13:52:39 -0800 (PST) X-Received: by 10.50.153.229 with SMTP id vj5mr2587054igb.7.1359496359567; Tue, 29 Jan 2013 13:52:39 -0800 (PST) X-Received: by 10.50.153.229 with SMTP id vj5mr2587052igb.7.1359496359539; Tue, 29 Jan 2013 13:52:39 -0800 (PST) Received: from mail-ob0-f171.google.com (mail-ob0-f171.google.com [209.85.214.171]) by gmr-mx.google.com with ESMTPS id if10si384190igc.0.2013.01.29.13.52.39 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 29 Jan 2013 13:52:39 -0800 (PST) Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 209.85.214.171 as permitted sender) client-ip=209.85.214.171; Received: by mail-ob0-f171.google.com with SMTP id lz20so958765obb.2 for ; Tue, 29 Jan 2013 13:52:39 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.60.32.200 with SMTP id l8mr2084516oei.43.1359496359197; Tue, 29 Jan 2013 13:52:39 -0800 (PST) Received: by 10.60.178.237 with HTTP; Tue, 29 Jan 2013 13:52:39 -0800 (PST) In-Reply-To: References: <66cb3c0c-5aaf-44e3-be71-e330ad46129f@googlegroups.com> Date: Tue, 29 Jan 2013 14:52:39 -0700 Message-ID: Subject: Re: [lojban-beginners] how to translate "velocity"? From: Jonathan Jones To: lojban-beginners@googlegroups.com X-Original-Sender: eyeonus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of eyeonus@gmail.com designates 209.85.214.171 as permitted sender) smtp.mail=eyeonus@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: X-Google-Group-Id: 300742228892 List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=e89a8fb1f5b09039f304d4746922 X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / Content-Length: 7615 --e89a8fb1f5b09039f304d4746922 Content-Type: text/plain; charset=ISO-8859-1 Regarding the below, it doesn't seem to be correct. That is, your example looks to be "(m*s)^-1", not "m*(s^-1)". I could be reading it wrong, of course. Also, what's the terminator? {ke'e}? On Tue, Jan 29, 2013 at 8:50 AM, Jacob Errington wrote: > latro'a and I devised a system for making arbitrary units in Lojban. Our > system involves making a zi'evla for every unit you want, and defining it > using a special kind of tanru. Working under the assumption that XI+PA > forms #FREE, we created two experimental cmavo: {pi'ai} (KE) and {te'ai} > (XI). > > {pi'ai} is used as a prefix to indicate that the unit-selbri are being > multiplied to form a new unit selbri. {te'ai} is used after a unit selbri > to exponentiate it. > We can easily create the units for velocity, m*s^-1, with this system as > follows: > 1) prefix the tanru with pi'ai; {pi'ai ...}* > 2) determine the unit selbri that we need: {mitre} and {snidu}; {pi'ai > mitre snidu}* > 3) exponentiate accordingly; {pi'ai mitre snidu te'ai ni'u pa} > > Because this new unit tanru is long, we need to make up a brivla for it > based on its components ideally. To indicate that it was created with this > method, we decided that prefixing it with pi'air- might be a good idea, but > perhaps that the prefix can be dropped contextually. > > {pi'airtredilsnidu = x1 measures x2 metres per second (by standard x3)} > = pi'ai mitre snidu te'ai ni'u pa > > Some of you may hate this system, and that's okay. It's not like I approve > of everything everyone does either. > > An example of defining the Newton: > {.i lo ka pi'airniutni cu ka ce'u pi'ai ki'ogra mitre snidu te'ai ni'u re > ce'u ce'u} > > I've been using {mitre} as a simplification for displacement. Obviously, > I'd need to construct some unit selbri for displacement, then use that in > these definitions above to get vectors. > > .i mi'e la tsani mu'o > > -- > You received this message because you are subscribed to the Google Groups > "Lojban Beginners" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to lojban-beginners+unsubscribe@googlegroups.com. > To post to this group, send email to lojban-beginners@googlegroups.com. > Visit this group at http://groups.google.com/group/lojban-beginners?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- mu'o mi'e .aionys. .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o (Come to the Dot Side! Luke, I am your father. :D ) -- You received this message because you are subscribed to the Google Groups "Lojban Beginners" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com. To post to this group, send email to lojban-beginners@googlegroups.com. Visit this group at http://groups.google.com/group/lojban-beginners?hl=en. For more options, visit https://groups.google.com/groups/opt_out. --e89a8fb1f5b09039f304d4746922 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Regarding the below, it doesn't seem to be c= orrect.

That is, your example looks to be "(m*s)^-1", not = "m*(s^-1)".

I could be reading it wrong, of course.
Also, what's the terminator? {ke'e}?

On Tue, Jan 29, 2013 at= 8:50 AM, Jacob Errington <nictytan@gmail.com> wrote:
latro'a and I devised a system for maki= ng arbitrary units in Lojban. Our system involves making a zi'evla for = every unit you want, and defining it using a special kind of tanru. Working= under the assumption that XI+PA forms #FREE, we created two experimental c= mavo: {pi'ai} (KE) and {te'ai} (XI).

{pi'ai} is used as a prefix to indicate that the un= it-selbri are being multiplied to form a new unit selbri. {te'ai} is us= ed after a unit selbri to exponentiate it.
We can easily create t= he units for velocity, m*s^-1, with this system as follows:=A0
1) prefix the tanru with pi'ai; {pi'ai ...}*
2) dete= rmine the unit selbri that we need: {mitre} and {snidu}; {pi'ai mitre s= nidu}*
3) exponentiate accordingly; {pi'ai mitre snidu te'= ;ai ni'u pa}

Because this new unit tanru is long, we need to make up= a brivla for it based on its components ideally. To indicate that it was c= reated with this method, we decided that prefixing it with pi'air- migh= t be a good idea, but perhaps that the prefix can be dropped contextually.<= /div>

{pi'airtredilsnidu =3D x1 measures x2 metres per se= cond (by standard x3)}
=3D pi'ai mitre snidu te'ai ni'= ;u pa

Some of you may hate this system, and that&#= 39;s okay. It's not like I approve of everything everyone does either.<= /div>

An example of defining the Newton:
{.i lo ka = pi'airniutni cu ka ce'u pi'ai ki'ogra mitre snidu te'ai= ni'u re ce'u ce'u}

I've been usin= g {mitre} as a simplification for displacement. Obviously, I'd need to = construct some unit selbri for displacement, then use that in these definit= ions above to get vectors.

.i mi'e la tsani mu'o

--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginn= ers?hl=3Den.
For more options, visit https://groups.google.com/groups/opt_out.
=A0
=A0



--
mu'o mi= 'e .aionys.

.i.e'ucai ko cmima lo pilno be denpa bu .i doi.l= uk. mi patfu do zo'o
(Come to the Dot Side! Luke, I am your father. = :D )

--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners?hl=3Den. For more options, visit https://groups.google.com/groups/opt_out.
 
 
--e89a8fb1f5b09039f304d4746922--