jbovlaste
a lojban dictionary editing system
User:
Pass:

Home
Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
Languages
XML Export
user Listing
Report Bugs
Utilities
Status
Help
Admin Request
Create Account
Discussion of "vlakemlerpoi"
[parent] [root]
Comment #4: Re: Mathematics
Felipe Gonalves Assis (Mon Jan 13 22:35:00 2014)

Wuzzy wrote:
> filipos wrote:
> > I guess you could alternatively use valsi (or a lujvo based on it)
as
> >
> > "x1 is a sequence of generators with value x2 in group presentation
x3",
> No, no, no, NO!
> That’s WAY too far off from the original definitions.
> Those definitions certainly would need new words.

Ok, this is more for fun than for the original point, but here is a PEG
for the Klein group

I <- e I | a A | b B | c C | eps
A <- e A | a I | b C | c B
B <- e B | a C | b I | c A
C <- e C | a B | b A | c I

More trivially, it is straightforward to define an attribute grammar for
computing the product of a sequence of elements.

So, we do have words (the sequences), interpretations for these words (the
values) and rules for how to determine the meaning of a composition of
them from its parts (the group operation).

Comment #5: Re: Mathematics
Curtis W Franks (Tue Jan 14 07:29:34 2014)

filipos wrote:
> Wuzzy wrote:
> > filipos wrote:
> > > I guess you could alternatively use valsi (or a lujvo based on it)
> as
> > >
> > > "x1 is a sequence of generators with value x2 in group presentation
> x3",
> > No, no, no, NO!
> > That’s WAY too far off from the original definitions.
> > Those definitions certainly would need new words.
>
> Ok, this is more for fun than for the original point, but here is a PEG
> for the Klein group
>
> I <- e I | a A | b B | c C | eps
> A <- e A | a I | b C | c B
> B <- e B | a C | b I | c A
> C <- e C | a B | b A | c I
>
> More trivially, it is straightforward to define an attribute grammar for
> computing the product of a sequence of elements.
>
> So, we do have words (the sequences), interpretations for these words
(the
> values) and rules for how to determine the meaning of a composition of
> them from its parts (the group operation).


That is what I was thinking. One could always tack on a seltau indicating
'math'-ness on some level.

Currently, jbovlaste will accept data for 70 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?