blob: 9e76e5654e40241cb91807d0e9bd6e4abe0a5f6c [file] [log] [blame]
/* permutation/test.c
*
* Copyright (C) 2000 Brian Gough
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or (at
* your option) any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
*/
#include <config.h>
#include <stdlib.h>
#include <stdio.h>
#include <math.h>
#include <gsl/gsl_permutation.h>
#include <gsl/gsl_permute_double.h>
#include <gsl/gsl_test.h>
#include <gsl/gsl_ieee_utils.h>
unsigned int p5[120][5] = {
{0, 1, 2, 3, 4}, {0, 1, 2, 4, 3}, {0, 1, 3, 2, 4}, {0, 1, 3, 4, 2},
{0, 1, 4, 2, 3}, {0, 1, 4, 3, 2}, {0, 2, 1, 3, 4}, {0, 2, 1, 4, 3},
{0, 2, 3, 1, 4}, {0, 2, 3, 4, 1}, {0, 2, 4, 1, 3}, {0, 2, 4, 3, 1},
{0, 3, 1, 2, 4}, {0, 3, 1, 4, 2}, {0, 3, 2, 1, 4}, {0, 3, 2, 4, 1},
{0, 3, 4, 1, 2}, {0, 3, 4, 2, 1}, {0, 4, 1, 2, 3}, {0, 4, 1, 3, 2},
{0, 4, 2, 1, 3}, {0, 4, 2, 3, 1}, {0, 4, 3, 1, 2}, {0, 4, 3, 2, 1},
{1, 0, 2, 3, 4}, {1, 0, 2, 4, 3}, {1, 0, 3, 2, 4}, {1, 0, 3, 4, 2},
{1, 0, 4, 2, 3}, {1, 0, 4, 3, 2}, {1, 2, 0, 3, 4}, {1, 2, 0, 4, 3},
{1, 2, 3, 0, 4}, {1, 2, 3, 4, 0}, {1, 2, 4, 0, 3}, {1, 2, 4, 3, 0},
{1, 3, 0, 2, 4}, {1, 3, 0, 4, 2}, {1, 3, 2, 0, 4}, {1, 3, 2, 4, 0},
{1, 3, 4, 0, 2}, {1, 3, 4, 2, 0}, {1, 4, 0, 2, 3}, {1, 4, 0, 3, 2},
{1, 4, 2, 0, 3}, {1, 4, 2, 3, 0}, {1, 4, 3, 0, 2}, {1, 4, 3, 2, 0},
{2, 0, 1, 3, 4}, {2, 0, 1, 4, 3}, {2, 0, 3, 1, 4}, {2, 0, 3, 4, 1},
{2, 0, 4, 1, 3}, {2, 0, 4, 3, 1}, {2, 1, 0, 3, 4}, {2, 1, 0, 4, 3},
{2, 1, 3, 0, 4}, {2, 1, 3, 4, 0}, {2, 1, 4, 0, 3}, {2, 1, 4, 3, 0},
{2, 3, 0, 1, 4}, {2, 3, 0, 4, 1}, {2, 3, 1, 0, 4}, {2, 3, 1, 4, 0},
{2, 3, 4, 0, 1}, {2, 3, 4, 1, 0}, {2, 4, 0, 1, 3}, {2, 4, 0, 3, 1},
{2, 4, 1, 0, 3}, {2, 4, 1, 3, 0}, {2, 4, 3, 0, 1}, {2, 4, 3, 1, 0},
{3, 0, 1, 2, 4}, {3, 0, 1, 4, 2}, {3, 0, 2, 1, 4}, {3, 0, 2, 4, 1},
{3, 0, 4, 1, 2}, {3, 0, 4, 2, 1}, {3, 1, 0, 2, 4}, {3, 1, 0, 4, 2},
{3, 1, 2, 0, 4}, {3, 1, 2, 4, 0}, {3, 1, 4, 0, 2}, {3, 1, 4, 2, 0},
{3, 2, 0, 1, 4}, {3, 2, 0, 4, 1}, {3, 2, 1, 0, 4}, {3, 2, 1, 4, 0},
{3, 2, 4, 0, 1}, {3, 2, 4, 1, 0}, {3, 4, 0, 1, 2}, {3, 4, 0, 2, 1},
{3, 4, 1, 0, 2}, {3, 4, 1, 2, 0}, {3, 4, 2, 0, 1}, {3, 4, 2, 1, 0},
{4, 0, 1, 2, 3}, {4, 0, 1, 3, 2}, {4, 0, 2, 1, 3}, {4, 0, 2, 3, 1},
{4, 0, 3, 1, 2}, {4, 0, 3, 2, 1}, {4, 1, 0, 2, 3}, {4, 1, 0, 3, 2},
{4, 1, 2, 0, 3}, {4, 1, 2, 3, 0}, {4, 1, 3, 0, 2}, {4, 1, 3, 2, 0},
{4, 2, 0, 1, 3}, {4, 2, 0, 3, 1}, {4, 2, 1, 0, 3}, {4, 2, 1, 3, 0},
{4, 2, 3, 0, 1}, {4, 2, 3, 1, 0}, {4, 3, 0, 1, 2}, {4, 3, 0, 2, 1},
{4, 3, 1, 0, 2}, {4, 3, 1, 2, 0}, {4, 3, 2, 0, 1}, {4, 3, 2, 1, 0}
} ;
unsigned int c5[120][5] = {
{4, 3, 2, 1, 0}, {3, 4, 2, 1, 0}, {4, 2, 3, 1, 0}, {2, 3, 4, 1, 0},
{2, 4, 3, 1, 0}, {3, 2, 4, 1, 0}, {4, 3, 1, 2, 0}, {3, 4, 1, 2, 0},
{4, 1, 2, 3, 0}, {1, 2, 3, 4, 0}, {1, 2, 4, 3, 0}, {3, 1, 2, 4, 0},
{4, 1, 3, 2, 0}, {1, 3, 4, 2, 0}, {4, 2, 1, 3, 0}, {2, 1, 3, 4, 0},
{2, 4, 1, 3, 0}, {1, 3, 2, 4, 0}, {1, 4, 3, 2, 0}, {3, 1, 4, 2, 0},
{2, 1, 4, 3, 0}, {3, 2, 1, 4, 0}, {1, 4, 2, 3, 0}, {2, 3, 1, 4, 0},
{4, 3, 2, 0, 1}, {3, 4, 2, 0, 1}, {4, 2, 3, 0, 1}, {2, 3, 4, 0, 1},
{2, 4, 3, 0, 1}, {3, 2, 4, 0, 1}, {4, 3, 0, 1, 2}, {3, 4, 0, 1, 2},
{4, 0, 1, 2, 3}, {0, 1, 2, 3, 4}, {0, 1, 2, 4, 3}, {3, 0, 1, 2, 4},
{4, 0, 1, 3, 2}, {0, 1, 3, 4, 2}, {4, 2, 0, 1, 3}, {2, 0, 1, 3, 4},
{2, 4, 0, 1, 3}, {0, 1, 3, 2, 4}, {0, 1, 4, 3, 2}, {3, 0, 1, 4, 2},
{2, 0, 1, 4, 3}, {3, 2, 0, 1, 4}, {0, 1, 4, 2, 3}, {2, 3, 0, 1, 4},
{4, 3, 0, 2, 1}, {3, 4, 0, 2, 1}, {4, 0, 2, 3, 1}, {0, 2, 3, 4, 1},
{0, 2, 4, 3, 1}, {3, 0, 2, 4, 1}, {4, 3, 1, 0, 2}, {3, 4, 1, 0, 2},
{4, 1, 0, 2, 3}, {1, 0, 2, 3, 4}, {1, 0, 2, 4, 3}, {3, 1, 0, 2, 4},
{4, 1, 3, 0, 2}, {1, 3, 4, 0, 2}, {4, 0, 2, 1, 3}, {0, 2, 1, 3, 4},
{0, 2, 4, 1, 3}, {1, 3, 0, 2, 4}, {1, 4, 3, 0, 2}, {3, 1, 4, 0, 2},
{0, 2, 1, 4, 3}, {3, 0, 2, 1, 4}, {1, 4, 0, 2, 3}, {0, 2, 3, 1, 4},
{4, 0, 3, 2, 1}, {0, 3, 4, 2, 1}, {4, 2, 0, 3, 1}, {2, 0, 3, 4, 1},
{2, 4, 0, 3, 1}, {0, 3, 2, 4, 1}, {4, 1, 0, 3, 2}, {1, 0, 3, 4, 2},
{4, 2, 1, 0, 3}, {2, 1, 0, 3, 4}, {2, 4, 1, 0, 3}, {1, 0, 3, 2, 4},
{4, 0, 3, 1, 2}, {0, 3, 4, 1, 2}, {4, 1, 2, 0, 3}, {1, 2, 0, 3, 4},
{1, 2, 4, 0, 3}, {0, 3, 1, 2, 4}, {0, 3, 1, 4, 2}, {1, 4, 0, 3, 2},
{1, 4, 2, 0, 3}, {0, 3, 2, 1, 4}, {2, 1, 4, 0, 3}, {2, 0, 3, 1, 4},
{0, 4, 3, 2, 1}, {3, 0, 4, 2, 1}, {2, 0, 4, 3, 1}, {3, 2, 0, 4, 1},
{0, 4, 2, 3, 1}, {2, 3, 0, 4, 1}, {1, 0, 4, 3, 2}, {3, 1, 0, 4, 2},
{2, 1, 0, 4, 3}, {3, 2, 1, 0, 4}, {1, 0, 4, 2, 3}, {2, 3, 1, 0, 4},
{0, 4, 3, 1, 2}, {3, 0, 4, 1, 2}, {1, 2, 0, 4, 3}, {3, 1, 2, 0, 4},
{0, 4, 1, 2, 3}, {1, 2, 3, 0, 4}, {1, 3, 0, 4, 2}, {0, 4, 1, 3, 2},
{0, 4, 2, 1, 3}, {1, 3, 2, 0, 4}, {2, 0, 4, 1, 3}, {2, 1, 3, 0, 4}
} ;
unsigned int cycles[120] = {
5, 4, 4, 3, 3, 4, 4, 3, 3, 2,
2, 3, 3, 2, 4, 3, 3, 2, 2, 3,
3, 4, 2, 3, 4, 3, 3, 2, 2, 3,
3, 2, 2, 1, 1, 2, 2, 1, 3, 2,
2, 1, 1, 2, 2, 3, 1, 2, 3, 2,
2, 1, 1, 2, 4, 3, 3, 2, 2, 3,
3, 2, 2, 1, 1, 2, 2, 3, 1, 2,
2, 1, 2, 1, 3, 2, 2, 1, 3, 2,
4, 3, 3, 2, 2, 1, 3, 2, 2, 1,
1, 2, 2, 1, 3, 2, 1, 2, 2, 3,
1, 2, 2, 3, 3, 4, 2, 3, 1, 2,
2, 3, 1, 2, 2, 1, 1, 2, 2, 3
} ;
unsigned int inversions[120] = {
0, 1, 1, 2, 2, 3, 1, 2, 2, 3,
3, 4, 2, 3, 3, 4, 4, 5, 3, 4,
4, 5, 5, 6, 1, 2, 2, 3, 3, 4,
2, 3, 3, 4, 4, 5, 3, 4, 4, 5,
5, 6, 4, 5, 5, 6, 6, 7, 2, 3,
3, 4, 4, 5, 3, 4, 4, 5, 5, 6,
4, 5, 5, 6, 6, 7, 5, 6, 6, 7,
7, 8, 3, 4, 4, 5, 5, 6, 4, 5,
5, 6, 6, 7, 5, 6, 6, 7, 7, 8,
6, 7, 7, 8, 8, 9, 4, 5, 5, 6,
6, 7, 5, 6, 6, 7, 7, 8, 6, 7,
7, 8, 8, 9, 7, 8, 8, 9, 9, 10
} ;
int
main (void)
{
gsl_ieee_env_setup ();
{
int i = 0, j, status = 0;
gsl_permutation * p ;
p = gsl_permutation_alloc (5);
gsl_permutation_init (p);
do
{
for (j = 0; j < 5; j++)
{
status |= (p->data[j] != p5[i][j]);
}
i++;
}
while (gsl_permutation_next(p) == GSL_SUCCESS);
gsl_test(status, "gsl_permutation_next, 5-th order permutation, 120 steps");
do
{
i--;
for (j = 0; j < 5; j++)
{
status |= (p->data[j] != p5[i][j]);
}
}
while (gsl_permutation_prev(p) == GSL_SUCCESS);
gsl_test(status, "gsl_permutation_prev, 5-th order permutation, 120 steps");
gsl_permutation_free (p);
}
#ifdef JUNK
{
int i;
int status = 0 ;
gsl_permutation * p1 = gsl_permutation_alloc (5);
gsl_permutation * p2 = gsl_permutation_alloc (5);
gsl_permutation * p = gsl_permutation_alloc (5);
double v[5] = { 100.0, 101.0, 102.0, 103.0, 104.0 } ;
gsl_permutation_init (p1);
do
{
gsl_permutation_init (p2);
do
{
double x[5], y[5];
/* Compute x= p1 p2 v */
memcpy (x, v, 5 * sizeof(double));
gsl_permute (p2->data, x, 1, 5);
gsl_permute (p1->data, x, 1, 5);
/* Compute P= p1 p2, y = P v */
gsl_permutation_mul (p, p1, p2);
memcpy (y, v, 5 * sizeof(double));
gsl_permute (p->data, y, 1, 5);
for (i = 0; i < 5; i++)
{
if (x[i] != y[i])
status = 1;
}
if (status == 1)
break;
}
while (gsl_permutation_next(p2) == GSL_SUCCESS);
if (status == 1)
break;
}
while (gsl_permutation_next(p1) == GSL_SUCCESS);
gsl_permutation_free (p1);
gsl_permutation_free (p2);
gsl_permutation_free (p);
gsl_test(status, "gsl_permutation_mul, all 5-th order combinations");
}
#endif
/* testing cycles representations */
{
int i = 0, j, status = 0;
gsl_permutation * p = gsl_permutation_alloc (5);
gsl_permutation * plin = gsl_permutation_alloc (5);
gsl_permutation * pcan = gsl_permutation_alloc (5);
gsl_permutation_init (p);
do
{
gsl_permutation_memcpy (plin, p);
for (j = 0; j < 5; j++)
{
pcan->data[j] = 0;
}
gsl_permutation_linear_to_canonical (pcan, plin);
for (j = 0; j < 5; j++)
{
status |= (pcan->data[j] != c5[i][j]);
}
status |= (gsl_permutation_canonical_cycles (pcan) != cycles[i]);
status |= (gsl_permutation_linear_cycles (plin) != cycles[i]);
for (j = 0; j < 5; j++)
{
plin->data[j] = 0;
}
gsl_permutation_canonical_to_linear (plin, pcan);
for (j = 0; j < 5; j++)
{
status |= (plin->data[j] != p5[i][j]);
}
i++;
}
while (gsl_permutation_next(p) == GSL_SUCCESS);
gsl_permutation_free (p);
gsl_permutation_free (plin);
gsl_permutation_free (pcan);
gsl_test (status, "gsl_permutation canonical conversion, 5-th order permutation, 120 steps");
}
/* testing number of inversions */
{
int i = 0, status = 0;
gsl_permutation * p = gsl_permutation_alloc (5);
gsl_permutation_init (p);
do
{
status |= gsl_permutation_inversions (p) != inversions[i];
i++;
}
while (gsl_permutation_next(p) == GSL_SUCCESS);
gsl_permutation_free (p);
gsl_test (status, "gsl_permutation_inversions, 5-th order permutation, 120 steps");
}
exit (gsl_test_summary());
}