close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Changeset 4183


Ignore:
Timestamp:
2016-06-03T17:01:04-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/pair-queue.lisp

    r4182 r4183  
    116116                            &aux
    117117                              (s (1- (length poly-list))))
    118   "The argument POLY-LIST should the initial list of
    119 polynomials.  and START is the first position beyond the elements
    120 which form a partial Grobner basis, i.e. satisfy the Buchberger
    121 criterion."
     118  "Create a list of critical pairs. The argument POLY-LIST is the
     119initial list of polynomials and START is the first position beyond the
     120elements which form a partial Grobner basis, i.e. satisfy the
     121Buchberger criterion."
    122122  (nconc (makelist (make-instance 'critical-pair :first (elt poly-list i) :second (elt poly-list j))
    123123                             (i 0 (1- start)) (j start s))
Note: See TracChangeset for help on using the changeset viewer.