Merge pull request #90 from mohabsafey/lifting-gb

Bug fixes and various improvements

INSTALL

@@ -11,7 +11,7 @@ You will need to have autotools installed on your system.
 
 If you are working on a distriubtion (downloaded *.tar.gz)
 ==========================================================
-1. Run `./configure` (possibly with options, see ./configure -h for more
+1. Run `./configure` (possibly with options, see ./configure -help for more
    information).
 2. Run `make` (possibly with CFLAGS and LDFLAGS adjusted).
 3. Run `make check`.

Makefile.am

@@ -30,7 +30,8 @@ checkdiff               = test/diff/diff_cp_d_3_n_4_p_2.sh \
 			  test/diff/diff_one-qq.sh \
 			  test/diff/diff_radical_shape-31.sh \
 			  test/diff/diff_radical_shape-qq.sh \
-			  test/diff/diff_reals_dim0.sh \
+				test/diff/diff_reals_dim0.sh \
+				test/diff/diff_reals_dim0-swapvar.sh \
 			  test/diff/diff_bug_empty_tracer.sh \
 			  test/diff/diff_bug_2nd_prime_bad.sh \
 			  test/diff/diff_bug_68.sh \

configure.ac

@@ -142,6 +142,10 @@ AC_CONFIG_LINKS([
  output_files/reals_dim0.res:output_files/reals_dim0.res
  output_files/reals_dim0.p256.res:output_files/reals_dim0.p256.res
  test/diff/diff_reals_dim0.sh:test/diff/diff_reals_dim0.sh
+ input_files/reals_dim0-swapvar.ms:input_files/reals_dim0-swapvar.ms
+ output_files/reals_dim0-swapvar.res:output_files/reals_dim0-swapvar.res
+ output_files/reals_dim0-swapvar.p256.res:output_files/reals_dim0-swapvar.p256.res
+ test/diff/diff_reals_dim0-swapvar.sh:test/diff/diff_reals_dim0-swapvar.sh
  input_files/bug-empty-tracer.ms:input_files/bug-empty-tracer.ms
  output_files/bug-empty-tracer.res:output_files/bug-empty-tracer.res
  test/diff/diff_bug_empty_tracer.sh:test/diff/diff_bug_empty_tracer.sh

input_files/reals_dim0-swapvar.ms

@@ -0,0 +1,5 @@
+x, y, z
+0
+x-1,
+y^2-4,
+z-3