From d4543796b26ddb9cda1dba40f4391ea56f7d83c5 Mon Sep 17 00:00:00 2001
From: Doug Torrance <dtorrance@piedmont.edu>
Date: Wed, 18 Sep 2024 16:06:36 -0400
Subject: [PATCH] Use canned example for randomBinaryForm

This example has bee known to fail on systems that don't have
QEPCAD (e.g., the macOS GitHub builds).
---
 .../CoincidentRootLoci/documentation.m2       | 55 ++++++++++++++++++-
 1 file changed, 54 insertions(+), 1 deletion(-)

diff --git a/M2/Macaulay2/packages/CoincidentRootLoci/documentation.m2 b/M2/Macaulay2/packages/CoincidentRootLoci/documentation.m2
index f7e7f45d92a..a0574422aed 100644
--- a/M2/Macaulay2/packages/CoincidentRootLoci/documentation.m2
+++ b/M2/Macaulay2/packages/CoincidentRootLoci/documentation.m2
@@ -330,7 +330,60 @@ randomBinaryForm(d,r,)
 randomBinaryForm(d,,c)", 
 Inputs => {"d" => ZZ,"r" => ZZ,"c" => ZZ}, 
 Outputs => {RingElement => {"a random binary form of degree ",TT"d",", real rank ",TT "r"," and complex rank ",TT "c"}},
-EXAMPLE {"F = randomBinaryForm 5","F = randomBinaryForm(5,4,3)","(realrank F,complexrank F)","F = randomBinaryForm(6,4,4)","(realrank F,complexrank F)",},
+EXAMPLE { PRE ///i1 : F = randomBinaryForm 5
+
+        5     4       3 2     2 3       4     5
+o1 = 18t  + 2t t  + 9t t  + 2t t  + 4t t  + 3t
+        0     0 1     0 1     0 1     0 1     1
+
+o1 : QQ[t ..t ]
+         0   1
+
+i2 : F = randomBinaryForm(5,4,3)
+
+               5              4                3 2              2 3  
+o2 = 209884591t  - 1249398325t t  + 2795829750t t  - 2971862250t t  +
+               0              0 1              0 1              0 1  
+     ------------------------------------------------------------------------
+                  4             5
+     1613878875t t  - 366993425t
+                0 1             1
+
+o2 : QQ[t ..t ]
+         0   1
+
+i3 : (realrank F,complexrank F)
+
+o3 = (4, 3)
+
+o3 : Sequence
+
+i4 : F = randomBinaryForm(6,4,4)
+
+                         6                       5    
+o4 = 1230199624506159891t  - 5175463851202866480t t  +
+                         0                       0 1  
+     ------------------------------------------------------------------------
+                          4 2                        3 3  
+     10338793433232831000t t  - 12367324363544640000t t  +
+                          0 1                        0 1  
+     ------------------------------------------------------------------------
+                         2 4                         5  
+     9222909060317400000t t  - 4370569934562783000t t  +
+                         0 1                       0 1  
+     ------------------------------------------------------------------------
+                         6
+     1233040823578529525t
+                         1
+
+o4 : QQ[t ..t ]
+         0   1
+
+i5 : (realrank F,complexrank F)
+
+o5 = (4, 4)
+
+o5 : Sequence///},
 SeeAlso => {realrank,complexrank}}
 document { 
 Key => {realroots,(realroots,RingElement)},