drwxr-xr-x root/admin 0 2012-05-12 20:03 ./ drwxr-xr-x root/admin 0 2012-05-12 20:03 ./sw-buildworld/ drwxr-xr-x root/admin 0 2012-05-12 20:03 ./sw-buildworld/include/ -rw-r--r-- root/admin 1299 2012-05-12 20:03 ./sw-buildworld/include/Algorithm.h -rw-r--r-- root/admin 1317 2012-05-12 20:03 ./sw-buildworld/include/BasicCompletion.h -rw-r--r-- root/admin 1397 2012-05-12 20:03 ./sw-buildworld/include/BasicGeneration.h -rw-r--r-- root/admin 1320 2012-05-12 20:03 ./sw-buildworld/include/BasicOptions.h -rw-r--r-- root/admin 1477 2012-05-12 20:03 ./sw-buildworld/include/BasicReduction.h -rw-r--r-- root/admin 15143 2012-05-12 20:03 ./sw-buildworld/include/Binomial.h -rw-r--r-- root/admin 2645 2012-05-12 20:03 ./sw-buildworld/include/BinomialArray.h -rw-r--r-- root/admin 1069 2012-05-12 20:03 ./sw-buildworld/include/BinomialArrayStream.h -rw-r--r-- root/admin 1309 2012-05-12 20:03 ./sw-buildworld/include/BinomialCollection.h -rw-r--r-- root/admin 3028 2012-05-12 20:03 ./sw-buildworld/include/BinomialFactory.h -rw-r--r-- root/admin 3841 2012-05-12 20:03 ./sw-buildworld/include/BinomialSet.h -rw-r--r-- root/admin 1061 2012-05-12 20:03 ./sw-buildworld/include/BinomialSetStream.h -rw-r--r-- root/admin 1066 2012-05-12 20:03 ./sw-buildworld/include/BinomialStream.h -rw-r--r-- root/admin 1082 2012-05-12 20:03 ./sw-buildworld/include/BitSet.h -rw-r--r-- root/admin 1151 2012-05-12 20:03 ./sw-buildworld/include/BitSetStream.h -rw-r--r-- root/admin 2613 2012-05-12 20:03 ./sw-buildworld/include/Bounded.h -rw-r--r-- root/admin 1611 2012-05-12 20:03 ./sw-buildworld/include/CircuitAlgorithm.h -rw-r--r-- root/admin 3598 2012-05-12 20:03 ./sw-buildworld/include/CircuitImplementation.h -rw-r--r-- root/admin 3050 2012-05-12 20:03 ./sw-buildworld/include/CircuitMatrixAlgorithm.h -rw-r--r-- root/admin 1510 2012-05-12 20:03 ./sw-buildworld/include/CircuitOptions.h -rw-r--r-- root/admin 2566 2012-05-12 20:03 ./sw-buildworld/include/CircuitSupportAlgorithm.h -rw-r--r-- root/admin 2644 2012-05-12 20:03 ./sw-buildworld/include/Completion.h -rw-r--r-- root/admin 1240 2012-05-12 20:03 ./sw-buildworld/include/cputime.h -rw-r--r-- root/admin 1316 2012-05-12 20:03 ./sw-buildworld/include/DataType.h -rw-r--r-- root/admin 952 2012-05-12 20:03 ./sw-buildworld/include/Debug.h -rw-r--r-- root/admin 1261 2012-05-12 20:03 ./sw-buildworld/include/defs.h -rw-r--r-- root/admin 1430 2012-05-12 20:03 ./sw-buildworld/include/DiagonalAlgorithm.h -rw-r--r-- root/admin 1158 2012-05-12 20:03 ./sw-buildworld/include/EliminateAlgorithm.h -rw-r--r-- root/admin 1669 2012-05-12 20:03 ./sw-buildworld/include/Euclidean.h -rw-r--r-- root/admin 1240 2012-05-12 20:03 ./sw-buildworld/include/Extract.h -rw-r--r-- root/admin 3254 2012-05-12 20:03 ./sw-buildworld/include/Feasible.h -rw-r--r-- root/admin 1116 2012-05-12 20:03 ./sw-buildworld/include/FeasibleStream.h -rw-r--r-- root/admin 954 2012-05-12 20:03 ./sw-buildworld/include/Filter.h -rw-r--r-- root/admin 1862 2012-05-12 20:03 ./sw-buildworld/include/FilterReduction.h -rw-r--r-- root/admin 1123 2012-05-12 20:03 ./sw-buildworld/include/FlipCompletion.h -rw-r--r-- root/admin 1357 2012-05-12 20:03 ./sw-buildworld/include/GeneratingSet.h -rw-r--r-- root/admin 1416 2012-05-12 20:03 ./sw-buildworld/include/Generation.h -rw-r--r-- root/admin 1561 2012-05-12 20:03 ./sw-buildworld/include/Globals.h -rw-r--r-- root/admin 1019 2012-05-12 20:03 ./sw-buildworld/include/Grading.h -rw-r--r-- root/admin 1565 2012-05-12 20:03 ./sw-buildworld/include/GroebnerBasis.h -rw-r--r-- root/admin 2371 2012-05-12 20:03 ./sw-buildworld/include/HermiteAlgorithm.h -rw-r--r-- root/admin 1742 2012-05-12 20:03 ./sw-buildworld/include/HybridGenSet.h -rw-r--r-- root/admin 942 2012-05-12 20:03 ./sw-buildworld/include/Index.h -rw-r--r-- root/admin 1381 2012-05-12 20:03 ./sw-buildworld/include/indexarray.h -rw-r--r-- root/admin 1055 2012-05-12 20:03 ./sw-buildworld/include/IndexBinomialSet.h -rw-r--r-- root/admin 1262 2012-05-12 20:03 ./sw-buildworld/include/IndexSetConverter.h -rw-r--r-- root/admin 1107 2012-05-12 20:03 ./sw-buildworld/include/lattice.h -rw-r--r-- root/admin 1565 2012-05-12 20:03 ./sw-buildworld/include/LatticeBasis.h -rw-r--r-- root/admin 3814 2012-05-12 20:03 ./sw-buildworld/include/libzsolve.h -rw-r--r-- root/admin 2853 2012-05-12 20:03 ./sw-buildworld/include/linearsystem.h -rw-r--r-- root/admin 17648 2012-05-12 20:03 ./sw-buildworld/include/LongDenseIndexSet.h -rw-r--r-- root/admin 1460 2012-05-12 20:03 ./sw-buildworld/include/LongDenseIndexSetStream.h -rw-r--r-- root/admin 1753 2012-05-12 20:03 ./sw-buildworld/include/Markov.h -rw-r--r-- root/admin 1905 2012-05-12 20:03 ./sw-buildworld/include/matrix.h -rw-r--r-- root/admin 2622 2012-05-12 20:03 ./sw-buildworld/include/MaxMinGenSet.h -rw-r--r-- root/admin 1555 2012-05-12 20:03 ./sw-buildworld/include/Minimize.h -rw-r--r-- root/admin 1338 2012-05-12 20:03 ./sw-buildworld/include/MinimizeOptions.h -rw-r--r-- root/admin 1842 2012-05-12 20:03 ./sw-buildworld/include/OnesReduction.h -rw-r--r-- root/admin 3885 2012-05-12 20:03 ./sw-buildworld/include/OnesTree.h -rw-r--r-- root/admin 2379 2012-05-12 20:03 ./sw-buildworld/include/Optimise.h -rw-r--r-- root/admin 1290 2012-05-12 20:03 ./sw-buildworld/include/Options.h -rw-r--r-- root/admin 945 2012-05-12 20:03 ./sw-buildworld/include/opts.h -rw-r--r-- root/admin 1514 2012-05-12 20:03 ./sw-buildworld/include/OrderedCompletion.h -rw-r--r-- root/admin 1012 2012-05-12 20:03 ./sw-buildworld/include/Permutation.h -rw-r--r-- root/admin 2574 2012-05-12 20:03 ./sw-buildworld/include/ProjectLiftGenSet.h -rw-r--r-- root/admin 1455 2012-05-12 20:03 ./sw-buildworld/include/RayAlgorithm.h -rw-r--r-- root/admin 4639 2012-05-12 20:03 ./sw-buildworld/include/RayImplementation.h -rw-r--r-- root/admin 3172 2012-05-12 20:03 ./sw-buildworld/include/RayMatrixAlgorithm.h -rw-r--r-- root/admin 2507 2012-05-12 20:03 ./sw-buildworld/include/RaySupportAlgorithm.h -rw-r--r-- root/admin 1212 2012-05-12 20:03 ./sw-buildworld/include/Reduction.h -rw-r--r-- root/admin 2831 2012-05-12 20:03 ./sw-buildworld/include/SaturationGenSet.h -rw-r--r-- root/admin 12586 2012-05-12 20:03 ./sw-buildworld/include/ShortDenseIndexSet.h -rw-r--r-- root/admin 1469 2012-05-12 20:03 ./sw-buildworld/include/ShortDenseIndexSetStream.h -rw-r--r-- root/admin 974 2012-05-12 20:03 ./sw-buildworld/include/SignPattern.h -rw-r--r-- root/admin 939 2012-05-12 20:03 ./sw-buildworld/include/Size.h -rw-r--r-- root/admin 3289 2012-05-12 20:03 ./sw-buildworld/include/Statistics.h -rw-r--r-- root/admin 4477 2012-05-12 20:03 ./sw-buildworld/include/SupportTree.h -rw-r--r-- root/admin 1600 2012-05-12 20:03 ./sw-buildworld/include/SyzygyCompletion.h -rw-r--r-- root/admin 1855 2012-05-12 20:03 ./sw-buildworld/include/SyzygyGeneration.h -rw-r--r-- root/admin 2342 2012-05-12 20:03 ./sw-buildworld/include/TermOrder.h -rw-r--r-- root/admin 1211 2012-05-12 20:03 ./sw-buildworld/include/Timer.h -rw-r--r-- root/admin 1049 2012-05-12 20:03 ./sw-buildworld/include/Truncate.h -rw-r--r-- root/admin 1579 2012-05-12 20:03 ./sw-buildworld/include/valuetrees.h -rw-r--r-- root/admin 1952 2012-05-12 20:03 ./sw-buildworld/include/varproperties.h -rw-r--r-- root/admin 1838 2012-05-12 20:03 ./sw-buildworld/include/vector.h -rw-r--r-- root/admin 2188 2012-05-12 20:03 ./sw-buildworld/include/vectorarray.h -rw-r--r-- root/admin 1497 2012-05-12 20:03 ./sw-buildworld/include/VectorArrayStream.h -rw-r--r-- root/admin 1463 2012-05-12 20:03 ./sw-buildworld/include/VectorStream.h -rw-r--r-- root/admin 1767 2012-05-12 20:03 ./sw-buildworld/include/WalkAlgorithm.h -rw-r--r-- root/admin 1314 2012-05-12 20:03 ./sw-buildworld/include/WalkOptions.h -rw-r--r-- root/admin 989 2012-05-12 20:03 ./sw-buildworld/include/Weight.h -rw-r--r-- root/admin 2199 2012-05-12 20:03 ./sw-buildworld/include/WeightAlgorithm.h -rw-r--r-- root/admin 2026 2012-05-12 20:03 ./sw-buildworld/include/WeightedBinomialSet.h -rw-r--r-- root/admin 1972 2012-05-12 20:03 ./sw-buildworld/include/WeightedReduction.h drwxr-xr-x root/admin 0 2012-05-12 20:03 ./sw-buildworld/lib/ -rw-r--r-- root/admin 1003488 2012-05-12 20:03 ./sw-buildworld/lib/lib4ti2gmp.a -rwxr-xr-x root/admin 890 2012-05-12 20:03 ./sw-buildworld/lib/lib4ti2gmp.la -rw-r--r-- root/admin 815104 2012-05-12 20:03 ./sw-buildworld/lib/lib4ti2int32.a -rwxr-xr-x root/admin 826 2012-05-12 20:03 ./sw-buildworld/lib/lib4ti2int32.la -rw-r--r-- root/admin 817944 2012-05-12 20:03 ./sw-buildworld/lib/lib4ti2int64.a -rwxr-xr-x root/admin 826 2012-05-12 20:03 ./sw-buildworld/lib/lib4ti2int64.la -rw-r--r-- root/admin 54760 2012-05-12 20:03 ./sw-buildworld/lib/libzsolve.a -rwxr-xr-x root/admin 787 2012-05-12 20:03 ./sw-buildworld/lib/libzsolve.la drwxr-xr-x root/admin 0 2012-05-12 20:03 ./sw-buildworld/share/ drwxr-xr-x root/admin 0 2012-05-12 20:03 ./sw-buildworld/share/doc/ drwxr-xr-x root/admin 0 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2-dev/ -rw-r--r-- root/admin 17987 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2-dev/COPYING -rw-r--r-- root/admin 1013 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2-dev/NEWS -rw-r--r-- root/admin 2734 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2-dev/README -rw-r--r-- root/admin 3754 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2-dev/TODO