ported numerals to GF3 and encoded in UTF8; some problematic ones in todo

1 files changed, 204 insertions, 0 deletions

diff --git a/examples/numerals/greek_classical.gf b/examples/numerals/greek_classical.gf
new file mode 100644
index 000000000..3b34e3529
--- /dev/null
+++ b/examples/numerals/greek_classical.gf
@@ -0,0 +1,204 @@
+concrete greek_classical of Numerals = {
+flags coding = utf8 ;
+-- include numerals.Abs.gf ;

+-- flags coding=greek ;

+

+-- Classical Greek (of Athens)

+-- Aarne's transliteration

+-- There are attested variant forms. kai:s between the elements in bigger ->

+-- smaller order is also possible but not common.

+

+param DForm = unit | tkismyr | teen | ten | hund | kisxil | kismyr | 

+              tenkismyr | tenkis ;

+param InterData = indep Order | xiliad | myriad Order ;

+param Tenpart = kis1 | tkis1 ;

+param Size = sg | pl | tenoverpl ;

+param Order = des | asc; 

+lincat Numeral = {s : Str} ;

+

+oper LinDigit = {s : DForm => Str} ;

+oper LinSub1000 = {s : InterData => Str ; size : Size} ;

+

+lincat Numeral =    { s : Str } ;

+lincat Digit = LinDigit ;

+lincat Sub10 = {s : DForm => Str ;

+		size : Size} ;

+lincat Sub100 = {s : InterData => Str ; 

+		 s1 : Tenpart => Str ; 

+		 s2 : Str ;

+		 size : Size} ;

+lincat Sub1000 = LinSub1000 ;

+lincat Sub1000000 = {s : Str} ;

+lin num x0 =

+  {s = [] ++ x0.s ++ []} ;  -- Greek environment

+

+oper mkNum : Str -> Str -> Str -> Str -> Str -> Str -> Str -> LinDigit =

+  \dyo -> \dis -> \dwdekakis -> \dwdeka -> \eikosi -> \diakosioi -> 

+  \eikosakis ->

+             {s = table {unit => dyo ; 

+                    tkismyr => dwdekakis + "μύριοι" ; 

+                    teen => dwdeka ; 

+                    ten => eikosi ; 

+                    hund => diakosioi ; 

+                    kisxil => dis + "χίλιοι" ; 

+                    kismyr => dis + "μύριοι" ;

+                    tenkis => eikosakis ; 

+                    tenkismyr => eikosakis + "μύριοι"} };

+

+lin n2 = mkNum 

+  "δύο" 

+  "δισ" 

+  "δωδεκακισ" 

+  "δώδεκα" 

+  "εἴκοσι" 

+  "διακόσιοι" 

+  "εἰκοσάκισ" ;

+

+lin n3 = mkNum 

+  "τρεῖς" 

+  "τρισ" 

+  "τρεισκαιδεκακισ" 

+  (variants {"τρεῖς" ++ "καὶ" ++ "δέκα" ; "τρεισκαίδεκα"} ) 

+  "τριάκοντα" 

+  "τριακόσιοι" 

+  "τριακοντάκισ" ;

+

+lin n4 = mkNum 

+  "τέτταρες" 

+  "τετρακισ" 

+  "τετταρεσκαιδεκακισ" 

+  (variants {"τέτταρες" ++ "καὶ" ++ "δέκα" ; "τετταρεσκαίδεκα"})  

+  "τετταράκοντα" 

+  "τετρακόσιοι"

+  "τετταρακοντάκισ" ;

+

+lin n5 = mkNum

+  "πέντε"

+  "πεντακισ" 

+  "πεντεκαιδεκακισ" 

+  "πεντεκαίδεκα" 

+  "πεντήκοντα"

+  "πεντακόσιοι" 

+  "πεντηκοντάκισ" ;

+

+lin n6 = mkNum 

+  "ἕξ" 

+  "ἑξακισ" 

+  "ἑκκαιδεκακισ" 

+  "ἑκκαίδεκα" 

+  "ἑξήκοντα"

+  "ἑξακόσιοι" 

+  "ἑξηκοντάκισ" ;

+

+lin n7 = mkNum

+  "ἑπτά"

+  "ἑπτακισ"

+  "ἑπτακαιδεκακισ" 

+  "ἑπτακαίδεκα"  

+  "ἑβδομήκοντα" 

+  "ἑπτακόσιοι" 

+  "ἑβδομηκοντάκισ" ;

+

+lin n8 = mkNum 

+  "ὀκτώ" 

+  "ὀκτακισ"

+  "ὀκτωκαιδεκακισ"

+  "ὀκτωκαίδεκα"

+  "ὀγδοήκοντα"

+  "ὀκτακόσιοι" 

+  "ὀγδοηκοντάκισ" ;

+

+lin n9 = mkNum

+  "ἐννέα" 

+  "ἐνακισ" 

+  "ἐννεακαιδεκακισ" 

+  "ἐννεακαίδεκα" 

+  "ἐνενήκοντα" 

+  "ἐνακόσιοι" 

+  "ἐνενηκοντάκισ" ;

+

+lin pot01  =

+  {s = table {hund => "ἑκατόν" ;

+              kisxil => "χίλιοι" ;

+              kismyr => "ἅπαξ" + "μύριοι" ;

+              _ => "εἵς" } ; 

+   size = sg} ;

+lin pot0 d =

+  {s = d.s ; size = pl} ;

+lin pot110  =

+  {s = table {xiliad => "δψμμυ" ; 

+              (myriad _) => "μύριοι" ;

+              (indep _) => "δέκα" };

+   s1 = table {kis1 => "ἅπαξ" + "μύριοι" ; tkis1 => "ἑνδεκάκισ" + "μύριοι"} ;

+   s2 = [] ;

+   size = tenoverpl} ;

+lin pot111  =

+  {s = table {xiliad => "δψμμυ" ; 

+              (myriad des) => "μύριοι" ++ "χίλιοι" ; 

+              (myriad asc) => "χίλιοι" ++ "καὶ" ++ "μύριοι" ; 

+              (indep _) => "ἕνδεκα" } ;

+   s1 = table {kis1 => "ἅπαξ" + "μύριοι" ; tkis1 => "ἑνδεκάκισ" + "μύριοι"} ;

+   s2 = "χίλιοι" ;

+   size = tenoverpl} ;

+lin pot1to19 d =

+  {s = table {xiliad => "δψμμυ" ; 

+              (myriad des) => "μύριοι" ++ d.s ! kisxil ; 

+	      (myriad asc) => d.s ! kisxil ++ "καὶ" ++ "μύριοι" ;  

+              (indep _) => d.s ! teen } ; 

+   s1 = table {kis1 => "ἅπαξ" + "μύριοι" ; tkis1 => "ἑνδεκάκισ" + "μύριοι" } ;

+   s2 = d.s ! kisxil ; 

+   size = tenoverpl} ;

+lin pot0as1 n =

+  {s = table {xiliad => n.s ! kisxil ; 

+              (indep _) => n.s ! unit ;

+	      (myriad _) => "δψμμυ" } ;

+   s1 = table {_ => []} ;

+   s2 = n.s ! kisxil ;

+   size = n.size} ;

+lin pot1 d =

+  {s = table {xiliad => "δψμμυ" ; 

+	      (myriad _) => d.s ! kismyr ; 

+              (indep _) => d.s ! ten} ;

+   s1 = table {kis1 => d.s ! kismyr ; tkis1 => d.s ! tkismyr } ;

+   s2 = []; 

+   size = tenoverpl} ;

+lin pot1plus d e =

+  {s = table {xiliad => "δψμμυ" ;

+              (myriad des) => d.s ! kismyr ++ e.s ! kisxil ;

+	      (myriad asc) => e.s ! kisxil ++ "καὶ" ++ d.s ! kismyr ; 

+              (indep des) => d.s ! ten ++ e.s ! unit ; 

+              (indep asc) => e.s ! unit ++ "καὶ" ++ d.s ! ten } ; 

+   s1 = table {kis1 => d.s ! kismyr ; tkis1 => d.s ! tkismyr } ;

+   s2 = e.s ! kisxil ;

+   size = tenoverpl} ;

+lin pot1as2 n =

+  {s = n.s ; size = n.size} ;

+lin pot2 d =

+  {s = table {(indep _) => d.s ! hund ; 

+              (myriad _) => d.s ! tenkismyr; 

+              xiliad => "δψμμυ"} ; 

+   size = tenoverpl} ;

+lin pot2plus d e =

+  {s = table {(myriad _) => table {sg => e.s1 ! tkis1 ;

+                                   pl => d.s ! tenkis ++ e.s1 ! kis1 ;

+                                   tenoverpl => "δψμμυ" } ! d.size ++ e.s2 ; 

+              (indep des) => d.s ! hund ++ e.s ! indep des ;

+              (indep asc) => (e.s ! indep asc) ++ "καὶ" ++ d.s ! hund ;

+              xiliad => "δψμμυ" } ; 

+   size = tenoverpl} ;

+

+lin pot2as3 n =

+  {s = variants { n.s ! indep des ; n.s ! indep asc}} ;

+lin pot3 n =

+  {s = variants {(Myr n des) ! n.size ; (Myr n asc) ! n.size} } ;

+lin pot3plus n m =

+  {s = variants {(Myr n des) ! n.size ++ m.s ! indep des; 

+                 m.s ! indep asc ++ "καὶ" ++ (Myr n asc) ! n.size }} ;

+

+oper Myr : LinSub1000 -> Order -> Size => Str = \n -> \order ->

+  table {sg => "χίλιοι" ; 

+         pl => n.s ! xiliad ;

+         tenoverpl => n.s ! myriad order} ;

+

+
+}