1#!/usr/bin/env sh
2
3frobby=../../bin/frobby
4testhelper=../testScripts/testhelper
5test="$1"
6shift
7
8if [ "$1" = "_full" ];
9then
10  shift;
11
12  # Check -canon agrees with transform on ideal list
13  $testhelper transform $test.irrdecom $test.irrdecom -canon
14  if [ $? != 0 ]; then exit 1; fi
15
16  # Check -canon agrees with transform on ideal
17  $testhelper transform $test.irrdecom_ideal $test.irrdecom_ideal -canon
18  if [ $? != 0 ]; then exit 1; fi
19
20  # Check that taking products relate the two representations.
21  $testhelper transform $test.irrdecom $test.irrdecom_ideal \
22    -product -canon
23  if [ $? != 0 ]; then exit 1; fi
24
25  # Check that intersection is inverse of irrdecom.
26  $frobby transform < `ls $test.*test` > /tmp/$test.test \
27    -canon -minimize 2>/dev/null
28  $testhelper intersect $test.irrdecom /tmp/$test.test -canon
29  if [ $? != 0 ]; then exit 1; fi
30  rm /tmp/$test.test
31fi
32
33$testhelper irrdecom $test.*test $test.irrdecom $* -encode off -canon
34if [ $? != 0 ]; then exit 1; fi
35
36$testhelper irrdecom $test.*test $test.irrdecom_ideal $* -encode on -canon
37if [ $? != 0 ]; then exit 1; fi
38