summaryrefslogtreecommitdiff
path: root/charf.c
diff options
context:
space:
mode:
authorJulian Weigt <juw@posteo.de>2026-01-19 15:09:22 +0100
committerJulian Weigt <juw@posteo.de>2026-02-04 15:56:58 +0100
commit96306e5ceb254cecd596a98fe9393d00f1039027 (patch)
tree60b99a5cb52a7ab8ae88bb50ccdc9f8a31e2dd57 /charf.c
parent728eaa21b765ecbf1ba4c0cbb8bb0f39ea7e5e05 (diff)
Add commented out commands to print also maximal function.
Diffstat (limited to 'charf.c')
-rw-r--r--charf.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/charf.c b/charf.c
index e882863..cd0ef32 100644
--- a/charf.c
+++ b/charf.c
@@ -217,6 +217,17 @@ void format_result(char* s, int index, int k, EXPTYPE p, VALUETYPE r, int format
exptype_to_string(e,p);
root_to_string(rts,r,p);
l += sprintf(s+l,"|f^(%2d)|_%s: %s",k,e,rts);
+ /*Compute and print also Mf.*/
+ /*
+ VALUETYPE Mf[N];
+ compute_maximalfunction(f, Mf, d);
+ l += sprintf(s+l,"\nMf: ");
+ for(int i=0; i<d; i++){
+ char v[8];
+ valuetype_to_string(v,Mf[i]);
+ l += sprintf(s+l,"%s ",v);
+ }
+ */
}
else if(format == FORMAT_LATEX){
int l = 0;