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-09-05T17:09:44-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/f4grobner/monom.lisp

    r3586 r3587  
    243243      (with-slots ((exponents3 exponents))
    244244          m3
    245         (every #'(lambda (x y z w) (<= (max x y) (max z w)))
    246                m1 m2 m3)))))
     245        (with-slots ((exponents4 exponents))
     246            m4
     247          (every #'(lambda (x y z w) (<= (max x y) (max z w)))
     248           exponents1 exponents2 exponents3 exponents4))))))
    247249         
    248250(defmethod monom-lcm-equal-lcm-p ((m1 monom) (m2 monom) (m3 monom) (m4 monom))
Note: See TracChangeset for help on using the changeset viewer.