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 1351


Ignore:
Timestamp:
2015-06-11T22:25:16-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/gb-postprocessing.lisp

    r1349 r1351  
    6666       (found t))
    6767      ((not found) q)
    68     ;;Find p in Q such that lm(p) is in LM(Q\{p})
     68    ;;1) Find p in Q such that lm(p) is in LM(Q\{p})
     69    ;;2) Set Q <- Q\{p}
    6970    (setf found nil)
    7071    (let ((x (find-if
Note: See TracChangeset for help on using the changeset viewer.