drwxr-xr-x root/root 0 2010-07-28 11:25 ./ drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/ drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/share/ drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/share/doc/ drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/share/doc/4ti2/ -rw-r--r-- root/root 343 2010-07-28 11:25 ./usr/share/doc/4ti2/copyright -rw-r--r-- root/root 278 2010-07-28 11:25 ./usr/share/doc/4ti2/changelog.Debian.gz drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/local/ drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/local/bin/ -rwxr-xr-x root/root 47649 2010-07-28 11:25 ./usr/local/bin/ppi -rwxr-xr-x root/root 62220 2010-07-28 11:25 ./usr/local/bin/genmodel -rwxr-xr-x root/root 74674 2010-07-28 11:25 ./usr/local/bin/gensymm -rwxr-xr-x root/root 67071 2010-07-28 11:25 ./usr/local/bin/output -rwxr-xr-x root/root 458302 2010-07-28 11:25 ./usr/local/bin/4ti2int32 -rwxr-xr-x root/root 483110 2010-07-28 11:25 ./usr/local/bin/4ti2int64 -rwxr-xr-x root/root 498687 2010-07-28 11:25 ./usr/local/bin/4ti2gmp -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/circuits -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/groebner -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/markov -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/minimize -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/normalform -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/qsolve -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/rays -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/walk -rwxr-xr-x root/root 2369 2010-07-28 11:25 ./usr/local/bin/zbasis -rwxr-xr-x root/root 64345 2010-07-28 11:25 ./usr/local/bin/zsolve -rwxr-xr-x root/root 465 2010-07-28 11:25 ./usr/local/bin/hilbert -rwxr-xr-x root/root 465 2010-07-28 11:25 ./usr/local/bin/graver drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/local/lib/ -rwxr-xr-x root/root 834 2010-07-28 11:25 ./usr/local/lib/lib4ti2int32.la -rw-r--r-- root/root 1114684 2010-07-28 11:25 ./usr/local/lib/lib4ti2int32.a -rwxr-xr-x root/root 834 2010-07-28 11:25 ./usr/local/lib/lib4ti2int64.la -rw-r--r-- root/root 1147594 2010-07-28 11:25 ./usr/local/lib/lib4ti2int64.a -rwxr-xr-x root/root 887 2010-07-28 11:25 ./usr/local/lib/lib4ti2gmp.la -rw-r--r-- root/root 1246518 2010-07-28 11:25 ./usr/local/lib/lib4ti2gmp.a -rwxr-xr-x root/root 818 2010-07-28 11:25 ./usr/local/lib/libzsolve.la -rw-r--r-- root/root 70568 2010-07-28 11:25 ./usr/local/lib/libzsolve.a drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/local/include/ -rw-r--r-- root/root 1299 2010-07-28 11:25 ./usr/local/include/Algorithm.h -rw-r--r-- root/root 1317 2010-07-28 11:25 ./usr/local/include/BasicCompletion.h -rw-r--r-- root/root 1397 2010-07-28 11:25 ./usr/local/include/BasicGeneration.h -rw-r--r-- root/root 1320 2010-07-28 11:25 ./usr/local/include/BasicOptions.h -rw-r--r-- root/root 1477 2010-07-28 11:25 ./usr/local/include/BasicReduction.h -rw-r--r-- root/root 2645 2010-07-28 11:25 ./usr/local/include/BinomialArray.h -rw-r--r-- root/root 1069 2010-07-28 11:25 ./usr/local/include/BinomialArrayStream.h -rw-r--r-- root/root 1309 2010-07-28 11:25 ./usr/local/include/BinomialCollection.h -rw-r--r-- root/root 3028 2010-07-28 11:25 ./usr/local/include/BinomialFactory.h -rw-r--r-- root/root 15143 2010-07-28 11:25 ./usr/local/include/Binomial.h -rw-r--r-- root/root 3841 2010-07-28 11:25 ./usr/local/include/BinomialSet.h -rw-r--r-- root/root 1061 2010-07-28 11:25 ./usr/local/include/BinomialSetStream.h -rw-r--r-- root/root 1066 2010-07-28 11:25 ./usr/local/include/BinomialStream.h -rw-r--r-- root/root 1082 2010-07-28 11:25 ./usr/local/include/BitSet.h -rw-r--r-- root/root 1151 2010-07-28 11:25 ./usr/local/include/BitSetStream.h -rw-r--r-- root/root 2613 2010-07-28 11:25 ./usr/local/include/Bounded.h -rw-r--r-- root/root 1611 2010-07-28 11:25 ./usr/local/include/CircuitAlgorithm.h -rw-r--r-- root/root 3598 2010-07-28 11:25 ./usr/local/include/CircuitImplementation.h -rw-r--r-- root/root 1316 2010-07-28 11:25 ./usr/local/include/DataType.h -rw-r--r-- root/root 3050 2010-07-28 11:25 ./usr/local/include/CircuitMatrixAlgorithm.h -rw-r--r-- root/root 1510 2010-07-28 11:25 ./usr/local/include/CircuitOptions.h -rw-r--r-- root/root 2566 2010-07-28 11:25 ./usr/local/include/CircuitSupportAlgorithm.h -rw-r--r-- root/root 2644 2010-07-28 11:25 ./usr/local/include/Completion.h -rw-r--r-- root/root 952 2010-07-28 11:25 ./usr/local/include/Debug.h -rw-r--r-- root/root 1430 2010-07-28 11:25 ./usr/local/include/DiagonalAlgorithm.h -rw-r--r-- root/root 1158 2010-07-28 11:25 ./usr/local/include/EliminateAlgorithm.h -rw-r--r-- root/root 1669 2010-07-28 11:25 ./usr/local/include/Euclidean.h -rw-r--r-- root/root 1240 2010-07-28 11:25 ./usr/local/include/Extract.h -rw-r--r-- root/root 3254 2010-07-28 11:25 ./usr/local/include/Feasible.h -rw-r--r-- root/root 1116 2010-07-28 11:25 ./usr/local/include/FeasibleStream.h -rw-r--r-- root/root 954 2010-07-28 11:25 ./usr/local/include/Filter.h -rw-r--r-- root/root 1862 2010-07-28 11:25 ./usr/local/include/FilterReduction.h -rw-r--r-- root/root 1123 2010-07-28 11:25 ./usr/local/include/FlipCompletion.h -rw-r--r-- root/root 1357 2010-07-28 11:25 ./usr/local/include/GeneratingSet.h -rw-r--r-- root/root 1416 2010-07-28 11:25 ./usr/local/include/Generation.h -rw-r--r-- root/root 1561 2010-07-28 11:25 ./usr/local/include/Globals.h -rw-r--r-- root/root 1019 2010-07-28 11:25 ./usr/local/include/Grading.h -rw-r--r-- root/root 1565 2010-07-28 11:25 ./usr/local/include/GroebnerBasis.h -rw-r--r-- root/root 2371 2010-07-28 11:25 ./usr/local/include/HermiteAlgorithm.h -rw-r--r-- root/root 1742 2010-07-28 11:25 ./usr/local/include/HybridGenSet.h -rw-r--r-- root/root 1055 2010-07-28 11:25 ./usr/local/include/IndexBinomialSet.h -rw-r--r-- root/root 942 2010-07-28 11:25 ./usr/local/include/Index.h -rw-r--r-- root/root 1262 2010-07-28 11:25 ./usr/local/include/IndexSetConverter.h -rw-r--r-- root/root 1565 2010-07-28 11:25 ./usr/local/include/LatticeBasis.h -rw-r--r-- root/root 17648 2010-07-28 11:25 ./usr/local/include/LongDenseIndexSet.h -rw-r--r-- root/root 1460 2010-07-28 11:25 ./usr/local/include/LongDenseIndexSetStream.h -rw-r--r-- root/root 1753 2010-07-28 11:25 ./usr/local/include/Markov.h -rw-r--r-- root/root 2622 2010-07-28 11:25 ./usr/local/include/MaxMinGenSet.h -rw-r--r-- root/root 1555 2010-07-28 11:25 ./usr/local/include/Minimize.h -rw-r--r-- root/root 1338 2010-07-28 11:25 ./usr/local/include/MinimizeOptions.h -rw-r--r-- root/root 1842 2010-07-28 11:25 ./usr/local/include/OnesReduction.h -rw-r--r-- root/root 3885 2010-07-28 11:25 ./usr/local/include/OnesTree.h -rw-r--r-- root/root 2379 2010-07-28 11:25 ./usr/local/include/Optimise.h -rw-r--r-- root/root 1290 2010-07-28 11:25 ./usr/local/include/Options.h -rw-r--r-- root/root 1514 2010-07-28 11:25 ./usr/local/include/OrderedCompletion.h -rw-r--r-- root/root 1012 2010-07-28 11:25 ./usr/local/include/Permutation.h -rw-r--r-- root/root 2574 2010-07-28 11:25 ./usr/local/include/ProjectLiftGenSet.h -rw-r--r-- root/root 1455 2010-07-28 11:25 ./usr/local/include/RayAlgorithm.h -rw-r--r-- root/root 4639 2010-07-28 11:25 ./usr/local/include/RayImplementation.h -rw-r--r-- root/root 1212 2010-07-28 11:25 ./usr/local/include/Reduction.h -rw-r--r-- root/root 3172 2010-07-28 11:25 ./usr/local/include/RayMatrixAlgorithm.h -rw-r--r-- root/root 2507 2010-07-28 11:25 ./usr/local/include/RaySupportAlgorithm.h -rw-r--r-- root/root 2831 2010-07-28 11:25 ./usr/local/include/SaturationGenSet.h -rw-r--r-- root/root 12586 2010-07-28 11:25 ./usr/local/include/ShortDenseIndexSet.h -rw-r--r-- root/root 1469 2010-07-28 11:25 ./usr/local/include/ShortDenseIndexSetStream.h -rw-r--r-- root/root 974 2010-07-28 11:25 ./usr/local/include/SignPattern.h -rw-r--r-- root/root 939 2010-07-28 11:25 ./usr/local/include/Size.h -rw-r--r-- root/root 3289 2010-07-28 11:25 ./usr/local/include/Statistics.h -rw-r--r-- root/root 4477 2010-07-28 11:25 ./usr/local/include/SupportTree.h -rw-r--r-- root/root 1600 2010-07-28 11:25 ./usr/local/include/SyzygyCompletion.h -rw-r--r-- root/root 1855 2010-07-28 11:25 ./usr/local/include/SyzygyGeneration.h -rw-r--r-- root/root 2342 2010-07-28 11:25 ./usr/local/include/TermOrder.h -rw-r--r-- root/root 1211 2010-07-28 11:25 ./usr/local/include/Timer.h -rw-r--r-- root/root 1049 2010-07-28 11:25 ./usr/local/include/Truncate.h -rw-r--r-- root/root 7031 2010-07-28 11:25 ./usr/local/include/VectorArray.h -rw-r--r-- root/root 1497 2010-07-28 11:25 ./usr/local/include/VectorArrayStream.h -rw-r--r-- root/root 15856 2010-07-28 11:25 ./usr/local/include/Vector.h -rw-r--r-- root/root 1463 2010-07-28 11:25 ./usr/local/include/VectorStream.h -rw-r--r-- root/root 1767 2010-07-28 11:25 ./usr/local/include/WalkAlgorithm.h -rw-r--r-- root/root 1314 2010-07-28 11:25 ./usr/local/include/WalkOptions.h -rw-r--r-- root/root 2199 2010-07-28 11:25 ./usr/local/include/WeightAlgorithm.h -rw-r--r-- root/root 2026 2010-07-28 11:25 ./usr/local/include/WeightedBinomialSet.h -rw-r--r-- root/root 1972 2010-07-28 11:25 ./usr/local/include/WeightedReduction.h -rw-r--r-- root/root 989 2010-07-28 11:25 ./usr/local/include/Weight.h -rw-r--r-- root/root 1240 2010-07-28 11:25 ./usr/local/include/cputime.h -rw-r--r-- root/root 1261 2010-07-28 11:25 ./usr/local/include/defs.h -rw-r--r-- root/root 1381 2010-07-28 11:25 ./usr/local/include/indexarray.h -rw-r--r-- root/root 1107 2010-07-28 11:25 ./usr/local/include/lattice.h -rw-r--r-- root/root 3814 2010-07-28 11:25 ./usr/local/include/libzsolve.h -rw-r--r-- root/root 2853 2010-07-28 11:25 ./usr/local/include/linearsystem.h -rw-r--r-- root/root 1905 2010-07-28 11:25 ./usr/local/include/matrix.h -rw-r--r-- root/root 945 2010-07-28 11:25 ./usr/local/include/opts.h -rw-r--r-- root/root 1579 2010-07-28 11:25 ./usr/local/include/valuetrees.h -rw-r--r-- root/root 1952 2010-07-28 11:25 ./usr/local/include/varproperties.h -rw-r--r-- root/root 2188 2010-07-28 11:25 ./usr/local/include/vectorarray.h -rw-r--r-- root/root 1838 2010-07-28 11:25 ./usr/local/include/vector.h drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/local/share/ drwxr-xr-x root/root 0 2010-07-28 11:25 ./usr/local/share/4ti2/ -rw-r--r-- root/root 180189 2010-07-28 11:25 ./usr/local/share/4ti2/4ti2_manual.pdf