summaryrefslogtreecommitdiff
path: root/ratio.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 /ratio.h
parent6ceb2c20056d6cece59791686deeeac312fa6009 (diff)
Allow p=∞ in program and adjust and generalize printing accordingly.
Diffstat (limited to 'ratio.h')
-rw-r--r--ratio.h8
1 files changed, 7 insertions, 1 deletions
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);