diff options
| author | Julian Weigt <juw@posteo.de> | 2026-01-18 13:28:25 +0100 |
|---|---|---|
| committer | Julian Weigt <juw@posteo.de> | 2026-02-04 15:56:45 +0100 |
| commit | b7835be8db1d6d2ef60bbe9e972cb708c0fee8c0 (patch) | |
| tree | 8d81ca6a69e2fd10762f9fb60b660cd958ff0efc /double.h | |
| parent | 6ceb2c20056d6cece59791686deeeac312fa6009 (diff) | |
Allow p=∞ in program and adjust and generalize printing accordingly.
Diffstat (limited to 'double.h')
| -rw-r--r-- | double.h | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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); |
