Arthur C. Norman 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
..
README 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
applysym.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
applysym.rlg 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
applysym.tex 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
applysym.tst 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conca.tex 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw.rlg 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw.tex 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw.tst 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw.txt 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw0.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw1.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw2.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
conlaw3.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crack.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crack.tex 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crdec.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crequsol.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crgensep.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crinit.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crint.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crintfix.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crmain.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crorder.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crsep.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crshort.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crsimp.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crsimpso.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crstart.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
crutil.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
liepde.red 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
liepde.rlg 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
liepde.tex 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
liepde.tst 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前
liepde.txt 7560dcb3a3 Some historical releases purely for archival purposes 13 年之前

README

This directory contains a suite of four packages: crack, applysym,
liepde and conlaw. The last three all call crack, which is
essentially a library of routines, and hence automatically load crack.
Beware that the liepde and conlaw test files take quite a lot of
computing resource.

Note that Thomas Wolf used PSL-REDUCE 3.6 when writing his code, and I
have ported it to CSL where necessary. I have tested the suite using
both CSL and PSL (under Windows 95). The distributed log files were
run using CSL, but PSL produces equivalent results. Also, there is
currently no crack.tst file, but crack is indirectly tested by the
other three test files.

FJW, 16 July 1998