1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/usr/bin/env sh
frobby=../../bin/frobby
testhelper=../testScripts/testhelper
test="$1"
shift
if [ "$1" = "_full" ];
then
shift;
# Check -canon agrees with transform and that intersection is minimal.
$testhelper transform $test.intersection $test.intersection \
-minimize -canon
if [ $? != 0 ]; then exit 1; fi
# Check that intersecting the same ideals more times, along with
# other ideals that should contain the intersection, yields the same
# result.
cat $test.*test $test.intersection $test.radical \
$test.minimize $test.*test > /tmp/$test.test
$testhelper intersection /tmp/$test.test $test.intersection $* -canon
if [ $? != 0 ]; then exit 1; fi
# Try again after a canonicalization.
$frobby transform < /tmp/$test.test > /tmp/$test.test2 2>/dev/null
$testhelper intersection /tmp/$test.test2 $test.intersection $* -canon
if [ $? != 0 ]; then exit 1; fi
rm /tmp/$test.test /tmp/$test.test2
fi
$testhelper intersection $test.*test $test.intersection $* -canon
|
