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 1902


Ignore:
Timestamp:
2015-06-15T17:57:27-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/term.lisp

    r1901 r1902  
    8080(defun term->cons (term)
    8181  "A human-readable representation of a term as a cons (MONOM . COEFF)."
     82  (declare (type term term))
    8283  (cons (monom->list (term-monom term)) (term-coeff term)))
    8384
Note: See TracChangeset for help on using the changeset viewer.