summaryrefslogtreecommitdiff
path: root/double.h
diff options
context:
space:
mode:
authorJulian Weigt <juw@posteo.de>2026-01-18 13:28:25 +0100
committerJulian Weigt <juw@posteo.de>2026-02-04 15:56:45 +0100
commitb7835be8db1d6d2ef60bbe9e972cb708c0fee8c0 (patch)
tree8d81ca6a69e2fd10762f9fb60b660cd958ff0efc /double.h
parent6ceb2c20056d6cece59791686deeeac312fa6009 (diff)
Allow p=∞ in program and adjust and generalize printing accordingly.
Diffstat (limited to 'double.h')
-rw-r--r--double.h8
1 files changed, 7 insertions, 1 deletions
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);