From 7c327a3598dee43e5454e06513e0da80acd9ce02 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sun, 12 Nov 2006 13:42:50 +0000
Subject: [PATCH] added SymbNum and SymbOrd in Symbol

---
 resource-1.0/mathematical/Symbol.gf        | 2 +-
 resource-1.0/mathematical/SymbolFin.gf     | 3 +++
 resource-1.0/mathematical/SymbolGer.gf     | 4 ++++
 resource-1.0/mathematical/SymbolRomance.gf | 3 +++
 resource-1.0/mathematical/SymbolScand.gf   | 3 +++
 5 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/resource-1.0/mathematical/Symbol.gf b/resource-1.0/mathematical/Symbol.gf
index a198ad28..08137b8f 100644
--- a/resource-1.0/mathematical/Symbol.gf
+++ b/resource-1.0/mathematical/Symbol.gf
@@ -22,7 +22,7 @@ fun
 --2 Symbols as numerals
 
   SymbNum  : Symb -> Num ;               -- n
-  SymbOrd  : Symb -> Num ;               -- n'th
+  SymbOrd  : Symb -> Ord ;               -- n'th
 
 --2 Symbol lists
 
diff --git a/resource-1.0/mathematical/SymbolFin.gf b/resource-1.0/mathematical/SymbolFin.gf
index d5b4542e..142e43f5 100644
--- a/resource-1.0/mathematical/SymbolFin.gf
+++ b/resource-1.0/mathematical/SymbolFin.gf
@@ -18,6 +18,9 @@ lin
 
   SymbS sy = sy ;
 
+  SymbNum n = {s = \\_,_ => n.s ; isNum = True} ;
+  SymbOrd n = {s = \\_,_ => n.s ++ "."} ;
+
 lincat 
 
   Symb, [Symb] = SS ;
diff --git a/resource-1.0/mathematical/SymbolGer.gf b/resource-1.0/mathematical/SymbolGer.gf
index bee704c6..936905fd 100644
--- a/resource-1.0/mathematical/SymbolGer.gf
+++ b/resource-1.0/mathematical/SymbolGer.gf
@@ -17,6 +17,10 @@ lin
     } ;
   SymbS sy = {s = \\_ => sy.s} ;
 
+  SymbNum n = {s = n.s} ;
+  SymbOrd n = {s = \\_   => n.s ++ "."} ;
+
+
 lincat 
 
   Symb, [Symb] = SS ;
diff --git a/resource-1.0/mathematical/SymbolRomance.gf b/resource-1.0/mathematical/SymbolRomance.gf
index c2b07101..eabd3b7d 100644
--- a/resource-1.0/mathematical/SymbolRomance.gf
+++ b/resource-1.0/mathematical/SymbolRomance.gf
@@ -18,6 +18,9 @@ lin
     } ;
   SymbS sy = {s = \\_ => sy.s} ;
 
+  SymbNum n = {s = \\_ => n.s ; isNum = True} ;
+  SymbOrd n = {s = \\_ => n.s ++ "."} ; ---
+
 lincat 
 
   Symb, [Symb] = SS ;
diff --git a/resource-1.0/mathematical/SymbolScand.gf b/resource-1.0/mathematical/SymbolScand.gf
index 958517d7..25d5585f 100644
--- a/resource-1.0/mathematical/SymbolScand.gf
+++ b/resource-1.0/mathematical/SymbolScand.gf
@@ -16,6 +16,9 @@ lin
 
   SymbS sy = {s = \\_ => sy.s} ;
 
+  SymbNum n = {s = \\_ => n.s ; isDet = True} ;
+  SymbOrd n = {s = n.s ++ ":te" ; isDet = True} ; ---
+
 lincat 
 
   Symb, [Symb] = SS ;