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