# # ChangeLog for branches/f4grobner # # Generated by Trac 1.6 # 2024-12-25T20:29:16-07:00 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 Sat, 11 Jun 2016 15:36:52 GMT Marek Rychlik [4447] * branches/f4grobner/5am-division.lisp (modified) * branches/f4grobner/fast-add.lisp (modified) * branches/f4grobner/polynomial.lisp (modified) * branches/f4grobner/ring.lisp (modified) * branches/f4grobner/test3.lisp (added) * branches/f4grobner/test4.lisp (added) * branches/f4grobner/test6.lisp (added) * branches/f4grobner/test7.lisp (added) * branches/f4grobner/test8.lisp (added) Sat, 11 Jun 2016 15:35:41 GMT Marek Rychlik [4446] * branches/f4grobner/monom.lisp (modified) *** empty log message *** Sat, 11 Jun 2016 15:33:20 GMT Marek Rychlik [4445] * branches/f4grobner/monom.lisp (modified) *** empty log message *** Sat, 11 Jun 2016 04:49:56 GMT Marek Rychlik [4444] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Sat, 11 Jun 2016 02:54:05 GMT Marek Rychlik [4443] * branches/f4grobner/fast-add.lisp (modified) *** empty log message *** Sat, 11 Jun 2016 02:45:42 GMT Marek Rychlik [4442] * branches/f4grobner/5am-poly.lisp (modified) * branches/f4grobner/buchberger.lisp (modified) * branches/f4grobner/polynomial.lisp (modified) * branches/f4grobner/symbolic-polynomial.lisp (modified) * branches/f4grobner/test0.lisp (modified) Sat, 11 Jun 2016 02:07:59 GMT Marek Rychlik [4441] * branches/f4grobner/fast-add.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 22:28:18 GMT Marek Rychlik [4440] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 22:21:35 GMT Marek Rychlik [4439] * branches/f4grobner/5am-buchberger.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 22:19:25 GMT Marek Rychlik [4438] * branches/f4grobner/5am-division.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 22:19:03 GMT Marek Rychlik [4437] * branches/f4grobner/5am-division.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 18:16:29 GMT Marek Rychlik [4436] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 16:55:23 GMT Marek Rychlik [4435] * branches/f4grobner/symbolic-polynomial.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 16:50:24 GMT Marek Rychlik [4434] * branches/f4grobner/5am-infix-print.lisp (modified) * branches/f4grobner/division.lisp (modified) * branches/f4grobner/fast-add.lisp (modified) * branches/f4grobner/infix-printer.lisp (modified) * branches/f4grobner/ngrobner.asd (modified) * branches/f4grobner/polynomial.lisp (modified) * branches/f4grobner/test5.lisp (modified) Fri, 10 Jun 2016 16:50:17 GMT Marek Rychlik [4433] * branches/f4grobner/5am-division.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 06:12:29 GMT Marek Rychlik [4432] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Fri, 10 Jun 2016 05:48:11 GMT Marek Rychlik [4431] * branches/f4grobner/fast-add.lisp (modified) *** empty log message *** Thu, 09 Jun 2016 19:19:20 GMT Marek Rychlik [4430] * branches/f4grobner/fast-add.lisp (added) *** empty log message *** Thu, 09 Jun 2016 19:19:08 GMT Marek Rychlik [4429] * branches/f4grobner/polynomial.lisp (modified) Summary: Moved work on fast-add to a separate file fast-add.lisp Thu, 09 Jun 2016 06:15:19 GMT Marek Rychlik [4428] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Thu, 09 Jun 2016 06:12:01 GMT Marek Rychlik [4427] * branches/f4grobner/polynomial.lisp (modified) *** empty log message *** Thu, 09 Jun 2016 04:11:16 GMT Marek Rychlik [4426] * branches/f4grobner/integer-ring.lisp (modified) *** empty log message *** Thu, 09 Jun 2016 03:54:54 GMT Marek Rychlik [4425] * branches/f4grobner/integer-ring.lisp (modified) *** empty log message *** Thu, 09 Jun 2016 03:54:42 GMT Marek Rychlik [4424] * branches/f4grobner/integer-ring.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 18:04:20 GMT Marek Rychlik [4423] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 17:01:50 GMT Marek Rychlik [4422] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 16:30:38 GMT Marek Rychlik [4421] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 16:28:51 GMT Marek Rychlik [4420] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 16:22:25 GMT Marek Rychlik [4419] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 16:09:18 GMT Marek Rychlik [4418] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 05:22:11 GMT Marek Rychlik [4417] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 05:21:29 GMT Marek Rychlik [4416] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message *** Wed, 08 Jun 2016 05:19:05 GMT Marek Rychlik [4415] * branches/f4grobner/infix-printer.lisp (modified) *** empty log message ***