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 "tarmrsilondre"

Comment #1: Pathologies
Curtis W Franks (Thu Mar 9 22:09:11 2017)

This includes (half-)infinite cylinders (which may have holes drilled some
of the way down, parallel to their axis), at least some polygons such as
the rectangle and regular octogon, a "U" if made properly, and many other
weird shapes.

It generalizes to some higher-dimensional shapes. For higher-dimensional
cylinders, it selects generalizations which have a linear (2-dimensional,
rather than higher-dimensional linear manifold) axis.

It excludes spheres and tori, and many other shapes of rotation/revolution.

Thus, we may want to refine the definition.

Comment #2: Re: Pathologies
Curtis W Franks (Thu Mar 9 22:11:17 2017)

krtisfranks wrote:
> Thus, we may want to refine the definition.

The current definition is this:

"x1 is a set of points/shape (of any number of dimensions) such that
x1 is connected and there exists a line L such that for any line L' that
is parallel to L, if L' has nonempty intersection with x1, then there
exists exactly one subinterval (line segment, ray, or line) J of L' such
that J has nonzero (Lebesgue) measure and any subset of L' which nonemptily
intersects x1 is contained in J. An axially-perpendicular cross-section
of x1 probably is necessary to specify x2. See also: slanu,
fru'austumu."

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 Sun Nov 15 18:45:23 PST 2015.
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?