# # ChangeLog for src/cgb.asd in CGBLisp # # Generated by Trac 1.5.4 # Jun 16, 2024, 5:33:48 AM Tue, 27 Jan 2009 05:23:33 GMT Marek Rychlik [8] * src/cgb.asd (modified) * src/coefficient-ring.lisp (modified) * src/colored-poly.lisp (modified) * src/division.lisp (modified) * src/dynamics.lisp (modified) * src/example.lisp (modified) * src/grobner.lisp (modified) * src/infix.lisp (modified) * src/modular-poly.lisp (modified) * src/modular.lisp (modified) * src/monom.lisp (modified) * src/order.lisp (modified) * src/parse.lisp (modified) * src/poly-gcd.lisp (modified) * src/poly-with-sugar.lisp (modified) * src/poly.lisp (modified) * src/printer.lisp (modified) * src/prover.lisp (modified) * src/rat.lisp (modified) * src/ratpoly.lisp (modified) * src/string-grobner.lisp (modified) * src/svpoly.lisp (modified) * src/term.lisp (modified) * src/xgcd.lisp (modified) * trunk/bin (moved) * trunk/contrib (moved) * trunk/doc (moved) * trunk/examples (moved) * examples/RCS (deleted) * trunk/latex-doc (moved) Moving sources into trunk Mon, 26 Jan 2009 20:47:11 GMT Marek Rychlik [3] * src/cgb.asd (modified) Turned on :colored-poly-use-grobner *features* feature. Mon, 26 Jan 2009 02:43:43 GMT Marek Rychlik [1] * 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) First import of a version circa 1997.