Add example for maxDouble

55274a40 · Hans-Peter Deifel · 9c7f1d17 · 55274a40 · 55274a40
Commit 55274a40 authored 6 years ago by Hans-Peter Deifel
--- a/examples/max-real-monoid
+++ b/examples/max-real-monoid
+(ℝ, max)^X
+
+x: {x: 1.1, y: 3.3}
+y: {x: 2.5, y: 2.5}
+z: {x: -5.7, y: 3.3, z: 1.1}
--- a/examples/max-real-monoid.out
+++ b/examples/max-real-monoid.out
+Block 0: x, z
+Block 1: y