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 "integrale"
[parent] [root]
Comment #2: Re: Notes
gleki (Wed Oct 7 06:35:15 2015)

krtisfranks wrote:
> 1) x2 must be a function. Despite being denoted a "f(x)", it really
should
> only ever be "f".
> 2) The measure should be specified as x3.
> 3) The set over which the integral is being performed should be specified

> as x4.

Can't we just specify it within place structure of fancu whichwould take
integrale2?

> It might be beneficial to distinguish between
> antidifferentiation/indefinite-integration and definite-integration; my
> proposals are mostly based on the interpretation of this word being for
> definite-integration. It might be advisable to either define a toggling
> terbri or separate these words completely, since they are really sort of
> separate (definite integrals happen to be equal to the difference of
> antiderivatives, but that is a theorem rather than a definition; having
> separate words is my preference).

Even CLL predicts that integrale will eventually be split.

Comment #3: Re: Notes
Curtis W Franks (Wed Oct 7 17:20:36 2015)

gleki wrote:
> krtisfranks wrote:
> > 1) x2 must be a function. Despite being denoted a "f(x)", it really
> should
> > only ever be "f".
> > 2) The measure should be specified as x3.
> > 3) The set over which the integral is being performed should be
specified
>
> > as x4.
>
> Can't we just specify it within place structure of fancu whichwould take
> integrale2?
>

Nope. They are completely independent. Convention/"reason" might indicate
the most probable measure, but that is the purpose of having the terbri and
filling it explicitly or otherwise with zo'o; in the end, you still need
the terbri.


> > It might be beneficial to distinguish between
> > antidifferentiation/indefinite-integration and definite-integration; my

> > proposals are mostly based on the interpretation of this word being for

> > definite-integration. It might be advisable to either define a toggling

> > terbri or separate these words completely, since they are really sort
of
> > separate (definite integrals happen to be equal to the difference of
> > antiderivatives, but that is a theorem rather than a definition; having

> > separate words is my preference).
>
> Even CLL predicts that integrale will eventually be split.

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 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?