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.

Ignore:
Timestamp:
2015-06-06T20:46:10-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/criterion.lisp

    r478 r481  
    4343    (when (monom-rel-prime-p (poly-lm f) (poly-lm g))
    4444      (debug-cgb ":1")
    45       (return-from criterion-1 t))))
     45      (return-from 'criterion-1 t))))
    4646
    4747(defun criterion-2 (pair b-done partial-basis
     
    7979                    b-done))
    8080      (debug-cgb ":2")
    81       (return-from criterion-2 t)))))
     81      (return-from 'criterion-2 t)))))
Note: See TracChangeset for help on using the changeset viewer.