Skip to content

GitLab

H
Heritage_Platform
Commit c0cef2c8 authored by Gérard Huet's avatar Gérard Huet
Browse files
Options

Root vlii

parent d3a0f200
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 269 additions and 365 deletions
DOC/Heritage_Platform.tex
View file @ c0cef2c8
This diff is collapsed.
DOC/docintro
View file @ c0cef2c8
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
{\Large (Sanskrit Library V#VERSION; Zen toolkit V3.1)}\\[15pt] {\Large (Sanskrit Library V#VERSION; Zen toolkit V3.1)}\\[15pt]
{\large #DATE}\\[15pt] {\large #DATE}\\[15pt]
{\large G\'erard Huet \& Pawan Goyal}\\[10pt] {\large G\'erard Huet \& Pawan Goyal}\\[10pt]
{\large Copyright \copyright ~2000-2017 Inria}\\[20pt] {\large Copyright \copyright ~2000-2018 Inria}\\[20pt]
\end{center} \end{center}
% Macros % Macros
......
ML/COPYRIGHT
View file @ c0cef2c8
(**************************************************************************) (**************************************************************************)
(* *) (* *)
(* The Sanskrit Heritage Platform *) (* The Sanskrit Heritage Dictionary Generator *)
(* *) (* *)
(* Gérard Huet & Pawan Goyal *) (* Gérard Huet *)
(* *) (* *)
(* ©2018 Institut National de Recherche en Informatique et en Automatique *) (* ©2018 Institut National de Recherche en Informatique et en Automatique *)
(**************************************************************************) (**************************************************************************)
......
ML/canon.ml
View file @ c0cef2c8
...@@ -26,7 +26,7 @@ value canon = fun ...@@ -26,7 +26,7 @@ value canon = fun
| 12 -> "o" | 12 -> "o"
| 13 -> "au" | 13 -> "au"
| 14 -> ".m" (* anusvaara *) | 14 -> ".m" (* anusvaara *)
| 15 -> "~~" (* anunaasika candrabindu *) | 15 -> "~~" (* anun\=asika candrabindu *)
| 16 -> ".h" | 16 -> ".h"
| 17 -> "k" | 17 -> "k"
| 18 -> "kh" | 18 -> "kh"
...@@ -381,7 +381,7 @@ value canon2 = fun ...@@ -381,7 +381,7 @@ value canon2 = fun
| 49 -> "h" | 49 -> "h"
| 50 -> "_" (* hiatus *) | 50 -> "_" (* hiatus *)
| -1 -> "'" | -1 -> "'"
| -2 -> "[-]" (* Inconsistent with previous versions *) | -2 -> "[-]"
| -3 -> "A|a" (* sandhi of A and (a,A) - phantom phoneme *) | -3 -> "A|a" (* sandhi of A and (a,A) - phantom phoneme *)
| -4 -> "A|i" (* sandhi of A and (i,I) - phantom phoneme *) | -4 -> "A|i" (* sandhi of A and (i,I) - phantom phoneme *)
| -5 -> "A|u" (* sandhi of A and (u,U) - phantom phoneme *) | -5 -> "A|u" (* sandhi of A and (u,U) - phantom phoneme *)
...@@ -396,9 +396,9 @@ value catenate2 c (s,b) = ...@@ -396,9 +396,9 @@ value catenate2 c (s,b) =
let protected = if b && b' then "_" ^ s else s in let protected = if b && b' then "_" ^ s else s in
(canon2 c ^ protected , b') (canon2 c ^ protected , b')
; ;
(* [decode2 : word -> string] *) (* decode2 : word -> string (debug for [Morpho_xml] *)
value decode2 word = value decode2 word =
try let (s,_) = List.fold_right catenate2 word ("",False) in s try let (s,_) = List.fold_right catenate2 word ("",False) in s
with [ Failure _ -> failwith ("decode2: " ^ robust_decode (Word.mirror word)) ] with [ Failure _ -> failwith ("decode2: " ^ robust_decode (Word.mirror word)) ]
; ;
value canon_upper = fun value canon_upper = fun
......
ML/interface.ml
View file @ c0cef2c8
...@@ -540,7 +540,7 @@ value graph_engine () = do ...@@ -540,7 +540,7 @@ value graph_engine () = do
allSol (deprecated Validate mode) allSol (deprecated Validate mode)
corpus sentenceNumber linkNumber (Corpus mode) corpus sentenceNumber linkNumber (Corpus mode)
corpdir sentno corpmode (defined in Params) corpdir sentno corpmode (defined in Params)
guess gender revised rev_off rev_ind (User-aid) *) guess gender revised [rev_off] [rev_ind] (User-aid) *)
let url_encoded_input = get "text" env "" let url_encoded_input = get "text" env ""
and url_encoded_topic = get "topic" env "" (* topic carry-over *) and url_encoded_topic = get "topic" env "" (* topic carry-over *)
and st = get "st" env "t" (* sentence parse default *) and st = get "st" env "t" (* sentence parse default *)
......
ML/verbs.ml
View file @ c0cef2c8
...@@ -376,7 +376,7 @@ value stems root = ...@@ -376,7 +376,7 @@ value stems root =
| "spardh" -> sampra "sp.rdh" | "spardh" -> sampra "sp.rdh"
| "svap" -> sampra "sup" (* \Pan{6,1,15} *) | "svap" -> sampra "sup" (* \Pan{6,1,15} *)
(* note "vac", "yaj" etc not concerned although having samprasaara.na *) (* note "vac", "yaj" etc not concerned although having samprasaara.na *)
| _ -> let weak = weak_stem root rstem | _ -> let weak = weak_stem root rstem
and strong = strong_stem root rstem in and strong = strong_stem root rstem in
let long = lengthened weak in let long = lengthened weak in
(weak,strong,long) (weak,strong,long)
...@@ -523,9 +523,9 @@ value redup3 entry rstem = ...@@ -523,9 +523,9 @@ value redup3 entry rstem =
| _ -> rstem | _ -> rstem
] in ] in
(strong rstem,wstem) (strong rstem,wstem)
and glue = revaffix [rv; rc] in and glue = revaffix [ rv; rc ] in
if entry="s.r" then (* ad-hoc nonsense *) if entry="s.r" then (*i ad-hoc nonsense to avoid si.sarti ? i*)
(revcode "sisar",revcode "sis.r",iiflag) (* to avoid si.sarti ?!? *) (revcode "sisar",revcode "sis.r",iiflag)
else (glue strong,glue weak,iiflag) else (glue strong,glue weak,iiflag)
] ]
; ;
...@@ -2397,7 +2397,7 @@ value intercalates root = ...@@ -2397,7 +2397,7 @@ value intercalates root =
| "vyadh" | "zak" | "zad" | "zap" | "zi.s" | "zudh" | "zu.s" | "vyadh" | "zak" | "zad" | "zap" | "zi.s" | "zudh" | "zu.s"
| "zli.s" | "sa~nj" | "sic" | "sidh#1" | "s.rp" | "skand" | "zli.s" | "sa~nj" | "sic" | "sidh#1" | "s.rp" | "skand"
| "sva~nj" | "svid#2" | "had" | "sva~nj" | "svid#2" | "had"
-> anit -> anit
| _ -> set (* default all multisyllabic, gana 10, nominal verbs plus: | _ -> set (* default all multisyllabic, gana 10, nominal verbs plus:
[ "afg" | "a~nc" | "an#2" | "arh" | "av" | "az#1" | "az#2" | "as#2" | "aas#2" [ "afg" | "a~nc" | "an#2" | "arh" | "av" | "az#1" | "az#2" | "as#2" | "aas#2"
| "indh" | "inv" | "i.s#1" | "i.s#2" | "iik.s" | "iifkh" | "ii.d" | "iiz#1" | "indh" | "inv" | "i.s#1" | "i.s#2" | "iik.s" | "iifkh" | "ii.d" | "iiz#1"
...@@ -2545,8 +2545,8 @@ value compute_ppp_stems entry rstem = ...@@ -2545,8 +2545,8 @@ value compute_ppp_stems entry rstem =
| "tud#1" | "t.rd" | "t.rr" | "dagh" | "d.rr" | "dev" | "draa#1" | "draa#2" | "tud#1" | "t.rd" | "t.rr" | "dagh" | "d.rr" | "dev" | "draa#1" | "draa#2"
| "nud" | "pad#1" | "pi#2" | "p.rr" | "pyaa" | "bha~nj" | "bhid#1" | "bhuj#1" | "nud" | "pad#1" | "pi#2" | "p.rr" | "pyaa" | "bha~nj" | "bhid#1" | "bhuj#1"
| "majj" | "man" | "mid" | "mlaa" | "ri" | "lii" | "luu#1" | "vij" | "vid#2" | "majj" | "man" | "mid" | "mlaa" | "ri" | "lii" | "luu#1" | "vij" | "vid#2"
| "zad" | "zuu" | "z.rr" | "sad#1" | "skand" | "syand" | "st.rr" | "styaa" | "vlii" | "zad" | "zuu" | "z.rr" | "sad#1" | "skand" | "syand" | "st.rr"
| "had" | "svid#2" | "haa#2" (* but not "k.svi.d" "zrath" *) | "styaa" | "had" | "svid#2" | "haa#2" (* but not "k.svi.d" "zrath" *)
-> ->
(* except lag which is "nipaatana" \Pan{7,2,18} *) (* except lag which is "nipaatana" \Pan{7,2,18} *)
let ppna w = [ Na w ] in let ppna w = [ Na w ] in
...@@ -3977,18 +3977,19 @@ value compute_aorist entry = ...@@ -3977,18 +3977,19 @@ value compute_aorist entry =
| "dhaa#1" | "dhaa#2" | "paa#1" | "bhuu#1" | "muc#1" | "zaa" | "dhaa#1" | "dhaa#2" | "paa#1" | "bhuu#1" | "muc#1" | "zaa"
| "saa#1" | "sthaa#1" | "has" | "haa#1" -> do | "saa#1" | "sthaa#1" | "has" | "haa#1" -> do
{ compute_root_aorista weak strong entry { compute_root_aorista weak strong entry
; if entry = "k.r#1" || entry = "gam" || entry = "jan" ; match entry with
then compute_root_aoristm weak entry (* rare *) [ "k.r#1" | "gam" | "jan" -> compute_root_aoristm weak entry (* rare *)
else if entry = "sthaa#1" (* Whitney §834a. *) | "sthaa#1" (* Whitney §834a. *) ->
then compute_root_aoristm (revstem "sthi") entry (* asthita *) compute_root_aoristm (revstem "sthi") entry (* asthita *)
(*i [else if entry = "dhaa#1" then compute_root_aoristm (revstem "dhii") entry] ? i*) (*i [| "dhaa#1" -> compute_root_aoristm (revstem "dhii") entry] ? i*)
else () | _ -> ()
]
; let stem = if entry = "muc#1" then strong else match long with ; let stem = if entry = "muc#1" then strong else match long with
[ [ 2 (* aa *) :: _ ] -> [ 42 (* y *) :: long ] [ [ 2 (* aa *) :: _ ] -> [ 42 (* y *) :: long ]
| _ -> long | _ -> long
] in ] in
compute_root_aoristp stem entry (* passive *) compute_root_aoristp stem entry (* passive *)
(* for root aorist participles, see Whitney§840 and Burrow p178 *) (* For root aorist participles, see Whitney§840 and Burrow p178 *)
} }
| "prii" -> let st = revcode "priiyaa" in compute_root_aorista st st entry | "prii" -> let st = revcode "priiyaa" in compute_root_aorista st st entry
| "svid#2" -> let st = revcode "svidyaa" in compute_root_aorista st st entry | "svid#2" -> let st = revcode "svidyaa" in compute_root_aorista st st entry
...@@ -4003,8 +4004,8 @@ value compute_aorist entry = ...@@ -4003,8 +4004,8 @@ value compute_aorist entry =
| "rabh" -> compute_root_aoristp (revcode "rambh") entry | "rabh" -> compute_root_aoristp (revcode "rambh") entry
| "jaag.r" | "t.rr" | "pac" | "zru" | "stu" | "hu" | "jaag.r" | "t.rr" | "pac" | "zru" | "stu" | "hu"
-> compute_root_aoristp long entry -> compute_root_aoristp long entry
(* "zru" -> azraayi Whitney§844a typo ? (azraayi WR) *) (* NB "zru" -> azraavi WR while Whitney§844a azraayi typo *)
| _ -> () (* "i" -> iiyaat difficile *) | _ -> () (* "i" -> iiyaat hard *)
] ]
; match entry with (* 2. thematic aorist af *) ; match entry with (* 2. thematic aorist af *)
[ "aap" | "krudh" | "gam" | "g.rdh" | "ghas" | "das" | "dyut#1" | "muc#1" [ "aap" | "krudh" | "gam" | "g.rdh" | "ghas" | "das" | "dyut#1" | "muc#1"
...@@ -4012,7 +4013,7 @@ value compute_aorist entry = ...@@ -4012,7 +4013,7 @@ value compute_aorist entry =
| "zuc#1" | "zudh" | "sic" | "stan" | "huu" | "zuc#1" | "zudh" | "sic" | "stan" | "huu"
-> do -> do
{ compute_thematic_aorista weak entry { compute_thematic_aorista weak entry
; compute_thematic_aoristm weak entry (* middle is very rare *) ; compute_thematic_aoristm weak entry (* middle very rare *)
} }
| "vyaa" -> let stem = revcode "vi" in do | "vyaa" -> let stem = revcode "vi" in do
{ compute_thematic_aorista stem entry { compute_thematic_aorista stem entry
...@@ -4038,8 +4039,8 @@ value compute_aorist entry = ...@@ -4038,8 +4039,8 @@ value compute_aorist entry =
{ compute_redup_aorista stem entry (* but atu.s.tavam RV (WR) *) { compute_redup_aorista stem entry (* but atu.s.tavam RV (WR) *)
; compute_redup_aoristm stem entry ; compute_redup_aoristm stem entry
} }
| "iik.s" | "klid" | "gup" | "cur" | "m.r" | "d.rz#1" | "dyut#1" | "vrazc" | "iik.s" | "kamp" | "klid" | "gup" | "cur" | "m.r" | "d.rz#1" | "dyut#1"
-> (* active only *) | "vrazc" -> (* active only *)
let stem = redup_aor weak entry in let stem = redup_aor weak entry in
compute_redup_aorista stem entry compute_redup_aorista stem entry
| "grah" -> do | "grah" -> do
...@@ -4047,8 +4048,7 @@ value compute_aorist entry = ...@@ -4047,8 +4048,7 @@ value compute_aorist entry =
{ compute_redup_aorista stem entry { compute_redup_aorista stem entry
; compute_redup_aoristm stem entry ; compute_redup_aoristm stem entry
} }
; let stem = redup_aor (revcode "grabh") entry in do ; let stem = redup_aor (revcode "grabh") entry in do (* ved Whitney§223g *)
(* ved -- Whitney§223g *)
{ compute_redup_aorista stem entry { compute_redup_aorista stem entry
; compute_redup_aoristm stem entry ; compute_redup_aoristm stem entry
} }
...@@ -4058,7 +4058,7 @@ value compute_aorist entry = ...@@ -4058,7 +4058,7 @@ value compute_aorist entry =
; compute_redup_aoristm stem entry ; compute_redup_aoristm stem entry
} }
(* then exceptions to treatment of aa with intercalaring ii *) (* then exceptions to treatment of aa with intercalaring ii *)
| "raadh" -> let stem = redup_aor (revcode "radh") entry in (* riiradh *) | "raadh" -> let stem = redup_aor (revcode "radh") (* riiradh *) entry in
compute_redup_aorista stem entry (* Macdonnel p 126 *) compute_redup_aorista stem entry (* Macdonnel p 126 *)
| "haa#1" -> let stem = revcode "jiijah" in | "haa#1" -> let stem = revcode "jiijah" in
compute_redup_aorista stem entry compute_redup_aorista stem entry
...@@ -4074,12 +4074,12 @@ value compute_aorist entry = ...@@ -4074,12 +4074,12 @@ value compute_aorist entry =
| "nii#1" | "pac" | "praz" | "prii" | "budh#1" | "bhaa#1" | "bhii#1" | "nii#1" | "pac" | "praz" | "prii" | "budh#1" | "bhaa#1" | "bhii#1"
| "muc#1" | "yaj#1" | "yuj#1" | "ram" | "labh" | "v.r#2" | "vyadh" | "zru" | "muc#1" | "yaj#1" | "yuj#1" | "ram" | "labh" | "v.r#2" | "vyadh" | "zru"
| "s.rj#1" | "stu" | "sp.rz#1" | "hu" -> do | "s.rj#1" | "stu" | "sp.rz#1" | "hu" -> do
{ let stema = match entry with { let stem = match entry with
[ "d.rz#1" | "s.rj#1" | "sp.rz#1" -> long_metathesis weak [ "d.rz#1" | "s.rj#1" | "sp.rz#1" -> long_metathesis weak
| "ram" -> weak | "ram" -> weak
| _ -> long | _ -> long
] in ] in
compute_ath_s_aorista stema entry compute_ath_s_aorista stem entry
; if entry = "yuj#1" || entry = "chid#1" ; if entry = "yuj#1" || entry = "chid#1"
then compute_ath_s_aorista strong entry else () then compute_ath_s_aorista strong entry else ()
(* ayok.siit and acchetsiit besides ayauk.siit and acchaitsiit *) (* ayok.siit and acchetsiit besides ayauk.siit and acchaitsiit *)
...@@ -4132,7 +4132,7 @@ value compute_aorist entry = ...@@ -4132,7 +4132,7 @@ value compute_aorist entry =
compute_ath_is_aorista (revcode "zve") entry compute_ath_is_aorista (revcode "zve") entry
| "kan" | "k.r#2"| "p.rr" -> (* active only *) | "kan" | "k.r#2"| "p.rr" -> (* active only *)
compute_ath_is_aorista long entry compute_ath_is_aorista long entry
| "jan" | "zii#1" | "spand" -> (* middle only *) | "kamp" | "jan" | "zii#1" | "spand" -> (* middle only *)
compute_ath_is_aoristm strong entry compute_ath_is_aoristm strong entry
| "grah" -> do | "grah" -> do
{ let stem = revcode "grah" in do (* same as group above *) { let stem = revcode "grah" in do (* same as group above *)
...@@ -4336,6 +4336,7 @@ value perif conj perstem entry = do ...@@ -4336,6 +4336,7 @@ value perif conj perstem entry = do
| "p.rr" -> revcode "puuri" (* puuritum *) | "p.rr" -> revcode "puuri" (* puuritum *)
| "sva~nj" -> revcode "svaj" (* svaktum *) | "sva~nj" -> revcode "svaj" (* svaktum *)
| "sa~nj" -> revcode "saj" (* saktum *) | "sa~nj" -> revcode "saj" (* saktum *)
| ".dii" -> revcode ".dii" (* .diitum *)
| _ -> perstem | _ -> perstem
] ]
| _ -> perstem | _ -> perstem
...@@ -5276,13 +5277,14 @@ value den_stem_a entry = (* in general transitive Whitney§1059c *) ...@@ -5276,13 +5277,14 @@ value den_stem_a entry = (* in general transitive Whitney§1059c *)
| "kar.na" | "kalafka" | "kalu.sa" | "kavala" | "ku.t.ta" | "kusuma" | "kar.na" | "kalafka" | "kalu.sa" | "kavala" | "ku.t.ta" | "kusuma"
| "kha.da" | "garva" | "gopaa" | "carca" | "cuur.na" | "chala" | "chidra" | "kha.da" | "garva" | "gopaa" | "carca" | "cuur.na" | "chala" | "chidra"
| "tantra" | "tarafga" | "taru.na" | "tuhina" | "da.n.da" | "deva" | "dola" | "tantra" | "tarafga" | "taru.na" | "tuhina" | "da.n.da" | "deva" | "dola"
| "dhiira#1" | "nuutana" | "pa.tapa.taa" | "pallava" | "pavitra" | "paaza" | "dravat" | "dhiira#1" | "nuutana" | "pa.tapa.taa" | "pallava"
| "pi.n.da" | "pulaka" | "puula" | "pratikuula" | "prati.sedha" | "pavitra" | "paaza" | "pi.n.da" | "pulaka" | "puula" | "pratikuula"
| "pradak.si.na" | "prasaada" | "bhi.saj" | "mantra" | "malina" | "mizra" | "prati.sedha" | "pradak.si.na" | "prasaada" | "bhi.saj" | "mantra"
| "mukula" | "mukhara" | "mu.n.da" | "muutra" | "m.rga" | "yantra" | "rasa" | "malina" | "mizra" | "mukula" | "mukhara" | "mu.n.da" | "muutra"
| "ruuk.sa" | "lagha" (* u -> a *) | "var.na" | "vaasa#3" | "vizada" | "m.rga" | "yantra" | "rasa" | "ruuk.sa" | "lagha" (* u -> a *)
| "vra.na" | "zaanta" | "zithila" | "zyena" | ".sa.n.dha" | "sapi.n.da" | "var.na" | "vaasa#3" | "vizada" | "vra.na" | "zaanta" | "zithila"
| "saphala" | "sabhaaja" | "saantva" | "saavadhaana" | "suutra" | "stena" | "zyena" | ".sa.n.dha" | "sapi.n.da" | "saphala" | "sabhaaja" | "saantva"
| "saavadhaana" | "suutra" | "stena"
| "sthaga" | "tapas" (* practice \Pan{3,1,15} *) | "sthaga" | "tapas" (* practice \Pan{3,1,15} *)
| "u.sas" | "namas" | "varivas" (* do \Pan{3,1,19} *) | "u.sas" | "namas" | "varivas" (* do \Pan{3,1,19} *)
| "udan" (* Kale§645 *) | "udan" (* Kale§645 *)
......
ML/version.ml
View file @ c0cef2c8
(**************************************************************************) (**************************************************************************)
(* *) (* *)
(* The Sanskrit Heritage Platform *) (* The Sanskrit Heritage Dictionary Generator *)
(* *) (* *)
(* Gérard Huet & Pawan Goyal *) (* Gérard Huet *)
(* *) (* *)
(* ©2018 Institut National de Recherche en Informatique et en Automatique *) (* ©2018 Institut National de Recherche en Informatique et en Automatique *)
(**************************************************************************) (**************************************************************************)
(* Generated by make version - see main Makefile *) (* Generated by make version - see main Makefile *)
value version="3.05" and version_date="2018-03-15"; value version="3.05" and version_date="2018-04-01";
SETUP/version.txt
View file @ c0cef2c8
VERSION='3.05' VERSION='3.05'
DATE='2018-03-15' DATE='2018-04-01'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment