# -----------------------------------------------------------------------------
#
# Name: *permute*.tst
#
# Version: 1.0
#
# Creator: miyamoto
#
# Date: 990209
#
# Purpose:
#   Test the permute method on domains, rectdomans and points.
#
# Change Log:
#
# -----------------------------------------------------------------------------

cat > test.ti << '@eof'
// Permute on points

class Test {

  public static void main(String[] args) {
    System.out.print("[1,2] permuted [1,2] = ");
    System.out.println(([1,2]).permute([1,2]).toString());
    System.out.print("[1,2] permuted [2,1] = ");
    System.out.println(([1,2]).permute([2,1]).toString());
  }
}
@eof

cat > stdout.old << '@eof'
[1,2] permuted [1,2] = [1,2]
[1,2] permuted [2,1] = [2,1]
@eof

cat > stderr.old << '@eof'
@eof