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 379


Ignore:
Timestamp:
2015-06-06T18:01:40-07:00 (10 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/termlist.lisp

    r376 r379  
    4646
    4747
    48 (defun term-mul (ring term1 term2)
     48(defun term-mul-lst (ring term1 term2)
    4949  "Returns (LIST TERM) where TERM is the product of the terms TERM1 TERM2,
    5050or NIL when the product is 0. This definition takes care of divisors of 0
    … …  
    5656(defun term-times-termlist (ring term f)
    5757  (declare (type ring ring))
    58   (mapcan #'(lambda (term-f) (term-mul ring term term-f)) f))
     58  (mapcan #'(lambda (term-f) (term-mul-lst ring term term-f)) f))
    5959
    6060(defun termlist-times-term (ring f term)
    61   (mapcan #'(lambda (term-f) (term-mul ring term-f term)) f))
     61  (mapcan #'(lambda (term-f) (term-mul-lst ring term-f term)) f))
    6262
    6363(defun monom-times-term (m term)
    … …  
    139139         (termlist-times-term ring p (car q)))
    140140        (t
    141          (let ((head (term-mul ring (termlist-lt p) (termlist-lt q)))
     141         (let ((head (term-mul-lst ring (termlist-lt p) (termlist-lt q)))
    142142               (tail (termlist-add ring (term-times-termlist ring (car p) (cdr q))
    143143                                   (termlist-mul ring (cdr p) q))))
Note: See TracChangeset for help on using the changeset viewer.