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-08T18:09:46-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/termlist.lisp

    r704 r705  
    103103is 0. This definition takes care of divisors of 0 in the coefficient
    104104ring."
     105  (declare (ring ring))
    105106  (let ((c (funcall (ring-mul ring) (term-coeff term1) (term-coeff term2))))
    106107    (unless (funcall (ring-zerop ring) c)
    … …  
    112113
    113114(defun termlist-times-term (ring f term)
     115  (declare (ring ring))
    114116  (mapcan #'(lambda (term-f) (term-mul-lst ring term-f term)) f))
    115117
    … …  
    124126
    125127(defun termlist-uminus (ring f)
     128  (declare (ring ring))
    126129  (mapcar #'(lambda (x)
    127130              (make-term (term-monom x) (funcall (ring-uminus ring) (term-coeff x))))
Note: See TracChangeset for help on using the changeset viewer.