Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
← Previous Changeset
Next Changeset
→
Changeset 1 in CGBLisp
Timestamp:
Jan 25, 2009, 7:43:43 PM (
15 years
ago)
Author:
Marek Rychlik
Message:
First import of a version circa 1997.
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.
Download in other formats:
Unified Diff
Zip Archive