From 929268a18dd5bedad6a3776a74ad69506c9d7964 Mon Sep 17 00:00:00 2001
From: Takahiro Ueda <tueda@nikhef.nl>
Date: Fri, 14 Apr 2017 18:17:38 +0200
Subject: [PATCH] [test] An example of perm_, given in 31d4b6b

---
 check/examples.frm | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/check/examples.frm b/check/examples.frm
index 5814797b..fd1df7ea 100644
--- a/check/examples.frm
+++ b/check/examples.frm
@@ -975,6 +975,22 @@ assert result("F") =~ expr("
       assert result("F", 1) =~ expr("12345678")
     end
 *--#] Fun_makerational_1 :
+*--#[ Fun_perm_1 :
+    CFunction f;
+    Symbols x1,...,x3;
+    Local F = perm_(f,x1,x2,x3);
+    Print +s;
+    .end
+    assert succeeded?
+    assert result("F") =~ expr("""
+       + f(x1,x2,x3)
+       + f(x1,x3,x2)
+       + f(x2,x1,x3)
+       + f(x2,x3,x1)
+       + f(x3,x1,x2)
+       + f(x3,x2,x1)
+    """)
+*--#] Fun_perm_1 :
 *--#[ Fun_prime_1 :
     Symbols x1,x2,x3,x4;
     ON highfirst;