Changeset 1 in CGBLisp for src

Timestamp:

Jan 25, 2009, 7:43:43 PM (17 years ago)

Author:

Marek Rychlik

Message:

First import of a version circa 1997.

Location:

src

Files:

• . (added)
• ChangeLog (added)
• DEAD_CODE (added)
• DEAD_CODE/sugar.lisp (added)
• RCS (added)
• RCS/cgb-lisp.lisp,v (added)
• RCS/cgb.asd,v (added)
• RCS/coefficient-ring.lisp,v (added)
• RCS/colored-poly.lisp,v (added)
• RCS/division.lisp,v (added)
• RCS/dynamics.lisp,v (added)
• RCS/example.lisp,v (added)
• RCS/grobner.lisp,v (added)
• RCS/infix.lisp,v (added)
• RCS/make-cgb.lisp,v (added)
• RCS/makelist.lisp,v (added)
• RCS/modular-poly.lisp,v (added)
• RCS/modular.lisp,v (added)
• RCS/monom.lisp,v (added)
• RCS/order.lisp,v (added)
• RCS/parse.lisp,v (added)
• RCS/poly-gcd.lisp,v (added)
• RCS/poly-with-sugar.lisp,v (added)
• RCS/poly.lisp,v (added)
• RCS/printer.lisp,v (added)
• RCS/prover.lisp,v (added)
• RCS/rat.lisp,v (added)
• RCS/ratpoly.lisp,v (added)
• RCS/string-grobner.lisp,v (added)
• RCS/svpoly.lisp,v (added)
• RCS/term.lisp,v (added)
• RCS/trivial.lisp,v (added)
• RCS/xgcd.lisp,v (added)
• TAGS (added)
• TODO (added)
• cgb-lisp.lisp (added)
• cgb.asd (added)
• coefficient-ring.lisp (added)
• colored-poly-tests.output (added)
• colored-poly.lisp (added)
• division.lisp (added)
• dynamics.lisp (added)
• example.lisp (added)
• grobner-tests.output (added)
• grobner.lisp (added)
• infix.lisp (added)
• make-cgb.lisp (added)
• makelist.lisp (added)
• modular-poly.lisp (added)
• modular.lisp (added)
• monom.lisp (added)
• order.lisp (added)
• parse.lisp (added)
• poly-gcd.lisp (added)
• poly-with-sugar.lisp (added)
• poly.lisp (added)
• printer.lisp (added)
• prover.lisp (added)
• rat.lisp (added)
• ratpoly-tests.output (added)
• ratpoly.lisp (added)
• semantic.cache (added)
• string-grobner.lisp (added)
• svpoly.lisp (added)
• term.lisp (added)
• trivial.lisp (added)
• xgcd.lisp (added)