Category: misc


Math Notes



Navigation:    Index Top-Level Index Text Version (No Diffs)
Last Modified: Mon Oct 9 08:17:06 2006
 

-GOAL: show examples in similar style for logic and other notations
-replace mekso with bridi, but need some things
-need a NU for math
-use ca'e? for output, as opposed to symbols?: li pa su'i pa du li re =“ li? ni'ai sumji li pa li re du li re == li? sumji be li pa bei li pa du li re
- ni + ce'u works, although not with li, but that's probably OK -- kpried doesn't like ni; ni'ai for now
- le/lo + se to output place also
- lo / le distimction might have interesting side effects?
- so: li pa su'i pa du li re == le ni ce'u sumji li pa li re du li re == le sumji be li pa bei li pa du li re
- need something else for theorem: su'u seems about right
- need something else for symbols. Perhaps steal me'o? Also: le sinxa be lo su'u sumji li pa li pa. Or maybe just use la'e lu...li'u?
-la'a expand li to include selbri
- would probably need a terminator
-not sure it buys us anything exvcept syllables
- how deal with leading args? "li re sumji li pa li pa"? "li li re sumji"?

-nesting, either with be or ni'ai: li pa su'i vei pa su'i pa du li ci = li ni'ai li pa ziljmina li ni'ai li pa ziljmina li pa kei ca'e du li ci = li te ziljmina be li pa bei li te ziljmina be li pa bei li pa du li ci
-gets a bit hairy; perhaps better to make li'ai = li ni'ai and ma'e = la'e ni'ai or something
-save us nothing over le ni
-sumji: le ni sumji li pa le ni sumji li pa li pa -- le sumji be li pa bei le sumji be li pa bei li pa

-would want new gismu, la'a also try to grab some single syllable cmavo
-vei = li'ai (= le ni), ve'o = vei gi'ai
-MOI for function names; fy moi'oi
-what else turns things into selbri?
-me - will it work here? - should

Philosophy

-disads: extra syllables. 1? + 1 for each bare number + 2? for each nesting (RPN or not)
-adv: less things to memorize; ordering of bridi well understood
-mekso fails at goal #1: if you read off a mathematical expression into mekso, you will *not* get the same calculation without a *lot* of effort
-RPN is lost here (but see the consumption markers in the RPN notes), because RPN requires a fixed number of arguments, with the number known in advance, but the Lojban RPN implementation has always been a hack, because of the "exactly two arguments" thing.