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 "salrixo"
[parent] [root]
Comment #1: x5
Curtis W Franks (Thu Oct 8 18:26:38 2020)

I changed the meaning of x5 from "with starting point x5" to "with
differintegration being according to definition/specification or of type
x5".

I did this because it is more useful this way. Additionally, I think that
x1 should be a function in any case, which implies that any implicit
evaluations or the like, unless deleted by "zi'o" become problematic.
Thus, all derivatives are not evaluated, all integrals are indefinite, and
all integration constants are to be arbitrary until further restrictions
are imposed upon them.

If there are issues with back-compatibility, then I would claim that the
former meaning could conceivably be understood to be an instance of the
new meaning, although the grammar may not work.

This change was made at approximately 2020-10-08T14:15-4:00.

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?