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;