From ba2267a97509007bee489a1c7fdcfdc89b716182 Mon Sep 17 00:00:00 2001
From: Sebastian Gutsche <gutsche@momo.math.rwth-aachen.de>
Date: Wed, 14 Nov 2018 17:29:34 +0100
Subject: [PATCH 1/2] Added functions GetChar and CharValue to libgap api

---
 src/libgap-api.c | 13 +++++++++++++
 src/libgap-api.h |  6 ++++++
 2 files changed, 19 insertions(+)

diff --git a/src/libgap-api.c b/src/libgap-api.c
index 36dea6e2a0..ab016b6fb7 100644
--- a/src/libgap-api.c
+++ b/src/libgap-api.c
@@ -258,3 +258,16 @@ char * GAP_CSTR_STRING(Obj string)
         return 0;
     return CSTR_STRING(string);
 }
+
+Int GAP_ValueOfChar(Obj obj)
+{
+    if (TNUM_OBJ(obj) != T_CHAR) {
+        return -1;
+    }
+    return (Int)CHAR_VALUE(obj);
+}
+
+Obj GAP_CharWithValue(UChar obj)
+{
+    return ObjsChar[obj];
+}
diff --git a/src/libgap-api.h b/src/libgap-api.h
index e08dc41f69..f98f780c10 100644
--- a/src/libgap-api.h
+++ b/src/libgap-api.h
@@ -147,5 +147,11 @@ extern Obj GAP_MakeString(const char * string);
 // terminated C string.
 extern Obj GAP_MakeImmString(const char * string);
 
+// Returns the value of the GAP char <obj>.
+// If <obj> is not a GAP character object, it returns -1.
+extern Int GAP_ValueOfChar(Obj obj);
+
+// Returns the char Obj corresponding to <obj>
+extern Obj GAP_CharWithValue(UChar obj);
 
 #endif

From 4c83545480e57907841a50d9b27f834e87c227b7 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Wed, 14 Nov 2018 21:13:41 +0100
Subject: [PATCH 2/2] Renames from suggestions: GAP char -> GAP character
 object

Co-Authored-By: sebasguts <gutsche@mathematik.uni-siegen.de>
---
 src/libgap-api.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/libgap-api.h b/src/libgap-api.h
index f98f780c10..7dba9509a5 100644
--- a/src/libgap-api.h
+++ b/src/libgap-api.h
@@ -147,11 +147,11 @@ extern Obj GAP_MakeString(const char * string);
 // terminated C string.
 extern Obj GAP_MakeImmString(const char * string);
 
-// Returns the value of the GAP char <obj>.
+// Returns the value of the GAP character object <obj>.
 // If <obj> is not a GAP character object, it returns -1.
 extern Int GAP_ValueOfChar(Obj obj);
 
-// Returns the char Obj corresponding to <obj>
+// Returns the GAP character object with value <obj>.
 extern Obj GAP_CharWithValue(UChar obj);
 
 #endif