# # ChangeLog for branches/f4grobner # # Generated by Trac 1.6 # 2024-10-31T17:10:37-07:00 Sun, 19 Jun 2016 00:37:45 GMT Marek Rychlik [4547] * branches/f4grobner/monom.lisp (modified) *** empty log message *** Sun, 19 Jun 2016 00:37:38 GMT Marek Rychlik [4546] * branches/f4grobner/criterion.lisp (modified) *** empty log message *** Sun, 19 Jun 2016 00:37:34 GMT Marek Rychlik [4545] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Sun, 19 Jun 2016 00:37:28 GMT Marek Rychlik [4544] * branches/f4grobner/division.lisp (modified) *** empty log message *** Sun, 19 Jun 2016 00:37:25 GMT Marek Rychlik [4543] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Sun, 19 Jun 2016 00:34:27 GMT Marek Rychlik [4542] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Sun, 19 Jun 2016 00:17:30 GMT Marek Rychlik [4541] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Sun, 19 Jun 2016 00:15:00 GMT Marek Rychlik [4540] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Sun, 19 Jun 2016 00:14:19 GMT Marek Rychlik [4539] * branches/f4grobner/slow-add.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 20:51:56 GMT Marek Rychlik [4538] * branches/f4grobner/slow-add.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 20:46:17 GMT Marek Rychlik [4537] * branches/f4grobner/slow-add.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 20:02:56 GMT Marek Rychlik [4536] * branches/f4grobner/division.lisp (modified) * branches/f4grobner/monom.lisp (modified) * branches/f4grobner/polynomial.lisp (modified) * branches/f4grobner/ring.lisp (modified) * branches/f4grobner/termlist.lisp (modified) Commented out optimization proclamations Sat, 18 Jun 2016 18:28:33 GMT Marek Rychlik [4535] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 17:47:23 GMT Marek Rychlik [4534] * branches/f4grobner/5am-monom.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 17:41:55 GMT Marek Rychlik [4533] * branches/f4grobner/infix-printer.lisp (modified) * branches/f4grobner/profile2.txt (added) * branches/f4grobner/test12.lisp (modified) Sat, 18 Jun 2016 02:07:07 GMT Marek Rychlik [4532] * branches/f4grobner/test12.lisp (added) *** empty log message *** Sat, 18 Jun 2016 02:06:48 GMT Marek Rychlik [4531] * branches/f4grobner/5am-poly-sugar.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 01:45:17 GMT Marek Rychlik [4530] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 01:36:50 GMT Marek Rychlik [4529] * branches/f4grobner/5am-poly-sugar.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 01:32:12 GMT Marek Rychlik [4528] * branches/f4grobner/5am-poly-sugar.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 01:28:49 GMT Marek Rychlik [4527] * branches/f4grobner/ngrobner.asd (modified) *** empty log message *** Sat, 18 Jun 2016 01:28:16 GMT Marek Rychlik [4526] * branches/f4grobner/5am-poly-sugar.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 01:27:58 GMT Marek Rychlik [4525] * branches/f4grobner/5am-poly-sugar.lisp (added) *** empty log message *** Sat, 18 Jun 2016 01:20:58 GMT Marek Rychlik [4524] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 01:19:15 GMT Marek Rychlik [4523] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Sat, 18 Jun 2016 01:06:13 GMT Marek Rychlik [4522] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 21:09:39 GMT Marek Rychlik [4521] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 20:57:38 GMT Marek Rychlik [4520] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 20:50:37 GMT Marek Rychlik [4519] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 19:34:36 GMT Marek Rychlik [4518] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 19:31:47 GMT Marek Rychlik [4517] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 19:27:25 GMT Marek Rychlik [4516] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 19:26:21 GMT Marek Rychlik [4515] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 19:18:47 GMT Marek Rychlik [4514] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:57:48 GMT Marek Rychlik [4513] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:50:03 GMT Marek Rychlik [4512] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:46:43 GMT Marek Rychlik [4511] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:23:56 GMT Marek Rychlik [4510] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:19:09 GMT Marek Rychlik [4509] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:19:00 GMT Marek Rychlik [4508] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:18:51 GMT Marek Rychlik [4507] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:18:01 GMT Marek Rychlik [4506] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 18:15:54 GMT Marek Rychlik [4505] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 17:46:01 GMT Marek Rychlik [4504] * branches/f4grobner/polynomial-sugar.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 17:45:42 GMT Marek Rychlik [4503] * branches/f4grobner/monom.lisp (modified) Summary: Removed generic function SUGAR from this package Fri, 17 Jun 2016 17:41:40 GMT Marek Rychlik [4502] * branches/f4grobner/polynomial-sugar.lisp (added) *** empty log message *** Fri, 17 Jun 2016 16:59:29 GMT Marek Rychlik [4501] * branches/f4grobner/buchberger.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 16:59:09 GMT Marek Rychlik [4500] * branches/f4grobner/symbolic-polynomial.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 16:58:47 GMT Marek Rychlik [4499] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 16:58:28 GMT Marek Rychlik [4498] * branches/f4grobner/ring.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 16:55:43 GMT Marek Rychlik [4497] * branches/f4grobner/division.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 16:55:07 GMT Marek Rychlik [4496] * branches/f4grobner/monom.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 03:49:54 GMT Marek Rychlik [4495] * branches/f4grobner/slow-add.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 03:47:29 GMT Marek Rychlik [4494] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Fri, 17 Jun 2016 03:33:21 GMT Marek Rychlik [4493] * branches/f4grobner/slow-add.lisp (added) *** empty log message *** Thu, 16 Jun 2016 04:16:30 GMT Marek Rychlik [4492] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Thu, 16 Jun 2016 04:12:53 GMT Marek Rychlik [4491] * branches/f4grobner/profile5.txt (added) *** empty log message *** Thu, 16 Jun 2016 04:02:58 GMT Marek Rychlik [4490] * branches/f4grobner/profile4.txt (added) *** empty log message *** Thu, 16 Jun 2016 03:56:45 GMT Marek Rychlik [4489] * branches/f4grobner/division.lisp (modified) *** empty log message *** Thu, 16 Jun 2016 03:55:23 GMT Marek Rychlik [4488] * branches/f4grobner/profile3.txt (added) *** empty log message *** Thu, 16 Jun 2016 03:36:50 GMT Marek Rychlik [4487] * branches/f4grobner/division.lisp (modified) *** empty log message *** Thu, 16 Jun 2016 03:31:07 GMT Marek Rychlik [4486] * branches/f4grobner/division.lisp (modified) *** empty log message *** Thu, 16 Jun 2016 03:30:57 GMT Marek Rychlik [4485] * branches/f4grobner/division.lisp (modified) Summary: Replaced grobner-op function with a macro, as grobner-op is ... Thu, 16 Jun 2016 03:04:03 GMT Marek Rychlik [4484] * branches/f4grobner/division.lisp (modified) * branches/f4grobner/test5.lisp (modified) Thu, 16 Jun 2016 01:33:31 GMT Marek Rychlik [4483] * branches/f4grobner/division.lisp (modified) Summary: Fixed order of terms in the remainder returned from poly- ... Wed, 15 Jun 2016 16:45:46 GMT Marek Rychlik [4482] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 16:24:53 GMT Marek Rychlik [4481] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 16:12:19 GMT Marek Rychlik [4480] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 16:01:24 GMT Marek Rychlik [4479] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 15:49:08 GMT Marek Rychlik [4478] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 15:44:16 GMT Marek Rychlik [4477] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 15:42:32 GMT Marek Rychlik [4476] * branches/f4grobner/5am-buchberger.lisp (modified) Summary: Added Cyclic-5 example Wed, 15 Jun 2016 03:58:01 GMT Marek Rychlik [4475] * branches/f4grobner/buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 03:56:40 GMT Marek Rychlik [4474] * branches/f4grobner/buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 03:32:38 GMT Marek Rychlik [4473] * branches/f4grobner/buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 03:28:43 GMT Marek Rychlik [4472] * branches/f4grobner/ngrobner.asd (modified) *** empty log message *** Wed, 15 Jun 2016 03:28:24 GMT Marek Rychlik [4471] * branches/f4grobner/.junk/fast-add.lisp (moved) Wed, 15 Jun 2016 03:25:20 GMT Marek Rychlik [4470] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 03:22:38 GMT Marek Rychlik [4469] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 03:04:49 GMT Marek Rychlik [4468] * branches/f4grobner/Docs/On_the_Relation_Between_the_Mutant_Strategy_and_th.pdf (added) Wed, 15 Jun 2016 03:03:33 GMT Marek Rychlik [4467] * branches/f4grobner/5am-pair-queue.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 02:53:30 GMT Marek Rychlik [4466] * branches/f4grobner/pair-queue.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 02:53:22 GMT Marek Rychlik [4465] * branches/f4grobner/buchberger.lisp (modified) *** empty log message *** Wed, 15 Jun 2016 02:35:58 GMT Marek Rychlik [4464] * branches/f4grobner/test10.lisp (added) * branches/f4grobner/test11.lisp (added) * branches/f4grobner/test9.lisp (added) Wed, 15 Jun 2016 02:35:34 GMT Marek Rychlik [4463] * branches/f4grobner/5am-buchberger.lisp (modified) * branches/f4grobner/5am-symbolic-poly.lisp (modified) * branches/f4grobner/buchberger.lisp (modified) * branches/f4grobner/division.lisp (modified) * branches/f4grobner/fast-add.lisp (modified) * branches/f4grobner/monom.lisp (modified) * branches/f4grobner/polynomial-eval.lisp (modified) * branches/f4grobner/polynomial.lisp (modified) * branches/f4grobner/symbolic-polynomial.lisp (modified) * branches/f4grobner/test0.lisp (modified) * branches/f4grobner/test8.lisp (modified) Tue, 14 Jun 2016 19:19:05 GMT Marek Rychlik [4462] * branches/f4grobner/buchberger.lisp (modified) *** empty log message *** Tue, 14 Jun 2016 15:52:17 GMT Marek Rychlik [4461] * branches/f4grobner/test6.lisp (modified) *** empty log message *** Tue, 14 Jun 2016 15:52:06 GMT Marek Rychlik [4460] * branches/f4grobner/test1.lisp (modified) *** empty log message *** Tue, 14 Jun 2016 03:47:39 GMT Marek Rychlik [4459] * branches/f4grobner/test3.lisp (modified) *** empty log message *** Tue, 14 Jun 2016 03:41:57 GMT Marek Rychlik [4458] * branches/f4grobner/test1.lisp (modified) *** empty log message *** Tue, 14 Jun 2016 03:28:56 GMT Marek Rychlik [4457] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Mon, 13 Jun 2016 17:13:06 GMT Marek Rychlik [4456] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Mon, 13 Jun 2016 04:48:09 GMT Marek Rychlik [4455] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Sun, 12 Jun 2016 17:10:35 GMT Marek Rychlik [4454] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Sun, 12 Jun 2016 16:06:15 GMT Marek Rychlik [4453] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Sun, 12 Jun 2016 02:24:04 GMT Marek Rychlik [4452] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Sat, 11 Jun 2016 22:24:27 GMT Marek Rychlik [4451] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Sat, 11 Jun 2016 21:31:14 GMT Marek Rychlik [4450] * branches/f4grobner/fast-add.lisp (modified) *** empty log message *** Sat, 11 Jun 2016 20:19:21 GMT Marek Rychlik [4449] * branches/f4grobner/parallel-buchberger.lisp (added) Sat, 11 Jun 2016 20:13:22 GMT Marek Rychlik [4448] * branches/f4grobner/5am-monom.lisp (modified) Summary: Added auto-wrapping tests