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 --- double.h | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'double.h') diff --git a/double.h b/double.h index 303f911..032d994 100644 --- a/double.h +++ b/double.h @@ -7,6 +7,10 @@ double int_to_valuetype(int); double int_to_exptype(double); +double infinity_to_exptype(); + +bool exptype_is_infinite(double); + bool is_greater_certainly(double,double); bool is_greater_possibly(double,double); @@ -27,7 +31,9 @@ double power(double,double); double valuetype_to_double(double); -double exptype_to_double(double); +int exptype_to_string(char*,double); + +int exptype_to_latex(char*,double); int valuetype_to_string(char*,double); -- cgit v1.2.3