a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi pu'e'ei
type experimental cmavo
creator krtisfranks
time entered Mon Jan 9 09:02:38 2023

Definition #73114 - Preferred [edit]
selma'o VUhU3
definition mekso binary operator: generate span; outputs span (X1, X2) = span X2(X1); set of all (finite) sums of terms of form cv, where v is an element of algebraic structure X1 (wherein scalar multiplication and summation is defined), and c is a scalar belonging to ring X2.
notes For example, the span of vectors v1 and v2 in vector space V over the field of exactly all real numbers R has X1 = Intersect(V, Set (v1, v2)) and X2 = R and yields output Set (c1v1 + c2v2 : ci in R for alli), where scalar multiplication and vector addition are as defined in V.
gloss words
created by krtisfranks
vote information 1
time Mon Jan 9 09:08:49 2023


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?