Skip to content

Commit

Permalink
[test] An example of perm_, given in 31d4b6b
Browse files Browse the repository at this point in the history
  • Loading branch information
tueda committed Apr 14, 2017
1 parent 4e28f92 commit 929268a
Showing 1 changed file with 16 additions and 0 deletions.
16 changes: 16 additions & 0 deletions check/examples.frm
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down

0 comments on commit 929268a

Please sign in to comment.