Changeset 1
- Timestamp:
- 01/25/09 19:43:43 (3 years ago)
- Files:
-
- 519 added
-
Makefile (added)
-
RCS (added)
-
RCS/Makefile,v (added)
-
RCS/exclude-file,v (added)
-
README (added)
-
bin (added)
-
contrib (added)
-
contrib/infix.cl (added)
-
contrib/user_man (added)
-
contrib/user_man/lisp-documentation.log (added)
-
contrib/user_man/lisp-documentation.tex (added)
-
contrib/user_man/user-manual.lisp (added)
-
contrib/user_man/user-manual.ps (added)
-
doc (added)
-
doc/cgb-lisp.txt (added)
-
doc/coefficient-ring.txt (added)
-
doc/colored-poly.txt (added)
-
doc/division.txt (added)
-
doc/dynamics.txt (added)
-
doc/grobner.txt (added)
-
doc/infix.txt (added)
-
doc/makelist.txt (added)
-
doc/modular-poly.txt (added)
-
doc/modular.txt (added)
-
doc/monom.txt (added)
-
doc/order.txt (added)
-
doc/parse.txt (added)
-
doc/poly-gcd.txt (added)
-
doc/poly-with-sugar.txt (added)
-
doc/poly.txt (added)
-
doc/printer.txt (added)
-
doc/prover.txt (added)
-
doc/rat.txt (added)
-
doc/ratpoly.txt (added)
-
doc/string-grobner.txt (added)
-
doc/term.txt (added)
-
doc/xgcd.txt (added)
-
examples (added)
-
examples/RCS (added)
-
examples/RCS/apollonius.macsyma,v (added)
-
examples/TAGS (added)
-
examples/alt (added)
-
examples/alt.lisp (added)
-
examples/alt.macsyma (added)
-
examples/alt.result (added)
-
examples/alt2.lisp (added)
-
examples/alt2.result (added)
-
examples/alt3.lisp (added)
-
examples/apollonius.lisp (added)
-
examples/apollonius.macsyma (added)
-
examples/apollonius0.lisp (added)
-
examples/apollonius1.lisp (added)
-
examples/apollonius2.lisp (added)
-
examples/apollonius3.lisp (added)
-
examples/bifurcation.lisp (added)
-
examples/billiard0.lisp (added)
-
examples/billiard1.dribble (added)
-
examples/billiard1.lisp (added)
-
examples/billiard1.macsyma (added)
-
examples/billiard1.out (added)
-
examples/billiard2.lisp (added)
-
examples/billiard2.macsyma (added)
-
examples/billiard2.out (added)
-
examples/billiard3.macsyma (added)
-
examples/billiard3.out (added)
-
examples/billiard31.lisp (added)
-
examples/billiard32.lisp (added)
-
examples/chemistry.lisp (added)
-
examples/chemistry.output (added)
-
examples/colored-poly-tests.output (added)
-
examples/euler.lisp (added)
-
examples/euler.macsyma (added)
-
examples/euler.out (added)
-
examples/euler.result (added)
-
examples/euler2.lisp (added)
-
examples/galois3.lisp (added)
-
examples/geometry.macsyma (added)
-
examples/geometry.macsyma.unfinished (added)
-
examples/geometry2.macsyma (added)
-
examples/henon-bifurcation.lisp (added)
-
examples/klee.lisp (added)
-
examples/klee.macsyma (added)
-
examples/klee.out (added)
-
examples/klee.result (added)
-
examples/klee2.lisp (added)
-
examples/klee2.macsyma (added)
-
examples/klee2.out (added)
-
examples/klee3.lisp (added)
-
examples/klee3.macsyma (added)
-
examples/klee3.out (added)
-
examples/klee3.result (added)
-
examples/midpoints.lisp (added)
-
examples/midpoints.macsyma (added)
-
examples/ngeometry.macsyma (added)
-
examples/pappus.dribble.Z (added)
-
examples/pappus.lisp (added)
-
examples/pappus.macsyma (added)
-
examples/pappus.out (added)
-
examples/pappus0.lisp (added)
-
examples/pappus2.lisp (added)
-
examples/pappus2.macsyma (added)
-
examples/pappus2.out (added)
-
examples/pappus3.dribble.Z (added)
-
examples/pappus3.lisp (added)
-
examples/pappus4.dribble.Z (added)
-
examples/pappus4.lisp (added)
-
examples/pappus4.macsyma (added)
-
examples/pappus4.out (added)
-
examples/parallelogram (added)
-
examples/parallelogram.lisp (added)
-
examples/parallelogram.macsyma (added)
-
examples/parallelogram.macsyma-batch (added)
-
examples/pilgrim1.lisp (added)
-
examples/pilgrim2.lisp (added)
-
examples/pilgrim3.lisp (added)
-
examples/prover-alt.lisp (added)
-
examples/prover-apollonius.lisp (added)
-
examples/prover-pappus.lisp (added)
-
examples/robot.lisp (added)
-
examples/robot2.lisp (added)
-
examples/robot2.output (added)
-
examples/shash2.lisp (added)
-
examples/shash2.output (added)
-
examples/shash2.output-new (added)
-
examples/shosh.gb (added)
-
examples/shosh.lisp (added)
-
examples/shosh.maple (added)
-
examples/shosh.output (added)
-
examples/trisector.lisp (added)
-
examples/trisector.macsyma (added)
-
examples/trisector.out (added)
-
examples/trisector2.lisp (added)
-
exclude-file (added)
-
latex-doc (added)
-
latex-doc/cgb-lisp.tex (added)
-
latex-doc/coefficient-ring.tex (added)
-
latex-doc/colored-poly.tex (added)
-
latex-doc/division.tex (added)
-
latex-doc/dynamics.tex (added)
-
latex-doc/examples.tex (added)
-
latex-doc/grobner.tex (added)
-
latex-doc/infix.tex (added)
-
latex-doc/makelist.tex (added)
-
latex-doc/man.log (added)
-
latex-doc/man.sty (added)
-
latex-doc/manual (added)
-
latex-doc/manual.aux (added)
-
latex-doc/manual.dvi (added)
-
latex-doc/manual.log (added)
-
latex-doc/manual.tex (added)
-
latex-doc/manual.toc (added)
-
latex-doc/manual/.ID_MAP.db (added)
-
latex-doc/manual/.IMG_PARAMS.db (added)
-
latex-doc/manual/.ORIG_MAP.db (added)
-
latex-doc/manual/contents_motif.gif (added)
-
latex-doc/manual/images.aux (added)
-
latex-doc/manual/images.log (added)
-
latex-doc/manual/images.pl (added)
-
latex-doc/manual/images.tex (added)
-
latex-doc/manual/img1.gif (added)
-
latex-doc/manual/img10.gif (added)
-
latex-doc/manual/img100.gif (added)
-
latex-doc/manual/img101.gif (added)
-
latex-doc/manual/img102.gif (added)
-
latex-doc/manual/img103.gif (added)
-
latex-doc/manual/img104.gif (added)
-
latex-doc/manual/img105.gif (added)
-
latex-doc/manual/img106.gif (added)
-
latex-doc/manual/img107.gif (added)
-
latex-doc/manual/img108.gif (added)
-
latex-doc/manual/img109.gif (added)
-
latex-doc/manual/img11.gif (added)
-
latex-doc/manual/img11.old (added)
-
latex-doc/manual/img110.gif (added)
-
latex-doc/manual/img111.gif (added)
-
latex-doc/manual/img112.gif (added)
-
latex-doc/manual/img113.gif (added)
-
latex-doc/manual/img114.gif (added)
-
latex-doc/manual/img115.gif (added)
-
latex-doc/manual/img116.gif (added)
-
latex-doc/manual/img117.gif (added)
-
latex-doc/manual/img118.gif (added)
-
latex-doc/manual/img119.gif (added)
-
latex-doc/manual/img12.gif (added)
-
latex-doc/manual/img120.gif (added)
-
latex-doc/manual/img121.gif (added)
-
latex-doc/manual/img122.gif (added)
-
latex-doc/manual/img123.gif (added)
-
latex-doc/manual/img124.gif (added)
-
latex-doc/manual/img125.gif (added)
-
latex-doc/manual/img126.gif (added)
-
latex-doc/manual/img127.gif (added)
-
latex-doc/manual/img128.gif (added)
-
latex-doc/manual/img129.gif (added)
-
latex-doc/manual/img13.gif (added)
-
latex-doc/manual/img130.gif (added)
-
latex-doc/manual/img131.gif (added)
-
latex-doc/manual/img132.gif (added)
-
latex-doc/manual/img133.gif (added)
-
latex-doc/manual/img134.gif (added)
-
latex-doc/manual/img135.gif (added)
-
latex-doc/manual/img136.gif (added)
-
latex-doc/manual/img137.gif (added)
-
latex-doc/manual/img138.gif (added)
-
latex-doc/manual/img139.gif (added)
-
latex-doc/manual/img14.gif (added)
-
latex-doc/manual/img140.gif (added)
-
latex-doc/manual/img141.gif (added)
-
latex-doc/manual/img142.gif (added)
-
latex-doc/manual/img143.gif (added)
-
latex-doc/manual/img144.gif (added)
-
latex-doc/manual/img145.gif (added)
-
latex-doc/manual/img146.gif (added)
-
latex-doc/manual/img147.gif (added)
-
latex-doc/manual/img148.gif (added)
-
latex-doc/manual/img149.gif (added)
-
latex-doc/manual/img15.gif (added)
-
latex-doc/manual/img150.gif (added)
-
latex-doc/manual/img150.old (added)
-
latex-doc/manual/img151.gif (added)
-
latex-doc/manual/img151.old (added)
-
latex-doc/manual/img152.gif (added)
-
latex-doc/manual/img153.gif (added)
-
latex-doc/manual/img154.gif (added)
-
latex-doc/manual/img155.gif (added)
-
latex-doc/manual/img156.gif (added)
-
latex-doc/manual/img157.gif (added)
-
latex-doc/manual/img158.gif (added)
-
latex-doc/manual/img159.gif (added)
-
latex-doc/manual/img16.gif (added)
-
latex-doc/manual/img160.gif (added)
-
latex-doc/manual/img161.gif (added)
-
latex-doc/manual/img162.gif (added)
-
latex-doc/manual/img163.gif (added)
-
latex-doc/manual/img164.gif (added)
-
latex-doc/manual/img165.gif (added)
-
latex-doc/manual/img166.gif (added)
-
latex-doc/manual/img167.gif (added)
-
latex-doc/manual/img168.gif (added)
-
latex-doc/manual/img169.gif (added)
-
latex-doc/manual/img17.gif (added)
-
latex-doc/manual/img170.gif (added)
-
latex-doc/manual/img171.gif (added)
-
latex-doc/manual/img172.gif (added)
-
latex-doc/manual/img173.gif (added)
-
latex-doc/manual/img174.gif (added)
-
latex-doc/manual/img175.gif (added)
-
latex-doc/manual/img176.gif (added)
-
latex-doc/manual/img177.gif (added)
-
latex-doc/manual/img178.gif (added)
-
latex-doc/manual/img179.gif (added)
-
latex-doc/manual/img18.gif (added)
-
latex-doc/manual/img180.gif (added)
-
latex-doc/manual/img181.gif (added)
-
latex-doc/manual/img182.gif (added)
-
latex-doc/manual/img183.gif (added)
-
latex-doc/manual/img184.gif (added)
-
latex-doc/manual/img185.gif (added)
-
latex-doc/manual/img186.gif (added)
-
latex-doc/manual/img187.gif (added)
-
latex-doc/manual/img188.gif (added)
-
latex-doc/manual/img189.gif (added)
-
latex-doc/manual/img19.gif (added)
-
latex-doc/manual/img190.gif (added)
-
latex-doc/manual/img191.gif (added)
-
latex-doc/manual/img192.gif (added)
-
latex-doc/manual/img193.gif (added)
-
latex-doc/manual/img194.gif (added)
-
latex-doc/manual/img195.gif (added)
-
latex-doc/manual/img196.gif (added)
-
latex-doc/manual/img197.gif (added)
-
latex-doc/manual/img198.gif (added)
-
latex-doc/manual/img199.gif (added)
-
latex-doc/manual/img2.gif (added)
-
latex-doc/manual/img20.gif (added)
-
latex-doc/manual/img200.gif (added)
-
latex-doc/manual/img201.gif (added)
-
latex-doc/manual/img202.gif (added)
-
latex-doc/manual/img203.gif (added)
-
latex-doc/manual/img204.gif (added)
-
latex-doc/manual/img205.gif (added)
-
latex-doc/manual/img206.gif (added)
-
latex-doc/manual/img207.gif (added)
-
latex-doc/manual/img208.gif (added)
-
latex-doc/manual/img209.gif (added)
-
latex-doc/manual/img21.gif (added)
-
latex-doc/manual/img210.gif (added)
-
latex-doc/manual/img211.gif (added)
-
latex-doc/manual/img212.gif (added)
-
latex-doc/manual/img213.gif (added)
-
latex-doc/manual/img214.gif (added)
-
latex-doc/manual/img215.gif (added)
-
latex-doc/manual/img216.gif (added)
-
latex-doc/manual/img217.gif (added)
-
latex-doc/manual/img218.gif (added)
-
latex-doc/manual/img219.gif (added)
-
latex-doc/manual/img22.gif (added)
-
latex-doc/manual/img23.gif (added)
-
latex-doc/manual/img24.gif (added)
-
latex-doc/manual/img25.gif (added)
-
latex-doc/manual/img26.gif (added)
-
latex-doc/manual/img27.gif (added)
-
latex-doc/manual/img28.gif (added)
-
latex-doc/manual/img29.gif (added)
-
latex-doc/manual/img3.gif (added)
-
latex-doc/manual/img30.gif (added)
-
latex-doc/manual/img31.gif (added)
-
latex-doc/manual/img32.gif (added)
-
latex-doc/manual/img33.gif (added)
-
latex-doc/manual/img34.gif (added)
-
latex-doc/manual/img35.gif (added)
-
latex-doc/manual/img36.gif (added)
-
latex-doc/manual/img37.gif (added)
-
latex-doc/manual/img38.gif (added)
-
latex-doc/manual/img39.gif (added)
-
latex-doc/manual/img4.gif (added)
-
latex-doc/manual/img40.gif (added)
-
latex-doc/manual/img40.old (added)
-
latex-doc/manual/img41.gif (added)
-
latex-doc/manual/img42.gif (added)
-
latex-doc/manual/img43.gif (added)
-
latex-doc/manual/img44.gif (added)
-
latex-doc/manual/img45.gif (added)
-
latex-doc/manual/img46.gif (added)
-
latex-doc/manual/img47.gif (added)
-
latex-doc/manual/img48.gif (added)
-
latex-doc/manual/img49.gif (added)
-
latex-doc/manual/img5.gif (added)
-
latex-doc/manual/img50.gif (added)
-
latex-doc/manual/img51.gif (added)
-
latex-doc/manual/img52.gif (added)
-
latex-doc/manual/img52.old (added)
-
latex-doc/manual/img53.gif (added)
-
latex-doc/manual/img53.old (added)
-
latex-doc/manual/img54.gif (added)
-
latex-doc/manual/img54.old (added)
-
latex-doc/manual/img55.gif (added)
-
latex-doc/manual/img55.old (added)
-
latex-doc/manual/img56.gif (added)
-
latex-doc/manual/img57.gif (added)
-
latex-doc/manual/img58.gif (added)
-
latex-doc/manual/img59.gif (added)
-
latex-doc/manual/img6.gif (added)
-
latex-doc/manual/img60.gif (added)
-
latex-doc/manual/img61.gif (added)
-
latex-doc/manual/img62.gif (added)
-
latex-doc/manual/img63.gif (added)
-
latex-doc/manual/img64.gif (added)
-
latex-doc/manual/img65.gif (added)
-
latex-doc/manual/img66.gif (added)
-
latex-doc/manual/img67.gif (added)
-
latex-doc/manual/img68.gif (added)
-
latex-doc/manual/img69.gif (added)
-
latex-doc/manual/img7.gif (added)
-
latex-doc/manual/img70.gif (added)
-
latex-doc/manual/img71.gif (added)
-
latex-doc/manual/img72.gif (added)
-
latex-doc/manual/img73.gif (added)
-
latex-doc/manual/img74.gif (added)
-
latex-doc/manual/img75.gif (added)
-
latex-doc/manual/img76.gif (added)
-
latex-doc/manual/img77.gif (added)
-
latex-doc/manual/img78.gif (added)
-
latex-doc/manual/img79.gif (added)
-
latex-doc/manual/img8.gif (added)
-
latex-doc/manual/img80.gif (added)
-
latex-doc/manual/img81.gif (added)
-
latex-doc/manual/img82.gif (added)
-
latex-doc/manual/img83.gif (added)
-
latex-doc/manual/img84.gif (added)
-
latex-doc/manual/img85.gif (added)
-
latex-doc/manual/img86.gif (added)
-
latex-doc/manual/img87.gif (added)
-
latex-doc/manual/img88.gif (added)
-
latex-doc/manual/img89.gif (added)
-
latex-doc/manual/img9.gif (added)
-
latex-doc/manual/img90.gif (added)
-
latex-doc/manual/img91.gif (added)
-
latex-doc/manual/img92.gif (added)
-
latex-doc/manual/img93.gif (added)
-
latex-doc/manual/img94.gif (added)
-
latex-doc/manual/img95.gif (added)
-
latex-doc/manual/img96.gif (added)
-
latex-doc/manual/img97.gif (added)
-
latex-doc/manual/img98.gif (added)
-
latex-doc/manual/img99.gif (added)
-
latex-doc/manual/index.html (added)
-
latex-doc/manual/manual.css (added)
-
latex-doc/manual/manual.html (added)
-
latex-doc/manual/next_motif.gif (added)
-
latex-doc/manual/next_motif_gr.gif (added)
-
latex-doc/manual/node1.html (added)
-
latex-doc/manual/node10.html (added)
-
latex-doc/manual/node11.html (added)
-
latex-doc/manual/node12.html (added)
-
latex-doc/manual/node13.html (added)
-
latex-doc/manual/node14.html (added)
-
latex-doc/manual/node2.html (added)
-
latex-doc/manual/node3.html (added)
-
latex-doc/manual/node4.html (added)
-
latex-doc/manual/node5.html (added)
-
latex-doc/manual/node6.html (added)
-
latex-doc/manual/node7.html (added)
-
latex-doc/manual/node8.html (added)
-
latex-doc/manual/node9.html (added)
-
latex-doc/manual/previous_motif.gif (added)
-
latex-doc/manual/previous_motif_gr.gif (added)
-
latex-doc/manual/up_motif.gif (added)
-
latex-doc/manual/up_motif_gr.gif (added)
-
latex-doc/modular-poly.tex (added)
-
latex-doc/modular.tex (added)
-
latex-doc/monom.tex (added)
-
latex-doc/order.tex (added)
-
latex-doc/parse.tex (added)
-
latex-doc/plain.log (added)
-
latex-doc/poly-gcd.tex (added)
-
latex-doc/poly-with-sugar.tex (added)
-
latex-doc/poly.tex (added)
-
latex-doc/printer.tex (added)
-
latex-doc/prover.tex (added)
-
latex-doc/rat.tex (added)
-
latex-doc/ratpoly.tex (added)
-
latex-doc/string-grobner.tex (added)
-
latex-doc/term.tex (added)
-
latex-doc/xgcd.tex (added)
-
samples (added)
-
samples/alt.output (added)
-
samples/ans1.output (added)
-
samples/apollonius.output (added)
-
samples/apollonius2.output (added)
-
samples/colored-poly-tests.output (added)
-
samples/colored-poly-tests.output.1 (added)
-
samples/colored-poly-tests.output.2 (added)
-
samples/midpoints.output (added)
-
samples/poly4.output (added)
-
samples/ratpoly-tests.output (added)
-
samples/robot.output (added)
-
samples/shash2.output (added)
-
src (added)
-
src/ChangeLog (added)
-
src/DEAD_CODE (added)
-
src/DEAD_CODE/sugar.lisp (added)
-
src/RCS (added)
-
src/RCS/cgb-lisp.lisp,v (added)
-
src/RCS/cgb.asd,v (added)
-
src/RCS/coefficient-ring.lisp,v (added)
-
src/RCS/colored-poly.lisp,v (added)
-
src/RCS/division.lisp,v (added)
-
src/RCS/dynamics.lisp,v (added)
-
src/RCS/example.lisp,v (added)
-
src/RCS/grobner.lisp,v (added)
-
src/RCS/infix.lisp,v (added)
-
src/RCS/make-cgb.lisp,v (added)
-
src/RCS/makelist.lisp,v (added)
-
src/RCS/modular-poly.lisp,v (added)
-
src/RCS/modular.lisp,v (added)
-
src/RCS/monom.lisp,v (added)
-
src/RCS/order.lisp,v (added)
-
src/RCS/parse.lisp,v (added)
-
src/RCS/poly-gcd.lisp,v (added)
-
src/RCS/poly-with-sugar.lisp,v (added)
-
src/RCS/poly.lisp,v (added)
-
src/RCS/printer.lisp,v (added)
-
src/RCS/prover.lisp,v (added)
-
src/RCS/rat.lisp,v (added)
-
src/RCS/ratpoly.lisp,v (added)
-
src/RCS/string-grobner.lisp,v (added)
-
src/RCS/svpoly.lisp,v (added)
-
src/RCS/term.lisp,v (added)
-
src/RCS/trivial.lisp,v (added)
-
src/RCS/xgcd.lisp,v (added)
-
src/TAGS (added)
-
src/TODO (added)
-
src/cgb-lisp.lisp (added)
-
src/cgb.asd (added)
-
src/coefficient-ring.lisp (added)
-
src/colored-poly-tests.output (added)
-
src/colored-poly.lisp (added)
-
src/division.lisp (added)
-
src/dynamics.lisp (added)
-
src/example.lisp (added)
-
src/grobner-tests.output (added)
-
src/grobner.lisp (added)
-
src/infix.lisp (added)
-
src/make-cgb.lisp (added)
-
src/makelist.lisp (added)
-
src/modular-poly.lisp (added)
-
src/modular.lisp (added)
-
src/monom.lisp (added)
-
src/order.lisp (added)
-
src/parse.lisp (added)
-
src/poly-gcd.lisp (added)
-
src/poly-with-sugar.lisp (added)
-
src/poly.lisp (added)
-
src/printer.lisp (added)
-
src/prover.lisp (added)
-
src/rat.lisp (added)
-
src/ratpoly-tests.output (added)
-
src/ratpoly.lisp (added)
-
src/semantic.cache (added)
-
src/string-grobner.lisp (added)
-
src/svpoly.lisp (added)
-
src/term.lisp (added)
-
src/trivial.lisp (added)
-
src/xgcd.lisp (added)
-
tests (added)
-
tests/RCS (added)
-
tests/RCS/colored-poly-tests.lisp,v (added)
-
tests/RCS/cox-tests.lisp,v (added)
-
tests/RCS/grobner-tests.lisp,v (added)
-
tests/RCS/ratpoly-tests.lisp,v (added)
-
tests/RCS/tests.lisp,v (added)
-
tests/TAGS (added)
-
tests/colored-poly-tests.lisp (added)
-
tests/cox-tests.lisp (added)
-
tests/grobner-tests.lisp (added)
-
tests/ratpoly-tests.lisp (added)
-
tests/tests.lisp (added)
-
utils (added)
Note: See TracChangeset
for help on using the changeset viewer.
