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-06T07:41:52-07:00 (9 years ago)
Author:
Marek Rychlik
Message:

* empty log message *

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-poly.lisp

    r3707 r3715  
    186186    (is (universal-equalp (saturation-extension-1 f p) sat-ext-1))))
    187187
     188(test universal-expt
     189  "Universal-expt"
     190  (let ((f (alist->poly '( ((0) . 1) ((1) . 1))))
     191        (f2 (alist->poly '( ((0) . 1) ((1) . 2) ((2) . 1))))
     192        (f3 (alist->poly '( ((0) . 1) ((1) . 3) ((2) . 3) ((3) . 1)))))
     193    (is (universal-equalp (universal-expt f 2) f2))
     194    (is (universal-equalp (universal-expt f 3) f3))))
     195
    188196(run! 'poly-suite)
    189197(format t "All tests done!~%")
Note: See TracChangeset for help on using the changeset viewer.