From b7835be8db1d6d2ef60bbe9e972cb708c0fee8c0 Mon Sep 17 00:00:00 2001 From: Julian Weigt Date: Sun, 18 Jan 2026 13:28:25 +0100 Subject: =?UTF-8?q?Allow=20p=3D=E2=88=9E=20in=20program=20and=20adjust=20a?= =?UTF-8?q?nd=20generalize=20printing=20accordingly.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ratio.h | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'ratio.h') diff --git a/ratio.h b/ratio.h index 87e210d..d17f0ae 100644 --- a/ratio.h +++ b/ratio.h @@ -9,6 +9,10 @@ rational int_to_valuetype(int); unsigned int int_to_exptype(unsigned int); +unsigned int infinity_to_exptype(); + +bool exptype_is_infinite(unsigned int); + bool is_greater_certainly(rational,rational); bool is_greater_possibly(rational,rational); @@ -29,7 +33,9 @@ rational power(rational,unsigned int); double valuetype_to_double(rational); -double exptype_to_double(int); +int exptype_to_string(char*,unsigned int); + +int exptype_to_latex(char*,unsigned int); int valuetype_to_string(char*,rational r); -- cgit v1.2.3