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.

source: branches/f4grobner/test4.lisp@ 4535

Last change on this file since 4535 was 4447, checked in by Marek Rychlik, 9 years ago
File size: 364 bytes
RevLine 
[4447]1(in-package :symbolic-polynomial)
2
3(let ((trm (make-instance 'term :exponents '(1 2 3) :coeff 4))
4 (monom (make-instance 'monom :exponents '(1 2 3)))
5 (promoted-monom (make-instance 'term :exponents '(1 2 3) :coeff 1)))
6 (assert (universal-equalp (change-class trm 'monom) monom))
7 (assert (universal-equalp (change-class monom 'term) promoted-monom)))
Note: See TracBrowser for help on using the repository browser.