# # ChangeLog for / in CGBLisp # # Generated by Trac 1.5.4 # May 19, 2024, 4:38:53 PM Wed, 04 Feb 2009 22:53:53 GMT Marek Rychlik [103] * trunk/examples/desargues.lisp (added) *** empty log message *** Tue, 03 Feb 2009 10:16:43 GMT Marek Rychlik [102] * trunk/src/parse.lisp (modified) Fixed parsing zero expressions. Tue, 03 Feb 2009 08:05:13 GMT Marek Rychlik [101] * trunk/examples/prover-apollonius.lisp (modified) *** empty log message *** Tue, 03 Feb 2009 04:14:51 GMT Marek Rychlik [100] * trunk/src/cgb.asd (modified) Clean up of loading with ASDF Tue, 03 Feb 2009 04:00:58 GMT Marek Rychlik [99] * trunk/examples/prover-apollonius.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 18:55:20 GMT Marek Rychlik [98] * trunk/src/cgb-lisp.lisp (modified) * trunk/src/coefficient-ring.lisp (modified) * trunk/src/colored-poly.lisp (modified) * trunk/src/division.lisp (modified) * trunk/src/dynamics.lisp (modified) * trunk/src/example.lisp (modified) * trunk/src/grobner.lisp (modified) * trunk/src/infix-printer.lisp (modified) * trunk/src/infix.lisp (modified) * trunk/src/make-cgb.lisp (modified) * trunk/src/makelist.lisp (modified) * trunk/src/modular-poly.lisp (modified) * trunk/src/modular.lisp (modified) * trunk/src/monom.lisp (modified) * trunk/src/order.lisp (modified) * trunk/src/parse.lisp (modified) * trunk/src/poly-gcd.lisp (modified) * trunk/src/poly-with-sugar.lisp (modified) * trunk/src/poly.lisp (modified) * trunk/src/printer.lisp (modified) * trunk/src/prover.lisp (modified) * trunk/src/rat.lisp (modified) * trunk/src/ratpoly.lisp (modified) * trunk/src/string-grobner.lisp (modified) * trunk/src/svpoly.lisp (modified) * trunk/src/term.lisp (modified) * trunk/src/trivial.lisp (modified) * trunk/src/xgcd.lisp (modified) Removed useless RCS version info. Added missing Emacs mode lines. Mon, 02 Feb 2009 08:01:23 GMT Marek Rychlik [97] * trunk/src/infix-printer.lisp (modified) Fixed order of arguments. Mon, 02 Feb 2009 08:00:04 GMT Marek Rychlik [96] * trunk/src/infix-printer.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:44 GMT Marek Rychlik [95] * trunk/src/coefficient-ring.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:40 GMT Marek Rychlik [94] * trunk/src/colored-poly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:36 GMT Marek Rychlik [93] * trunk/src/division.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:32 GMT Marek Rychlik [92] * trunk/src/dynamics.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:28 GMT Marek Rychlik [91] * trunk/src/example.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:24 GMT Marek Rychlik [90] * trunk/src/grobner.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:20 GMT Marek Rychlik [89] * trunk/src/infix.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:16 GMT Marek Rychlik [88] * trunk/src/infix-printer.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:54:11 GMT Marek Rychlik [87] * trunk/src/makelist.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:59 GMT Marek Rychlik [86] * trunk/src/modular.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:55 GMT Marek Rychlik [85] * trunk/src/modular-poly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:48 GMT Marek Rychlik [84] * trunk/src/monom.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:42 GMT Marek Rychlik [83] * trunk/src/order.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:38 GMT Marek Rychlik [82] * trunk/src/parse.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:35 GMT Marek Rychlik [81] * trunk/src/poly-gcd.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:30 GMT Marek Rychlik [80] * trunk/src/poly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:26 GMT Marek Rychlik [79] * trunk/src/poly-with-sugar.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:22 GMT Marek Rychlik [78] * trunk/src/printer.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:19 GMT Marek Rychlik [77] * trunk/src/prover.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:15 GMT Marek Rychlik [76] * trunk/src/rat.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:10 GMT Marek Rychlik [75] * trunk/src/ratpoly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:06 GMT Marek Rychlik [74] * trunk/src/string-grobner.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:53:02 GMT Marek Rychlik [73] * trunk/src/svpoly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:52:59 GMT Marek Rychlik [72] * trunk/src/term.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:52:54 GMT Marek Rychlik [71] * trunk/src/xgcd.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 07:13:58 GMT Marek Rychlik [70] * trunk/src/TAGS (modified) Changed optimization options Mon, 02 Feb 2009 06:13:38 GMT Marek Rychlik [69] * trunk/src/coefficient-ring.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:34 GMT Marek Rychlik [68] * trunk/src/colored-poly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:30 GMT Marek Rychlik [67] * trunk/src/division.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:26 GMT Marek Rychlik [66] * trunk/src/dynamics.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:23 GMT Marek Rychlik [65] * trunk/src/example.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:19 GMT Marek Rychlik [64] * trunk/src/grobner.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:14 GMT Marek Rychlik [63] * trunk/src/infix.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:10 GMT Marek Rychlik [62] * trunk/src/infix-printer.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:06 GMT Marek Rychlik [61] * trunk/src/makelist.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:13:03 GMT Marek Rychlik [60] * trunk/src/modular.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:58 GMT Marek Rychlik [59] * trunk/src/modular-poly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:45 GMT Marek Rychlik [58] * trunk/src/monom.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:42 GMT Marek Rychlik [57] * trunk/src/order.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:37 GMT Marek Rychlik [56] * trunk/src/parse.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:33 GMT Marek Rychlik [55] * trunk/src/poly-gcd.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:28 GMT Marek Rychlik [54] * trunk/src/poly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:24 GMT Marek Rychlik [53] * trunk/src/poly-with-sugar.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:20 GMT Marek Rychlik [52] * trunk/src/printer.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:16 GMT Marek Rychlik [51] * trunk/src/prover.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:12 GMT Marek Rychlik [50] * trunk/src/rat.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:08 GMT Marek Rychlik [49] * trunk/src/ratpoly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:04 GMT Marek Rychlik [48] * trunk/src/string-grobner.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:12:00 GMT Marek Rychlik [47] * trunk/src/svpoly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:11:57 GMT Marek Rychlik [46] * trunk/src/term.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 06:11:52 GMT Marek Rychlik [45] * trunk/src/xgcd.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 03:27:24 GMT Marek Rychlik [44] * trunk/src/ratpoly.lisp (modified) *** empty log message *** Mon, 02 Feb 2009 02:09:53 GMT Marek Rychlik [43] * trunk/src/TAGS (modified) * trunk/src/cgb-manuals.lisp (modified) Clean-up after inclusion of infix-printer.lisp Mon, 02 Feb 2009 02:09:12 GMT Marek Rychlik [42] * trunk/src/infix-printer.lisp (modified) Cleaned up handling argument lists. Sun, 01 Feb 2009 23:22:24 GMT Marek Rychlik [41] * trunk/src/infix-printer.lisp (modified) *** empty log message *** Sun, 01 Feb 2009 18:24:46 GMT Marek Rychlik [40] * trunk/src/cgb-lisp.lisp (modified) Added infix-printer to package :use list. Sun, 01 Feb 2009 18:23:09 GMT Marek Rychlik [39] * trunk/src/infix-printer.lisp (modified) *** empty log message *** Sun, 01 Feb 2009 18:21:59 GMT Marek Rychlik [38] * trunk/src/infix.lisp (modified) Exported operator-lessp. Sun, 01 Feb 2009 18:21:16 GMT Marek Rychlik [37] * trunk/src/infix-printer.lisp (modified) Enabled use of operator-lessp from infix.lisp Sun, 01 Feb 2009 18:01:15 GMT Marek Rychlik [36] * trunk/src/infix-printer.lisp (modified) Changed order of functions. Sun, 01 Feb 2009 17:59:15 GMT Marek Rychlik [35] * trunk/src/infix-printer.lisp (modified) Added infix printer.lisp to source. Sun, 01 Feb 2009 17:58:48 GMT Marek Rychlik [34] * trunk/src/cgb.asd (modified) Added infix-printer.lisp to source. Sun, 01 Feb 2009 17:58:17 GMT Marek Rychlik [33] * trunk/src/make-cgb.lisp (modified) *** empty log message *** Sun, 01 Feb 2009 17:56:11 GMT Marek Rychlik [32] * trunk/src/infix-printer.lisp (added) Added infix printer. Tue, 27 Jan 2009 10:28:43 GMT Marek Rychlik [31] * trunk/src/cgb-manuals.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 10:27:28 GMT Marek Rychlik [30] * trunk/src/cgb-manuals.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 10:25:27 GMT Marek Rychlik [29] * trunk/src/cgb-manuals.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 10:25:04 GMT Marek Rychlik [28] * trunk/src/cgb-manuals.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 10:21:19 GMT Marek Rychlik [27] * trunk/src/cgb-manuals.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 10:17:56 GMT Marek Rychlik [26] * trunk/src/cgb-manuals.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 10:16:50 GMT Marek Rychlik [25] * trunk/src/cgb-manuals.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 10:13:47 GMT Marek Rychlik [24] * trunk/src/cgb-manuals.lisp (modified) Initial import. Tue, 27 Jan 2009 10:13:30 GMT Marek Rychlik [23] * trunk/src/makelist.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 10:13:09 GMT Marek Rychlik [22] * trunk/src/cgb-manuals.lisp (added) *** empty log message *** Tue, 27 Jan 2009 10:06:24 GMT Marek Rychlik [21] * tags/rel-1.0-alpha-1 (copied) * tags/rel-1.0-alpha-1/Makefile (copied) * tags/rel-1.0-alpha-1/README (copied) * tags/rel-1.0-alpha-1/bin (copied) * tags/rel-1.0-alpha-1/contrib (copied) * tags/rel-1.0-alpha-1/doc (copied) * tags/rel-1.0-alpha-1/examples (copied) * tags/rel-1.0-alpha-1/exclude-file (copied) * tags/rel-1.0-alpha-1/latex-doc (copied) * tags/rel-1.0-alpha-1/samples (copied) * tags/rel-1.0-alpha-1/src (copied) * tags/rel-1.0-alpha-1/src/TAGS (copied) * tags/rel-1.0-alpha-1/src/colored-poly.lisp (copied) * tags/rel-1.0-alpha-1/src/parse.lisp (copied) * tags/rel-1.0-alpha-1/tests (copied) * tags/rel-1.0-alpha-1/utils (copied) Tagged rel-1.0-alpha-1 Tue, 27 Jan 2009 09:00:05 GMT Marek Rychlik [20] * trunk/src/colored-poly.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 08:20:06 GMT Marek Rychlik [19] * trunk/src/TAGS (modified) Fixed parsing of constant polynomials. Tue, 27 Jan 2009 08:19:13 GMT Marek Rychlik [18] * trunk/src/parse.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 08:02:58 GMT Marek Rychlik [17] * trunk/src/parse.lisp (modified) Rewrote poly-eval-1, fixing a bug which prevented parsing constant ... Tue, 27 Jan 2009 07:50:03 GMT Marek Rychlik [16] * trunk/src/parse.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 07:39:28 GMT Marek Rychlik [15] * trunk/src/parse.lisp (modified) *** empty log message *** Tue, 27 Jan 2009 05:33:40 GMT Marek Rychlik [14] * trunk/Makefile (moved) * trunk/README (moved) * trunk/samples (copied) * trunk/src (copied) * trunk/src/cgb.asd (copied) * trunk/src/coefficient-ring.lisp (copied) * src/colored-poly-tests.output (deleted) * trunk/src/colored-poly.lisp (copied) * trunk/src/division.lisp (copied) * trunk/src/dynamics.lisp (copied) * trunk/src/example.lisp (copied) * src/grobner-tests.output (deleted) * trunk/src/grobner.lisp (copied) * trunk/src/infix.lisp (copied) * trunk/src/modular-poly.lisp (copied) * trunk/src/modular.lisp (copied) * trunk/src/monom.lisp (copied) * trunk/src/order.lisp (copied) * trunk/src/parse.lisp (copied) * trunk/src/poly-gcd.lisp (copied) * trunk/src/poly-with-sugar.lisp (copied) * trunk/src/poly.lisp (copied) * trunk/src/printer.lisp (copied) * trunk/src/prover.lisp (copied) * trunk/src/rat.lisp (copied) * src/ratpoly-tests.output (deleted) * trunk/src/ratpoly.lisp (copied) * trunk/src/string-grobner.lisp (copied) * trunk/src/svpoly.lisp (copied) * trunk/src/term.lisp (copied) * trunk/src/xgcd.lisp (copied) * trunk/tests (copied) * tests/RCS (deleted) * trunk/utils (copied) Moving sources to trunk Tue, 27 Jan 2009 05:33:23 GMT Marek Rychlik [13] * src (deleted) Moving sources to trunk Tue, 27 Jan 2009 05:32:53 GMT Marek Rychlik [12] * tests (deleted) Moving sources to trunk Tue, 27 Jan 2009 05:28:07 GMT Marek Rychlik [11] * samples (deleted) Moving sources into trunk Tue, 27 Jan 2009 05:27:57 GMT Marek Rychlik [10] * utils (deleted) Moving sources into trunk Tue, 27 Jan 2009 05:24:29 GMT Marek Rychlik [9] * trunk/exclude-file (moved) Moving sources into trunk 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 Tue, 27 Jan 2009 05:18:34 GMT Marek Rychlik [7] * tags (added) Creating tags. Tue, 27 Jan 2009 05:18:10 GMT Marek Rychlik [6] * branches (added) Creating branches. Tue, 27 Jan 2009 05:16:21 GMT Marek Rychlik [5] * trunk (added) Creating trunk Tue, 27 Jan 2009 01:35:20 GMT Marek Rychlik [4] * src/colored-poly-tests.output (deleted) * src/grobner-tests.output (deleted) * src/ratpoly-tests.output (deleted) Removed spurious files.